New Trends in Software Methodologies, Tools and Techniques : Proceedings of the Seventh SoMeT_08 /
New trends in intelligent software methodologies, tools and techniques : proceedings of the 22nd International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_23) /
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 /
New trends in software methodologies, tools and techniques : [proceedings of the sixth SoMET-07] /
Proof technology and computation /
Fundamental Approaches to Software Engineering
Advanced methods and technologies for agent and multi-agent systems : 7th KES international conference, KES-AMSTA 2013, Hue city, Vietnam, May 27-29, 2013 : proceedings /
Computer and information sciences : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings /
Artificial Intelligence and Software Testing Building systems you can trust
Software Engineering Research and Practice.
Foundations of software science and computation structures : 26th International Conference, FoSSaCS 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /
Intelligent technologies--theory and applications : new trends in intelligent technologies /
Artificial intelligence in education : shaping the future of learning through intelligent technologies /
Tools and Algorithms for the Construction and Analysis of Systems
Model-Based Engineering of Collaborative Embedded Systems
The Once-Only Principle
A new paradigm of knowledge engineering by soft computing /
Software by design : shaping technology and the workplace /
Agile process in software engineering and extreme programming : 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, proceedings /
Component-based software development : case studies /
Mastering Git : attain expert-level proficiency with Git for enhanced productivity and efficient collaboration by mastering advanced distributed version control features /
Multicore hardware-software design and verification techniques /
New trends in software methodologies, tools and techniques : proceedings of the fourth SoMeT W05 /
Perspectives on data science for software engineering /
The essence of software : why concepts matter for great design /
Lecture notes on empirical software engineering /
Accelerating DevSecOps on AWS : create secure CI/CD pipelines using Chaos and AIOps /
Successful management of cloud computing and DevOps /
Programming as if people mattered : friendly programs, software engineering, and other noble delusions /
Application security in the ISO 27001:2013 environment /
Release and deployment : an ITSM narrative account /
Histories of computing /
Practical Remote Pair Programming : Best Practices, Tips, and Techniques for Collaborating Productively with Distributed Development Teams.
Ultimate Agile Administration With Jira /
Artificial Intelligence and Expert Systems /
Signs, search and communication : semiotic aspects of artificial intelligence /
The logic of knowledge bases /
Artificial Intelligence and Expert System.
Intelligent systems modeling and decision support in bioengineering /
Information modelling and knowledge bases XXI /
Ontology learning and population : bridging the gap between text and knowledge /
Knowledge and computing : a course on computer epistemology /
Computer-aided verification of coordinating processes : the automata-theoretic approach /
Smart Machines : IBM's Watson and the Era of Cognitive Computing /
Organization, Management, and Expert Systems : Models of Automated Reasoning.
Fuzzy logic and expert systems applications /
Algorithms and autonomy : the ethics of automated decision systems /
Expert systems : design, applications and technology /