| ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | ![](/p.gif) | | Bild | | | | Bestellen | ![](/p.gif) | | 98% |
|
Runtime Verification (1 Angebot) 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings |
Springer Verlag 9783319238197 |
€ 49,99* pro Stück |
| 98% |
|
Static Analysis (1 Angebot) This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Static Analysis, SAS 2014, held in Munich, Germany, in September 2014. The 20 revised full papers we... |
Springer Verlag 9783319109350 |
€ 49,99* pro Stück |
| 98% |
|
|
Springer Verlag 9783319549989 |
€ 49,99* pro Stück |
| 98% |
|
|
Springer Verlag 9783319141244 |
€ 48,00* pro Stück |
| 98% |
|
OpenMP Shared Memory Parallel Programming (1 Angebot) This book contains the proceedings of the Workshop on OpenMP Applications and Tools, WOMPAT 2003. WOMPAT 2003 was held on June 26and 27, 2003 in Toronto, Canada. The workshop brought together the u... |
Springer Verlag 9783540404354 |
€ 49,99* pro Stück |
| 98% |
|
|
Springer Verlag 9783319567013 |
€ 99,99* pro Stück |
| 98% |
|
Eclipse für C/C++-Programmierer (1 Angebot) Sind Sie C/C++-Programmierer und wollen Sie Eclipse und die C/C++ Development Tools (CDT) in Ihren Projekten einsetzen? Dann bietet Ihnen dieses Buch einen schnellen Einstieg und wird Ihnen bei der... |
|
€ 37,29* pro Stück |
| 98% |
|
|
Springer Verlag 9783030473600 |
€ 39,99* pro Stück |
| 98% |
|
Architecture of Computing Systems - ARCS 2018 (1 Angebot) This book constitutes the proceedings of the 31st International Conference on Architecture of Computing Systems, ARCS 2018, held in Braunschweig, Germany, in April 2018. |
Springer Verlag 9783319776095 |
€ 49,99* pro Stück |
| 98% |
|
|
Springer Verlag 9783540697350 |
€ 49,99* pro Stück |
| 98% |
|
|
Springer Verlag 9783540001959 |
€ 49,99* pro Stück |
| 98% |
|
Computer Aided Verification (1 Angebot) This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers... |
Springer Verlag 9783642026577 |
€ 99,99* pro Stück |
| 98% |
|
Formal Methods for Industrial Critical Systems (1 Angebot) This book constitutes the proceedings of the 23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018, held in Maynooth, Ireland, in September 2018. |
Springer Verlag 9783030002435 |
€ 49,99* pro Stück |
| 98% |
|
|
Springer Verlag 9783031436802 |
€ 57,99* pro Stück |
| 98% |
|
Runtime Verification (1 Angebot) 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings |
Springer Verlag 9783030320782 |
€ 64,99* pro Stück |
| |
|