Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computer Science Logic

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

Język AngielskiAngielski
Książka Miękka
Książka Computer Science Logic Zoltán Ésik
Kod Libristo: 01564793
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2006
This book constitutes the refereed proceedings of the 20th International Workshop on Computer Scienc... Cały opis
? points 249 b
446.61 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Gangland Chuck Hogan / Książka Miękka
common.buy 129.87 zł
Black Killer, 1 Blu-ray + 1 DVD (Mediabook Cover B) Carlo Croccolo / Wideo Blu-ray
common.buy 159.64 zł
Microsoft Office 365 Karel Klatovský / Książka Miękka
common.buy 44.96 zł
Insolvenzrecht Michael App / Książka Miękka
common.buy 224.73 zł
Rol' lekarstwennyh traw w farmacewtike Ali Khan / Książka Miękka
common.buy 77.40 zł
Mapa Oceanía físico edigol ediciones / Książka Miękka
common.buy 62.72 zł
Aprende a tocar la batería Peter Gelling / Książka Miękka
common.buy 143.93 zł
Ejercicios para mantener el intelecto 1 Anna Puig Alemán / Książka Miękka
common.buy 85.31 zł
Horrea militaria : el aprovisionamiento de grano al ejército en el Occidente del Imperio Romano Javier Salido Domínguez / Książka Miękka
common.buy 266.32 zł
Un árbol caído Rafael Reig / Książka Miękka
common.buy 43.73 zł
El desconocido (Solo una noche 1): Primera entrega de Solo una noche KYRA DAVIS / Książka Miękka
common.buy 58.61 zł
La sentencia indeterminada : el sistema de penas determinadas a posteriori Luis Jiménez de Asúa / Książka Miękka
common.buy 204.61 zł
Ausfuhrliche topographische Beschreibung des Herzogtums Magdeburg und der Grafschaft Mansfeld Johann Ludwig Heineccius / Książka Miękka
common.buy 135.51 zł
Adaptaciones cinematográficas de novelas cubanas en el ICAIC Juan Ramón Ferrera Vaillant / Książka Miękka
common.buy 151.22 zł
Conjuguez sans faute / Książka Miękka
common.buy 28.53 zł
Tajomstvo úspechu troch majstrov Napoleon Hill / Książka Twarda
common.buy 66.11 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computer Science Logic
Autor Zoltán Ésik
Język Angielski
Oprawa Książka - Miękka
Data wydania 2006
Liczba stron 627
EAN 9783540454588
ISBN 3540454586
Kod Libristo 01564793
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 961
Wymiary 155 x 235 x 35

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Something Happened on the Way to Heaven Sudha Murty / Książka Miękka
common.buy 52.35 zł
Food Truck 411: The Essential Information to Run a Successful Food Truck Brian J Branigan / Książka Miękka
common.buy 83.87 zł
Parenting through the Eyes of a Child Tabitha Ochekpe Omeiza / Książka Miękka
common.buy 71.86 zł
The Law of Executors and Administrators. Samuel Toller / Książka Miękka
common.buy 137.05 zł
Body Awareness MR Roger Day / Książka Miękka
common.buy 51.22 zł
Chauffeur and the Chaperon C. N. WILLIAMSON / Książka Twarda
common.buy 157.69 zł
Mecca F. E. Peters / Książka Miękka
common.buy 467.55 zł
Seven Princes of the Thousand Year Labyrinth Aikawa Yu / Książka Miękka
common.buy 54.30 zł
Eeny, Meeny, Miny, and Mo... Off to the Orchard They Go! Husted's Farm Market / Książka Twarda
common.buy 132.23 zł
Justice League: Last Ride Miguel Mendonca / Książka Miękka
common.buy 60.77 zł
Return to Moominvalley: Adventures in Moominvalley Book 3 Amanda Li / Książka Miękka
common.buy 54.51 zł
Craven Street Yuri Rasovsky / Audiobook MP3
common.buy 53.07 zł
Mastering Bread Marc Vetri / E-book Adobe ePub DRM
common.buy 27.40 zł
Islam Lovat / Książka Miękka
common.buy 125.25 zł
International Who's Who in Classical Music 2010 Europa Publications / Książka Twarda
common.buy 1 701.75 zł
For Sinners Only A J Russell / Książka Miękka
common.buy 71.86 zł
Liber Costumarum Christopher Markham / Książka Miękka
common.buy 74.22 zł
Play or Pay. a Novelette. Hawley Smart / Książka Miękka
common.buy 93.22 zł
Chora 5 Alberto Perez-Gomez / Książka Miękka
common.buy 187.98 zł
Questions about God Steven M. Cahn / Książka Twarda
common.buy 405.95 zł
Deleuze's Cinema Books David Deamer / Książka Twarda
common.buy 514.47 zł
Cosmic B1+ Test Book Katerina Mestheneou / Książka Miękka
common.buy 106.77 zł
Value Solutions In Cooperative Games Roger A McCain / Książka Twarda
common.buy 404.82 zł
Logic Programming with Prolog Beverley Ford / Książka Miękka
common.buy 231.20 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?