|
|
| 1. |
Management and Security in the Age of Hyperconnectivity : 10th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2016, Munich, Germany, June 20-23, 2016, Proceedings / edited by Rémi Badonnel, Robert Koch, Aiko Pras, Martin Drašar, Burkhard Stiller. -
Cham: Springer, 2016. - Online-Ressource (XXII, 171 p. 14 illus, online resource), ISBN 978-3-319-39814-3
(Lecture Notes in Computer Science ; 9701)
(Computer Communication Networks and Telecommunications ; 9701)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-39814-3
 Online-Ressource |
|
|
| 2. |
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 |
|
|
| 3. |
Search Based Software Engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / edited by Federica Sarro, Kalyanmoy Deb. -
Cham: Springer, 2016. - Online-Ressource (XXI, 318 p. 71 illus, online resource), ISBN 978-3-319-47106-8
(Lecture Notes in Computer Science ; 9962)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9962)
DOI: 10.1007/978-3-319-47106-8
Online-Ressource |
|
|
| 4. |
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 |
|
|
| 5. |
Hardware and Software: Verification and Testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / edited by Roderick Bloem, Eli Arbel. -
Cham: Springer, 2016. - Online-Ressource (XVI, 211 p. 60 illus, online resource), ISBN 978-3-319-49052-6
(Lecture Notes in Computer Science ; 10028)
(Programming and Software Engineering ; 10028)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-49052-6
Online-Ressource |
|
|
| 6. |
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)
(Programming and Software Engineering ; 9762)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-41135-4
Online-Ressource |
|
|
| 7. |
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 |
|
|
| 8. |
System Analysis and Modeling. Technology-Specific Aspects of Models : 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / edited by Jens Grabowski, Steffen Herbold. -
Cham: Springer, 2016. - Online-Ressource (X, 243 p. 99 illus, online resource), ISBN 978-3-319-46613-2
(Lecture Notes in Computer Science ; 9959)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9959)
DOI: 10.1007/978-3-319-46613-2
Online-Ressource |
|
|
| 9. |
Human-Centered and Error-Resilient Systems Development : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson… . -
Cham: Springer, 2016. - Online-Ressource (XVII, 383 p. 124 illus, online resource), ISBN 978-3-319-44902-9
(Lecture Notes in Computer Science ; 9856)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Programming and Software Engineering ; 9856)
DOI: 10.1007/978-3-319-44902-9
Online-Ressource |
|
|
| 10. |
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 |
|
|
| 11. |
Coordination Models and Languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Alberto Lluch Lafuente, José Proença. -
Cham: Springer, 2016. - Online-Ressource (XIV, 279 p. 83 illus, online resource), ISBN 978-3-319-39519-7
(Lecture Notes in Computer Science ; 9686)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 9686)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-39519-7
Online-Ressource |
|
|
| 12. |
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Elvira Albert, Ivan Lanese. -
Cham: Springer, 2016. - Online-Ressource (XVI, 275 p. 56 illus, online resource), ISBN 978-3-319-39570-8
(Lecture Notes in Computer Science ; 9688)
(Programming and Software Engineering ; 9688)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-39570-8
Online-Ressource |
|
|
| 13. |
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo. -
Cham: Springer, 2016. - Online-Ressource (IX, 235 p. 5 illus, online resource), ISBN 978-3-319-40370-0
(Lecture Notes in Computer Science ; 9608)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9608)
DOI: 10.1007/978-3-319-40370-0
Online-Ressource |
|
|
| 14. |
Cryptographic Hardware and Embedded Systems – CHES 2016 : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings / edited by Benedikt Gierlichs, Axel Y. Poschmann. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIV, 650 p. 159 illus, online resource), ISBN 978-3-662-53140-2
(Lecture Notes in Computer Science ; 9813)
(Springer eBook Collection : Computer Science)
(Security and Cryptology ; 9813)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-53140-2
Online-Ressource |
|
|
| 15. |
Structural Information and Communication Complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers / edited by Jukka Suomela. -
Cham: Springer, 2016. - Online-Ressource (XXIX, 408 p. 51 illus, online resource), ISBN 978-3-319-48314-6
(Lecture Notes in Computer Science ; 9988)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9988)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-48314-6
Online-Ressource |
|
|
| 16. |
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 |
|
|
| 17. |
Algorithms and Architectures for Parallel Processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Ryan K.L. Ko, Peter Mueller, Koji Nakano. -
Cham: Springer, 2016. - Online-Ressource (XXI, 687 p. 239 illus, online resource), ISBN 978-3-319-49583-5
(Lecture Notes in Computer Science ; 10048)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 10048)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-49583-5
Online-Ressource |
|
|
| 18. |
Algorithms and Architectures for Parallel Processing : ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / edited by Jesus Carretero, Javier Garcia-Blas, Victor Gergel, Vladimir Voevodin, Iosif Meyerov, Juan… . -
Cham: Springer, 2016. - Online-Ressource (XXV, 384 p. 126 illus, online resource), ISBN 978-3-319-49956-7
(Lecture Notes in Computer Science ; 10049)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 10049)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-49956-7
Online-Ressource |
|
|
| 19. |
Distributed Computing : 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / edited by Cyril Gavoille, David Ilcinkas. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XXIV, 496 p. 56 illus, online resource), ISBN 978-3-662-53426-7
(Lecture Notes in Computer Science ; 9888)
(Theoretical Computer Science and General Issues ; 9888)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-662-53426-7
Online-Ressource |
|
|
| 20. |
Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago. -
Cham: Springer, 2016. - Online-Ressource (IX, 127 p. 30 illus, online resource), ISBN 978-3-319-46559-3
(Lecture Notes in Computer Science ; 9964)
(Springer eBook Collection : Computer Science)
(Programming and Software Engineering ; 9964)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-46559-3
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
