Vytopil, Jan (Hrsg.): Formal Techniques in Real-Ti

Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

 

Pitt, David (Hrsg.): Category Theory and Computer

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

The Munich Project CIP (eBook)

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Theoharis, Theoharis: Algorithms for Parallel Poly

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Bochmann, Gregor von (Hrsg.): Computer Aided Verif

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Cousot, Patrick (Hrsg.): Static Analysis (eBook)

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Enjalbert, Patrice (Hrsg.): STACS 94 (eBook)

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Pichler, Franz (Hrsg.): Computer Aided Systems The

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Hagiya, Masami (Hrsg.): Theoretical Aspects of Com

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Cea, J. (Hrsg.): Optimization Techniques. Modeling

Springer Berlin Heidelberg

PDF | 2005

CHF

118.00

 

Cesarini, Francesca (Hrsg.): Database Machine Perf

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Parikh, Rohit (Hrsg.): Logics of Programs (eBook)

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Pitt, David H. (Hrsg.): Category Theory and Comput

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Hulzen, J. A. van (Hrsg.): Computer Algebra (eBook

Springer Berlin Heidelberg

PDF | 2005

CHF

36.00

 

Börger, Egon (Hrsg.): CSL '87 (eBook)

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Leeuwen, Jan Van (Hrsg.): Graph-Theoretic Concepts

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Lisper, Björn: Synthesizing Synchronous Systems by

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Dershowitz, Nachum (Hrsg.): Rewriting Techniques a

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Ehrig, Hartmut (Hrsg.): Categorical Methods in Com

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Leeser, Miriam (Hrsg.): Hardware Specification, Ve

Springer New York

PDF | 2005

CHF

59.00

 

Bruynooghe, Maurice (Hrsg.): Programming Language

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Fitch, John (Hrsg.): Design and Implementation of

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Teillaud, Monique: Towards Dynamic Randomized Algo

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00

 

Karhumäki, Juliani (Hrsg.): Results and Trends in

Springer Berlin Heidelberg

PDF | 2005

CHF

59.00