Der ausgewählte Artikel ist nicht mehr verfügbar, aber wir haben etwas Ähnliches gefunden.

Bild 1 von 1

Standardbild

Logical Foundations of Computer Science International Symposium, LFCS 2016, 3115 - Bild 1 von 1

Logical Foundations of Computer Science von Anil Nerode (2015, Taschenbuch)

Schreiben Sie die ersteRezension.

getbooks-de-24 (98398)
98,8% positive Bewertungen

Preis:

€ 53,49

(inkl. MwSt.)

+ EUR 2,94 Versand

Lieferung ca. Sa, 11. Mai - Di, 14. Mai

Rücknahmen:

1 Monat Rückgabe. Käufer zahlt Rückversand. Für eBay Plus-Mitglieder ist der Rückversand im Inland kostenlos. Mehr erfahren.

Artikelzustand:

Neu

Logical Foundations of Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016.

Alle Details ansehen

Über dieses Produkt

Produktinformation

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revised full papers were carefully reviewed and selected from 46 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized 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 logics; 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; non-monotonic 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.

Produktkennzeichnungen

Herausgeber
Anil Nerode, Sergei Artemov
ISBN-10
3319276824
ISBN-13
9783319276823
eBay Product ID (ePID)
218717286

Produkt Hauptmerkmale

Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
420 Seiten
Verlag
Springer International Publishing
Publikationsname
Logical Foundations of Computer Science
Autor
Anil Nerode, Sergei Artemov
Format
Taschenbuch
Erscheinungsjahr
2015

Zusätzliche Produkteigenschaften

Hörbuch
No
Inhaltsbeschreibung
Paperback
Item Length
23cm
Item Height
2cm
Ausgabe
Ausgabe Nr. 1 des Jahres 15
Item Width
15cm
Nummer Innerhalb der Serie
9537
Buchreihe
Theoretical Computer Science And General Issues
Item Weight
633g

Alle Angebote für dieses Produkt

Artikel 1 Logical Foundations of Computer Science International Symposium, LFCS 2016, 3115
EUR 53,49
+EUR 2,94 Versand
Artikel 2 Anil Nerode (u. a.) | Logical Foundations of Computer Science | Taschenbuch | x
EUR 53,95
+EUR 2,95 Versand

Meistverkauft in Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)
4.3 von 5 Sternen in 4 Produktbewertungen
EUR 19,90 Neu
EUR 17,69 Gebraucht

Hier sparen: Studium & Erwachsenenbildung

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Hier sparen: Studium & Erwachsenenbildung

Der Schlüssel zur Selbstbefreiung - Lebensphilosophie für ein glückliches u ...
EUR 74,00
Preistendenz: EUR 74,93
Kopf hoch! | Volker Busch | Deutsch | Buch | 352 S. | 2024 | Droemer
EUR 20,00
Preistendenz: EUR 20,45
Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde
EUR 9,99
Preistendenz: EUR 10,10
Einfaches Kassenbuch | Einnahmen und Ausgaben
EUR 4,99
Preistendenz: EUR 6,62
Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008
EUR 29,95
Preistendenz: EUR 30,33
Rutger Bregman Im Grunde gut
EUR 15,00
Preistendenz: EUR 15,18

Auch interessant

Aktuelle Folie {CURRENT_SLIDE} von {TOTAL_SLIDES}- Auch interessant

Stöbern in Kategorien

Bild 1 von 1

Logical Foundations of Computer Science von Anil Nerode (2015, Taschenbuch)

Über dieses Produkt

Produktinformation

Produktkennzeichnungen

Produkt Hauptmerkmale

Zusätzliche Produkteigenschaften

Alle Angebote für dieses Produkt

Artikel 1 Logical Foundations of Computer Science International Symposium, LFCS 2016, 3115

Artikel 2 Anil Nerode (u. a.) | Logical Foundations of Computer Science | Taschenbuch | x

Meistverkauft in Studium & Erwachsenenbildung

Anastasia, Tochter der Taiga von Wladimir Megre (Gebundene Ausgabe, 2020)

Hier sparen: Studium & Erwachsenenbildung

Der Schlüssel zur Selbstbefreiung - Lebensphilosophie für ein glückliches u ...

Kopf hoch! | Volker Busch | Deutsch | Buch | 352 S. | 2024 | Droemer

Disney Minnie Schleifen-Boutique Kindergartenfreundebuch | Meine ersten Freunde

Einfaches Kassenbuch | Einnahmen und Ausgaben

Die Bibel | Synodalübersetzung - Schlachter 2000. Russisch-Deutsch | Buch | 2008

Rutger Bregman Im Grunde gut

Auch interessant

Belletristik im Taschenbuch-Format mit Romane Science-Fiction

Taschenbuch-Science-Fiction-Belletristik - Jugendliche Romane

Computer & Internet Taschenbücher

Sonderausgabe-Taschenbuch-Science-Fiction - Belletristik-Bücher auf Deutsch

Taschenbuch-Science-Fiction-Belletristik - Jugendliche Bücher auf Deutsch

Science-Fiction-Bücher im Taschenbuch-Format mit Belletristik-Genre