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 Carsten Lutz
Kod Libristo: 09511289
Wydawnictwo Springer International Publishing AG, październik 2015
This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining... Cały opis
? points 168 b
289.20 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 12-17 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Zapowiedź
Habe ich denn allein gejubelt? Eva Sternheim-Peters / Twarda
common.buy 103.86 zł
Wie sozial waren die Nationalsozialisten? Karl-Otto Albrecht / Miękka
common.buy 72.57 zł
Contemporary Legend / Miękka
common.buy 318.58 zł
Marshall of Santa Fe Ralph Gatlin / Twarda
common.buy 161.20 zł
Defending the U.S. Air Transportation System Against Chemical and Biological Threats Committee on Assessment of Security Technologies for Transportation / Miękka
common.buy 104.37 zł
Lives of the Moghul Emperors HOBART CAUNTER / Twarda
common.buy 186.84 zł
Automated Technology for Verification and Analysis Bernd Finkbeiner / Miękka
common.buy 289.20 zł
High Weald, Royal Tunbridge Wells Ordnance Survey / Mapa
common.buy 79.84 zł
Ladybird: of Love and Honor Samantha Livingston / Twarda
common.buy 173.72 zł
No Man's Sky R C Cline / Twarda
common.buy 186.84 zł

This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015.§§The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length.§

Informacje o książce

Pełna nazwa Frontiers of Combining Systems
Autor Carsten Lutz, Silvio Ranise
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 357
EAN 9783319242453
ISBN 3319242458
Kod Libristo 09511289
Wydawnictwo Springer International Publishing AG
Waga 5679
Wymiary 155 x 235 x 23

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Informatyka i technologie informacyjne (IT) > Aplikacje graficzne i dla nowych mediów > Grafika i modelowanie 3D
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
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania
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