Ihre Suche nach ergab 19995 Treffer

Suchresultate weiter filtern:
«12...651652653654655656657658659...834»
Cover-Bild zu Börger, E. (Hrsg.): Logic and Machines: Decision Problems and Complexity (eBook)

Börger, E. (Hrsg.): Logic and Machines: Decision P

Springer Berlin Heidelberg
PDF | 2005
CHF
47.00
Cover-Bild zu Bjørner, Dines (Hrsg.): VDM '87. VDM - A Formal Method at Work (eBook)

Bjørner, Dines (Hrsg.): VDM '87. VDM - A Formal Me

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Bidoit, Michel (Hrsg.): Recent Trends in Data Type Specification (eBook)

Bidoit, Michel (Hrsg.): Recent Trends in Data Type

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Vytopil, Jan (Hrsg.): Formal Techniques in Real-Time and Fault-Tolerant Systems (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
118.00
Cover-Bild zu Pitt, David (Hrsg.): Category Theory and Computer Programming (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu The Munich Project CIP (eBook)

The Munich Project CIP (eBook)

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Theoharis, Theoharis: Algorithms for Parallel Polygon Rendering (eBook)

Theoharis, Theoharis: Algorithms for Parallel Poly

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Bochmann, Gregor von (Hrsg.): Computer Aided Verification (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Cousot, Patrick (Hrsg.): Static Analysis (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Enjalbert, Patrice (Hrsg.): STACS 94 (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Pichler, Franz (Hrsg.): Computer Aided Systems Theory - EUROCAST '93 (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Hagiya, Masami (Hrsg.): Theoretical Aspects of Computer Software (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Cea, J. (Hrsg.): Optimization Techniques. Modeling and Optimization in the Service of Man 1 (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
118.00
Cover-Bild zu Cesarini, Francesca (Hrsg.): Database Machine Performance: Modeling Methodologies and Evaluation Strategies (eBook)

Cesarini, Francesca (Hrsg.): Database Machine Perf

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Parikh, Rohit (Hrsg.): Logics of Programs (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Pitt, David H. (Hrsg.): Category Theory and Computer Science (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Hulzen, J. A. van (Hrsg.): Computer Algebra (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
36.00
Cover-Bild zu Börger, Egon (Hrsg.): CSL '87 (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Leeuwen, Jan Van (Hrsg.): Graph-Theoretic Concepts in Computer Science (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Lisper, Björn: Synthesizing Synchronous Systems by Static Scheduling in Space-Time (eBook)

Lisper, Björn: Synthesizing Synchronous Systems by

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Dershowitz, Nachum (Hrsg.): Rewriting Techniques and Applications (eBook)

Dershowitz, Nachum (Hrsg.): Rewriting Techniques a

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Ehrig, Hartmut (Hrsg.): Categorical Methods in Computer Science (eBook)

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

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Leeser, Miriam (Hrsg.): Hardware Specification, Verification and Synthesis: Mathematical Aspects (eBook)

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

Springer New York
PDF | 2005
CHF
59.00
Cover-Bild zu Bruynooghe, Maurice (Hrsg.): Programming Language Implementation and Logic Programming (eBook)

Bruynooghe, Maurice (Hrsg.): Programming Language

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
«12...651652653654655656657658659...834»