topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
Software Engineering and Formal Methods: 13th International Conference, Sefm 2015, York, Uk, September 7-11, 2015. Proceedings
ISBN: 9783319229683 / Angielski / Miękka / 2015 / 369 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in ... |
cena:
201,24 |
 |
Software Engineering for Resilient Systems: 11th International Workshop, Serene 2019, Naples, Italy, September 17, 2019, Proceedings
ISBN: 9783030308551 / Angielski / Miękka / 2019 / 157 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
201,24 |
 |
Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, Usa, Wa, Usa, Marc
ISBN: 9783642212918 / Angielski / Miękka / 2011 / 238 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and...
This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/Apr...
|
cena:
201,24 |
 |
Large-Scale Complex It Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, Uk, March 19-21, 2012, Revised Selected Pa
ISBN: 9783642340581 / Angielski / Miękka / 2012 / 415 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012.
Presents the thoroughly refereed and revised post-workshop proceedings of the 17th Monterey Workshop, held in Oxford, UK, in March 2012.
|
cena:
201,24 |
 |
Software Engineering and Formal Methods: 19th International Conference, Sefm 2021, Virtual Event, December 6-10, 2021, Proceedings
ISBN: 9783030921231 / Angielski / Miękka / 2021 / 540 str. Termin realizacji zamówienia: ok. 22 dni roboczych. |
cena:
322,01 |
 |
Architecture-Independent Loop Parallelisation
ISBN: 9781447111979 / Angielski / Miękka / 2011 / 172 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs of parallel software development. Building on recent advances in both areas, Architecture-Independent Loop Parallelisation proposes a unified approach to the parallelisation of scientific computing code. This novel approach is based on the bulk-synchronous parallel model of computation, and succeeds in automatically generating parallel code that is architecture-independent, scalable, and of analytically predictable performance.
Architecture-independent programming and automatic parallelisation have long been regarded as two different means of alleviating the prohibitive costs...
|
cena:
402,53 |
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
