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.

Logical Foundations of Computer Science

International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logical Foundations of Computer Science Sergei Artemov
Libristo-code: 02848176
Uitgeverij Springer International Publishing AG, december 2015
This book§constitutes the refereed proceedings of the International Symposium on Logical§Foundations... Volledige beschrijving
? points 125 b
51.67 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Colette Valérie Perrin / Boek Gebonden (paperback)
common.buy 12.83 €
Kouzelná Beruška a Černý Kocour - Komiksové příběhy 4 / Boek Gebonden (paperback)
common.buy 8.38 €
Methoden und Werkzeuge im Qualitatsmanagement Martin Drobits / Boek Gebonden (paperback)
common.buy 17.08 €
Santé et guérison - Principes occultes Heindel / Boek Gebonden (paperback)
common.buy 20.42 €
Vahdetname Ahmedi Ishak Hocasi / Boek Gebonden (paperback)
common.buy 18.40 €
Voordelig
Baba Jaga a další ruské pohádky autora nemá / Boek Gebonden (harde band)
common.buy 9.90 €
Management Und Edv Erich A. Tertilt / Boek Gebonden (paperback)
common.buy 53.09 €
Atmospheres/+ Abbado/WP/London Sinonietta / Audio Audio cd
common.buy 13.74 €
Gülendamin Renkleri Selvigül Kandogmus sahin / Boek Gebonden (paperback)
common.buy 14.15 €
Leichte Küche aus schweren Zeiten Gabriele Schmenkel / Boek Gebonden (harde band)
common.buy 7.27 €
Gli anni della lotta armata. Cronologia di una rivoluzione mancata Davide Steccanella / Boek Gebonden (paperback)
common.buy 28.00 €
Urdimbre Aurelio Asiain / Boek Gebonden (paperback)
common.buy 14.15 €
Finansovaya politika upravleniya denezhnymi potokami predpriyatiya (firmy) Vladimir Kabanov / Boek Gebonden (paperback)
common.buy 55.11 €
Les enfants de P.Gilbert Gilbert Puren / Boek Gebonden (paperback)
common.buy 17.89 €

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.§

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 Logical Foundations of Computer Science
Auteur Sergei Artemov, Anil Nerode
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2015
Aantal pagina's 407
EAN 9783319276823
ISBN 3319276824
Libristo-code 02848176
Uitgeverij Springer International Publishing AG
Gewicht 6321
Afmetingen 155 x 235 x 235

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
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

Foundations of Software Science and Computational Structures Luca de Alfaro / Boek Gebonden (paperback)
common.buy 51.67 €
Cookies For Dummies" Carole Bloom / Boek Gebonden (paperback)
common.buy 15.77 €
Woody Woodchuck Endar Novianto / Boek Gebonden (harde band)
common.buy 16.48 €
Enterprise Fortress Alex Stevens / Boek Gebonden (paperback)
common.buy 73.11 €
TOP
HR Giger STUTZER BEAT / Boek Gebonden (paperback)
common.buy 48.54 €
Delivery Tomas Hulick Baiza / Boek Gebonden (paperback)
common.buy 17.28 €
Economics of the Postal and Delivery Sector Pier Luigi Parcu / Boek Gebonden (harde band)
common.buy 101.03 €
Station Life in New Zealand Lady Barker / Boek Gebonden (paperback)
common.buy 15.67 €
Sinless Jenica Saren / Boek Gebonden (paperback)
common.buy 13.04 €
Basilian Aphorisms Mirco A. Mannucci / Boek Gebonden (paperback)
common.buy 22.24 €
That Lucky Old Son Mark Cote / Boek Gebonden (harde band)
common.buy 25.27 €
Hiring Right: A Business Blueprint for Lower Turnover and Higher Profits MS Sphr Pat Kelley / Boek Gebonden (paperback)
common.buy 14.76 €
Technology Law Mark Grossman / Boek Gebonden (paperback)
common.buy 84.54 €
How to Understand God Dominique Morin / Boek Gebonden (paperback)
common.buy 28.71 €
Barbara Pym and the Novel of Manners Annette Weld / Boek Gebonden (paperback)
common.buy 66.23 €
Mastering Ext JS - Loiane Groner / Boek Gebonden (paperback)
common.buy 56.22 €
Collected Poems of James Elroy Flecker JAMES ELROY FLECKER / Boek Gebonden (paperback)
common.buy 29.62 €
Early Software Reliability Prediction Pandey / Boek Gebonden (harde band)
common.buy 102.95 €
Making Peace Last Robert Ricigliano / Boek Gebonden (paperback)
common.buy 73.11 €
Law, Violence and Sovereignty Among West Bank Palestinians Tobias Kelly / Boek Gebonden (harde band)
common.buy 137.33 €
Physical and chemical fates of organic micropollutants W Odarczyk-Maku a Maria / Boek Gebonden (paperback)
common.buy 53.39 €
Cultural and Demographic Aspects of the Islamic Financial System and the Potential for Islamic Financial Products in the German Market Holger Timm / Boek Gebonden (paperback)
common.buy 65.93 €
Migration, Citizenship, and Development Daniel Naujoks / Boek Gebonden (harde band)
common.buy 65.12 €

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?