Ihre Suche nach ergab 15773 Treffer

Suchresultate weiter filtern:
«12...532533534535536537538539540...658»
Cover-Bild zu Salwicki, A. (Hrsg.): Logics of Programs and Their Applications (eBook)

Salwicki, A. (Hrsg.): Logics of Programs and Their

Springer Berlin Heidelberg
PDF | 2005
CHF
31.00
Cover-Bild zu Weber, Matthias: The Generic Development Language Deva (eBook)

Weber, Matthias: The Generic Development Language

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Ehrig, Hartmut (Hrsg.): Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 (eBook)

Ehrig, Hartmut (Hrsg.): Formal Methods and Softwar

Springer Berlin Heidelberg
PDF | 2005
CHF
63.00
Cover-Bild zu Prehn, Soren (Hrsg.): VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings (eBook)

Prehn, Soren (Hrsg.): VDM '91. Formal Software Dev

Springer Berlin Heidelberg
PDF | 2005
CHF
118.00
Cover-Bild zu Ershov, A. (Hrsg.): Methods of Algorithmic Language Implementation (eBook)

Ershov, A. (Hrsg.): Methods of Algorithmic Languag

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Blum, E. K. (Hrsg.): Mathematical Studies of Information Processing (eBook)

Blum, E. K. (Hrsg.): Mathematical Studies of Infor

Springer Berlin Heidelberg
PDF | 2005
CHF
118.00
Cover-Bild zu Lauer, Peter E. (Hrsg.): Functional Programming, Concurrency, Simulation and Automated Reasoning (eBook)

Lauer, Peter E. (Hrsg.): Functional Programming, C

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Blaser, A. (Hrsg.): Data Base Techniques for Pictorial Application (eBook)

Blaser, A. (Hrsg.): Data Base Techniques for Picto

Springer Berlin Heidelberg
PDF | 2005
CHF
63.00
Cover-Bild zu Staunstrup, J. (Hrsg.): Program Specification (eBook)

Staunstrup, J. (Hrsg.): Program Specification (eBo

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Engeler, E. (Hrsg.): Logic of Programs (eBook)

Engeler, E. (Hrsg.): Logic of Programs (eBook)

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Chetverikov, Dmitry (Hrsg.): Computer Analysis of Images and Patterns (eBook)

Chetverikov, Dmitry (Hrsg.): Computer Analysis of

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Brookes, Stephen D. (Hrsg.): Seminar on Concurrency (eBook)

Brookes, Stephen D. (Hrsg.): Seminar on Concurrenc

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Klint, Paul: A Study in String Processing Languages (eBook)

Klint, Paul: A Study in String Processing Language

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Karlsson, Rolf (Hrsg.): SWAT '88 (eBook)

Karlsson, Rolf (Hrsg.): SWAT '88 (eBook)

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Krieg-Brückner, Bernd (Hrsg.): ESOP '92 (eBook)

Krieg-Brückner, Bernd (Hrsg.): ESOP '92 (eBook)

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Best, Eike (Hrsg.): CONCUR'93 (eBook)

Best, Eike (Hrsg.): CONCUR'93 (eBook)

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

Lingas, Andrzej (Hrsg.): Automata, Languages and P

Springer Berlin Heidelberg
PDF | 2005
CHF
118.00
Cover-Bild zu Levi, Giorgio (Hrsg.): Algebraic and Logic Programming (eBook)

Levi, Giorgio (Hrsg.): Algebraic and Logic Program

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Haring, Günter (Hrsg.): Computer Performance Evaluation: Modelling Techniques and Tools (eBook)

Haring, Günter (Hrsg.): Computer Performance Evalu

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Denvir, B. T. (Hrsg.): The Analysis of Concurrent Systems (eBook)

Denvir, B. T. (Hrsg.): The Analysis of Concurrent

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Joseph, M. (Hrsg.): Foundations of Software Technology and Theoretical Computer Science (eBook)

Joseph, M. (Hrsg.): Foundations of Software Techno

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Polak, W.: Compiler Specification and Verification (eBook)

Polak, W.: Compiler Specification and Verification

Springer Berlin Heidelberg
PDF | 2005
CHF
31.00
Cover-Bild zu Hutchison, D. (Hrsg.): Local Area Networks: An Advanced Course (eBook)

Hutchison, D. (Hrsg.): Local Area Networks: An Adv

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
Cover-Bild zu Sifakis, Joseph (Hrsg.): Automatic Verification Methods for Finite State Systems (eBook)

Sifakis, Joseph (Hrsg.): Automatic Verification Me

Springer Berlin Heidelberg
PDF | 2005
CHF
59.00
«12...532533534535536537538539540...658»