Search Results
Results 671 - 680 of 860
(page 68 of 86)
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 |
Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642383175 |
| Phys. Desc.: | X, 267 p. 57 illus. online resource. |
| Electronic resource | Texto completo |
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642210709 |
| Phys. Desc.: | VIII, 363 p. online resource. |
| Electronic resource | Texto completo |
WALCOM: Algorithms and Computation 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642360657 |
| Phys. Desc.: | XIV, 348 p. 101 illus. online resource. |
| Electronic resource | Texto completo |
Cognitive Engineering A Distributed Approach to Machine Intelligence
E-book
E-book
| Publisher: | London : Springer London, 2005. |
| ISBN: | 9781846282348 |
| Phys. Desc.: | XVIII, 353 p. 124 illus. online resource. |
| Electronic resource | Texto completo |
Combinatorial Algorithms 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642250118 |
| Phys. Desc.: | XI, 387 p. online resource. |
| Electronic resource | Texto completo |
Continuous System Simulation
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2006. |
| ISBN: | 9780387302607 |
| Phys. Desc.: | XXI, 643 p. online resource. |
| Electronic resource | Texto completo |
Reflections on Quanta, Symmetries, and Supersymmetries
E-book
E-book
| Publisher: | New York, NY : Springer New York, 2011. |
| ISBN: | 9781441906670 |
| Phys. Desc.: | X, 231p. digital. |
| Electronic resource | Texto Completo |
