phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Frontiers of Combining Systems

Język AngielskiAngielski
Książka Miękka
Książka Frontiers of Combining Systems Silvio Ghilardi
Kod Libristo: 01650470
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2009
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Co... Cały opis
? points 154 b
262.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Journals of Sylvia Plath Sylvia Plath / Miękka
common.buy 92.52 zł
Salzkammergut Lakeside Pocket + the Big Five, Waterproof 1:100 000 / Mapa
common.buy 29.10 zł
ABITURIENTENJAHRGANG 1951 60 Jahre danach Hartmut Sturm / Miękka
common.buy 79.42 zł
Safe Haven ELLIS AMDUR / Twarda
common.buy 140.14 zł
Trickster in West Africa Robert D Pelton / Miękka
common.buy 172.15 zł
Jacques Derrida Marian Hobson / Miękka
common.buy 323.50 zł
Beginnerin Elisabeth Brandner / Miękka
common.buy 108.23 zł
What Do Lawyers Do? Flood / Twarda
common.buy 243.47 zł
Neue Ergebnisse Der Nervenphysiologie A. v. Muralt / Miękka
common.buy 285.69 zł
Game of My Life Auburn Tigers MARK MURPHY / Twarda
common.buy 87.62 zł
Impacts of Research and Development Expenditures John J. Wetter / Twarda
common.buy 517.77 zł
Modern Clinical Trial Analysis Xin Tu / Twarda
common.buy 796.26 zł
Hochschule ALS Organisation Uwe Wilkesmann / Miękka
common.buy 332.10 zł
deutsch ideen SI - Ausgabe 2012 Nordrhein-Westfalen, m. 1 Buch, m. 1 Online-Zugang / binding.
common.buy 49.91 zł
Two Expeditions Into the Interior of Southern Australia - Complete Charles Sturt / Miękka
common.buy 180.05 zł
Die Tripptrappmaus Hermann Regner / Miękka
common.buy 25.60 zł

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009.§The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.

Informacje o książce

Pełna nazwa Frontiers of Combining Systems
Autor Silvio Ghilardi, Roberto Sebastiani
Język Angielski
Oprawa Książka - Miękka
Data wydania 2009
Liczba stron 383
EAN 9783642042218
ISBN 364204221X
Kod Libristo 01650470
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 605
Wymiary 155 x 235 x 22

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Algorytmy i struktury danych
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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

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