Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564793
Price: 107.29 EUR
Availability: InStock
Author: Zoltán Ésik
ISBN: 9783540454588

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

Zoltán Ésik

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01564793

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Mapa Oceanía físico edigol ediciones

Broschur

16.29 €

morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio

Broschur

16.09 €

Rol' lekarstwennyh traw w farmacewtike Ali Khan

Broschur

18.69 €

Microsoft Office 365 Karel Klatovský

Broschur

11.39 €

Insolvenzrecht Michael App

Broschur

54.90 €

Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo

Blu-ray

37.99 €

Gangland Chuck Hogan

Broschur

30.99 €

Aprende a tocar la batería Peter Gelling

Broschur

34.39 €

Ejercicios para mantener el intelecto 1 Anna Puig Alemán

Broschur

22.59 €

Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez

Broschur

70.59 €

Un árbol caído Rafael Reig

Broschur

11.69 €

El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS

Broschur

15.69 €

La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa

Broschur

53.09 €

Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius

Broschur

34.90 €

Conjuguez sans faute

Broschur

6.89 €

Tajomstvo úspechu troch majstrov Napoleon Hill

Hardcover

16.09 €

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

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

For Sinners Only A J Russell

Broschur

17.19 €

Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza

Broschur

17.09 €

Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan

Broschur

19.99 €

Chauffeur and the Chaperon C. N. WILLIAMSON

Hardcover

37.69 €

Mecca F. E. Peters

Broschur

82.19 €

The Law of Executors and Administrators. Samuel Toller

Broschur

32.79 €

Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market

Hardcover

31.99 €

Craven Street Yuri Rasovsky

MP3

12.49 €

Mastering Bread Marc Vetri

Adobe ePub DRM

16.89 €

Islam Lovat

Broschur

29.89 €

International Who's Who in Classical Music 2010 Europa Publications

Hardcover

404.79 €

Liber Costumarum Christopher Markham

Broschur

17.89 €

Play or Pay. a Novelette. Hawley Smart

Broschur

22.59 €

An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan

Hardcover

49.19 €

Chora 5 Alberto Perez-Gomez

Broschur

44.79 €

Questions about God Steven M. Cahn

Hardcover

105.69 €

Deleuze's Cinema Books David Deamer

Hardcover

124.19 €

Logic Programming with Prolog Beverley Ford

Broschur

55.09 €

Cosmic B1+ Test Book Katerina Mestheneou

Broschur

27.89 €

Häufig gesucht

Categories

Authors

Publishers

Häufig gesucht

Waren

Categories

Authors

Publishers

Versand

Kaufberater

Computer Science Logic