- 0 Ergebnisse
Kleinster Preis: € 13,48, größter Preis: € 119,37, Mittelwert: € 78,47
1
Bestellen
bei booklooker.de
€ 66,90
Versand: € 0,00
Bestellen
Dawar, Anuj:

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings Anuj Dawar (u. a.) Taschenbuch Englisch - Taschenbuch

2010, ISBN: 9783642152047

[ED: Taschenbuch], [PU: Springer Berlin], The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, … Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

Buchbär
2
Bestellen
bei Indigo.ca
C$ 183,50
(ca. € 119,37)
Bestellen
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, A - neues Buch

2010, ISBN: 9783642152047

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 2010. The conference start… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.

3
Bestellen
bei booklooker.de
€ 96,29
Versand: € 0,00
Bestellen
Anuj Dawar:
Computer Science Logic - Taschenbuch

2010

ISBN: 9783642152047

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], Neuware - The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic),… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00)

buchversandmimpf2000
Bezahlte Anzeige
4
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings - Dawar, Anuj (Herausgeber); Veith, Helmut (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 96,29
Versand: € 0,00
Bestellen
Dawar, Anuj (Herausgeber); Veith, Helmut (Herausgeber):
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings - neues Buch

2010, ISBN: 364215204X

Kartoniert / Broschiert Logikprogrammierung, Roboter - Robotik - Industrieroboter, Betriebssystem (EDV), Operating System, EDV / Theorie / Software-Entw. / Software Engineering, Mathemat… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)

MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
5
Bestellen
bei Biblio.co.uk
$ 16,36
(ca. € 13,48)
Versand: € 10,72
Bestellen
Editor-Anuj Dawar; Editor-Helmut Veith:
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Computer Science and General Issues) - Taschenbuch

2010, ISBN: 9783642152047

Springer, 2010-10-14. Paperback. Good., Springer, 2010-10-14, 2.5

Versandkosten: EUR 10.72

Ergodebooks

Details zum Buch
Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, A

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected from 103 submissions. Topics covered include automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, modal and temporal logic, model checking, decision procedures, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, and nonmonotonic reasoning.

Detailangaben zum Buch - Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, A


EAN (ISBN-13): 9783642152047
ISBN (ISBN-10): 364215204X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
548 Seiten
Gewicht: 0,845 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-12-27T22:03:21+01:00 (Berlin)
Detailseite zuletzt geändert am 2021-02-18T15:33:22+01:00 (Berlin)
ISBN/EAN: 9783642152047

ISBN - alternative Schreibweisen:
3-642-15204-X, 978-3-642-15204-7


< zum Archiv...