語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

語系

英文 (5)

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

Bernardo, Marco.

概要

作品:	0 作品在 5 項出版品 1 種語言

書目資訊

Formal methods for executable software models14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014 : advanced lectures / by: (1998 :); Bernardo, Marco.; SpringerLink (Online service) (書目-電子資源)

Formal methods for web services9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (1998 :); Bernardo, Marco.; Padovani, Luca.; SpringerLink (Online service); Zavattaro, Gianluigi. (書目-電子資源)

Formal Methods for Hardware Verification6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures / by: (1998 :); Bernardo, Marco.; SpringerLink (Online service) (書目-電子資源)

Formal methods for eternal networked software systems11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (1998 :); Bernardo, Marco.; Issarny, Valerie.; SpringerLink (Online service) (書目-電子資源)

Formal methods for model-driven engineering12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (1998 :); Bernardo, Marco.; Cortellessa, Vittorio.; Pierantonio, Alfonso.; SpringerLink (Online service) (書目-電子資源)

Formal Methods for Mobile Computing5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (1998 :); Bernardo, Marco.; Bogliolo, Alessandro.; SpringerLink (Online service) (書目-電子資源)

A process algebraic approach to software architecture design by: Aldini, Alessandro.; Bernardo, Marco.; Corradini, Flavio.; SpringerLink (Online service) (書目-電子資源)

Formal methods for multicore programming15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / by: (1998 :); Bernardo, Marco.; Johnsen, Einar Broch.; SpringerLink (Online service) (書目-電子資源)

Formal methods for software architecturesThird International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: (1998 :); Bernardo, Marco.; Inverardi, Paola.; SpringerLink (Online service) (書目-電子資源)

Formal methods for the quantitative evaluation of collective adaptive systems16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016 : advanced lectures / by: (1998 :); Bernardo, Marco.; De Nicola, Rocco.; Hillston, Jane.; SpringerLink (Online service) (書目-電子資源)

更多

主題

Software Engineering. Mathematical Logic and Formal Languages. Theory of Computation. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Computer software Computer systems Programming Techniques. Software architecture. Information Systems Applications (incl. Internet) Management of Computing and Information Systems. Formal methods (Computer science) System design Programming Languages, Compilers, Interpreters. Special Purpose and Application-Based Systems. Computer-aided engineering Internet Information Systems Applications (incl.Internet) Computer Science. Computer Communication Networks. Real-time data processing Computer Systems Organization and Communication Networks. System Performance and Evaluation. Computer networks Engineering Probability and Statistics in Computer Science. Mobile computing Integrated circuits

變更密碼

登入