Anbieter: medimops, Berlin, Deutschland
Zustand: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.
Sprache: Italienisch
Verlag: Milano, Springer Italia, 2007
ISBN 10: 8847006392 ISBN 13: 9788847006393
Anbieter: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Deutschland
Verbandsmitglied: GIAQ
EUR 4,48
Anzahl: 3 verfügbar
In den WarenkorbSoftcover/Paperback. Zustand: Sehr gut. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Italienisch Gewicht in Gramm: 600.
Zustand: 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.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 64,35
Anzahl: 1 verfügbar
In den WarenkorbZustand: Used. pp. 401.
EUR 29,03
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. Italian language. 7.68x4.72x0.79 inches. In Stock.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,62
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: Used. pp. 401.
8°, OPp, gebundene Ausgabe. XIX, 401 S. Papier minimal gebräunt, sonst sehr gutes Exemplar. Sprache: Englisch Gewicht in Gramm: 823.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Hardcover. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D02108 9783642136054 Sprache: Englisch Gewicht in Gramm: 550.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 30,23
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In Italian.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 31,33
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 349 pages. Italian language. 8.19x5.51x0.94 inches. In Stock.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 80,74
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2013 edition. 387 pages. 9.25x6.10x0.88 inches. In Stock.
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
EUR 48,37
Anzahl: Mehr als 20 verfügbar
In den WarenkorbGebunden. Zustand: New.
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642391753 ISBN 13: 9783642391750
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Model Checking Software | 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings | Ezio Bartocci (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642391750 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Et moi, . si favait III mmment en revenir, One service mathematics has rendered the je n'y serais point aile:' human race. It has put CXlUImon sense back Iules Verne where it belongs. on the topmost shelf next to the dUlty canister lahelled 'discarded non- The series i. divergent; therefore we may be able to do something with it. Eric T. Bell O. Hesvi.ide Mathematics is a tool for thOUght. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics . .'; 'One service logic has rendered com puter science . .'; 'One service category theory has rendered mathematics . .'. All arguably true. And all statements obtainable this way form part of the raison d't!tre of this series.
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Et moi, . si favait III mmment en revenir, One service mathematics has rendered the je n'y serais point aile:' human race. It has put CXlUImon sense back Iules Verne where it belongs. on the topmost shelf next to the dUlty canister lahelled 'discarded non- The series i. divergent; therefore we may be able to do something with it. Eric T. Bell O. Hesvi.ide Mathematics is a tool for thOUght. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics . .'; 'One service logic has rendered com puter science . .'; 'One service category theory has rendered mathematics . .'. All arguably true. And all statements obtainable this way form part of the raison d't!tre of this series.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 388 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.
Zustand: new.
EUR 24,43
Anzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
Verlag: Kluwer Acedemic Publ. 1991., 1991
Anbieter: Antiquariaat Ovidius, Bredevoort, Niederlande
Zustand: Gebraucht / Used. Hardcover. Very good. Xix,242pp.
Sprache: Italienisch
Verlag: Springer Milan, Springer Milan, 2007
ISBN 10: 8847006392 ISBN 13: 9788847006393
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Lo scibile matematico si espande a un ritmo vertiginoso. Nel corso degli ultimi cinquant'anni sono stati dimostrati più teoremi che nei precedenti millenni della storia umana. Per illustrare la ricchezza della matematica del Novecento, il presente volume porta sulla ribalta alcuni dei protagonisti di questa straordinaria impresa intellettuale, che ha messo a nostra disposizione nuovi e potenti strumenti per indagare la realtà che ci circonda.Presentando matematici famosi accanto ad altri meno noti al grande pubblico - da Hilbert a Gödel, da Turing a Nash, da De Giorgi a Wiles - i ritratti raccolti in questo volume ci presentano personaggi dal forte carisma personale, dai vasti interessi culturali, appassionati nel difendere l'importanza delle proprie ricerche, sensibili alla bellezza, attenti ai problemi sociali e politici del loro tempo.Ne risulta un affresco che documenta la centralità della matematica nella cultura, non solo scientifica ma anche filosofica, artistica e letteraria, del nostro tempo, in un continuo gioco di scambi e di rimandi, di corrispondenze e di suggestioni.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Vite matematiche | Protagonisti del '900, da Hilbert a Wiles | C. Bartocci (u. a.) | Taschenbuch | I blu | Einband - flex.(Paperback) | Italienisch | 2007 | Springer | EAN 9788847006393 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
EUR 89,90
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new.
EUR 227,34
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. Italian language. 8.90x6.46x2.44 inches. In Stock.