Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Celý popis
? points 249 b
103.07 €
Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Gangland Chuck Hogan / Kniha Brožovaná
common.buy 29.96 €
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Video Blu-ray
common.buy 36.85 €
Microsoft Office 365 Karel Klatovský / Kniha Brožovaná
common.buy 9.31 €
Insolvenzrecht Michael App / Kniha Brožovaná
common.buy 51.84 €
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Kniha Brožovaná
common.buy 17.91 €
Mapa Oceanía físico edigol ediciones / Kniha Brožovaná
common.buy 14.47 €
Aprende a tocar la batería Peter Gelling / Kniha Brožovaná
common.buy 33.20 €
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Kniha Brožovaná
common.buy 19.63 €
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Kniha Brožovaná
common.buy 61.46 €
Un árbol caído Rafael Reig / Kniha Brožovaná
common.buy 10.12 €
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Kniha Brožovaná
common.buy 13.56 €
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Kniha Brožovaná
common.buy 47.28 €
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Kniha Brožovaná
common.buy 31.28 €
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Kniha Brožovaná
common.buy 34.93 €
Conjuguez sans faute / Kniha Brožovaná
common.buy 6.57 €
Tajomstvo úspechu troch majstrov Napoleon Hill / Kniha Pevná
common.buy 12.85 €

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 pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Computer Science Logic
Autor Zoltán Ésik
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2006
Počet strán 627
EAN 9783540454588
ISBN 3540454586
Libristo kód 01564793
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 961
Rozmery 155 x 235 x 35

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika
Matematika a veda > Matematika > Matematické základy > Matematická logika
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Informatika > Umelá inteligencia
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Something Happened on the Way to Heaven Sudha Murty / Kniha Brožovaná
common.buy 11.33 €
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Kniha Brožovaná
common.buy 18.42 €
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Kniha Brožovaná
common.buy 15.79 €
The Law of Executors and Administrators. Samuel Toller / Kniha Brožovaná
common.buy 30.06 €
Body Awareness MR Roger Day / Kniha Brožovaná
common.buy 11.23 €
Chauffeur and the Chaperon C. N. WILLIAMSON / Kniha Pevná
common.buy 34.62 €
Mecca F. E. Peters / Kniha Brožovaná
common.buy 103.38 €
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Kniha Brožovaná
common.buy 12.55 €
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Kniha Pevná
common.buy 28.65 €
Justice League: Last Ride Miguel Mendonca / Kniha Brožovaná
common.buy 13.15 €
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Kniha Brožovaná
common.buy 11.74 €
Craven Street Yuri Rasovsky / Audiokniha MP3
common.buy 12.24 €
Mastering Bread Marc Vetri / E-kniha Adobe ePub DRM
common.buy 6.37 €
Islam Lovat / Kniha Brožovaná
common.buy 28.95 €
International Who's Who in Classical Music 2010 Europa Publications / Kniha Pevná
common.buy 392.89 €
For Sinners Only A J Russell / Kniha Brožovaná
common.buy 15.79 €
Liber Costumarum Christopher Markham / Kniha Brožovaná
common.buy 16.09 €
Play or Pay. a Novelette. Hawley Smart / Kniha Brožovaná
common.buy 20.14 €
Chora 5 Alberto Perez-Gomez / Kniha Brožovaná
common.buy 43.43 €
Questions about God Steven M. Cahn / Kniha Pevná
common.buy 98.21 €
Deleuze's Cinema Books David Deamer / Kniha Pevná
common.buy 118.77 €
Cosmic B1+ Test Book Katerina Mestheneou / Kniha Brožovaná
common.buy 24.70 €
Value Solutions In Cooperative Games Roger A McCain / Kniha Pevná
common.buy 93.45 €
Logic Programming with Prolog Beverley Ford / Kniha Brožovaná
common.buy 50.92 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?