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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic-Based Program Synthesis and Transformation

Język AngielskiAngielski
Książka Miękka
Książka Logic-Based Program Synthesis and Transformation Elvira Albert
Kod Libristo: 01663644
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2013
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International... Cały opis
? points 115 b
201.43 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Zapowiedź Nowość
Expertenwissen Nacken Marco Gassen / Książka Miękka
common.buy 196.41 zł
Einheit Auf Befehl? Sabine Collmer / Książka Miękka
common.buy 224.91 zł
Dieta a Base de Plantas Chantel Stephens / Książka Miękka
common.buy 68.14 zł
Les Bains de Mer de l'Algerie BERNARD-C / Książka Miękka
common.buy 58.00 zł
Kognitive Prozesse als Bestimmungsgroessen des Konsumentenverhaltens und ihre Beeinflussbarkeit durch das Marketing Irina Mantai / Książka Miękka
common.buy 72.56 zł

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. §The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

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 Logic-Based Program Synthesis and Transformation
Autor Elvira Albert
Język Angielski
Oprawa Książka - Miękka
Data wydania 2013
Liczba stron 245
EAN 9783642381966
ISBN 3642381960
Kod Libristo 01663644
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 454
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
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Matematyka i nauki ścisłe > Matematyka > Matematyka dyskretna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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ć

Fading Light Chris Steele-Perkins / Książka Twarda
common.buy 136.59 zł
What Makes Cannabis Recipes Work? Ronald E. Hudkins / E-book Adobe ePub DRM
common.buy 21.87 zł
U.S.-Taiwan Relations Bonnie Glaser / Książka Miękka
common.buy 136.09 zł
Steam Trains Today Andrew Martin / Książka Miękka
common.buy 59.01 zł
OBOE CONCERTO IN C HOB.VIIG:C1 HAUTBOIS FRANZ JOSEPH HAYDN / Książka Miękka
common.buy 173.13 zł
History of World Egyptology Andrew Bednarski / Książka Twarda
common.buy 812.87 zł
Practical User Research Emmanuelle Savarit / Książka Miękka
common.buy 222.51 zł
SOUTHERN TIBET, DISCOVERIES IN FORMER TI HEDIN / Książka Twarda
common.buy 166.20 zł
Top 25 Property Management KPIs of 2011-2012 The Kpi Institute / Książka Miękka
common.buy 192.70 zł
Irena's Children: Young Readers Edition; A True Story of Courage Tilar J. Mazzeo / Książka Miękka
common.buy 32.61 zł
TOP
Mobile Suit Gundam Thunderbolt, Vol. 1 Yasuo Ohtagaki / Książka Miękka
common.buy 57.60 zł
Ghosts - Notes from a Field Study Ken Lauter / Książka Miękka
common.buy 90.22 zł
High Point of Persistence Hilary White / Książka Miękka
common.buy 111.20 zł
Foundations in Sociolinguistics Dell Hymes / Książka Twarda
common.buy 1 526.49 zł
Guide to Magistrates Mayo / Książka Miękka
common.buy 184.97 zł
In the Museum of Man Alice L Conklin / Książka Twarda
common.buy 701.46 zł
Fortschritte der Chemie organischer Naturstoffe/Progress in the Chemistry of Organic Natural Products Y. Asakawa / Książka Miękka
common.buy 218.99 zł
Transactions in Bionic Patents, Vol. 8 Michael Dienst / Książka Miękka
common.buy 68.64 zł
Clinical CT Suzanne Henwood / Książka Miękka
common.buy 317.25 zł
Autonomy in Jewish Philosophy Kenneth Seeskin / Książka Miękka
common.buy 191.29 zł
All Elevations Unknown Sam Lightner / Książka Miękka
common.buy 69.34 zł
Influenza Virus Yoshihiro Kawaoka / Książka Twarda
common.buy 640.14 zł
The Archaeology of Political Spaces Dominik Bonatz / Książka Twarda
common.buy 421.13 zł
Aspects of Physical Biology Giancarlo Franzese / Książka Twarda
common.buy 247.90 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