Search Results
Results 121 - 130 of 922
(page 13 of 93)
Comprehensive Mathematics for Computer Scientists 1 Sets and Numbers, Graphs and Algebra, Logic and Machines, Linear Geometry (Second Edition)
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540368748 |
| Phys. Desc.: | XIV, 488 p. 118 illus. online resource. |
| Electronic resource | Texto completo |
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642357220 |
| Phys. Desc.: | X, 415 p. 49 illus. online resource. |
| Electronic resource | Texto completo |
Time for Verification Essays in Memory of Amir Pnueli
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642137549 |
| Phys. Desc.: | VIII, 413p. 113 illus. online resource. |
| Electronic resource | Texto completo |
Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642114670 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Membrane Computing 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783540958857 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540773122 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Membrane Computing 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540690900 |
| Phys. Desc.: | IX, 555 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Games: Unifying Logic, Language, and Philosophy
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2009. |
| ISBN: | 9781402093746 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642223037 |
| Phys. Desc.: | XIV, 360 p. online resource. |
| Electronic resource | Texto completo |
Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642006654 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
