Montant total (1 article articles) :
Destination de la commande :
international conference computer aided (Plus de 1 000 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (1 014)
- 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
Particularités
- Ed. originale (9)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (2)
- Avec images (351)
- Sans impressions à la demande (902)
Langue (2)
Livraison gratuite
Pays
Evaluation du vendeur
-
EUR 3,75
Autre deviseEUR 3 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2001
ISBN 10 : 3540423451 ISBN 13 : 9783540423454
Langue: anglais
EUR 6,99
Autre deviseEUR 3,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2001. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Vendeur : Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 2,99
Autre deviseEUR 11,45 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
-
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science 531)
Edité par Springer-Verlag, Berlin, 1991
ISBN 10 : 0387544771 ISBN 13 : 9780387544779
Langue: anglais
Vendeur : PsychoBabel & Skoob Books, Didcot, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 7,97
Autre deviseEUR 7,49 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : Very Good. Etat de la jaquette : No Dust Jacket. Lecture Notes in Computer Science 531; Ex-Library. Previous owner's sticker on the front cover. Ink stamp on half-title page. Small pen inscription on title page. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
-
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings (Lecture Notes in Computer Science)
Vendeur : Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 2,24
Autre deviseEUR 12,99 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Neu. Gebraucht - Sehr gut Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; -This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction. 656 pp. Englisch.
-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science)
Vendeur : Leserstrahl (Preise inkl. MwSt.), Oldenbüttel, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,85
Autre deviseEUR 7 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierTaschenbuch. Etat : Fine. leichte Lagerspuren / minor shelfwear---. nein.
-
Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings
Vendeur : La bataille des livres, Pradinas, France
Évaluation du vendeur 5 sur 5 étoiles
EUR 15
Autre deviseEUR 4,50 expédition vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Très bon. Computer Aided Verification: 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings | D. Dill | Springer, 1994. In-8° broché, 480p. Couverture propre. Dos solide. Intérieur frais sans soulignage ou annotation. Exemplaire de bibliothèque : petit code barre en pied de 1re de couv., cotation au dos, rares et discrets petits tampons à l'intérieur de l'ouvrage. Très bon état général [Ba36+].
-
Design of marine and offshore structures : fourth International Conference on Computer Aided Design, Manufacture and Operation in the Marine and Offshore Industries
Edité par Southampton , Boston : Computational Mechanics Publ. London , New York : Elsevier Science Publ., 1992
ISBN 10 : 1853121789 ISBN 13 : 9781853121784
Langue: anglais
Vendeur : Versandbuchhandlung Kisch & Co., Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 7,46
Autre deviseEUR 13 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panier(Elsevier). Etat : Neu. Gebraucht - Wie neu Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; Englisch.
-
Design of marine and offshore structures : fourth International Conference on Computer Aided Design, Manufacture and Operation in the Marine and Offshore Industries
Edité par Southampton , Boston : Computational Mechanics Publ. London , New York : Elsevier Science Publ., 1992
ISBN 10 : 1853121789 ISBN 13 : 9781853121784
Langue: anglais
Vendeur : Che & Chandler Versandbuchhandlung, Fürstenberg OT Blumenow, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 9,95
Autre deviseEUR 11,45 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panier(Elsevier). Etat : Neu. Gebraucht - Wie neu Restauflage; ungelesen, sehr guter Zustand; Rechnung mit MwSt.; unused/unread, very good condition; Englisch.
-
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in . Notes in Computer Science, 1954, Band 1954)
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 6,99
Autre deviseEUR 15,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Befriedigend. 564 Seiten; 9783540432029.4 Gewicht in Gramm: 1.
-
Proceedinds Of The International Conference On Computer Aided Analysis And Design Of Concrete Structures Part 1
Edité par Pineridge Press, 1111
ISBN 10 : 0906674263 ISBN 13 : 9780906674260
Vendeur : BoundlessBookstore, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,73
Autre deviseEUR 6,33 expédition depuis Royaume-Uni vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Light wear to boards. Content is clean with slight toning to pages. DJ has some edge wear.
-
Localized Damage: Computer Aided Assessment and Control, VOLUME TWO: Non-linear Behaviour, Dynamics, Composite Materials and Industrial Applications; Proceedings of the first International Conference on Computer-Aided Assessment and Control of Localized
Edité par Springer-Verlag, Computational Mechanics Publications, 1990
ISBN 10 : 3540527141 ISBN 13 : 9783540527145
Langue: anglais
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,35
Autre deviseEUR 21,61 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. Volume Two, 371 pp., Hardcover, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings (Lecture Notes in Computer Science 939)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 4,45
Autre deviseEUR 21,61 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 451 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
EUR 16,69
Autre deviseEUR 3 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.
-
Computer-Aided Architectural Design - "Hello, Culture". 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26-28, 2019 : Selected Papers.
Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, Allemagne
Membre d'association : GIAQ ILAB VDA
Évaluation du vendeur 5 sur 5 étoiles
EUR 18
Autre deviseEUR 10 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierXIV, 506 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. Communications in Computer and Information Science. 1028. Sprache: Englisch.
-
Formal Methods in Computer-Aided Design. First International Conference, FMCAD '96 Palo Alto, CA, USA, Nov. 6-8, 1996 Proceedings. (=Lecture Notes in Computer Science; 1166).
Edité par Springer Berlin, 1996
Langue: anglais
Vendeur : ralfs-buecherkiste, Herzfelde, MOL, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 15
Autre deviseEUR 15 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Gut. 470 Computerwissenschaft Guter Zustand/ Good With figures and tables. Ex-Library. ha1060027 Sprache: Englisch Gewicht in Gramm: 650.
-
Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science, 1855)
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 8,78
Autre deviseEUR 21,61 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Very Good. 582 pp., Paperback, previous owner's name to title page else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part II
Edité par Springer Nature Switzerland, 2023
ISBN 10 : 3031377028 ISBN 13 : 9783031377020
Langue: anglais
EUR 20,70
Autre deviseEUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,06
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité 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.
-
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)
Vendeur : Studibuch, Stuttgart, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 19,47
Autre deviseEUR 13,90 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Befriedigend. 500 Seiten; 9783540405245.4 Gewicht in Gramm: 500.
-
Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 24,75
Autre deviseEUR 9 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Auflage: 2000. 600 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 23,4 x 16,0 x 2,8 cm, Taschenbuch.
-
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Vendeur : SMASS Sellers, IRVING, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,56
Autre deviseGratuit expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design: IFIP International Working Conference: EduTech 2005, Perth, ... and Communication Technology, 192)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 35,64
Autre deviseGratuit expédition depuis Australie vers FranceQuantité disponible : 6 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 26,61
Autre deviseEUR 9 expédition depuis Allemagne vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Sehr gut. Auflage: 2001. 536 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 22,9 x 15,2 x 3,3 cm, Taschenbuch.
-
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,06
Autre deviseEUR 2,90 expédition depuis Etats-Unis vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science, 5123)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 38,59
Autre deviseGratuit expédition depuis Australie vers FranceQuantité disponible : 4 disponible(s)
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Foundations of Computer Aided Process Operations: Proceedings of the First International Conference on Foundations of Computer Aided Process Operati
Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 16,44
Autre deviseEUR 21,61 expédition depuis Etats-Unis vers FranceQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Good. 727 pp., Hardcover, ex library, else text and binding clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part III
Edité par Springer Nature Switzerland, 2023
ISBN 10 : 3031377087 ISBN 13 : 9783031377082
Langue: anglais
EUR 28,19
Autre deviseEUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
-
Computer-Aided Architectural Design Futures (CAADFutures) 2007: Proceedings of the 12th International CAAD Futures Conference
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 41,13
Autre deviseGratuit expédition depuis Australie vers FranceQuantité disponible : Plus de 20 disponibles
Ajouter au panierBrand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17¿22, 2023, Proceedings, Part I
Edité par Springer Nature Switzerland, 2023
ISBN 10 : 3031377052 ISBN 13 : 9783031377051
Langue: anglais
EUR 31,23
Autre deviseEUR 9,90 expédition depuis Allemagne vers FranceQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.
