Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
12 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings
by 
Kontchakov, Roman. editor.
https://doi.org/10.1007/978-3-319-11113-1
Format: 
Excerpt: 
Theory of Computation.
2. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
by 
Hähnle, Reiner. editor.
https://doi.org/10.1007/978-3-642-34781-8
Format: 
Excerpt: 
Theory of Computation.
3. 
Cover image for Search Computing Trends and Developments
Search Computing Trends and Developments
by 
Ceri, Stefano. editor.
https://doi.org/10.1007/978-3-642-19668-3
Format: 
Excerpt: 
Theory of Computation.
4. 
Cover image for The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual Modeling
by 
Kaschek, Roland. editor.
https://doi.org/10.1007/978-3-642-17505-3
Format: 
Excerpt: 
The Evolution of Conceptual Modeling From a Historical Perspective towards the Future of Conceptual
5. 
Cover image for Search Computing Challenges and Directions
Search Computing Challenges and Directions
by 
Ceri, Stefano. editor.
https://doi.org/10.1007/978-3-642-12310-8
Format: 
Excerpt: 
Theory of Computation.
6. 
Cover image for Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
Euro-Par 2008 Workshops - Parallel Processing VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers
by 
César, Eduardo. editor.
https://doi.org/10.1007/978-3-642-00955-6
Format: 
Excerpt: 
Theory of Computation.
7. 
Cover image for Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009, Proceedings
Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems First International Conference, ICCCI 2009, Wroclaw, Poland, October 5-7, 2009, Proceedings
by 
Kowalczyk, Ryszard. editor.
https://doi.org/10.1007/978-3-642-04441-0
Format: 
Excerpt: 
Theory of Computation.
8. 
Cover image for SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings
by 
Geffert, Villiam. editor.
https://doi.org/10.1007/978-3-540-77566-9
Format: 
Excerpt: 
SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory
9. 
Cover image for Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Euro-Par 2007 Workshops: Parallel Processing HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
by 
Bougé, Luc. editor.
https://doi.org/10.1007/978-3-540-78474-6
Format: 
Excerpt: 
Theory of Computation.
10. 
Cover image for 50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence
by 
Lungarella, Max. editor.
https://doi.org/10.1007/978-3-540-77296-5
Format: 
Excerpt: 
50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial
11. 
Cover image for Euro-Par 2006 Workshops: Parallel Processing CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
Euro-Par 2006 Workshops: Parallel Processing CoreGRID 2006, UNICORE Summit 2006, Petascale Computational Biology and Bioinformatics, Dresden, Germany, August 29-September 1, 2006, Revised Selected Papers
by 
Lehner, Wolfgang. editor.
https://doi.org/10.1007/978-3-540-72337-0
Format: 
Excerpt: 
Theory of Computation.
12. 
Cover image for Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development
by 
Chen, Peter P. editor.
https://doi.org/10.1007/978-3-540-77503-4
Format: 
Excerpt: 
Active Conceptual Modeling of Learning Next Generation Learning-Base System Development / Chen
Go to:Search Results
|
Search Facets
|
Top of Page