Knowledge-Based Software Engineering : Proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
Knowledge-based software engineering : proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering /
A new paradigm of knowledge engineering by soft computing /
Information modelling and knowledge bases XXXIV /
Information modelling and knowledge bases XXXIII /
New trends in software methodologies, tools and techniques : proceedings of the fourth SoMeT W05 /
New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Seventh SoMeT_08 /
The logic of knowledge bases /
Proof technology and computation /
Expert systems : design, applications and technology /
Ontology learning and population : bridging the gap between text and knowledge /
Knowledge and computing : a course on computer epistemology /
GCC 2017 : proceedings of the 2017 International Conference on Grid, Cloud, & Cluster Computing /
Proceedings of the International Conference [on] Information Computing and Automation, University of Electronic Science and Technology of China, China, 20-22 December 2007.
Computer-aided verification of coordinating processes : the automata-theoretic approach /
Software engineering. proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969 /
Smart Machines : IBM's Watson and the Era of Cognitive Computing /
Artificial Intelligence and Expert System.
Fuzzy logic and expert systems applications /
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Formal ontologies meet industry /
Information modelling and knowledge bases XXI /
Knowledge transformation for the semantic web /
Formal Ontologies Meet Industry : Proceedings of the 5th International Workshop (FOMI 2011) /
Handbook of research on emerging technologies for digital preservation and information modeling /
Contextual design : design for life /
Rapid contextual design : a how-to guide to key techniques for user-centered design /
Virtual machines : versatile platforms for systems and processes /
Hybrid parallel execution model for logic-based specification languages /
Practical data analysis /
Business process change : a business process management guide for managers and process professionals /
Systematic program design : from clarity to efficiency /
Semiotics in information systems engineering /
Oracle Essbase 9 implementation guide : develop high-performance multidimensional analytic OLAP solutions with Oracle Essbase /
Stakeholder-oriented project management : tools and concepts /
Digital Systems Design, Volume III : Latch-Flip-Flop Circuits and Characteristics of Digital Circuits /
Cooperative systems design : a challenge of the mobility age /
Usability : turning technologies into tools /
The design way : intentional change in an unpredictable world /