 | | | | | |
Bild | | | | | Bestellen |
|
|
|
|
1 |
Springer Verlag 9783319059112 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783319356495 |
€ 49,99*
pro Stück |
|
|
State of the Art in Applied Cryptography (1 Angebot) The Department of Electrical Engineering-ESAT at the Katholieke Universiteit Leuven regularly runs a course on the state of the art and evolution of computer security and industrial cryptography. T... |
1 |
Springer Verlag 9783540654742 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) Invited Talks.- Algorithmic Game Semantics and Static Analysis.- From Typed Process Calculi to Source-Based Security.- Contributed Papers.- Widening Operators for Weakly-Relational Numeric Abstract... |
1 |
Springer Verlag 9783540285847 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) Invited Papers.- Enforcing Design Constraints with Object Logic.- Model Checking as Constraint Solving.- Contributed Papers.- Abstract Interpretation Based Semantics of Sequent Calculi.- A Transfor... |
1 |
Springer Verlag 9783540676683 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. |
1 |
Springer Verlag 9783030888053 |
€ 79,99*
pro Stück |
|
|
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... |
1 |
Springer Verlag 9783319109350 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings |
1 |
Springer Verlag 9783642237010 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presen... |
1 |
Springer Verlag 9783642388552 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings |
1 |
Springer Verlag 9783662482872 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this bo... |
1 |
Springer Verlag 9783030323035 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020. Due to the Corona pandemic this event wa... |
1 |
Springer Verlag 9783030654733 |
€ 69,99*
pro Stück |
|
|
Static Analysis (1 Angebot) This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. |
1 |
Springer Verlag 9783319667058 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.The 18 papers presented in this volume were c... |
1 |
Springer Verlag 9783319997247 |
€ 49,99*
pro Stück |
|
|
Static Analysis (1 Angebot) Invited Paper.- Analysis of Multithreaded Programs.- Program Transformation.- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs.- Using Slicing to Identif... |
1 |
Springer Verlag 9783540423140 |
€ 49,99*
pro Stück |
|
|
