Montant total (1 article articles) :
Destination de la commande :
margaria tiziana (686 résultats)
Passer aux résultats principaux de la recherche
Filtres de recherche
Type d'article
- Tous les types de produits
- Livres (686)
- 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 (3)
- Signé (Aucun autre résultat ne correspond à ces critères)
- Jaquette (1)
- Avec images (301)
- Sans impressions à la demande (487)
Langue (1)
Livraison gratuite
Pays
Evaluation du vendeur
-
Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 Proceedings
Langue: anglais
Edité par Springer Verlag, New York City, 2004
ISBN 10 : 3540213058 ISBN 13 : 9783540213055
Vendeur : Doss-Haus Books, Redondo Beach, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 21,09
EUR 4,69 shipping
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : Very Good. No Jacket. Hardcover 2004 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good to near fine condition. Series: Lecture Notes in Computer Science ;2984. [xiii, 388 p. : ill. ; 24 cm].
-
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European . (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 20,25
EUR 5,97 shipping
Expédition nationale : 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. Except for library markings, text block clean and unmarked. Tight binding.
-
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers
Vendeur : BookOrders, Russell, IA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 26,38
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoft Cover. Etat : Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library.
-
Fundamental Approaches to Software Engineering
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 28,67
EUR 5,97 shipping
Expédition nationale : 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.
-
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. . (Lecture Notes in Computer Science, 1019)
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 37,77
EUR 3,20 shipping
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierpaperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96 Passau, Germany, March 27-29, 19
Langue: anglais
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1996
ISBN 10 : 3540610421 ISBN 13 : 9783540610427
Bonne affaireEUR 19,34
EUR 20,50 shipping
Expédition depuis France vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierSoftcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1996. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Semantic Web Services Challenge
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
EUR 38,59
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 312.
-
Semantic Web Services Challenge
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
EUR 34,65
EUR 7,51 shipping
Expédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 312 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Correct Hardware Design and Verification Methods. 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 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
EUR 30 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierXII, 482 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. 2144. Sprache: Englisch.
-
Semantic Web Services Challenge
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
EUR 35,62
EUR 9,95 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 312.
-
Tools And Algorithms For The Construction And Analysis Of Systems/first International Workshop, Tacas *95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,29
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Tools And Algorithms For The Construction And Analysis Of Systems/first International Workshop, Tacas *95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,29
Livraison gratuite
Expédition nationale : 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.
-
Leveraging applications of formal methods, verification and validation, Applications and case studies, 2 Lecture notes in computer science ; 7610
Langue: anglais
Edité par Berlin ; Heidelberg : Springer, 2012
ISBN 10 : 3642340318 ISBN 13 : 9783642340314
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 32,95
EUR 12,95 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. XVI, 361 S. : Ill., graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 605.
-
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science)
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 43,44
EUR 5,97 shipping
Expédition nationale : 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.
-
Software Business. From Physical Products to Software Services and Solutions: 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, ... in Business Information Processing, 150)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 47,80
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, 1
Vendeur : books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
EUR 34,95
EUR 15,95 shipping
Expédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierBroschiert. Etat : Gut. 614 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 970.
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
EUR 46,22
EUR 5,50 shipping
Expédition depuis Italie vers Etats-UnisQuantité disponible : 5 disponible(s)
Ajouter au panierEtat : new.
-
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019)
Vendeur : ALLBOOKS1, Direk, SA, Australie
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,94
Livraison gratuite
Expédition depuis Australie vers Etats-UnisQuantité disponible : 1 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.
-
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas (Paperback)
Langue: anglais
Edité par Springer International Publishing AG, Cham, 2024
ISBN 10 : 3031753895 ISBN 13 : 9783031753893
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 54,77
Livraison gratuite
Expédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Software Process Improvement : 14th European Conference, EuroJSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,20
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New.
-
Software Process Improvement: 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26-28, 2007, Proceedings (Lecture Notes in Computer Science, 4764)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,01
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, Sars 2011 and Mlsc 2011, Held Under the Auspices of Isola 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,53
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Process Design for Natural Scientists : An Agile Model-driven Approach
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,53
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Fundamental Approaches to Software Engineering : 7th International Conference, Fase 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,53
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Services and Visualization : Towards User-Friendly Design : Acos'98, Visual'98, Ain'97 Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 53,53
EUR 2,25 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Process Design for Natural Scientists: An Agile Model-Driven Approach (Communications in Computer and Information Science, 500)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,35
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Computer Science and General Issues)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,35
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science, 336)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,35
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers (Lecture Notes in Computer Science, 1385)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,35
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
-
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
EUR 52,35
EUR 3,41 shipping
Expédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
