Suchergebnisse für "Andreas Podelski"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Andreas Podelski" gefunden.
Katalogsuche
Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31,2018, Proceedings, Lecture Notes in Computer Science 11002 - Programming and Software Engineering
Andreas Podelski
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29,2012 Proceedings, Lecture Notes in Computer Science 7152 - Programming and Software Engineering
Rajeev Joshi/Peter Müller/Andreas Podelski
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Constraint Programming: Basics and Trends
1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20,1994.Selected Papers, Lecture Notes in Computer Science 910
Andreas Podelski
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Networked Systems
6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11,2018, Revised Selected Papers, Lecture Notes in Computer Science 11028 - Computer Communication Networks and Telecommunications
Andreas Podelski/François Taïani
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
On the Pursuit of Insight and Elegance
Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday, Lecture Notes in Computer Science 14765
Daniel Dietsch/Andrey Rybalchenko/Martin Schäf et al
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Verification, Model Checking, and Abstract Interpretation
8th International Conference, VMCAI 2007, Nice, France, January 14-16,2007, Proceedings, Lecture Notes in Computer Science 4349 - Theoretical Computer Science and General Issues
Byron Cook/Andreas Podelski
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
