MPG.eBooks - Search Results - "Computer science"

1

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

by Cori, Robert
Published 1988

Springer

“...Lecture Notes in Computer Science...”

Read Now

2

STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

by Brandenburg, Franz
Published 1987

Springer

“...Lecture Notes in Computer Science...”

Read Now

3

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...”

Read Now

4

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...”

Read Now

5

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...”

Read Now

6

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...”

Read Now

7

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

by Wirsing, Martin
Published 2003

Springer Berlin Heidelberg

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

Read Now

8

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

by Wirsing, Martin
Published 2004

Springer Berlin Heidelberg

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

Read Now

9

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...”

Read Now

10

Algebraic Methods: Theory, Tools and Applications

Published 1989

Springer Berlin Heidelberg

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

Read Now

11

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

Published 2005

Springer Berlin Heidelberg

Table of Contents: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”

Read Now

12

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

Published 2008

Springer Berlin Heidelberg

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

Read Now

13

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...”

Read Now

14

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...”

Read Now

15

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

Published 2004

Springer Berlin Heidelberg

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

Read Now

16

Software Engineering for Collective Autonomic Systems : The ASCENS Approach

Published 2015

Springer International Publishing

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

Read Now

17

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

by Koch, Nora
Published 2004

Springer Berlin Heidelberg

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

Read Now

18

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...”

Read Now

19

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)...”

Read Now

20

Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Published 1992

Springer Berlin Heidelberg

“...Lecture Notes in Computer Science...”

Narrow Search