語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (2)

跳至 : 概要 | 書目資訊 | 主題

Stevens, Perdita.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Formal methods for open object-based distributed systems = 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / by: Najm, Elie.; Nestmann, Uwe.; Stevens, Perdita.; SpringerLink (Online service); International Conference on Formal Methods for Open Object-Based Distributed Systems (2003 :) (書目-語言資料,印刷品)

Tools and algorithms for the construction and analysis of systems = 8th International Conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / by: Stevens, Perdita.; SpringerLink (Online service); Katoen, Joost-Pieter.; TACAS 2002 ((2002 :) (書目-語言資料,印刷品)

Fundamental approaches to software engineering = 19th International Conference, FASE 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: Stevens, Perdita.; SpringerLink (Online service); Wasowski, Andrzej. (書目-電子資源)

Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / by: International Summer School on Bidirectional Transformations ((2016 :); Stevens, Perdita.; SpringerLink (Online service); Gibbons, Jeremy. (書目-電子資源)

UML 2003-the unified modeling language = modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings / by: Booch, Grady.; Stevens, Perdita.; Whittle, Jon, (1972-); SpringerLink (Online service); UML 2003 ((2003 :) (書目-語言資料,印刷品)

主題

UML (Computer science) Software Engineering. Software engineering Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Management of Computing and Information Systems. Database Management. System design- Congresses. Programming Languages, Compilers, Interpreters. Electronic data processing- Distributed processing Computer software- Development Computer Science. Transformations (Mathematics) Object-oriented programming (Computer science)

變更密碼

登入