The United Kingdom: MonarchyPublisher: Schünemann Year: 27/09/2022 ISBN: 9783796111648 Publication form: paperback
|
85.05 PLN
Product to order
Delivery 3-4 weeks
Add to bookshelf
|
Verification, Model Checking, and Abstract InterpretationPublisher: Springer Nature Year: 14/01/2020 ISBN: 9783030393229 Publication form: eBook: Reflowable eTextbook (ePub)
|
493.56 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Tests and ProofsPublisher: Springer Nature Year: 23/09/2019 ISBN: 9783030311575 Publication form: eBook: Reflowable eTextbook (ePub)
|
383.87 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Formal Techniques for Distributed SystemsPublisher: Springer Nature Year: 29/05/2013 ISBN: 9783642385926 Publication form: eBook: Fixed Page eTextbook (PDF)
|
542.97 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Markovian Demand Inventory ModelsPublisher: Springer Nature Year: 03/10/2009 ISBN: 9780387716046 Publication form: eBook: Fixed Page eTextbook (PDF)
|
762.36 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part IIIPublisher: Springer, Berlin ISBN: 9783030175016 Publication form: paperback
|
Ask about the product
|
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2Publisher: Springer, Berlin ISBN: 9783319899596 Publication form: paperback
|
Ask about the product
|
The United Kingdom: The Political SystemPublisher: Schünemann ISBN: 9783796111549 Publication form: paperback
|
Ask about the product
|
Markovian Demand Inventory ModelsPublisher: Springer, Berlin ISBN: 9780387716039 Publication form: hardback
|
Ask about the product
|
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2Publisher: Springer, Berlin ISBN: 9783319899626 Publication form: paperback
|
Ask about the product
|