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.64 €
In extern magazijn in kleine hoeveelheid Wordt binnen 14-21 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Ich habe deine Tranen gesehen Frank Feldhusen / Boek Gebonden (paperback)
common.buy 12.55 €
Medve és Madár D.C. Jarvis / Boek Gebonden (harde band)
common.buy 9.82 €
Was man von hier aus sehen kann Aron Lehmann / Video Blu-ray
common.buy 14.78 €
Actual Life 3 (January 1-September 9 2022) Fred Again.. / Audio Audio cd
common.buy 24.10 €
Entwicklung und Einreichung von Orphan-/Generika-Medikamenten und APIs: Regulatorische Erfordernisse Surabhi Shrivastav / Boek Gebonden (paperback)
common.buy 54.39 €
Entwicklung des Angebots von Sendungen über die Geschichte des 20. Jahrhunderts Sigrun Lehnert / Boek Gebonden (paperback)
common.buy 62.90 €
La gota de lluvia, Educación Primaria, 1 ciclo Alfredo Gómez Cerdá / Boek Gebonden (paperback)
common.buy 10.83 €
Betania : una casa para el amigo : pilares de espiritualidad familiar José Granados García / Boek Gebonden (paperback)
common.buy 19.95 €
Demenz und Demografischer Wandel - Herausforderungen fur den Gesundheitssektor Valerie Grimm / Boek Gebonden (paperback)
common.buy 35.75 €
Cours de Versions Compose de Traits d'Histoire, Fables, Descriptions (Ed.1868) Sans Auteur / Boek Gebonden (paperback)
common.buy 19.24 €
New York City-Kalender 2020: Manhattan Terminkalender-Jahresplaner-A5 Format New York Publishing / Boek Gebonden (paperback)
common.buy 10.63 €
Die Regenbogenkinder von Fabelhausen Markus Sharanius Etter / Boek Gebonden (paperback)
common.buy 25.01 €
Romancero General O Coleccion De Romances Castellanos Anteriores Al Siglo Xviii... Duran / Boek Gebonden (paperback)
common.buy 32.61 €
Voordelig
Pietr-Le-Letton Georges Simenon / Boek Gebonden (paperback)
common.buy 7.28 €
Emmanuel Levinas zur Einführung Bernhard H. F. Taureck / Boek Gebonden (paperback)
common.buy 17.41 €

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.76 €
My Sixty Years on the Plains William T Hamilton / Boek Gebonden (paperback)
common.buy 14.07 €
Memoires Pour Servir A L'Histoire De Port-Royal V2 (1738) Nicolas Fontaine / Boek Gebonden (harde band)
common.buy 60.06 €
TOP
The Martian Andy Weir / Boek Gebonden (paperback)
common.buy 9.72 €
Logic, Mathematics, and Computer Science Yves Nievergelt / Boek Gebonden (harde band)
common.buy 65.63 €
Air Time Hank Phillippi Ryan / Boek Gebonden (paperback)
common.buy 13.56 €
Crisfield Jason Rhodes / Boek Gebonden (harde band)
common.buy 24.61 €
True to Form Eric Goodman / Boek Gebonden (paperback)
common.buy 19.44 €
Master ACT Math Prep Subbalakshmi Devaki / E-book Adobe ePub DRM
common.buy 5.46 €
Tom Sawyer: A One-Hour Classic Mark Twain / Boek Gebonden (paperback)
common.buy 19.34 €
Three Score Ten M. R. Mercer / Boek Gebonden (paperback)
common.buy 13.56 €
The Complete Poems of C. Day Lewis C. Lewis / Boek Gebonden (harde band)
common.buy 93.39 €
Commentary of Dr. Zacharias Ursinus on the Heidelberg Catechism Zacharias Ursinus / Boek Gebonden (paperback)
common.buy 59.96 €
TOP
Software Architecture: The Hard Parts Mark Richards / Boek Gebonden (paperback)
common.buy 59.96 €
Connection Parenting Pam Leo / Boek Gebonden (harde band)
common.buy 22.28 €
Friday Night Jazzz Rainer Neumann / Boek Gebonden (paperback)
common.buy 10.63 €
Unseen City Ankhi Mukherjee / E-book Adobe ePub DRM
common.buy 51.15 €
Tackling Poverty and Social Exclusion John H. Pierson / Boek Gebonden (harde band)
common.buy 283.54 €
Commodity, Futures and Financial Markets L. Phlips / Boek Gebonden (paperback)
common.buy 154.58 €
Before and Beyond the Global Economic Crisis Benner / Boek Gebonden (harde band)
common.buy 158.94 €
Control and Optimization Methods for Electric Smart Grids Aranya Chakrabortty / Boek Gebonden (harde band)
common.buy 154.58 €
Imperial to International Stuart Wolfendale / Boek Gebonden (harde band)
common.buy 54.90 €
Logic for Computer Scientists Uwe Schöning / Boek Gebonden (paperback)
common.buy 65.63 €
Barbarism and Religion J. G. A. Pocock / Boek Gebonden (paperback)
common.buy 48.51 €

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
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?