| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Techniques for Distributed Systems | Taschenbuch | | 978-3-642-38591-9 | 2013 | Michele Boreale |
| Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International ... 2013, Florence, Italy, June 3-5 | Paperback | | 978-3-642-38593-3 | 2013 | " |
| Markovian Demand Inventory Models | " | | 978-1-4614-2466-6 | 2012 |
| Markovian Demand Inventory Models | Hardcover | | 978-0-387-71603-9 | 2009 | Feng Cheng · Suresh P. Sethi · Michael Taksar |
| Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... Notes in Computer Science, Band 11823) | Taschenbuch | | 978-3-030-31156-8 | 2019 | Chantal Keller |
| Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Notes in Computer Science, Band 10805) | " | | 978-3-319-89959-6 | 2018 | Marieke Huisman |
| Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint ... Notes in Computer Science, Band 10806) | " | | 978-3-319-89962-6 | 2018 | " |
| Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Notes in Computer Science, Band 11429) | " | | 978-3-030-17501-6 | 2019 | Marieke Huisman · Fabrice Kordon · Bernhard Steffen |
| Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 19-25, 2020, ... in Computer Science , Band 11990) | " | | 978-3-030-39321-2 | 2020 | Damien Zufferey |