Suchergebnisse - Termination graphs for Java bytecode

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Termination graphs for Java bytecode

Brockschmidt, Marc

Aachen : RWTH, 2010

E-Book

Automated detection of non-termination and NullPointerExceptions for Java bytecode

Brockschmidt, Marc

Aachen : RWTH Aachen, 2011

E-Book

Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Siegler, Simon (Herausgeber)

1st edition 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II

Sankaranarayanan, Sriram (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Beyer, Dirk (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

E-Book

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Barthe, Gilles (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Bonsangue, Marcello M (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Trustworthy Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Wirsing, Martin (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Yi, Kwangkeun (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Barthe, Gilles (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Hendren, Laurie (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Ueda, Kazunori (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Cousot, Radhia (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Cerioli, Maura (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

Arbab, Farhad (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy

Ausiello, Giorgio (Herausgeber)

1st ed. 2008

New York, NY : Springer US, 2008

E-Book

Introduction to bioinformatics

Lesk, Arthur M. (Verfasser)

Fifth edition

Oxford, United Kingdom : Oxford University Press, [2019]

Buch

Database systems : an application-oriented approach

Kifer, Michael (Verfasser)

2. edition, complete version, international edition

Boston : Pearson/Addison Wesley, 2006

Buch

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 18 von 18

Suche einschränken