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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

Formal Modeling and Analysis of Timed Systems

13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Formal Modeling and Analysis of Timed Systems Sriram Sankaranarayanan
Kod Libristo: 09480144
Wydawnictwo Springer International Publishing AG, sierpień 2015
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeli... Cały opis
? points 111 b
45.49 € včetně DPH
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

VACANCES 6 PRIMARIA AROSA SANTOS / Książka Twarda
common.buy 14.39 €
For One, Galaktix / Gra/Zabawka Gra
common.buy 16.99 €
Influence du matériel promotionnel sur la prescription de médicaments Wondwossen Habtamu Shibeshi / Książka Miękka
common.buy 27.99 €
Shooter Stephen Hunter / Książka Miękka
common.buy 13.95 €
Gutachten zum Verfahren der internen und externen Personalauswahl in der Bundesverwaltung Dieter Engels / Książka Miękka
common.buy 21.00 €
pianura del Kanto Kazuo Kamimura / Książka Twarda
common.buy 34.49 €
Les Tribulations d'un Chinois en Chine Jules Verne / E-book Adobe ePub DRM
common.buy 9.49 €
sospetti di Vinny. Villa Ombrosa Paola Barbato / Książka Miękka
common.buy 9.19 €
Histoire des arts du spectacle en France Leroy / Książka Miękka
common.buy 37.79 €
PONS Verben auf einen Blick Italienisch / Książka Miękka
common.buy 6.99 €
Xénese do espazo urbano en Galicia GALAN GOMEZ / Książka Miękka
common.buy 11.49 €
Princeznovské šaty / Książka Miękka
common.buy 2.59 €
Die drei ??? - Das schwarze Monster, 1 CD-Audio Alfred Hitchcock / Audio CD Audio
common.buy 10.99 €
Rivera Andrea Kettenmann / Książka Twarda
common.buy 15.59 €
Red Teaming, Teoria Gier, Panpsychizm i Percepcja Kwantowa Ravikumar Kurup / Książka Miękka
common.buy 38.89 €
Fit - Forn Willi Gorzny / Książka Twarda
common.buy 119.95 €
Povelkomoravská a mladohradištní keramika v prostoru dolního Podyjí Adéla Balcárková / Książka Miękka
common.buy 26.09 €
Jeu Pathologique Et Troubles Comorbides Fernandez-D / Książka Miękka
common.buy 23.39 €
Vesmír jako na dlani Christophe Galfard / Książka Twarda
common.buy 11.19 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference war organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and industrial critical applications.§The 19 papers presented in this volume were carefully reviewed and selected from 42 submissions.

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 Formal Modeling and Analysis of Timed Systems
Autor Sriram Sankaranarayanan, Enrico Vicario
Język Angielski
Oprawa Książka - Miękka
Data wydania 2015
Liczba stron 321
EAN 9783319229744
ISBN 3319229745
Kod Libristo 09480144
Wydawnictwo Springer International Publishing AG
Waga 5037
Wymiary 155 x 235 x 19

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
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) > Technologia informacyjna (IT) – zagadnienia ogólne
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ć

Companion To The Sacrament Of The Lord's Supper: Being Helps To The Due And Profitable Observance Of The Communion Season (1850) James Cochrane / Książka Miękka
common.buy 17.89 €
You Are Beautiful and You Are Alone Jennifer Otter Bickerdike / Książka Twarda
common.buy 19.19 €
Faith: Confidence and Doubt in Daily Life Martin E. Marty / Książka Miękka
common.buy 7.99 €
Chorale Preludes (Johann Sebastian Bach) Johann Sebastian Bach / Prasa Nuty
common.buy 22.59 €
TOP
Controversy on the Comets of 1618 Stillman Drake / Książka Twarda
common.buy 94.09 €
TRENCH Paul Mannering / Książka Miękka
common.buy 10.69 €
Nonlinear Ill-posed Problems of Monotone Type Yakov Alber / Książka Twarda
common.buy 90.79 €
Cast Upon the Breakers Horatio Alger / Książka Miękka
common.buy 6.79 €
God, the Rabbis, and the Virgin Birth Daniel Gruber / Książka Miękka
common.buy 6.99 €
Strike Rebecca Dunham / Książka Miękka
common.buy 11.39 €
Deja Vu Elaine Marie / Książka Miękka
common.buy 10.69 €
Rabbits for Food Binnie Kirshenbaum / Książka Miękka
common.buy 8.29 €
Special Plans & Operations Report No. SPO-2009-002 - Report on the Assessment of the Arms, Ammunition, and Explosives Accountability and Control; Secu Department of Defense / Książka Miękka
common.buy 20.69 €
Bones - Die Knochenjägerin Richard Currie / Wideo DVD
common.buy 104.59 €
Nothing Much Happens Kathryn Nicolai / Książka Miękka
common.buy 8.89 €
Bruce Lee Enter the Dragon Volume 2 variant Landscape edition Ricky Baker / Książka Twarda
common.buy 38.79 €
Zapowiedź
Crisis of Command Stuart Scheller / Książka Twarda
common.buy 18.19 €
Europe's Troubled Peace Tom Buchanan / E-book Adobe ePub DRM
common.buy 34.09 €
Mystery of the Griefer's Mark Winter Morgan / E-book Adobe ePub DRM
common.buy 8.69 €
Nanotechnology Applications for Food Safety and Quality Monitoring Arun Sharma / E-book Adobe ePub DRM
common.buy 196.29 €
The Crown of Thorns Faith (independent scholar) Tibble / Książka Miękka
common.buy 21.49 €
TOP
The Dragon and the Sun Lotus ZHAO AMELIE WEN / Książka Twarda
common.buy 12.69 €
Zapowiedź Nowość
The Essential Book of Psychology SAUL SHONA / Książka Twarda
common.buy 9.69 €
Mathematical Foundations of Computer Science 2000 Mogens Nielsen / Książka Miękka
common.buy 97.09 €

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?