Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Computer Science Logic Zoltán Ésik
Libristo-Code: 01564793
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Vollständige Beschreibung
? points 249 b
101.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Gangland Chuck Hogan / Buch Broschur
common.buy 25.99 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 34.49 €
Manifeste pour un Islam des lumières Malek Chebel / Buch Broschur
common.buy 33.69 €
Entre les lignes nouvelle édition Bourdier / Buch Broschur
common.buy 8.89 €
Microsoft Office 365 Karel Klatovský / Buch Broschur
common.buy 10.79 €
Psychoanalyse Der Ermachtigung de Sousa Cleuber Cristiano de Sousa / Buch Broschur
common.buy 39.90 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Buch Broschur
common.buy 17.69 €
Produttivit? nelle industrie manifatturiere grazie alla gestione della conoscenza Prashant Chaudhari / Buch Broschur
common.buy 61.49 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Buch Broschur
common.buy 13.39 €
Tajomstvo úspechu troch majstrov Napoleon Hill / Buch Hardcover
common.buy 15.39 €
Conjuguez sans faute / Buch Broschur
common.buy 4.89 €
Evariste-Desire De Parny, 'Le Paradis Perdu' Ritchie Robertson / Buch Broschur
common.buy 25.29 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Buch Broschur
common.buy 137.09 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Buch Broschur
common.buy 34.90 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Buch Broschur
common.buy 46.59 €
Insolvenzrecht Michael App / Buch Broschur
common.buy 54.90 €
Un árbol caído Rafael Reig / Buch Broschur
common.buy 9.89 €
Mapa Oceanía físico edigol ediciones / Buch Broschur
common.buy 14.29 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Buch Broschur
common.buy 60.69 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Buch Broschur
common.buy 19.39 €
Aprende a tocar la batería Peter Gelling / Buch Broschur
common.buy 28.99 €
Teilhabe-Ontologie und interreligioeser Dialog im Platonismus und Christentum Friedemann Drews / Buch Hardcover
common.buy 153.99 €

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computer Science Logic
Autor Zoltán Ésik
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 627
EAN 9783540454588
ISBN 3540454586
Libristo-Code 01564793
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 961
Abmessungen 155 x 235 x 35

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Informatik > Künstliche Intelligenz
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Ghost Cat: Thelma's Dilemma Carol Colbert / Buch Broschur
common.buy 8.79 €
Mecca F. E. Peters / Buch Broschur
common.buy 102.09 €
Something Happened on the Way to Heaven Sudha Murty / Buch Broschur
common.buy 11.19 €
International Who's Who in Classical Music 2010 Europa Publications / Buch Hardcover
common.buy 387.89 €
Mastering Bread Marc Vetri / E-Book Adobe ePub DRM
common.buy 10.29 €
Craven Street Yuri Rasovsky / Hörbuch MP3
common.buy 10.09 €
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Buch Broschur
common.buy 11.59 €
Justice League: Last Ride Miguel Mendonca / Buch Broschur
common.buy 12.99 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Buch Hardcover
common.buy 28.29 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Buch Broschur
common.buy 12.39 €
Islam Lovat / Buch Broschur
common.buy 28.59 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Buch Hardcover
common.buy 34.19 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Buch Broschur
common.buy 14.59 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Buch Broschur
common.buy 18.19 €
The Law of Executors and Administrators. Samuel Toller / Buch Broschur
common.buy 29.69 €
Body Awareness MR Roger Day / Buch Broschur
common.buy 11.09 €
In Pursuit Of A Shadow (1887) Elizabeth Brown / Buch Broschur
common.buy 21.69 €
Liber Costumarum Christopher Markham / Buch Broschur
common.buy 15.89 €
For Sinners Only A J Russell / Buch Broschur
common.buy 15.59 €
Play or Pay. a Novelette. Hawley Smart / Buch Broschur
common.buy 19.89 €
Demnächst
Understanding the Dynamics of a Knowledge Economy Wilfred Dolfsma / Buch Hardcover
common.buy 164.39 €
Chora 5 Alberto Perez-Gomez / Buch Broschur
common.buy 38.79 €
Cosmic B1+ Test Book Katerina Mestheneou / Buch Broschur
common.buy 24.29 €
Questions about God Steven M. Cahn / Buch Hardcover
common.buy 139.09 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?