68,64€(IVA inc.)
Automated Technology for Verification and Analysis
- Artho, Cyrille
- 978-3-319-46519-7
- 2016-09-22
51,95€(IVA inc.)
Model checking and artificial intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers
- Peled, D.A.
- 978-3-642-00430-8
- 2009-04-01
103,95€(IVA inc.)
Photo-excited processes, diagnostics and applications: fundamentals and advanced topics
- Peled, A.
- 978-1-4419-5377-3
- 2012-03-14
51,95€(IVA inc.)
Runtime verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers
- Bensalem, Saddek
- 978-3-642-04693-3
- 2009-11-01
161,81€(IVA inc.)
Sentence types and word-order patterns in writtenarabic: medieval and modern perspectives
- Peled, Yishai
- 978-90-04-17062-9
- 2008-01-01
31,15€(IVA inc.)
Time for verification: essays in memory of Amir Pnueli
- Manna, Zohar
- 978-3-642-13753-2
- 2010-06-30
0,00€(IVA inc.)
Traversing Digital Babel - Information, E-Government, and Exchange
- Peled, Alon
- 978-0-262-02787-8
- 2014-10-03