Limit Search Results
Author
SpringerLink (Online service)
(27)
Caro, Jaime. editor.
(2)
Margaria, Tiziana. editor.
(2)
Nishizaki, Shin-ya. editor.
(2)
Numao, Masayuki. editor.
(2)
Language
Publication Date
-
Subject
Data mining.
(27)
Computer Science Logic and Foundations of Programming.
(18)
Computer science.
(18)
Artificial intelligence.
(12)
Software engineering.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding
Conceptual Modeling 31st International Conference on Conceptual Modeling, Florence, Italy, October 15-18, 2012, Proceeding
by 
Atzeni, Paolo. editor.
https://doi.org/10.1007/978-3-642-34002-4
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
14. 
Cover image for Theory and Practice of Computation Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings
Theory and Practice of Computation Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings
by 
Nishizaki, Shin-ya. editor.
https://doi.org/10.1007/978-4-431-54106-6
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
15. 
Cover image for Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings
Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings
by 
Thomas, Nigel. editor.
https://doi.org/10.1007/978-3-642-24749-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
16. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-16561-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
17. 
Cover image for Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
by 
Margaria, Tiziana. editor.
https://doi.org/10.1007/978-3-642-16558-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
18. 
Cover image for Agents and Data Mining Interaction 4th International Workshop on Agents and Data Mining Interaction, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
Agents and Data Mining Interaction 4th International Workshop on Agents and Data Mining Interaction, ADMI 2009, Budapest, Hungary, May 10-15,2009, Revised Selected Papers
by 
Cao, Longbing. editor.
https://doi.org/10.1007/978-3-642-03603-3
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
19. 
Cover image for Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
by 
Paschke, Adrian. editor.
https://doi.org/10.1007/978-3-642-04985-9
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
20. 
Cover image for Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
Formal Concept Analysis 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings
by 
Ferré, Sébastien. editor.
https://doi.org/10.1007/978-3-642-01815-2
Format: 
Excerpt: 
Mathematical Logic and Foundations.
21. 
Cover image for Concept Lattices and Their Applications Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
Concept Lattices and Their Applications Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
by 
Ben Yahia, Sadok. editor.
https://doi.org/10.1007/978-3-540-78921-5
Format: 
Excerpt: 
Mathematical Logic and Foundations.
22. 
Cover image for The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings
The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings
by 
Sheth, Amit P. editor.
https://doi.org/10.1007/978-3-540-88564-1
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
23. 
Cover image for Quality of Software Architectures Models and Architectures 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
Quality of Software Architectures Models and Architectures 4th International Conference on the Quality of Software Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings
by 
Becker, Steffen. editor.
https://doi.org/10.1007/978-3-540-87879-7
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
24. 
Cover image for The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings
The Semantic Web 3rd Asian Semantic Web Conference, ASWC 2008, Bangkok, Thailand, December 8-11, 2008. Proceedings
by 
Domingue, John. editor.
https://doi.org/10.1007/978-3-540-89704-0
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.