Search Results
Results 271 - 280 of 922
(page 28 of 93)
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642245800 |
| Phys. Desc.: | X, 226p. 75 illus. online resource. |
| Electronic resource | Texto completo |
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642165733 |
| Phys. Desc.: | XII, 267p. 76 illus. online resource. |
| Electronic resource | Texto completo |
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642357053 |
| Phys. Desc.: | VIII, 249 p. 4 illus. online resource. |
| Electronic resource | Texto completo |
Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540705949 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540356325 |
| Phys. Desc.: | X, 455 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Logical Analysis of Hybrid Systems Proving Theorems for Complex Dynamics
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642145094 |
| Phys. Desc.: | XXX, 426p. 137 illus. online resource. |
| Electronic resource | Texto completo |
Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642409486 |
| Phys. Desc.: | XII, 363 p. 41 illus. online resource. |
| Electronic resource | Texto completo |
Logic, Rationality, and Interaction Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642241307 |
| Phys. Desc.: | XI, 403 p. online resource. |
| Electronic resource | Texto completo |
Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642048937 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. |
| ISBN: | 9783642315558 |
| Phys. Desc.: | X, 300 p. 69 illus. online resource. |
| Electronic resource | Texto completo |
