Search Results
Results 491 - 500 of 922
(page 50 of 93)
Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642329432 |
| Phys. Desc.: | XII, 259 p. 74 illus. online resource. |
| Electronic resource | Texto completo |
Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642020292 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642046520 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642136788 |
| Phys. Desc.: | VII, 169p. 31 illus. online resource. |
| Electronic resource | Texto completo |
Conceptual Modelling and Its Theoretical Foundations Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642282799 |
| Phys. Desc.: | VIII, 329 p. online resource. |
| Electronic resource | Texto completo |
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642140525 |
| Phys. Desc.: | XI, 495p. 82 illus. online resource. |
| Electronic resource | Texto completo |
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642410369 |
| Phys. Desc.: | XII, 223 p. 60 illus. online resource. |
| Electronic resource | Texto completo |
Reachability Problems 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642335129 |
| Phys. Desc.: | XII, 149 p. 31 illus. online resource. |
| Electronic resource | Texto completo |
Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642242885 |
| Phys. Desc.: | XII, 245 p. online resource. |
| Electronic resource | Texto completo |
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642153495 |
| Phys. Desc.: | X, 199p. 42 illus. online resource. |
| Electronic resource | Texto completo |
