MPG.eBooks - Search Results - "Computer Science"

Cover Image

1

Recent Trends in Algebraic Development Techniques : 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

2

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987

Published 1987

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

3

Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

4

Fundamental Approaches to Software Engineering : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS...

Published 2009

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

5

Algebraic Methods: Theory, Tools and Applications

Published 1989

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Software-Intensive Systems and New Computing Paradigms : Challenges and Visions

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Adapting Proofs-as-Programs : The Curry--Howard Protocol

by Poernomo, Iman, Crossley, John N., Wirsing, Martin
Published 2005

Springer New York

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

9

STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

Published 1988

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

10

Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Published 1996

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

11

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Published 2015

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

12

Web Engineering : 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer science...”

Cover Image

13

Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

Published 1991

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

14

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

Published 2010

Springer Berlin Heidelberg

Subjects: “...Data encryption (Computer science)...”