Search Results
Results 41 - 50 of 922
(page 5 of 93)
The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642403552 |
| Phys. Desc.: | XIV, 285 p. 31 illus. online resource. |
| Electronic resource | Texto completo |
Trends in Functional Programming 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642404474 |
| Phys. Desc.: | X, 311 p. 110 illus. online resource. |
| Electronic resource | Texto completo |
Interpreted Languages and Compositionality
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2011. |
| ISBN: | 9789400721081 |
| Phys. Desc.: | X, 212p. 89 illus. digital. |
| Electronic resource | Texto Completo |
Deontic Logic in Computer Science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540705253 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Scalable Uncertainty Management Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540879930 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540752561 |
| Phys. Desc.: | XV, 916 p. online resource. |
| Electronic resource | Texto completo |
Scalable Uncertainty Management First International Conference, SUM 2007, Washington,DC, USA, October 10-12, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540754107 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Deontic Logic and Artificial Normative Systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540358435 |
| Phys. Desc.: | X, 273 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Agent Technology from a Formal Perspective
E-book
E-book
| Publisher: | London : Springer London, 2006. |
| ISBN: | 9781846282713 |
| Phys. Desc.: | XVI, 354 p. 83 illus. online resource. |
| Electronic resource | Texto completo |
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318880 |
| Phys. Desc.: | XVI, 1028 p. Also available online. online resource. |
| Electronic resource | Texto completo |
