Search Results
Results 181 - 190 of 922
(page 19 of 93)
Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642389467 |
| Phys. Desc.: | XII, 251 p. 18 illus. online resource. |
| Electronic resource | Texto completo |
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642216916 |
| Phys. Desc.: | XII, 245 p. online resource. |
| Electronic resource | Texto completo |
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642022739 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Risk Management Technologies With Logic and Probabilistic Models
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2012. |
| ISBN: | 9789400742888 |
| Phys. Desc.: | XXII, 305p. 75 illus., 20 illus. in color. online resource. |
| Electronic resource | Texto completo |
The q-theory of Finite Semigroups
E-book
E-book
| Publisher: | Boston, MA : Springer US, 2009. |
| ISBN: | 9780387097817 |
| Phys. Desc.: | XXII, 666p. online resource. |
| Electronic resource | Texto completo |
Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2013. |
| ISBN: | 9783642388569 |
| Phys. Desc.: | X, 499 p. 130 illus. online resource. |
| Electronic resource | Texto completo |
Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642040276 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642214905 |
| Phys. Desc.: | XV, 159 p. online resource. |
| Electronic resource | Texto completo |
Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. |
| ISBN: | 9783642032370 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540691662 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
