Search Results
Results 61 - 70 of 922
(page 7 of 93)
Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2009. |
| ISBN: | 9781402090844 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642316234 |
| Phys. Desc.: | X, 319p. 23 illus. online resource. |
| Electronic resource | Texto completo |
Belief Revision in Non-Classical Logics
E-book
E-book
| Publisher: | London : Springer London : 2013. |
| ISBN: | 9781447141860 |
| Phys. Desc.: | XI, 120 p. 5 illus. online resource. |
| Electronic resource | Texto completo |
Data Mining and Knowledge Discovery via Logic-Based Methods Theory, Algorithms, and Applications
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2010. |
| ISBN: | 9781441916303 |
| Phys. Desc.: | XXXIII, 350p. 91 illus., 9 illus. in color. online resource. |
| Electronic resource | Texto completo |
Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642017483 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540272458 |
| Phys. Desc.: | XXXII, 346 p. 114 illus. online resource. |
| Electronic resource | Texto completo |
Software Composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642396144 |
| Phys. Desc.: | X, 145 p. 38 illus. online resource. |
| Electronic resource | Texto completo |
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642406157 |
| Phys. Desc.: | X, 241 p. 125 illus. online resource. |
| Electronic resource | Texto completo |
The Correctness-by-Construction Approach to Programming
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642279195 |
| Phys. Desc.: | XIII, 264p. 37 illus. online resource. |
| Electronic resource | Texto completo |
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540687610 |
| Phys. Desc.: | XIII, 293 p. Also available online. online resource. |
| Electronic resource | Texto completo |
