Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Computer Science Logic Zoltán Ésik
Libristo kód: 01564793
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Mapa Oceanía físico edigol ediciones / Kniha Brožovaná
common.buy 384 Kč
morte di Cicerone (libro CXX). Testo latino a fronte Tito Livio / Kniha Brožovaná
common.buy 374 Kč
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Kniha Brožovaná
common.buy 406 Kč
Microsoft Office 365 Karel Klatovský / Kniha Brožovaná
common.buy 246 Kč
Insolvenzrecht Michael App / Kniha Brožovaná
common.buy 1 185 Kč
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 891 Kč
Gangland Chuck Hogan / Kniha Brožovaná
common.buy 727 Kč
Aprende a tocar la batería Peter Gelling / Kniha Brožovaná
common.buy 806 Kč
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Kniha Brožovaná
common.buy 528 Kč
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Kniha Brožovaná
common.buy 1 647 Kč
Un árbol caído Rafael Reig / Kniha Brožovaná
common.buy 272 Kč
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Kniha Brožovaná
common.buy 366 Kč
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Kniha Brožovaná
common.buy 1 248 Kč
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Kniha Brožovaná
common.buy 711 Kč
Conjuguez sans faute / Kniha Brožovaná
common.buy 162 Kč
Top
Tajomstvo úspechu troch majstrov Napoleon Hill / Kniha Pevná
common.buy 330 Kč

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Computer Science Logic
Autor Zoltán Ésik
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2006
Počet stran 627
EAN 9783540454588
ISBN 3540454586
Libristo kód 01564793
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 961
Rozměry 155 x 235 x 35

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika
Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Informatika > Umělá inteligence
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

For Sinners Only A J Russell / Kniha Brožovaná
common.buy 381 Kč
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Kniha Brožovaná
common.buy 382 Kč
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Kniha Brožovaná
common.buy 445 Kč
Chauffeur and the Chaperon C. N. WILLIAMSON / Kniha Pevná
common.buy 837 Kč
Mecca F. E. Peters / Kniha Brožovaná
common.buy 1 839 Kč
The Law of Executors and Administrators. Samuel Toller / Kniha Brožovaná
common.buy 728 Kč
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Kniha Pevná
common.buy 692 Kč
Craven Street Yuri Rasovsky / Audiokniha MP3
common.buy 292 Kč
Mastering Bread Marc Vetri / E-kniha Adobe ePub DRM
common.buy 392 Kč
Islam Lovat / Kniha Brožovaná
common.buy 668 Kč
International Who's Who in Classical Music 2010 Europa Publications / Kniha Pevná
common.buy 9 083 Kč
Liber Costumarum Christopher Markham / Kniha Brožovaná
common.buy 388 Kč
Play or Pay. a Novelette. Hawley Smart / Kniha Brožovaná
common.buy 488 Kč
An Appendix To The History Of Scotland Containing: A Detection Of The Actions Of Mary Queen Of Scots, Concerning The Murder Of Her Husband And Her Mar George Buchanan / Kniha Pevná
common.buy 1 095 Kč
Chora 5 Alberto Perez-Gomez / Kniha Brožovaná
common.buy 1 001 Kč
Questions about God Steven M. Cahn / Kniha Pevná
common.buy 2 265 Kč
Deleuze's Cinema Books David Deamer / Kniha Pevná
common.buy 2 702 Kč
Logic Programming with Prolog Beverley Ford / Kniha Brožovaná
common.buy 1 233 Kč
Cosmic B1+ Test Book Katerina Mestheneou / Kniha Brožovaná
common.buy 656 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet