Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Computer Science Logic Anuj Dawar
Codul Libristo: 01656468
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2010
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Scie... Descrierea completă
? points 148 b
321.51 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Entwicklung und Einreichung von Orphan-/Generika-Medikamenten und APIs: Regulatorische Erfordernisse Surabhi Shrivastav / Carte Carte broșată
common.buy 302.02 lei
Ich habe deine Tranen gesehen Frank Feldhusen / Carte Carte broșată
common.buy 69.63 lei
New York City-Kalender 2020: Manhattan Terminkalender-Jahresplaner-A5 Format New York Publishing / Carte Carte broșată
common.buy 58.79 lei
Romancero General O Coleccion De Romances Castellanos Anteriores Al Siglo Xviii... Duran / Carte Carte broșată
common.buy 179.31 lei
Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter / Carte Carte broșată
common.buy 126.14 lei
Curând
Der Bergbau im Bayerischen Wald Fritz Pfaffl / Carte Carte broșată
common.buy 79.85 lei
Emmanuel Levinas zur Einführung Bernhard H. F. Taureck / Carte Carte broșată
common.buy 79.85 lei
Betania : una casa para el amigo : pilares de espiritualidad familiar José Granados García / Carte Carte broșată
common.buy 105.08 lei
La gota de lluvia, Educación Primaria, 1 ciclo Alfredo Gómez Cerdá / Carte Carte broșată
common.buy 60.15 lei
Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm / Carte Carte broșată
common.buy 198.91 lei
Cours de Versions Compose de Traits d'Histoire, Fables, Descriptions (Ed.1868) Sans Auteur / Carte Carte broșată
common.buy 111.75 lei
Leftin
Pietr-Le-Letton Georges Simenon / Carte Carte broșată
common.buy 38.25 lei
Entwicklung des Angebots von Sendungen über die Geschichte des 20. Jahrhunderts Sigrun Lehnert / Carte Carte broșată
common.buy 315.05 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Computer Science Logic
Autor Anuj Dawar, Helmut Veith
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 548
EAN 9783642152047
ISBN 364215204X
Codul Libristo 01656468
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 845
Dimensiuni 158 x 240 x 33

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Flocking and Rendezvous in Distributed Robotics Bruce A. Francis / Carte Carte broșată
common.buy 285.96 lei
Crisfield Jason Rhodes / Carte Copertă tare
common.buy 137.19 lei
Fabulous Fifties Kate E. Dooner / Carte Copertă tare
common.buy 237.48 lei
My Sixty Years on the Plains William T Hamilton / Carte Carte broșată
common.buy 69.42 lei
Top
The Martian Andy Weir / Carte Carte broșată
common.buy 54.72 lei
Logic, Mathematics, and Computer Science Yves Nievergelt / Carte Copertă tare
common.buy 363.63 lei
Air Time Hank Phillippi Ryan / Carte Carte broșată
common.buy 75.78 lei
Digging Up the Bones: Obstectrics & Gynecology Nikos M. Linardakis / Carte Carte broșată
common.buy 134.17 lei
Before and Beyond the Global Economic Crisis Benner / Carte Copertă tare
common.buy 835.39 lei
True to Form Eric Goodman / Carte Carte broșată
common.buy 108.73 lei
Tom Sawyer: A One-Hour Classic Mark Twain / Carte Carte broșată
common.buy 106.54 lei
Commentary of Dr. Zacharias Ursinus on the Heidelberg Catechism Zacharias Ursinus / Carte Carte broșată
common.buy 334.13 lei
Top
Software Architecture: The Hard Parts Mark Richards / Carte Carte broșată
common.buy 334.13 lei
Connection Parenting Pam Leo / Carte Copertă tare
common.buy 122.49 lei
Friday Night Jazzz Rainer Neumann / Carte Carte broșată
common.buy 58.58 lei
Unseen City Ankhi Mukherjee / E-book Adobe ePub DRM
common.buy 266.36 lei
Harry Potter Susan Gunelius / Carte Carte broșată
common.buy 294.82 lei
Barbarism and Religion J. G. A. Pocock / Carte Carte broșată
common.buy 242.49 lei
Curând
Cambridge Primary Science Activity Book 4 Fiona Baxter / Carte Carte broșată
common.buy 32.52 lei
Logic for Computer Scientists Uwe Schöning / Carte Carte broșată
common.buy 363.63 lei
Commodity, Futures and Financial Markets L. Phlips / Carte Carte broșată
common.buy 854.78 lei
Imperial to International Stuart Wolfendale / Carte Copertă tare
common.buy 326.52 lei
Control and Optimization Methods for Electric Smart Grids Aranya Chakrabortty / Carte Copertă tare
common.buy 854.78 lei
Tackling Poverty and Social Exclusion John H. Pierson / Carte Copertă tare
common.buy 1 529.31 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo