Search Results
Results 171 - 180 of 922
(page 18 of 93)
Finite Model Theory and Its Applications
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540688044 |
| Phys. Desc.: | XIII, 437 p. 35 illus. online resource. |
| Electronic resource | Texto completo |
Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642217685 |
| Phys. Desc.: | X, 205p. online resource. |
| Electronic resource | Texto completo |
Decision Theory and Multi-Agent Planning
E-book
E-book
| Publisher: | Vienna : Springer Vienna, 2006. |
| ISBN: | 9783211381670 |
| Phys. Desc.: | XI, 198 p. online resource. |
| Electronic resource | Texto completo |
Parameterized Complexity Theory
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540299530 |
| Phys. Desc.: | XIII, 493 p. 51 illus. online resource. |
| Electronic resource | Texto completo |
Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642327841 |
| Phys. Desc.: | VII, 259 p. 7 illus. online resource. |
| Electronic resource | Texto completo |
Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. |
| ISBN: | 9783642224386 |
| Phys. Desc.: | XIII, 508 p. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540710707 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540735953 |
| Phys. Desc.: | XII, 522 p. online resource. |
| Electronic resource | Texto completo |
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540371885 |
| Phys. Desc.: | XV, 680 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540318644 |
| Phys. Desc.: | XIII, 459 p. Also available online. online resource. |
| Electronic resource | Texto completo |
