MPG.eBooks - Search Results

1

Practical Aspects of Declarative Languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

“... on Practical Aspects of Declarative Languages, PADL 2013, held in Rome, Italy, in January 2013, co-located...”

Read Now

2

Object-Oriented Methodologies and Systems : International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings

Published 1994

Springer Berlin Heidelberg

“... Methodologies and Systems (ISOOMS '94), held in Palermo, Italy in September 1994 in conjunction with the AICA...”

Read Now

3

Experimental Algorithms : 9th International Symposium, SEA 2010, Ischia Island, Naples, Italy, May 20-22, 2010. Proceedings

Published 2010

Springer Berlin Heidelberg

Read Now

4

Static Analysis : 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

“... was held in Venice, Italy, on 22{24 September 1999. The previous SAS conferences were held in Namur...”

Read Now

5

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Published 2017

Springer International Publishing

“... Formal Methods, IFM 2017, held in Turin, Italy, in September 2017. The 24 full papers and 4 short papers...”

Read Now

6

Logic-Based Program Synthesis and Transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers

Published 2000

Springer Berlin Heidelberg

“... synthesis and transformation (LOPSTR’99) which was held in Venice (Italy), September 22-24, 1999...”

Read Now

7

Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings

Published 1993

Springer Berlin Heidelberg

“...`93), held in Padova, Italy, in September 1993. The objective of the international workshop series WSA...”

Read Now

8

Computer Safety, Reliability, and Security : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

“... Safety, Reliability, and Security, SAFECOMP 2011, held in Naples, Italy, in September 2011. The 34 full...”

Read Now

9

Web Engineering : 22nd International Conference, ICWE 2022, Bari, Italy, July 5–8, 2022, Proceedings

Published 2022

Springer International Publishing

“...This book constitutes the thoroughly refereed proceedings of the 22nd International Conference...”

Read Now

10

Product-Focused Software Process Improvement : 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings

Published 2021

Springer International Publishing

“...This book constitutes the refereed proceedings of the 22nd International Conference on Product...”

Read Now

11

Tests and Proofs : 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

Published 2015

Springer International Publishing

“... and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences...”

Read Now

12

Analytical and Stochastic Modeling Techniques and Applications : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

Read Now

13

Agile Processes in Software Engineering and Extreme Programming : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Read Now

14

Applied Cryptography and Network Security : 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part I

Published 2020

Springer International Publishing

“... International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy...”

Read Now

15

Applied Cryptography and Network Security : 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part II

Published 2020

Springer International Publishing

“... International Conference on Applied Cryptography and Network Security, ACNS 2020, held in Rome, Italy...”

Read Now

16

Product-Focused Software Process Improvement : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings

Published 2011

Springer Berlin Heidelberg

“...-Focused Software Process Improvement, PROFES 2011, held in Torre Canne, Italy, in June 2011. The 24...”

Read Now

17

Perspectives in Business Informatics Research : 22nd International Conference on Business Informatics Research, BIR 2023, Ascoli Piceno, Italy, September 13–15, 2023, Proceedings

Published 2023

Springer Nature Switzerland

“...This book constitutes the proceedings of the 22nd International Conference on Perspectives...”

Read Now

18

Compiler Construction : 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16...

Published 2013

Springer Berlin Heidelberg

“...This book constitutes the proceedings of the 22nd International Conference on Compiler Construction...”

Read Now

19

Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM...

Published 2003

Springer Berlin Heidelberg

“..., Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally...”

Read Now

20

Programming Languages and Systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013...

Published 2013

Springer Berlin Heidelberg

“...This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP...”

Narrow Search