Cărți de Tiziana Margaria

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Lecture Notes in Computer Science, nr. 6416

Editat de Tiziana Margaria et al.

19 oct 2010

Preț: 326^.04 lei 407^.55 lei

3-5 săpt.

-20%

Engineering of Computer-Based Systems: 8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14390

Editat de Jan Kofroň et al.

29 noi 2023

Preț: 369^.62 lei 462^.03 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Lecture Notes in Computer Science, nr. 13702

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 456^.58 lei 570^.73 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III

Lecture Notes in Computer Science, nr. 13703

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 458^.75 lei 573^.44 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 13704

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 402^.52 lei 503^.15 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Lecture Notes in Computer Science, nr. 13701

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 572^.34 lei 715^.43 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7610

Editat de Tiziana Margaria et al.

11 sep 2012

Preț: 317^.77 lei 397^.22 lei

6-8 săpt.

-20%

Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 11200

Editat de Tiziana Margaria et al.

26 iun 2019

Preț: 321^.96 lei 402^.45 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Lecture Notes in Computer Science, nr. 11244

Editat de Tiziana Margaria et al.

29 oct 2018

Preț: 329^.34 lei 411^.67 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11245

Editat de Tiziana Margaria et al.

30 oct 2018

Preț: 325^.10 lei 406^.38 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Lecture Notes in Computer Science, nr. 11246

Editat de Tiziana Margaria et al.

31 oct 2018

Preț: 326^.19 lei 407^.75 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 11247

Editat de Tiziana Margaria et al.

30 oct 2018

Preț: 326^.66 lei 408^.31 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10206

Editat de Axel Legay et al.

31 mar 2017

Preț: 321^.53 lei 401^.91 lei

6-8 săpt.

-20%

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10139

Editat de Bernhard Steffen et al.

11 ian 2017

Preț: 326^.66 lei 408^.31 lei

6-8 săpt.

-20%

Process Design for Natural Scientists: An Agile Model-Driven Approach

Communications in Computer and Information Science, nr. 500

Editat de Anna-Lena Lamprecht et al.

2 oct 2014

Preț: 313^.39 lei 391^.74 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Lecture Notes in Computer Science, nr. 8803

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 332^.12 lei 415^.15 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Lecture Notes in Computer Science, nr. 8802

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 327^.61 lei 409^.51 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Communications in Computer and Information Science, nr. 336

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 314^.01 lei 392^.52 lei

6-8 săpt.

-20%

Semantic Web Services Challenge: Results from the First Year

Semantic Web and Beyond, nr. 8

Editat de Charles J. Petrie et al.

4 dec 2008

Preț: 939^.94 lei 1174^.93 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings

Lecture Notes in Computer Science, nr. 5364

Editat de Athman Bouguettaya et al.

13 noi 2008

Preț: 632^.94 lei 791^.18 lei

6-8 săpt.

-20%

Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings

Lecture Notes in Computer Science, nr. 4764

Editat de Pekka Abrahamsson et al.

21 sep 2007

Preț: 311^.54 lei 389^.41 lei

6-8 săpt.

-20%

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2144

Editat de Tiziana Margaria et al.

27 aug 2001

Preț: 324^.65 lei 405^.81 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings

Lecture Notes in Computer Science, nr. 2031

Editat de Tiziana Margaria et al.

21 mar 2001

Preț: 644^.83 lei 806^.03 lei

6-8 săpt.

-20%

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers

Lecture Notes in Computer Science, nr. 1385

Editat de Tiziana Margaria et al.

18 mar 1998

Preț: 317^.15 lei 396^.44 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Lecture Notes in Computer Science, nr. 1055

Editat de Tiziana Margaria et al.

20 mar 1996

Preț: 322^.44 lei 403^.05 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Lecture Notes in Computer Science, nr. 1019

Editat de Ed Brinksma et al.

23 noi 1995

Preț: 315^.57 lei 394^.45 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Cărți de Tiziana Margaria