Search Results
Results 291 - 300 of 922
(page 30 of 93)
Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540881940 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540897781 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
KI 2007: Advances in Artificial Intelligence 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 10-13, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540745655 |
| Phys. Desc.: | XV, 516 p. online resource. |
| Electronic resource | Texto completo |
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642314858 |
| Phys. Desc.: | VIII, 265 p. 41 illus. online resource. |
| Electronic resource | Texto completo |
Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2005. |
| ISBN: | 9783540320081 |
| Phys. Desc.: | XII, 223 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642206740 |
| Phys. Desc.: | XI, 131 p. online resource. |
| Electronic resource | Texto completo |
Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642004315 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540894391 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540755609 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540741282 |
| Phys. Desc.: | IX, 185 p. Also available online. online resource. |
| Electronic resource | Texto completo |
