Software engineering
Resource Information
The concept Software engineering represents the subject, aboutness, idea or notion of resources found in University of Liverpool.
The Resource
Software engineering
Resource Information
The concept Software engineering represents the subject, aboutness, idea or notion of resources found in University of Liverpool.
- Label
- Software engineering
A sample of Items that share the Concept Software engineering See All
Context
Context of Software engineeringSubject of
No resources found
No enriched resources found
- 100 Minuten für Anforderungsmanagement : Kompaktes Wissen nicht nur für Projektleiter und Entwickler
- 25 years of model checking : history, achievements, perspectives
- 50 years of Artificial Intelligence : essays dedicated to the 50th anniversary of Artificial Intelligence
- > Leitlinien Für Eine Deutsche Raumfahrtpolitik
- A concise introduction to software engineering
- A framework of software measurement
- A list of successes that can change the world : essays dedicated to Philip Wadler on the occasion of his 60th birthday
- A rigorous semantics for BPMN 2.0 process diagrams
- A software process model handbook for incorporating people{u2019}s capabilities
- ABAP/4 Programmiertechniken : Trainingsbuch
- ADA: a first course in programming and software engineering
- AI 2018: Advances in Artificial Intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings
- AJAX : Geschichte, Technologie, Zukunft
- Abgründe der Informatik : Geheimnisse und Gemeinheiten
- Abnahme komplexer Software-Systeme : Das Praxishandbuch
- Access control systems : security, identity management and trust models
- Active conceptual modeling of learning : next generation learning-base system development
- Ad-hoc, Mobile, and Wireless Networks : 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
- Ad-hoc, mobile, and wireless networks : 4th international conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005 : proceedings
- Ad-hoc, mobile, and wireless networks : 5th international conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006 : proceedings
- Ad-hoc, mobile, and wireless networks : 6th international conference, ADHOC-NOW 2007, Morelia, Mexico, September 24-26, 2007 : proceedings
- Ada 2005 Reference Manual. Language and Standard Libraries : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1.
- Ada 2012 rationale : the language, the standard libraries
- Ada for Software Engineers
- Adapting Proofs-as-Programs : The Curry-Howard Protocol
- Adapting configuration management for Agile teams : balancing sustainability and speed
- Adaptive agents and multi-agent systems II : adaptation and multi-agent learning
- Adaptive agents and multi-agent systems III : adaptation and multi-agent learning ; 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems : revised selected papers
- Adaptive control approach for software quality improvement
- AdvancED ActionScript Components : Mastering the Flash Component Architecture
- Advanced Computing Strategies for Engineering : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I
- Advanced Gear Engineering
- Advanced Information Systems Engineering : 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings
- Advanced Information Systems Engineering : 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings
- Advanced Information Systems Engineering : 4th International Conference CAiSE '92, Manchester, UK, May 12-15, 1992. Proceedings
- Advanced computing
- Advanced environments, tools, and applications for cluster computing : NATO Advanced Research Workshop, IWCC 2001 Mangalia, Romania, September 1-6, 2001 : Revised Papers
- Advanced information systems engineering workshops : CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
- Advanced information systems engineering workshops : CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings
- Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
- Advanced software engineering : expanding the frontiers of software technology : IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
- Advanced techniques in computing sciences and software engineering
- Advances in Computer Games : 15th International Conferences, ACG 2017, Leiden, The Netherlands, July 3-5, 2017, Revised Selected Papers
- Advances in Cryptology – CRYPTO 2018 : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I
- Advances in Cryptology – CRYPTO 2018 : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II
- Advances in Cryptology – CRYPTO 2018 : 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III
- Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection : 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
- Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I
- Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing : IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II
- Advances in Spatial Data Handling and Analysis : Select Papers from the 16th IGU Spatial Data Handling Symposium
- Advances in Wireless Sensor Networks : The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers
- Advances in computer and information sciences and engineering
- Advances in computer science, environment, ecoinformatics, and education : International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011, proceedings, Part I
- Advances in computing : 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 proceedings
- Advances in conceptual modeling : ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19-22, 2015, Proceedings
- Advances in grid computing - EGC 2005 : European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, revised selected papers
- Advances in service-oriented and cloud computing : workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, revised selected papers
- Advances in service-oriented and cloud computing : workshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016, Revised selected papers
- Advances in service-oriented and cloud computing : workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers
- Aerospace software engineering : a collection of concepts
- Aerospace software engineering : a collection of concepts
- Agent environments for multi-agent systems IV : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers
- Agent intelligence through data mining
- Agent-oriented software engineering VIII : 8th international workshop, AOSE 2007, Honolulu, May 14, 2007. Revised selected papers
- Agentenorientierte Softwareentwicklung : Methoden und Tools
- Agentensysteme in der Automatisierungstechnik
- Aggregation functions : a guide for practitioners
- Agile IT-Projekte erfolgreich gestalten : Risikomanagement als Ergänzung zu Scrum
- Agile Modellierung mit UML : Codegenerierung, Testfälle, Refactoring
- Agile Modellierung mit UML : Codegenerierung, Testfälle, Refactoring
- Agile Processes, in Software Engineering, and Extreme Programming : 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings
- Agile Prozesse: Von XP über Scrum bis MAP
- Agile Software Development Teams
- Agile Swift : Swift programming using Agile tools and techniques
- Agile Unternehmen durch Business Rules : Der Business Rules Ansatz
- Agile pocket guide : a quick start to making your business agile using Scrum and beyond
- Agile software construction
- Agile software development teams : the impact of agile development on team performance
- Agile software engineering
- Agility kompakt : Tipps für erfolgreiche Systementwicklung
- Ajax in der Praxis : Grundlagen, Konzepte, Lösungen
- Ajax in oracle JDeveloper
- Algebraic methodology and software technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, proceedings
- Algorithmen kompakt und verständlich : Lösungsstrategien am Computer
- Algorithmen kompakt und verständlich : Lösungsstrategien am Computer
- Algorithms and Architectures for Parallel Processing : 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings
- Algorithms and architectures for parallel processing : 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007, proceedings
- Aligning business processes and information systems : new approaches to continuous quality engineering
- An integrated approach to software engineering
- An introduction to software quality control
- Analysis and design of information systems
- Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings
- Analyzing computer system performance with Perl::PDQ
- Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering
- Anwendungsentwicklung mit Datenbanken
- App4U : Mehrwerte durch Apps im B2B und B2C
- Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
- Application and Theory of Petri Nets and Concurrency : 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings
- Application and theory of petri nets 2002 : 23rd international conference, ICATPN 2002, Adelaide, Australia, June 24-30 2002. Proceedings
- Applications and theory of petri nets 2005 : 26th international conference, ICATPN 2005, Miami, FL, June 20-25, 2005. Proceedings
- Applied Computer Sciences in Engineering : 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017, Proceedings
- Applied Reconfigurable Computing. Architectures, Tools, and Applications : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings
- Applied parallel computing : advanced scientific computing ; 6th International Conference, PARA 2002 Espoo, Finland, June 15-18 2002. Proceedings
- Architecture description languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, August 22-27, 2004, Toulouse, France
- Architecture of Computing Systems {u2013} ARCS 2015 : 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings
- Architecture-based design of multi-agent systems
- Architektur- und Entwurfsmuster der Softwaretechnik : Mit lauffähigen Beispielen in Java
- Architektur- und Entwurfsmuster der Softwaretechnik : Mit lauffähigen Beispielen in Java
- Architekturen für Web-Anwendungen : Eine praxisbezogene Konstruktions-Systematik
- Artificial General Intelligence : 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings
- Artificial General Intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings
- Artificial Intelligence and Computational Intelligence : Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part II
- Artificial Intelligence and Computational Intelligence : Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part III
- Artificial life models in software
- Aspect-Oriented Security Hardening of UML Design Models
- Auf der Fährte von C# : Einführung und Referenz
- Aufwandsschätzungen in der Software- und Systementwicklung kompakt
- AutoCAD 2006 VBA : a programmer's reference
- Automata, Languages and Programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, proceedings, Part II
- Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, proceedings, Part I
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, Part I
- Automata, languages and programming : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, proceedings, Part II
- Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, proceedings, part II
- Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, proceedings, part I
- Automata, languages and programming : 37th international colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, proceedings, part II
- Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers
- Automated reasoning : 4th international joint conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, proceedings
- Automated reasoning with analytic tableaux and related methods : 16th international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, roceedings
- Automated reasoning with analytic tableaux and related methods : 18th international Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings
- Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
- Automated technology for verification and analysis : 7th international symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
- Automated technology for verification and analysis : 8th international symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
- Automated theorem proving in software engineering
- Automotive Embedded Systeme : Effizientes Framework ا Vom Design zur Implementierung
- Automotive software engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
- Automotive software engineering : principles, processes, methods, and tools
- Automotive software engineering : principles, processes, methods, and tools
- Automotive software engineering : principles, processes, methods, and tools
- Automotive software engineering : principles, processes, methods, and tools
- Autonomic and trusted computing : 4th international conference, ATC 2007, Hong Kong, China, July 11-13, 2007, proceedings
- Autonomic and trusted computing : 5th international conference, ATC 2008, Oslo, Norway, June 23-25, 2008, proceedings
- Autonomic and trusted computing : 6th International Conference, ATC 2009 Brisbane, Australia, July 7-9, 2009, proceedings
- Autonomic and trusted computing : 7th International Conference, ATC 2010, Xi{u2019}an, China, October 26-29, 2010. Proceedings
- Autonomic and trusted computing : third international conference, ATC 2006, Wuhan, China, September 3-6, 2006
- Autonomic computing : principles, design and implementation
- Autonomous Systems : Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008
- Autonomy oriented computing : from problem solving to complex systems modeling
- Autonomy requirements engineering for space missions
- BOINC : Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing
- Barrierefreiheit im virtuellen Raum : Benutzungszentrierte und modellgetriebene Entwicklung von Weboberflächen
- Beautiful code
- Beginning AI bot frameworks : getting started with bot development
- Beginning Apache Struts : From Novice to Professional
- Beginning Databases with PostgreSQL : From Novice to Professional
- Beginning Excel What-If Data Analysis Tools : Getting Started with Goal Seek, Data Tables, Scenarios, and Solver
- Beginning GIMP : From Novice to Professional
- Beginning GIMP : from novice to professional
- Beginning Google Maps Applications with PHP and Ajax : From Novice to Professional
- Beginning Google Maps Applications with Rails and Ajax : From Novice to Professional
- Beginning J2ME : From Novice to Professional
- Beginning Java EE 5 : From Novice to Professional
- Beginning Java Objects : from concepts to code
- Beginning Joomla!
- Beginning Joomla! : From Novice to Professional
- Beginning PHP and MySQL E-Commerce : From Novice to Professional
- Beginning POJOs : From Novice to Professional
- Beginning Ubuntu Linux
- Beginning software engineering
- Behavior Modeling -- Foundations and Applications : International Workshops, BM-FA 2009-2014, Revised Selected Papers
- Behavioural models : from modelling finite automata to analysing business processes
- Being agile : your roadmap to successful adoption of agile
- Best Practices in Software Measurement : Establish - Extract - Evaluate - Execute
- Best Practices in Software Measurement : How to use metrics to improve project and process performance
- Best practice software-engineering : eine praxiserprobte zusammenstellung von komponentenorientierten konzepten, methoden und werkzeugen
- Beyond loop level parallelism in OpenMP: accelerators, tasking and more : 6th internationan workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010, proceedings
- Bioinformatics software engineering : delivering effective applications
- Bioinspired models of network, information, and computing systems : 4th international conference, BIONETICS 2009, Avignon, France, December 9-11, 2009. Revised selected papers
- Biometric Systems : Technology, Design and Performance Evaluation
- Body Sensor Networks
- Bridging the Gap between Requirements Engineering and Software Architecture : A Problem-Oriented and Quality-Driven Method
- Building Online Communities with Drupal, phpBB, and WordPress
- Building reliable component-based software systems
- Business Information Systems : 20th International Conference, BIS 2017, Poznan, Poland, June 28–30, 2017, Proceedings
- Business Modeling and Software Design : 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
- Business Modeling and Software Design : 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015, Revised Selected Papers
- Business Process Management : Concepts, Languages, Architectures
- Business process management : 9th international conference, BPM 2011, Clermont-Ferrand, France, August 30 - September 2, 2011 : proceedings
- Business process models : change management
- C als erste Programmiersprache : Mit den Konzepten von C11
- C als erste Programmiersprache : Vom Einsteiger zum Fortgeschrittenen
- C als erste Programmiersprache : Vom Einsteiger zum Profi
- C++ mit dem Borland C++Builder 2007 : Einführung in den C++-Standard und die objektorientierte Windows-Programmierung
- COBIT kompakt und verständlich : Der Standard zur IT Governance ا So gewinnen Sie Kontrolle über Ihre IT ا So steuern Sie Ihre IT und erreichen Ihr Ziele
- CONCUR 2011 ђ́أ Concurrency Theory : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings
- COTS-Based Software Systems : 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings
- Categories for Software Engineering
- Categories for software engineering
- Central European Functional Programming School : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers
- Certifiable software applications, 3, Downward cycle
- Clear Blogging : How People Blogging Are Changing the World and How You Can Join Them
- Cloud Computing : 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers
- Cloud Computing als neue Herausforderung für Management und IT
- Cloud Computing and Services Science : Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012, revised selected papers
- Cloud Portability and Interoperability : Issues and Current Trends
- Cluster Computing : Praktische Einführung in das Hochleistungsrechnen auf Linux-Clustern
- Clustering-based support for software architecture restructuring
- Code leader : using people, tools, and processes to build successful software
- Coding Theory and Applications : 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings
- Collaboration in a Data-Rich World : 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017, Vicenza, Italy, September 18-20, 2017, Proceedings
- Collaborative Quality Assurance in Information Systems Development : The Interaction of Software Development Techniques and Team Cognition
- Collaborative software engineering
- Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I
- Combinatorial Optimization and Applications : 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part II
- Combinatorics on Words : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings
- Communication Technologies for Vehicles : 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings
- Community Usability Engineering : Prozesse und Werkzeuge zur In-situ Feedbackunterstützung
- Comparing and Aligning Process Representations : Foundations and Technical Solutions
- Compiler Construction (vol. [3923) : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings Berlin Heidelberg : Springer-Verlag GmbH.
- Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 (vol. 3443)
- Compiler Construction : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings (vol. 3923)
- Compiler Construction : 16th International Conference, CC 2007, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
- Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
- Compiler Construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
- Compiling Esterel
- Component Deployment : Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005, Proceedings
- Component software : beyond object-oriented programming
- Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends
- Component-Based Software Engineering (vol. # 3489) : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
- Component-Based Software Engineering : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings
- Component-Based Software Engineering : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 (vol. 3489)
- Component-Based Software Engineering : 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006, Proceedings (vol. 4063)
- Component-Based Software Testing with UML
- Composition of Embedded Systems. Scientific and Industrial Issues : 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
- Computational Logic in Multi-Agent Systems : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings
- Computational Methods in Systems Biology (vol. # 3082) : International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
- Computational Methods in Systems Biology (vol. # 4210) : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings
- Computational Methods in Systems Biology : International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings
- Computational Science - ICCS 2005 (vol. # 3514) : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I
- Computational Science - ICCS 2005 (vol. # 3515) : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II
- Computational Science - ICCS 2005 (vol. # 3516) : 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
- Computational Science - ICCS 2006 (vol. # 3991) : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
- Computational Science - ICCS 2006 (vol. # 3992) : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II
- Computational Science - ICCS 2006 (vol. # 3993) : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part III
- Computational Science - ICCS 2006 (vol. # 3994) : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
- Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part I
- Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II
- Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III
- Computational Science - ICCS 2007 : 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part IV
- Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I
- Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part II
- Computational Science - ICCS 2008 : 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III
- Computational Science and Its Applications - ICCSA 2005 (vol. # 3480) : International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
- Computational Science and Its Applications - ICCSA 2005 (vol. # 3482) : International Conference, Singapore, May 9-12. 2005, Proceedings, Part III
- Computational Science and Its Applications - ICCSA 2005 (vol. # 3483) : International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
- Computational Science and Its Applications - ICCSA 2005 Part II : International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
- Computational Science and Its Applications - ICCSA 2006 (vol. # 3980) : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I
- Computational Science and Its Applications - ICCSA 2006 (vol. # 3981) : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part II
- Computational Science and Its Applications - ICCSA 2006 (vol. # 3982) : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
- Computational Science and Its Applications - ICCSA 2006 (vol. # 3983) : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
- Computational Science and Its Applications - ICCSA 2006 (vol. # 3984) : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
- Computational Science and Its Applications - ICCSA 2006 : International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
- Computational Science and Its Applications - ICCSA 2007 : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
- Computational Science and Its Applications - ICCSA 2007 : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part I
- Computational Science and Its Applications - ICCSA 2007 : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings, Part II
- Computational Science and Its Applications - ICCSA 2007 : International Conference, Kuala Lumpur, Malaysia, August 26-29, 2007. Proceedings. Part III
- Computational Science and Its Applications - ICCSA 2008 : International Conference, Perugia, Italy, June 30-July 3, 2008, Proceedings, Part II
- Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I
- Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II
- Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV
- Computational Science and Its Applications -- ICCSA 2015 : 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V
- Computational intelligence and quantitative software engineering
- Computer Aided Verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
- Computer Aided Verification (vol. # 4144) : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
- Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
- Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
- Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
- Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
- Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
- Computer And Computing Technologies In Agriculture, Volume I : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
- Computer And Computing Technologies In Agriculture, Volume II : First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007
- Computer Music Modeling and Retrieval : Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005, revised papers
- Computer Music Modeling and Retrieval. sense of sounds : 4th International Symposium, CMMR 2007, Copenhagen, Denmark, August 27-31, 2007. revised papers
- Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
- Computer Safety, Reliability, and Security (vol. # 3688) : 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
- Computer Safety, Reliability, and Security (vol. # 4166) : 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006, Proceedings
- Computer Safety, Reliability, and Security : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007. Proceedings
- Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
- Computer Science ? CACIC 2017 : 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
- Computer Science and Its Applications : 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings
- Computer Supported Cooperative Work in Design I : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
- Computer Supported Cooperative Work in Design II : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
- Computer Supported Cooperative Work in Design III : 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers. Weiming Shen, Junzhou Luo, Zongkai Lin, Jean-Paul A. Barthès, Qi Hao
- Computer Vision Systems : Second International Workshop, ICVS 2001 Vancouver, Canada, July 7ђ́أ8, 2001 Proceedings
- Computer and Information Sciences - ISCIS 2005 : 20th International Symposium, Istanbul, Turkey, October 26 - 28, 2005, Proceedings
- Computer and Information Sciences - ISCIS 2006 : 21th International Symposium Istanbul, Turkey, Novenber 1-3, 2006, Proceedings
- Computer and computing technologies in agriculture V : 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, proceedings, Part III
- Computer science and its applications : ubiquitous information technologies
- Computer, network, software, and hardware engineering with applications
- Computer-Aided Design Of User Interfaces V
- Computer-Aided Innovation (CAI) : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy
- Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability : 25th Australian Computer-Human Interaction Conference, OzCHI 2013, Adelaide, SA, Australia, November 25-29, 2013. Revised and Extended Papers
- Computer-aided reasoning : an approach
- Computergestützte Audio- und Videotechnik : Multimediatechnik in der Anwendung
- Computerlinguistik und Sprachtechnologie : Eine Einführung
- Computers and Games : 9th International Conference, CG 2016, Leiden, the Netherlands, June 29 -- July 1, 2016, Revised Selected Papers
- Computing and Intelligent Systems : International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011, Proceedings, Part III
- Conceptual Modeling - ER 2006 : 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings
- Conceptual Modeling - ER 2007 : 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings
- Conceptual Modeling : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings
- Conceptual Modeling of Information Systems
- Conceptual Modelling in Information Systems Engineering
- Conceptual modeling - ER 2005 : 24th international conference on conceptual modeling, Klagenfurt, Austria, October 24-28, 2005, proceedings
- Concise guide to software engineering : from fundamentals to application methods
- Concurrency Theory : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems