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

Frontiers of Combining Systems

Język AngielskiAngielski
Książka Miękka
Książka Frontiers of Combining Systems Boris Konev
Kod Libristo: 01569153
Wydawnictwo Springer, Berlin, listopad 2006
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Co... Cały opis
? points 154 b
262.97 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

2,286 Traditional Stencil Designs H Roessing / Miękka
common.buy 62.33 zł
FCE Listening a Speaking Skills 2 Revised - Student's Book Virginia Evans / Książka
common.buy 115.65 zł
ungeloeste Konflikt in Afrikas Mitte Sylvia Stützer / Miękka
common.buy 276.70 zł
Designing an Efficient Management System Tanachart Raoprasert / Twarda
common.buy 518.74 zł
Internationalisierung mittelstandischer Unternehmen Pascal Moog / Miękka
common.buy 174.08 zł
Handbuch der Ramm-, Vibrations- und Einpresstechnik Heinrich Otto Buja / Twarda
common.buy 328.62 zł
Zapowiedź
Das Fragile-X-Syndrom Petra Lang / Miękka
common.buy 74.75 zł
Ausstellungsarbeit im Kunstunterricht Stefan Spengler / Miękka
common.buy 213.46 zł
Hypnosis and Stress - A Guide for Clinicians Peter J Hawkins / Miękka
common.buy 299.75 zł
Wiehernde Amtsschimmel Hans Brennert / Miękka
common.buy 110.64 zł
Hoeflichkeitsformen im Italienischen und Portugiesischen Thomas Strobel / Miękka
common.buy 257.16 zł
Eichkostenverordnung Ohne Autor / Miękka
common.buy 44.69 zł
Crucifixion in Antiquity Gunnar Samuelsson / Miękka
common.buy 661.35 zł
Fragile Things Neil Gaiman / Miękka
common.buy 42.99 zł

This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007. The 14 revised full papers presented were carefully selected and 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 Boris Konev, Frank Wolter
Język Angielski
Oprawa Książka - Miękka
Data wydania 2007
Liczba stron 286
EAN 9783540746201
ISBN 354074620X
Kod Libristo 01569153
Wydawnictwo Springer, Berlin
Waga 456
Wymiary 155 x 235 x 15

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 > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
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