Preisvergleich / Wohnen / Büro / Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein
Thumbnail - Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein
Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

Interactive Theorem Proving, Fachbücher von Ruben Gamboa, Gerwin Klein

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 20... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Rewriting and Typed Lambda Calculi, Fachbücher von Gilles Dowek

Rewriting and Typed Lambda Calculi, Fachbücher von Gilles Dowek

1 Angebot

53,49 €

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, David Riaño

Knowledge Representation for Health Care, Fachbücher von Silvia Miksch, Annette ten Teije, David Riaño

1 Angebot

42,80 €

Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche

Automated Reasoning, Fachbücher von Stephan Schulz, Roberto Sebastiani, Didier Galmiche

1 Angebot

53,49 €

Learning and Collaboration Technologies. Novel Learning Ecosystems, Fachbücher von Andri Ioannou, Panayiotis Zaphiris

Learning and Collaboration Technologies. Novel Learning Ecosystems, Fachbücher von Andri Ioannou, Panayiotis Zaphiris

1 Angebot

53,49 €

Design, User Experience, and Usability: Theory, Methodology, and Management, Fachbücher von Wentao Wang, Aaron Marcus

Design, User Experience, and Usability: Theory, Methodology, and Management, Fachbücher von Wentao Wang, Aaron Marcus

1 Angebot

106,99 €

Virtual, Augmented and Mixed Reality, Fachbücher

Virtual, Augmented and Mixed Reality, Fachbücher

1 Angebot

85,59 €

Universal Access in Human–Computer Interaction. Human and Technological Environments, Fachbücher von Constantine Stephan...

Universal Access in Human–Computer Interaction. Human and Technological Environments, Fachbücher von Constantine Stephan...

1 Angebot

53,49 €

Design, User Experience, and Usability: Designing Pleasurable Experiences, Fachbücher von Wentao Wang, Aaron Marcus

Design, User Experience, and Usability: Designing Pleasurable Experiences, Fachbücher von Wentao Wang, Aaron Marcus

1 Angebot

53,49 €

Verified Software: Theories, Tools and Experiments, Fachbücher

Verified Software: Theories, Tools and Experiments, Fachbücher

1 Angebot

51,36 €

Engineering Psychology and Cognitive Ergonomics, Fachbücher von Don Harris

Engineering Psychology and Cognitive Ergonomics, Fachbücher von Don Harris

1 Angebot

106,99 €

Tests and Proofs, Fachbücher von Nikolai Kosmatov, Jasmin Christian Blanchette

Tests and Proofs, Fachbücher von Nikolai Kosmatov, Jasmin Christian Blanchette

1 Angebot

51,36 €

Graph Transformation, Fachbücher von Francesco Parisi-Presicce, Bernhard Westfechtel

Graph Transformation, Fachbücher von Francesco Parisi-Presicce, Bernhard Westfechtel

1 Angebot

51,36 €

Virtual and Mixed Reality, Fachbücher von Shumaker, Randall

Virtual and Mixed Reality, Fachbücher von Shumaker, Randall

1 Angebot

106,99 €

Ergonomics and Health Aspects of Work with Computers, Fachbücher von Ben-Tzion Karsh

Ergonomics and Health Aspects of Work with Computers, Fachbücher von Ben-Tzion Karsh

1 Angebot

53,49 €

Internationalization, Design and Global Development, Fachbücher von Nuray Aykin

Internationalization, Design and Global Development, Fachbücher von Nuray Aykin

1 Angebot

53,49 €

Produktdetails

5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer