Home
Reihe: Lecture Notes in Computer Science

Reihe: Lecture Notes in Computer Science

In den Warenkorb

Static Analysis

Pascal van Hentenryck

Taschenbuch | Springer Berlin, 1997

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Object-Based Models and Languages for Concurrent Systems

Paolo Ciancarini, Oscar Nierstrasz, A…

Taschenbuch | Springer Berlin, 1995

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Verified Software: Theories, Tools, Experiments

Gary T. Leavens, Peter O'Hearn, Srira…

Taschenbuch | Springer Berlin, 2010

Lieferung in 7-14 Werktagen

€ 54,99
In den Warenkorb

Types for Proofs and Programs

Stefano Berardi, Mario Coppo

Taschenbuch | Springer Berlin, 1996

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Rewriting Techniques and Applications

Ronald V. Book

Taschenbuch | Springer Berlin, 1991

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Service Oriented Computing

Gerti Kappel, Zakaria Maamar, Hamid R…

Taschenbuch | Springer Berlin, 2011

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Foundations of Software Technology and Theoretical Computer Science

S.N. Maheshwari

Taschenbuch | Springer Berlin, 1985

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Security Protocols

Bruce Christianson, James Malcolm, Fr…

Taschenbuch | Springer Berlin, 2013

Lieferbar in 6 Werktagen

€ 54,99
In den Warenkorb

Computational Science - ICCS 2001

Vassil N. Alexandrov, Jack J. Dongarr…

Taschenbuch | Springer Berlin, 2001

Lieferung in 7-14 Werktagen

€ 109,99
In den Warenkorb

Combinatorial Image Analysis

Reinhard Klette, Jovisa Zunic

Taschenbuch | Springer Berlin, 2004

Lieferbar in 6 Werktagen

€ 109,99