Search Results
Results 461 - 470 of 922
(page 47 of 93)
Types for Proofs and Programs International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540681038 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540744641 |
| Phys. Desc.: | VIII, 269 p. online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing – ICTAC 2007 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540752929 |
| Phys. Desc.: | XI, 483 p. online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540488163 |
| Phys. Desc.: | XV, 371 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318620 |
| Phys. Desc.: | XIV, 562 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642125928 |
| Phys. Desc.: | X, 205p. 29 illus. online resource. |
| Electronic resource | Texto completo |
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642277054 |
| Phys. Desc.: | XI, 326p. online resource. |
| Electronic resource | Texto completo |
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642150579 |
| Phys. Desc.: | X, 217p. 68 illus. online resource. |
| Electronic resource | Texto completo |
A General Framework for Reasoning On Inconsistency
E-book
E-book
| Publisher: | New York, NY : Springer New York : 2013. |
| ISBN: | 9781461467502 |
| Phys. Desc.: | VII, 45 p. online resource. |
| Electronic resource | Texto completo |
Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642244315 |
| Phys. Desc.: | X, 261 p. online resource. |
| Electronic resource | Texto completo |
