- 5 Ergebnisse
Kleinster Preis: € 17,89, größter Preis: € 85,59, Mittelwert: € 40,12
1
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings Nikolaj Bjrner (u. a.) Taschenbuch Book Englisch - Bjrner, Nikolaj
Bestellen
bei booklooker.de
€ 59,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bjrner, Nikolaj:

Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings Nikolaj Bjrner (u. a.) Taschenbuch Book Englisch - Taschenbuch

2011, ISBN: 9783642224379

[ED: Taschenbuch], [PU: Springer Berlin], This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroclaw, Poland, in … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
2
Bestellen
bei buchfreund.de
€ 18,80
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Bjørner, Nikolaj und Viorica Sofronie-Stokkermans:

Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 -- August 5, 2011, Proceedings 2011 - gebrauchtes Buch

2011, ISBN: 9783642224379

2011 Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10876803/12 Versandkostenfreie Lieferung termination,formal methods,computer aided verification,model-based program analysis,AI … Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Buchpark GmbH, 14959 Trebbin
zuklappen (X)
3
Bestellen
bei buchfreund.de
€ 18,44
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Bjorner, Nikolaj; Sofronie-Stokkermans (Eds.):
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011, Proceedings (Lecture Notes in Artificial Intelligence, Band 6803) - gebrauchtes Buch

2011

ISBN: 9783642224379

XIII, 508 Seiten, Broschiert Lecture Notes in Artificial Intelligence, Band 6803. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Versand D: 3,00 EUR , [PU:Berlin, Heidelberg: Springer-Verlag]

Versandkosten:Versandkosten innerhalb der BRD. (EUR 3.00) Antiquariat Bernhardt, 34121 Kassel
zuklappen (X)
4
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 -- August 5, 2011, Proceedings - Bjørner, Nikolaj und Viorica Sofronie-Stokkermans
Bestellen
bei booklooker.de
€ 17,89
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Bjørner, Nikolaj und Viorica Sofronie-Stokkermans:
Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 -- August 5, 2011, Proceedings - gebrauchtes Buch

2011, ISBN: 9783642224379

[PU: Springer Berlin], Neubindung, Buchrücken leicht eingerissen, Ausg. 2011 10876803/12, DE, [SC: 3.00], gebraucht; sehr gut, gewerbliches Angebot, 2011, Banküberweisung, PayPal, Klarna-… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 3.00) Buchpark GmbH
zuklappen (X)
5
Bestellen
bei lehmanns.de
€ 85,59
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Nikolaj Bjørner; Viorica Sofronie-Stokkermans:
Automated Deduction -- CADE-23 - Taschenbuch

2011, ISBN: 9783642224379

23rd International Conference on Automated Deduction, Wroc?aw, Poland, July 31 -- August 5, 2011, Proceedings, Buch, Softcover, [PU: Springer Berlin], Springer Berlin, 2011

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Automated Deduction -- CADE-23
Autor:
Titel:
ISBN-Nummer:

9783642224379

Detailangaben zum Buch - Automated Deduction -- CADE-23


EAN (ISBN-13): 9783642224379
ISBN (ISBN-10): 3642224377
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2011
Herausgeber: Springer Berlin
508 Seiten
Gewicht: 0,783 kg
Sprache: Englisch

Buch in der Datenbank seit 2009-12-13T01:32:56+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-05-06T21:48:10+02:00 (Zurich)
ISBN/EAN: 9783642224379

ISBN - alternative Schreibweisen:
3-642-22437-7, 978-3-642-22437-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: nikolaj, sofron
Titel des Buches: wroclaw, cad, ded, july, cade

Daten vom Verlag:

Autor/in: Nikolaj Bjørner; Viorica Sofronie-Stokkermans
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Automated Deduction -- CADE-23 - 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Verlag: Springer; Springer Berlin
508 Seiten
Erscheinungsjahr: 2011-07-12
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 508 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; computer aided verification; formal methods; logical reasoning; model-based program analysis; term rewriting systems; termination; Artificial Intelligence; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Theoretische Informatik; Software Engineering; EA

Fast track conference proceedings Unique visibility State of the art research

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783030294359 Automated Deduction CADE 27 (Pascal Fontaine)

< zum Archiv...