Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computer Science Logic

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Computer Science Logic Anuj Dawar
Libristo-code: 01656468
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2010
This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Scie... Volledige beschrijving
? points 142 b
58.50 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Entwicklung und Einreichung von Orphan-/Generika-Medikamenten und APIs: Regulatorische Erfordernisse Surabhi Shrivastav / Boek Gebonden (paperback)
common.buy 54.26 €
Ich habe deine Tranen gesehen Frank Feldhusen / Boek Gebonden (paperback)
common.buy 12.52 €
New York City-Kalender 2020: Manhattan Terminkalender-Jahresplaner-A5 Format New York Publishing / Boek Gebonden (paperback)
common.buy 10.60 €
Romancero General O Coleccion De Romances Castellanos Anteriores Al Siglo Xviii... Duran / Boek Gebonden (paperback)
common.buy 32.53 €
Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter / Boek Gebonden (paperback)
common.buy 25.25 €
Wordt verwacht
Der Bergbau im Bayerischen Wald Fritz Pfaffl / Boek Gebonden (paperback)
common.buy 14.34 €
Emmanuel Levinas zur Einführung Bernhard H. F. Taureck / Boek Gebonden (paperback)
common.buy 14.34 €
Betania : una casa para el amigo : pilares de espiritualidad familiar José Granados García / Boek Gebonden (paperback)
common.buy 20.00 €
La gota de lluvia, Educación Primaria, 1 ciclo Alfredo Gómez Cerdá / Boek Gebonden (paperback)
common.buy 11.41 €
Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm / Boek Gebonden (paperback)
common.buy 35.66 €
Cours de Versions Compose de Traits d'Histoire, Fables, Descriptions (Ed.1868) Sans Auteur / Boek Gebonden (paperback)
common.buy 20.30 €
Voordelig
Pietr-Le-Letton Georges Simenon / Boek Gebonden (paperback)
common.buy 7.27 €
Entwicklung des Angebots von Sendungen über die Geschichte des 20. Jahrhunderts Sigrun Lehnert / Boek Gebonden (paperback)
common.buy 62.95 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computer Science Logic
Auteur Anuj Dawar, Helmut Veith
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 548
EAN 9783642152047
ISBN 364215204X
Libristo-code 01656468
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 845
Afmetingen 158 x 240 x 33

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Flocking and Rendezvous in Distributed Robotics Bruce A. Francis / Boek Gebonden (paperback)
common.buy 51.63 €
Crisfield Jason Rhodes / Boek Gebonden (harde band)
common.buy 24.55 €
Fabulous Fifties Kate E. Dooner / Boek Gebonden (harde band)
common.buy 47.99 €
My Sixty Years on the Plains William T Hamilton / Boek Gebonden (paperback)
common.buy 14.04 €
TOP
The Martian Andy Weir / Boek Gebonden (paperback)
common.buy 9.69 €
Logic, Mathematics, and Computer Science Yves Nievergelt / Boek Gebonden (harde band)
common.buy 65.47 €
Air Time Hank Phillippi Ryan / Boek Gebonden (paperback)
common.buy 13.53 €
Digging Up the Bones: Obstectrics & Gynecology Nikos M. Linardakis / Boek Gebonden (paperback)
common.buy 24.34 €
Before and Beyond the Global Economic Crisis Benner / Boek Gebonden (harde band)
common.buy 158.85 €
True to Form Eric Goodman / Boek Gebonden (paperback)
common.buy 19.39 €
Tom Sawyer: A One-Hour Classic Mark Twain / Boek Gebonden (paperback)
common.buy 19.29 €
Commentary of Dr. Zacharias Ursinus on the Heidelberg Catechism Zacharias Ursinus / Boek Gebonden (paperback)
common.buy 59.81 €
TOP
Software Architecture: The Hard Parts Mark Richards / Boek Gebonden (paperback)
common.buy 59.81 €
Connection Parenting Pam Leo / Boek Gebonden (harde band)
common.buy 22.22 €
Friday Night Jazzz Rainer Neumann / Boek Gebonden (paperback)
common.buy 10.60 €
Unseen City Ankhi Mukherjee / E-book Adobe ePub DRM
common.buy 50.72 €
Harry Potter Susan Gunelius / Boek Gebonden (paperback)
common.buy 53.24 €
Barbarism and Religion J. G. A. Pocock / Boek Gebonden (paperback)
common.buy 48.39 €
Wordt verwacht
Cambridge Primary Science Activity Book 4 Fiona Baxter / Boek Gebonden (paperback)
common.buy 6.15 €
Logic for Computer Scientists Uwe Schöning / Boek Gebonden (paperback)
common.buy 65.47 €
Commodity, Futures and Financial Markets L. Phlips / Boek Gebonden (paperback)
common.buy 154.20 €
Imperial to International Stuart Wolfendale / Boek Gebonden (harde band)
common.buy 59.41 €
Control and Optimization Methods for Electric Smart Grids Aranya Chakrabortty / Boek Gebonden (harde band)
common.buy 154.20 €
Tackling Poverty and Social Exclusion John H. Pierson / Boek Gebonden (harde band)
common.buy 278.19 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken