topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 7
 |
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, Tacas 2015, Held as Part of the European Joint Confe
ISBN: 9783662466803 / Angielski / Miękka / 2015 / 725 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in...
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS...
|
cena:
191,40 zł |
 |
Foundations of Software Science and Computation Structures: 21st International Conference, Fossacs 2018, Held as Part of the European Joint Conference
ISBN: 9783319893655 / Angielski / Miękka / 2018 / 583 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Validation of Stochastic Systems: A Guide to Current Research
ISBN: 9783540222651 / Angielski / Miękka / 2004 / 472 str. Termin realizacji zamówienia: ok. 20 dni roboczych. It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stochastic Systems (VOSS), ?nanced by NWO and DFG (the Dutch and German science foundations, respectively). In the early days of 2002, the idea emerged to organize a seminar at Schloss Dagstuhl, not the usual Dagstuhl seminar with primarily invited participants, but a seminar aimed at young(er) people, and for which the organizers assign themes to be worked upon and presented on. Following an open call...
It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- ...
|
cena:
191,40 zł |
 |
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6.1 International Conference, Forte 2018, Held as Part of the 13th In
ISBN: 9783319926117 / Angielski / Miękka / 2018 / 197 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
ISBN: 9783540373766 / Angielski / Miękka / 2006 / 544 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. ThepurposeoftheCONCURconferenceseriesistobringtogetherresearchers, developers and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a c- sequence of the importance and ubiquity of concurrent systems and their app- cations and the scienti?c relevance of their foundations. The scope of CONCUR covers all areas of semantics, logics, and veri?cation techniques for...
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, August 27 30, 2006. Th...
|
cena:
382,84 zł |
 |
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,
ISBN: 9781013269424 / Angielski / Miękka / 2020 / 586 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
296,03 zł |
 |
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,
ISBN: 9781013269431 / Angielski / Twarda / 2020 / 586 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
354,31 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
