Search Results
Results 1 - 10 of 21
(page 1 of 3)
M-Solid Varieties of Algebras
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2006. |
| ISBN: | 9780387308067 |
| Phys. Desc.: | XIII, 341 p. online resource. |
| Electronic resource | Texto completo |
Programming Languages An Active Learning Approach
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2008. |
| ISBN: | 9780387794228 |
| Phys. Desc.: | XIV, 282p. online resource. |
| Electronic resource | Texto completo |
Mathematica®: A Problem-Centered Approach
E-book
E-book
| Publisher: | London : Springer London, 2010. |
| ISBN: | 9781849962513 |
| Phys. Desc.: | XX, 180p. 63 illus., 50 illus. in color. online resource. |
| Electronic resource | Texto completo |
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642043680 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Algebraic and Numeric Biology 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642280672 |
| Phys. Desc.: | IX, 185 p. online resource. |
| Electronic resource | Texto completo |
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642024443 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
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 |
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540314295 |
| Phys. Desc.: | VIII, 275 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642207754 |
| Phys. Desc.: | IX, 175 p. online resource. |
| Electronic resource | Texto completo |
