topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: Sefm 2012 Satellite Events, Insuedu, Mokmasd, and
ISBN: 9783642543371 / Angielski / Miękka / 2014 / 305 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers...
This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation ...
|
cena:
201,72 zł |
 |
Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
ISBN: 9783030713737 / Angielski / Miękka / 2021 / 227 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
201,72 zł |
 |
Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise
ISBN: 9783031124280 / Angielski / Miękka / 2022 / 350 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of...
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and ...
|
cena:
201,72 zł |
 |
Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod, Faacs, Mse, Cosim-Cps, and Foclasa, Trento, Italy, September 4-5, 20
ISBN: 9783319747804 / Angielski / Miękka / 2018 / 592 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Fo...
|
cena:
298,60 zł |
 |
Theoretical Aspects of Computing - Ictac 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
ISBN: 9783030853143 / Angielski / Miękka / 2021 / 390 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
302,60 zł |
 |
Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
ISBN: 9783030587673 / Angielski / Miękka / 2020 / 325 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
221,90 zł |
 |
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
ISBN: 9783642232824 / Angielski / Miękka / 2011 / 267 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesburg, South Africa, in August/September 2011.
The 14 revised full papers presented together with the abstracts of three keynote talks were carefully reviewed and selected from 44 submissions. The papers address various theoretical aspects and methodological issues of computing and are organized in topical sections on grammars, semantics, modelling, the special track on formal aspects of software testing and grand challenge in verified software,... This book constitutes the refereed proceedings of the 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011 held in Johannesbur...
|
cena:
201,72 zł |
 |
From Data to Models and Back: 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
ISBN: 9783031872167 / Angielski / Miękka / 2025 / 159 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, The Netherlands during November 6–7, 2023. The 8 full papers presented were carefully reviewed and selected from 10 submissions. They were organized in topical sections as follows: domain-specific modeling and analysis; system biology; formal methods in healthcare; and natural language processing.
This book constitutes the refereed proceedings of the 11th International Symposium on From Data to Models and Back, DataMod 2023, held in Eindhoven, T...
|
cena:
443,82 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
