Ihre Suche nach ergab 12839 Treffer

Suchresultate weiter filtern:
«12...419420421422423424425426427...535»
Cover-Bild zu Sandford, David M.: Using Sophisticated Models in Resolution Theorem Proving (eBook)

Sandford, David M.: Using Sophisticated Models in

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Hoffmann, C. M.: Group-Theoretic Algorithms and Graph Isomorphism (eBook)

Hoffmann, C. M.: Group-Theoretic Algorithms and Gr

Springer Berlin Heidelberg
PDF | 2005
CHF
27.50
Cover-Bild zu Veer, G. C. Van Der (Hrsg.): Readings on Cognitive Ergonomics, Mind and Computers (eBook)

Veer, G. C. Van Der (Hrsg.): Readings on Cognitive

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Grechenig, Thomas (Hrsg.): Human Computer Interaction (eBook)

Grechenig, Thomas (Hrsg.): Human Computer Interact

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Shapiro, Ehud (Hrsg.): Third International Conference on Logic Programming (eBook)

Shapiro, Ehud (Hrsg.): Third International Confere

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Ling, Tok W. (Hrsg.): Deductive and Object-Oriented Databases (eBook)

Ling, Tok W. (Hrsg.): Deductive and Object-Oriente

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Kott, Laurent (Hrsg.): Automata, Languages and Programming (eBook)

Kott, Laurent (Hrsg.): Automata, Languages and Pro

Springer Berlin Heidelberg
PDF | 2005
CHF
63.00
Cover-Bild zu Jones, N. D.: TEMPO (eBook)

Jones, N. D.: TEMPO (eBook)

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Banatre, Jean Pierre (Hrsg.): Research Directions in High-Level Parallel Programming Languages (eBook)

Banatre, Jean Pierre (Hrsg.): Research Directions

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
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
«12...419420421422423424425426427...535»