|
|
| 1. |
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu. -
Cham: Springer, 2016. - Online-Ressource (XVII, 486 p. 144 illus, online resource), ISBN 978-3-319-47846-3
(Lecture Notes in Computer Science ; 10009)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 10009)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-47846-3
 Online-Ressource |
|
|
| 2. |
Programming Languages and Systems : 25th European Symposium on Programming, ESOP 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 / edited by Peter Thiemann. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIII, 806 p. 32 illus, online resource), ISBN 978-3-662-49498-1
(Lecture Notes in Computer Science ; 9632)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9632)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-662-49498-1
Online-Ressource |
|
|
| 3. |
Stabilization, Safety, and Security of Distributed Systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / edited by Borzoo Bonakdarpour, Franck Petit. -
Cham: Springer, 2016. - Online-Ressource (XIII, 432 p. 72 illus, online resource), ISBN 978-3-319-49259-9
(Lecture Notes in Computer Science ; 10083)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 10083)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-49259-9
Online-Ressource |
|
|
| 4. |
Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / edited by Augusto Sampaio, Farn Wang. -
Cham: Springer, 2016. - Online-Ressource (XVII, 479 p. 108 illus, online resource), ISBN 978-3-319-46750-4
(Lecture Notes in Computer Science ; 9965)
(Theoretical Computer Science and General Issues ; 9965)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-46750-4
Online-Ressource |
|
|
| 5. |
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. -
Cham: Springer, 2016. - Online-Ressource (XXIII, 974 p. 256 illus, online resource), ISBN 978-3-319-47166-2
(Lecture Notes in Computer Science ; 9952)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9952)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-47166-2
Online-Ressource |
|
|
| 6. |
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. -
Cham: Springer, 2016. - Online-Ressource (XXIV, 866 p. 291 illus, online resource), ISBN 978-3-319-47169-3
(Lecture Notes in Computer Science ; 9953)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 9953)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-47169-3
Online-Ressource |
|
|
| 7. |
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIII, 558 p. 123 illus. in color, online resource), ISBN 978-3-662-49122-5
(Lecture Notes in Computer Science ; 9583)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9583)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-662-49122-5
Online-Ressource |
|
|
| 8. |
Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fränzle, Nicolas Markey. -
Cham: Springer, 2016. - Online-Ressource (XII, 245 p. 67 illus, online resource), ISBN 978-3-319-44878-7
(Lecture Notes in Computer Science ; 9884)
(Theoretical Computer Science and General Issues ; 9884)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-44878-7
Online-Ressource |
|
|
| 9. |
Computer Safety, Reliability, and Security : SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch. -
Cham: Springer, 2016. - Online-Ressource (XIV, 400 p. 130 illus, online resource), ISBN 978-3-319-45480-1
(Lecture Notes in Computer Science ; 9923)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9923)
DOI: 10.1007/978-3-319-45480-1
Online-Ressource |
|
|
| 10. |
Computer Safety, Reliability, and Security : 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / edited by Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch. -
Cham: Springer, 2016. - Online-Ressource (XV, 324 p. 105 illus, online resource), ISBN 978-3-319-45477-1
(Lecture Notes in Computer Science ; 9922)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9922)
DOI: 10.1007/978-3-319-45477-1
Online-Ressource |
|
|
| 11. |
Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / edited by Bernhard K. Aichernig, Carlo A. Furia. -
Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 51 illus, online resource), ISBN 978-3-319-41135-4
(Lecture Notes in Computer Science ; 9762)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 9762)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-41135-4
Online-Ressource |
|
|
| 12. |
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / edited by Sandrine Blazy, Marsha Chechik. -
Cham: Springer, 2016. - Online-Ressource (XIV, 199 p. 36 illus, online resource), ISBN 978-3-319-48869-1
(Lecture Notes in Computer Science ; 9971)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9971)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-48869-1
Online-Ressource |
|
|
| 13. |
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / edited by John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou. -
Cham: Springer, 2016. - Online-Ressource (XXIII, 789 p. 204 illus, online resource), ISBN 978-3-319-48989-6
(Lecture Notes in Computer Science ; 9995)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 9995)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-48989-6
Online-Ressource |
|
|
| 14. |
Formal Methods: Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte. -
Cham: Springer, 2016. - Online-Ressource (X, 253 p. 62 illus, online resource), ISBN 978-3-319-49815-7
(Lecture Notes in Computer Science ; 10090)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 10090)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-49815-7
Online-Ressource |
|
|
| 15. |
Runtime Verification : 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. -
Cham: Springer, 2016. - Online-Ressource (XXI, 512 p. 111 illus, online resource), ISBN 978-3-319-46982-9
(Lecture Notes in Computer Science ; 10012)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 10012)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-46982-9
Online-Ressource |
|
|
| 16. |
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled. -
Cham: Springer, 2016. - Online-Ressource (XI, 530 p. 102 illus, online resource), ISBN 978-3-319-46520-3
(Lecture Notes in Computer Science ; 9938)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9938)
DOI: 10.1007/978-3-319-46520-3
Online-Ressource |
|
|
| 17. |
Foundations of Information and Knowledge Systems : 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings / edited by Marc Gyssens, Guillermo Simari. - 1st ed. 2016. -
Cham: Springer, 2016. - Online-Ressource (XVIII, 355 p. 31 illus. in color, online resource), ISBN 978-3-319-30024-5
(Lecture Notes in Computer Science ; 9616)
(Information Systems and Applications, incl. Internet/Web, and HCI ; 9616)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-30024-5
Online-Ressource |
|
|
| 18. |
Programming Languages and Systems : 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / edited by Atsushi Igarashi. -
Cham: Springer, 2016. - Online-Ressource (XVII, 465 p. 100 illus, online resource), ISBN 978-3-319-47958-3
(Lecture Notes in Computer Science ; 10017)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 10017)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-47958-3
Online-Ressource |
|
|
| 19. |
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. -
Cham: Springer, 2016. - Online-Ressource (XIX, 396 p. 129 illus, online resource), ISBN 978-3-319-40648-0
(Lecture Notes in Computer Science ; 9690)
(Programming and Software Engineering ; 9690)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-40648-0
Online-Ressource |
|
|
| 20. |
Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman. -
Cham: Springer, 2016. - Online-Ressource (XIV, 538 p. 145 illus, online resource), ISBN 978-3-319-33693-0
(Lecture Notes in Computer Science ; 9681)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9681)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-33693-0
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
