Search Results
Results 241 - 250 of 922
(page 25 of 93)
Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. |
| ISBN: | 9783540309840 |
| Phys. Desc.: | XVII, 374 p. 126 illus. online resource. |
| Electronic resource | Texto completo |
Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
E-book
E-book
| Publisher: | Cham : Springer International Publishing : 2013. |
| ISBN: | 9783319035420 |
| Phys. Desc.: | X, 381 p. 40 illus. online resource. |
| Electronic resource | Texto completo |
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. |
| ISBN: | 9783540320418 |
| Phys. Desc.: | XII, 193 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2012. |
| ISBN: | 9783642340055 |
| Phys. Desc.: | VIII, 241 p. 51 illus. online resource. |
| Electronic resource | Texto completo |
Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. |
| ISBN: | 9783642163104 |
| Phys. Desc.: | X, 264p. 44 illus. online resource. |
| Electronic resource | Texto completo |
The Calculus of Computation Decision Procedures with Applications to Verification
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. |
| ISBN: | 9783540741138 |
| Phys. Desc.: | XVI, 366 p. 60 illus. online resource. |
| Electronic resource | Texto completo |
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg : 2005. |
| ISBN: | 9783540322757 |
| Phys. Desc.: | XI, 562 p. Also available online. online resource. |
| Electronic resource | Texto completo |
Analysis and Control of Boolean Networks A Semi-tensor Product Approach
E-book
E-book
| Publisher: | London : Springer London, 2011. |
| ISBN: | 9780857290977 |
| Phys. Desc.: | XVI, 470p. 40 illus. digital. |
| Electronic resource | Texto Completo |
Ingredients for Successful System Level Design Methodology
E-book
E-book
| Publisher: | Dordrecht : Springer Netherlands, 2008. |
| ISBN: | 9781402084720 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
E-book
E-book
| Publisher: | Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. |
| ISBN: | 9783540899822 |
| Phys. Desc.: | online resource. |
| Electronic resource | Texto completo |
