Search Results
Results 141 - 150 of 922
(page 15 of 93)
Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642223068 |
| Phys. Desc.: | X, 195p. online resource. |
| Electronic resource | Texto completo |
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642161643 |
| Phys. Desc.: | X, 263p. 70 illus. online resource. |
| Electronic resource | Texto completo |
Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642376351 |
| Phys. Desc.: | X, 283 p. 71 illus. online resource. |
| Electronic resource | Texto completo |
Recent Trends in Algebraic Development Techniques 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642284120 |
| Phys. Desc.: | X, 303 p. online resource. |
| Electronic resource | Texto completo |
Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642034299 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Discrete Mathematics Using a Computer
E-book
E-book
| Publisher: | London : Springer London, 2006. |
| ISBN: | 9781846285981 |
| Edition: | 2. |
| Phys. Desc.: | XIX, 441 p. online resource. |
| Electronic resource | Texto completo |
Transactions on Computational Systems Biology VIII
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540766391 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Transactions on Computational Systems Biology VII
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540488392 |
| Phys. Desc.: | VII, 185 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Transactions on Computational Systems Biology VI
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540462361 |
| Phys. Desc.: | VII, 247p. Also available online. online resource. |
| Electronic resource | Texto completo |
Ontology Engineering in a Networked World
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642247941 |
| Phys. Desc.: | XII, 444 p. 148 illus. online resource. |
| Electronic resource | Texto completo |
