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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logical Foundations of Computer Science

Name: Logical Foundations of Computer Science
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662876
Price: 51.09 EUR
Availability: InStock
Author: Sergei Artemov
ISBN: 9783642357213

International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Sergei Artemov

Anil Nerode

Sprache

Englisch

Buch Broschur

Libristo-Code: 01662876

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2012

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations... Vollständige Beschreibung

Libristo-Code: 01662876

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Maradona So Press

Broschur

39.69 €

PequeŃO Libro Del Estoicismo Jonas Salzgeber

Broschur

13.49 €

Lexique amoureux du cheval et de l'équitation Bizac

Broschur

27.09 €

Колымские рассказы

Broschur

9.29 €

Gramática. Nivel elemental A1-A2 CONCHA MORENO

Broschur

15.59 €

Podívaná světa Jean Follain

Broschur

6.39 €

Naděje je na další stránce

Buch

3.19 €

Warhammer 40.000 - Dvojitý orel Dan Abnett

Broschur

13.39 €

Velký český kuchařský lexikon Josef Bittermann

Hardcover

32.19 €

Anne Charlotte Leffler Duchessa Di Cajanello Nagra Biografiska Meddelanden (1893) Ellen Key

Broschur

26.89 €

ABC Schreiben lernen: Alphabet schreiben lernen mit Druckschrift Write Book

Broschur

7.19 €

Wörterbuch für die Grundschule plus Englisch Gisela Winter

Hardcover

19.39 €

Behavioral Contract Theory Kai J. Sandner

Broschur

89.90 €

Methoden und Themen, m. CD-ROM Anke Gößling-Brunken

Broschur

33.29 €

Entstehung, Notwendigkeit und Wandel des Weltbildes Johannes Key

Broschur

27.95 €

Fuhrungskraftenachfolge in Banken Mario Plaikner

Broschur

58.00 €

Guardian Angels - Himmlische Sehnsucht Ally Trust

Broschur

10.99 €

Administrativos de la Universidad Politécnica de Cartagena. Temario Volumen II Jesús María Calvo Prieto

Broschur

37.79 €

Pohádkář Barbara Nesvadbová

Hardcover

7.89 €

Biblia Janet Evans

Broschur

11.89 €

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29 revised refereed papers carefully selected by the program committee. The scope of the Symposium is broad and includes constructive mathematics and type theory; logic, automata and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logic; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; nonmonotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

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 Logical Foundations of Computer Science

Autor Sergei Artemov, Anil Nerode

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 415

EAN 9783642357213

ISBN 3642357210

Libristo-Code 01662876

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 652

Abmessungen 155 x 235 x 23

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

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

Decoherence and Entropy in Complex Systems Hans-Thomas Elze

Hardcover

51.09 €

A Brief Guide To The Celestial Ruby: Concerning The Philosopher's Stone And Its Grand Arcanum Arthur Edward Waite

Broschur

16.59 €

Life Of Timothy Pickering V3 Octavius Pickering

Hardcover

57.29 €

Variants of SBC Process Algebra: The Structure-Behavior Coalescence Approach Dr William S Chao

Broschur

13.39 €

52 Things Jessica Wants Mike To Know: A Different Way To Say It Levy

Broschur

17.99 €

Redfish Flies: Eight Effective Patterns for Catching Redfish Drew Chicone

Broschur

34.99 €

Mending the Broken: The Westward Trek Jean Chase

Broschur

11.59 €

Front Line Surgery MD Martin

Broschur

169.09 €

General Laws of the State of Minnesota, Passed During the Seventh Session of the State Legislature, Commencing January 3rd, 1865, and Terminating Marc D. BLAKELY

Broschur

24.19 €