MPG.eBooks - Search Results

21

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June...

Published 2013

Springer Berlin Heidelberg

“..., held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several...”

Read Now

22

Distributed Applications and Interoperable Systems : 22nd IFIP WG 6.1 International Conference, DAIS 2022, Held as Part of the 17th International Federated Conference on Distribute...

Published 2022

Springer International Publishing

“...This book constitutes the refereed proceedings of the 22nd IFIP WG 6.1 International Conference...”

Read Now

23

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on...

Published 2017

Springer International Publishing

“...This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...”

Read Now

24

Machine Learning, Optimization, and Data Science : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18–22, 2022, Revised Selected Papers, Part I

Published 2023

Springer Nature Switzerland

Read Now

25

Machine Learning, Optimization, and Data Science : 8th International Conference, LOD 2022, Certosa di Pontignano, Italy, September 18–22, 2022, Revised Selected Papers, Part II

Published 2023

Springer Nature Switzerland

Read Now

26

Applied Cryptography and Network Security Workshops : ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proc...

Published 2020

Springer International Publishing

“... Conference on Applied Cryptography and Network Security, ACNS 2020, in Rome, Italy, in October 2020. The 31...”

Read Now

27

Static Analysis : 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings

Published 2011

Springer Berlin Heidelberg

“... Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from...”

Read Now

28

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

“..., the concluding conference of the Types project, held in Cividale del Friuli, Italy, in May 2007. The 13 revised...”

Read Now

29

Advances in Service-Oriented and Cloud Computing : Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers

Published 2020

Springer International Publishing

“... European Conference on Service-Oriented and Cloud Computing, ESOCC 2018, held in Como, Italy, in September...”

Read Now

30

Emerging Technologies for Education : First International Symposium, SETE 2016, Held in Conjunction with ICWL 2016, Rome, Italy, October 26-29, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

“... Symposium, SETE 2016, held in conjunction with ICWL 2016, Rome, Italy, in October 2016. The 81 revised...”

Read Now

31

On the Move to Meaningful Internet Systems: OTM 2012 : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Pa...

Published 2012

Springer Berlin Heidelberg

“... (ODBASE 2012) held as part of OTM 2012 in September 2012 in Rome, Italy. The 53 revised full papers...”

Read Now

32

Search-Based Software Engineering : 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

Published 2021

Springer International Publishing

“... Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021. The 9 full and 2 short...”

Read Now

33

Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computi...

Published 2022

Springer Nature Switzerland

“... on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th...”

Read Now

34

Formal Methods for Distributed System Development : FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Com...

Published 2000

Springer US

Table of Contents: “... Definition -- 22 Implementing CCS in Maude -- 23. From Refutation to Verification -- 24. Process Algebraic...”

Read Now

35

Building Single Page Applications in .NET Core 3 : Jumpstart Coding Using Blazor and C#

by Aponte, Michele
Published 2020

Apress

“... Microsoft MVP, he often presents on Microsoft and JavaScript topics at tech conferences throughout Italy...”

Read Now

36

Software Architecture : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

“...The1stEuropeanWorkshoponSoftwareArchitecture(EWSA2004)washeldin St Andrews, Scotland on 21–22 May...”

Read Now

37

Human and Machine Perception 2 : Emergence, Attention, and Creativity

Published 1999

Springer US

Table of Contents: “... Perception and Creativity Mechanisms -- Panel Summary -Creativity in 22 Questions: What’s the Catch...”

Read Now

38

Software Architecture : First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

“... (Australia, B- zil, Canada, Chile, Finland, France, Germany, Italy, Japan, Korea, The Netherlands, Spain...”

Read Now

39

COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems, 23-27 May 2016, Trento, Italy

Published 2016

Springer International Publishing

“... Work (CSCW) and Cognitive Ergonomics. A collection of 22 papers and 4 workshop overviews are presented...”

Read Now

40

ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings

Published 1991

Springer Berlin Heidelberg

“.... The 22 papers in these proceedings were selected from 133 papers submitted from 26 different countries...”

Narrow Search