Montant total (1 article articles) :
Destination de la commande :
thomas henzinger (139 résultats)
Commentaires
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (139)
- Magazines & Périodiques (Aucun autre résultat ne correspond à ces critères)
- Bandes dessinées (Aucun autre résultat ne correspond à ces critères)
- Partitions de musique (Aucun autre résultat ne correspond à ces critères)
- Art, Affiches et Gravures (Aucun autre résultat ne correspond à ces critères)
- Photographies (Aucun autre résultat ne correspond à ces critères)
- Cartes (Aucun autre résultat ne correspond à ces critères)
- Manuscrits & Papiers anciens (Aucun autre résultat ne correspond à ces critères)
Etat En savoir plus
- Neuf (115)
- Comme neuf, Très bon ou Bon (18)
- Assez bon ou satisfaisant (5)
- Moyen ou mauvais (Aucun autre résultat ne correspond à ces critères)
- Conformément à la description (1)
Particularités
- Ed. originale (Aucun autre résultat ne correspond à ces critères)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (Aucun autre résultat ne correspond à ces critères)
- Avec images (65)
- Sans impressions à la demande (114)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,72
Autre deviseEUR 5,97 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 15,62
Autre deviseEUR 5,97 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,62
Autre deviseEUR 3,63 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. New Copy. Customer Service Guaranteed.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,76
Autre deviseEUR 3,63 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : new.
-
Embedded Software. First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Membre d'association : GIAQ ILAB VDA
Évaluation du vendeur 5 sur 5 étoiles
EUR 12
Autre deviseEUR 30 expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierIX, 504 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2211. Sprache: Englisch.
-
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science, 1386)
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 42,17
Autre deviseEUR 3,63 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : new.
-
Mathematical and Engineering Methods in Computer Science
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,99
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 3 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, Memics 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 51,11
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Mathematical and Engineering Methods in Computer Science
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,44
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... (Lecture Notes in Computer Science, 7721)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,06
Autre deviseEUR 3,41 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computational Methods in Systems Biology (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10 : 3642407072 ISBN 13 : 9783642407079
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 55,90
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. The 15 regular papers included in this volume were carefully reviewed and selected from 27 submissions. They deal with computational models for all levels, from molecular and cellular, to organs and entire organisms. This book constitutes the proceedings of the 11th International Conference on Computational Methods in Systems Biology, CMSB 2013, held in Klosterneuburg, Austria, in September 2013. They deal with computational models for all levels, from molecular and cellular, to organs and entire organisms. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Computational Methods in Systems Biology : 11th International Conference, Cmsb 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,58
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Bioinformatics)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,40
Autre deviseEUR 3,41 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings (Lecture Notes in Computer Science, 6246)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,40
Autre deviseEUR 3,41 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New.
-
Computer Aided Verification (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10 : 3540614745 ISBN 13 : 9783540614746
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,30
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation. This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Hybrid Systems: Computation and Control (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1998
ISBN 10 : 3540643583 ISBN 13 : 9783540643586
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 56,30
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series. This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,99
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computer Aided Verification : 8th International Conference, Cav '96, New Brunswick, Nj, USA July 31-August 3, 1996
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,99
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,99
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings (Lecture Notes in Computer Science, 1386)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,81
Autre deviseEUR 3,41 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102)
Edité par New York, NY, U.S.A. Springer-Verlag New York, Incorporated ., 1996
ISBN 10 : 3540614745 ISBN 13 : 9783540614746
Langue: anglais
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,81
Autre deviseEUR 3,41 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,81
Autre deviseEUR 3,41 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Edition internationaleMATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE: 8TH INTERNATIONAL DOCTORAL WORKSHOP, MEMICS 2012, ZNOJMO, CZECH REPUBLIC, OCTOBER 25-28, . PAPERS (PROGRAMMING AND SOFTWARE ENGINEERING)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,24
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
-
MATHEMATICAL AND ENGINEERING METHODS IN COMPUTER SCIENCE: 8TH INTERNATIONAL DOCTORAL WORKSHOP, MEMICS 2012, ZNOJMO, CZECH REPUBLIC, OCTOBER 25-28, . PAPERS (PROGRAMMING AND SOFTWARE ENGINEERING)
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,86
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Mathematical and Engineering Methods in Computer Science (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2013
ISBN 10 : 3642360440 ISBN 13 : 9783642360442
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 62,03
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012.The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by the papers include: computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing. This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)
Vendeur : GoldBooks, Denver, CO, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 59,45
Autre deviseEUR 3,63 expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. New Copy. Customer Service Guaranteed.
-
Computer Aided Verification : 8th International Conference, Cav '96, New Brunswick, Nj, USA July 31-August 3, 1996
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,15
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Hybrid Systems : Computation and Control : First International Workshop, Hscc'98, Berkeley, California, Usa, April 1998 : Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,40
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
-
Embedded Software (Paperback)
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2001
ISBN 10 : 3540426736 ISBN 13 : 9783540426738
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 63,79
Autre deviseGratuit expédition vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. With the omnipresence of micro devices in our daily lifes embedded software has gained tremendous importance in both science and industry. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. They present latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development (such as, for example, component based design, functional programming, real-time Java, resource and storage allocation, verification). Each paper focuses on one topic, showing the inter-relationship and application to the design and implementation of embedded software systems. This volume contains 34 invited papers from the First International Workshop on Embedded Systems. Each paper presents the latest research results from different areas of computer science that are traditionally distinct but relevant to embedded software development. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Embedded Software : First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8- 10, 2001, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 61,56
Autre deviseEUR 2,26 expédition vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
