Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Integrated Formal Methods: 14th International Conference, Ifm 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
ISBN: 9783319989372 / Angielski / Miękka / 2018 / 420 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland, in September 2018. The 17 full papers and 5 short papers presented together with 3 invited talks were carefully reviewed and selected from 60 submissions.
This book constitutes the refereed proceedings of the 14th International Conference on Integrated Formal Methods, IFM 2018, held in Maynooth, Ireland,...
|
cena:
194,08 zł |
 |
Object, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings
ISBN: 9783642305603 / Angielski / Miękka / 2012 / 372 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Prague, Czech Republic, during May 29-31, 2012.
Constitutes the refereed proceedings of the '50th International Conference on Objects, Models, Components, Patterns, Tools Europe 2012', held in Pragu...
|
cena:
194,08 zł |
 |
Modeling Time in Computing
ISBN: 9783642431364 / Angielski / Miękka / 2014 / 424 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general... Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in c... |
cena:
194,08 zł |
 |
Modeling Time in Computing
ISBN: 9783642323317 / Angielski / Twarda / 2012 / 424 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general... Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in c... |
cena:
194,08 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
