Cortesi a (46 Ergebnisse)
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 2003 Proceedings
Mukhopadhyay, S.;Vmcai, ;Zuck, Lenore D.; Attie, P. D; Cortesi, A.
- Hardcover
Anbieter: Doss-Haus Books, Redondo Beach, CA, USADoss-Haus Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 19,82
EUR 5,14 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series : Lecture Notes in Computer Science ;2575. [xi, 323 p. : ill. ; 24 cm].
- Softcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 13,79
EUR 8,99 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New. 2014. 1st Edition. paperback. . . . . . Books ship from the US and Ireland. Cortesi, Carla (illustrator).
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 20,87
EUR 11,69 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 94 pages. 5.00x0.19x8.00 inches. In Stock.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 22,95
EUR 14,00 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Verlag: Alinea, 1989
Anbieter: Librodifaccia, Alessandria, AL, ItalienLibrodifaccia
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 8,72
EUR 27,90 VersandVersand von Italien nach USAAnzahl: 2 verfügbar
In den WarenkorbZustand: Buone. Condizioni dell'esterno: Buone Condizioni dell'interno: Molto buone.
Verlag: S.T.E.R. e Mutilati, RAVENNA, 1960
- Softcover
Anbieter: Biblioteca di Babele, Tarquinia, VT, ItalienBiblioteca di Babele
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 10,00
EUR 42,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: BUONO USATO. Biblioteca classense Ravenna ITALIANO Volume n. I della Biblioteca Classense-Ravenna, serie dei Carteggi Risorgimentali del fondo Luigi Rava. Prefazione di Augusto Torre. Brossura in cartoncino, con lieve usura lungo i margini, qualche leggera fioritura e piega da lettura al dorso. Tagli irregolari e con ac…cenno di fioritura; pagine appena ingiallite, salde, con ampio margine e note al piede. Numero pagine 484.
Verlag: Alinea, FIRENZE, 1989
- Softcover
Anbieter: Biblioteca di Babele, Tarquinia, VT, ItalienBiblioteca di Babele
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 10,00
EUR 42,00 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
Zustand: OTTIMO USATO. Atti INTERLINGUE N.10 della collana, Firenze Aula Magna dell'UniversitÃ, 28-30 settembre 1988, in italiano ed inglese, traduzione di Victor Loren Beard, pagine in ottimo stato di conservazione, con illustrazioni in nero eni testi, questi ultimi su due colonne, brossura editoriale illustrata, flessibile, co…n lievissimi segni di usura per scaffalatura e leggeri segni di pieghe al piatto post. Numero pagine 199.
Verlag: Pitagora Editrice, 1979
Anbieter: Librodifaccia, Alessandria, AL, ItalienLibrodifaccia
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 12,80
EUR 27,90 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Buone. italiano Condizioni dell'esterno: copertina leggermente logorata e macchiata Condizioni dell'interno: Buone.
Verlag: Alinea, 1988
Anbieter: Librodifaccia, Alessandria, AL, ItalienLibrodifaccia
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Befriedigend
EUR 16,80
EUR 27,90 VersandVersand von Italien nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Buone. Condizioni dell'esterno: copertina leggermente consumata-sbiadita Condizioni dell'interno: Molto buone.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Twelve | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | ix | Englisch | 2020 | Springer | EAN 9789811529290 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juerg…en[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Nine | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2019 | Springer | EAN 9789811389610 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[…dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere BilderSprache: Englisch
Verlag: Springer, 2019
Serie: Buch 235 von 540 - Advances in Intelligent Systems and Computing
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Eight | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2019 | Springer | EAN 9789811337017 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen…[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere BilderSprache: Englisch
Verlag: Springer, 2017
Serie: Buch 81 von 540 - Advances in Intelligent Systems and Computing
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Four | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | xi | Englisch | 2017 | Springer | EAN 9789811033902 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen…[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Ten | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2019 | Springer | EAN 9789811389689 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[d…ot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume 1 | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2015 | Springer | EAN 9788132226482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot…]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Computer Information Systems and Industrial Management | 12th IFIP TC 8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013, Proceedings | Khalid Saeed (u. a.) | Taschenbuch | xx | Englisch | 2013 | Springer | EAN 9783642409240 | Verantwortliche Person für die EU: Springer Verla…g GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,40
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Three | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | xiii | Englisch | 2017 | Springer | EAN 9789811034084 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juer…gen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Amphibious Anthropologies | Living in Wet Environments | Alejandro Camargo (u. a.) | Taschenbuch | Culture, Place, and Nature | Einband - flex.(Paperback) | Englisch | 2025 | University of Washington Press | EAN 9780295753898 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Her…sfeld, gpsr[at]libri[dot]de | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,30
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Five | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2018 | Springer | EAN 9789811081798 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[…dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, 2018
Serie: Buch 222 von 540 - Advances in Intelligent Systems and Computing
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,30
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Seven | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2018 | Springer | EAN 9789811332494 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen…[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 86,30
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Six | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | x | Englisch | 2018 | Springer | EAN 9789811081828 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[d…ot]hartmann[at]springer[dot]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume Eleven | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | ix | Englisch | 2020 | Springer | EAN 9789811557460 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juerg…en[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security | Volume 2 | Rituparna Chaki (u. a.) | Taschenbuch | Advances in Intelligent Systems and Computing | xii | Englisch | 2015 | Springer | EAN 9788132226512 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[d…ot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer, 2021
Serie: Buch 292 von 391 - Lecture Notes in Networks and Systems
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 104,20
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security: Volume 14 | Rituparna Chaki (u. a.) | Taschenbuch | Lecture Notes in Networks and Systems | xii | Englisch | 2021 | Springer | EAN 9789811642937 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartm…ann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer Nature Singapore, 2021
Serie: Buch 308 von 391 - Lecture Notes in Networks and Systems
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,20
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Advanced Computing and Systems for Security: Volume 13 | Rituparna Chaki (u. a.) | Taschenbuch | xii | Englisch | 2021 | Springer Nature Singapore | EAN 9789811642869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com… | Anbieter: preigu.
Verlag: Provincia di Bergamo, Bergamo,, 1994
Anbieter: Bouquinerie du Varis, Russy, FR, SchweizBouquinerie du Varis
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 30,20
EUR 19,90 VersandVersand von Schweiz nach USAAnzahl: 1 verfügbar
In den Warenkorb240x160mm, 398pagine, Ottimo stato. Envois Europe jusqu'à valeur du colis 150 EUR : TVA inclus dans montant final. Exceptions taxes postales locales à la charge de l'acheteur (~2 EUR). Contact via notre page d'accueil en cas de problème. / Shipments to Europe with a package value of up to 150 EUR : VAT included in total amount.…Local postal fees apply to buyers in Euroe (~2 EUR). Contact us via our homepage if needed.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 149,05
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Challenges of Software Verification | Vincenzo Arceri (u. a.) | Taschenbuch | Intelligent Systems Reference Library | xv | Englisch | 2024 | Springer | EAN 9789811996030 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]…com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 167,00
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Proceedings of International Conference on Computational Intelligence and Data Engineering | ICCIDE 2021 | Nabendu Chaki (u. a.) | Taschenbuch | Lecture Notes on Data Engineering and Communications Technologies | xii | Englisch | 2022 | Springer | EAN 9789811671814 | Verantwortliche Person für die EU:…Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 184,95
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Applied Computing for Software and Smart Systems | Proceedings of ACSS 2022 | Rituparna Chaki (u. a.) | Taschenbuch | xiii | Englisch | 2023 | Springer | EAN 9789811967900 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[do…t]com | Anbieter: preigu.
Weitere Bilder- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 184,95
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Proceedings of International Conference on Computational Intelligence and Data Engineering | ICCIDE 2017 | Nabendu Chaki (u. a.) | Taschenbuch | Lecture Notes on Data Engineering and Communications Technologies | xvi | Englisch | 2018 | Springer | EAN 9789811063183 | Verantwortliche Person für die EU:…Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
