Zur Startseite wechseln
CHF 0.00
Kategorien
E-Books / Audio-Downloads / Reader
E-Books englisch
Naturwissenschaften / Medizin / Informatik / Technik
Produktbild
Zhiming (Hrsg.) Liu

Theoretical Aspects of Computing - ICTAC 2004

First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Ebook (PDF Format)

CHF 140.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails

Weitere Autoren: Araki, Keijiro (Hrsg.)
  • ISBN: 978-3-540-31862-0
  • EAN: 9783540318620
  • Produktnummer: 33309871
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2005
  • Seitenangabe: 566 S.
  • Plattform: PDF
  • Masse: 4'875 KB
  • Auflage: 2005
  • Abbildungen: Bibliographie

33 weitere Werke von Zhiming (Hrsg.) Liu:

Produktbild
Formal Methods and Software Engineering
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 179.00
Produktbild
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 193.00
Produktbild
Formal Methods and Hybrid Real-Time Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 136.00
Produktbild
Formal Aspects of Component Software
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 80.00
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 65.00
Produktbild
Automated Technology for Verification and Analysis
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 120.00
Produktbild
Dependable Software Engineering: Theories, Tools, and Applications
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 100.00
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 80.00
Produktbild
Theoretical Aspects of Computing -- ICTAC 2013
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 89.00
Produktbild
Theories of Programming and Formal Methods
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 89.00
Produktbild
Domain Modeling and the Duration Calculus
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 86.00
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 84.00
Produktbild
Theoretical Aspects of Computing - ICTAC 2004
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 144.00
Produktbild
Dependable Software Engineering: Theories, Tools, and Applications
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 57.00
Produktbild
Formal Aspects of Component Software
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 66.50
Produktbild
Formal Methods and Hybrid Real-Time Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 133.50
Produktbild
Theories of Programming and Formal Methods
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 73.50
Produktbild
Theoretical Aspects of Computing -- ICTAC 2013
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 73.50
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 66.50
Produktbild
Theoretical Aspects of Computing - ICTAC 2007
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 106.50
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 68.50
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 68.50
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 78.00
Produktbild
Automated Technology for Verification and Analysis
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 130.00
Produktbild
Theoretical Aspects of Computing - ICTAC 2007
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 114.00
Produktbild
Foundations of Health Informatics Engineering and Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 66.00
Produktbild
Unifying Theories of Programming and Formal Engineering Methods
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 64.00
Produktbild
Foundations of Health Informatics Engineering and Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 61.50
Produktbild
Formal Methods and Software Engineering
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 173.50
Produktbild
Domain Modeling and the Duration Calculus
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 80.00
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Ebook (PDF Format)
CHF 68.50
Produktbild
Unifying Theories of Programming and Formal Engineering Methods
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 77.00
Produktbild
Engineering Trustworthy Software Systems
First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Buch
CHF 84.00

Bewertungen

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...