Software engineering.

Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / by: (Language materials, printed)

Software engineering = evolution and emerging technologies / by: (Language materials, printed)

Software engineering with Java / by: (Language materials, printed)

Integrating security and software engineering = advances and future visions / by: (Language materials, printed)

Software for dependable systems = sufficient evidence? / by: (Language materials, printed)

The future of software engineering by: (Language materials, printed)

Software engineering / by: (Language materials, printed)

Introduction to software process improvement by: (Language materials, printed)

Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings / by: (Language materials, printed)

Automated Reasoning with Analytic Tableaux and Related Methods : = International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings by: (Language materials, printed)

Guide to Advanced Empirical Software Engineering by: (Language materials, printed)

New software engineering paradigm based on complexity science = an introduction to NSE / by: (Language materials, printed)

Rationale-based software engineering by: (Language materials, printed)

Transactions on pattern languages of programming II = special issue on applying patterns / by: (Language materials, printed)

Specification of software systems by: (Language materials, printed)

Engineering of software = the continuing contributions of Leon J. Osterweil / by: (Language materials, printed)

Model-Based Software and Data Integration = First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Language materials, printed)

A concise introduction to software engineering by: (Electronic resources)

Machine learning applications in software engineering / by: (Language materials, printed)

Issues in Multi-Agent Systems = The AgentCities.ES Experience / by: (Language materials, printed)

Agile software engineering by: (Language materials, printed)

An Integrated Approach to Software Engineering by: (Language materials, printed)

Software Product Line Engineering = Foundations, Principles, and Techniques / by: (Language materials, printed)

Machine learning applications in software engineering by: (Language materials, printed)

Agent-oriented software engineering VIII = 8th international workshop, AOSE 2007, Honolulu, HI, USA, May 14-18, 2007, revised selected papers / by: (Language materials, printed)

Data Analysis, Machine Learning and Applications = Proceedings of the 31st Annual Conference of the Gesellschaft fur Klassifikation e.V., Albert-Ludwigs-Universitat Freiburg, March 7-9, 2007 / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings / by: (Language materials, printed)

Automata, Languages and Programming = 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / by: (Language materials, printed)

Pro Hadoop by: (Language materials, printed)

Service intelligence and service science = evolutionary technologies and challenges / by: (Language materials, printed)

Software engineering for secure systems = industrial and research perspectives / by: (Language materials, printed)

Engineering service oriented systems = a model driven approach / by: (Language materials, printed)

Knowledge engineering for software development life cycles = support technologies and applications / by: (Language materials, printed)

Modern software engineering concepts and practices = advanced approaches / by: (Language materials, printed)

Adapting configuration management for Agile teams : = balancing sustainability and speed / by: (Language materials, printed)

Designing a new class of distributed systems by: (Language materials, printed)

Self-organising software = from natural to artificial adaptation / by: (Language materials, printed)

Ontology-based application integration by: (Language materials, printed)

The art of software innovation = eight practice areas to inspire your business / by: (Language materials, printed)

Relating software requirements and architectures by: (Language materials, printed)

Formal development of a network-centric RTOS = software engineering for reliable embedded systems / by: (Language materials, printed)

Dependability benchmarking for computer systems / by: (Language materials, printed)

Software measurement and estimation = a practical approach / by: (Language materials, printed)

Software management by: (Language materials, printed)

Managing and leading software projects by: (Language materials, printed)

Data flow analysis = theory and practice / by: (Language materials, printed)

Evolutionary computation and optimization algorithms in software engineering : = applications and techniques / by: (Language materials, printed)

Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings / by: (Language materials, printed)

Advances in conceptual modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015 : proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Agile product development = how to design innovative products that create customer value / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part I / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.. Part IV / by: (Language materials, printed)

Data science = second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015 : proceedings / by: (Language materials, printed)

Dependable software engineering = theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings / by: (Language materials, printed)

Distributed computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015 : proceedings / by: (Language materials, printed)

Dynamic data-driven environmental systems science = first International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014 : revised selected papers / by: (Language materials, printed)

Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (Language materials, printed)

Exploring the Raspberry Pi 2 with C++ by: (Language materials, printed)

Globalizing domain-specific languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014 : revised papers / by: (Language materials, printed)

Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings / by: (Language materials, printed)

Learning MATLAB = a problem solving approach / by: (Language materials, printed)

Mobile, secure, and programmable networking = first International Conference, MSPN 2015, Paris, France, June 15-17, 2015 : selected papers / by: (Language materials, printed)

OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Language materials, printed)

Risk assessment and risk-driven testing = third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015 : revised selected papers / by: (Language materials, printed)

The practice of enterprise modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015 : proceedings / by: (Language materials, printed)

PRIMA 2015 = principles and practice of multi-agent systems :: 18th International Conference, Bertinoro, Italy, October 26-30, 2015 : proceedings / by: (Language materials, printed)

Product-focused software process improvement = 16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings / by: (Language materials, printed)

Programming languages with applications to biology and security = essays dedicated to Pierpaolo Degano on the occasion of His 65th Birthday / by: (Language materials, printed)

Research in attacks,intrusions, and defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015 : proceedings / by: (Language materials, printed)

SDL 2015 = model-driven engineering for smart cities : 17th International SDL Forum, Berlin, Germany, October 12-14, 2015 : proceedings / by: (Language materials, printed)

Service-oriented computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015 : proceedings / by: (Language materials, printed)

Software technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Language materials, printed)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings / by: (Language materials, printed)

Theory and practice of natural computing = fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015 : proceedings / by: (Language materials, printed)

Practical support for lean six sigma software process definition = using IEEE software engineering standards / by: (Language materials, printed)

Transactions on petri nets and other models of concurrency X by: (Language materials, printed)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part II / by: (Language materials, printed)

Web information systems engineering - WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.. Part I / by: (Language materials, printed)

Adaptive control approach for software quality improvement by: (Language materials, printed)

Research methodologies, innovations, and philosophies in software systems engineering and information systems by: (Language materials, printed)

Designing software-intensive systems = methods and principles / by: (Language materials, printed)

Design problems, frames and innovative solutions by: (Language materials, printed)

Using UML : = software engineering with objects and components / by: (Language materials, printed)

Pattern-oriented software architecture.. v. 4,. A patternlanguage for distributed computing / by: (Language materials, printed)

Pattern-oriented software architecture.. Vol. 5,. On patterns and pattern languages / by: (Language materials, printed)

Meta-programming and model-driven meta-program development = principles, processes and techniques / by: (Language materials, printed)

Adaptive control approach for software quality improvement / by: (Language materials, printed)

Making sense of agile project management : = balancing control and agility / by: (Language materials, printed)

Software engineering : = modern approaches / by: (Language materials, printed)

Transactions on aspect-oriented software development X by: (Language materials, printed)

Software engineering frameworks for the cloud computing paradigm by: (Language materials, printed)

Tool-Based requirement traceability between requirement and design artifacts by: (Language materials, printed)

Autonomic computing = principles, design and implementation / by: (Language materials, printed)

Business process models = change management / by: (Language materials, printed)

Finding source code on the web for remix and reuse by: (Language materials, printed)

Managing requirements knowledge by: (Language materials, printed)

Perspectives on the future of software engineering = essays in honor of Dieter Rombach / by: (Language materials, printed)

Essentials of software engineering / by: (Language materials, printed)

Object-oriented software engineering : = using UML, patterns, and Java / by: (Language materials, printed)

S-BPM illustrated = a storybook about business process modeling and execution / by: (Language materials, printed)

Software engineering = a hands-on approach / by: (Language materials, printed)

Theories of programming and formal methods = essays dedicated to Jifeng He on the Occasion of His 70th Birthday / by: (Language materials, printed)

Domain engineering = product lines, languages, and conceptual models / by: (Language materials, printed)

Measurement methodology and tools = first European Workshop, FP7 FIRE/EULER Project, Aalborg, Denmark, May 9, 2012 : Revised and Extended Papers / by: (Language materials, printed)

Trustworthy systems through quantitative software engineering by: (Language materials, printed)

Software measurement and estimation = a practical approach / by: (Language materials, printed)

The cognitive dynamics of computer science = cost-effective large scale software development / by: (Language materials, printed)

Systems and software engineering with applications by: (Language materials, printed)

Dependability benchmarking for computer systems by: (Language materials, printed)

Computer, network, software, and hardware engineering with applications by: (Language materials, printed)

IEEE Computer Society real-world software engineering problems = a self-study guide for today's software professional / by: (Language materials, printed)

Practical support for CMMI-SW software project documentation = using IEEE software engineering standards / by: (Language materials, printed)

Software engineering = Barry W. Boehm's lifetime contributions to software development, management, and research / by: (Language materials, printed)

Software management by: (Language materials, printed)

Software requirements engineering by: (Language materials, printed)

The project manager's guide to software engineering's best practices by: (Language materials, printed)

Semantic web and model-driven engineering by: (Language materials, printed)

Advanced computing by: (Language materials, printed)

Software business = third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012 : proceedings / by: (Language materials, printed)

Pro team foundation service by: (Language materials, printed)

Software process definition and management by: (Language materials, printed)

Software service and application engineering = essays dedicated to Bernd Kramer on the occasion of his 65th birthday / by: (Language materials, printed)

Feature-oriented software product lines = concepts and implementation / by: (Language materials, printed)

Model-driven dependability assessment of software systems by: (Language materials, printed)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part II / by: (Language materials, printed)

Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I / by: (Language materials, printed)

Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings / by: (Language materials, printed)

Advanced parallel processing technologies = 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013 : revised selected papers / by: (Language materials, printed)

Multiple access communcations = 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013 : proceedings / by: (Language materials, printed)

Theory and practice of natural computing = Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013 : proceedings / by: (Language materials, printed)

Ada 2012 rationale = The Language, The Standard Libraries / by: (Language materials, printed)

Being agile = your roadmap to successful adoption of agile / by: (Language materials, printed)

Information and communication technologies in education, research, and industrial applications = 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013 : revised selected papers / by: (Language materials, printed)

Sensor systems and software = 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013: revised selected papers / by: (Language materials, printed)

Cloud computing and services science = Second International Conference, CLOSER 2012, Porto, Portugal, April 18-21, 2012 : revised selected papers / by: (Language materials, printed)

Advances in service-oriented and cloud computing = Workshops of ESOCC 2013, Malaga, Spain, September 11-13, 2013 : revised selected papers / by: (Language materials, printed)

Software and data technologies = 7th International Conference, ICSOFT 2012, Rome, Italy, July 24-27, 2012 : revised selected papers / by: (Language materials, printed)

Git recipes by: (Language materials, printed)

Software and systems traceability by: (Language materials, printed)

Conquering complexity by: (Language materials, printed)

Guide to software development = designing and managing the life cycle / by: (Language materials, printed)

Foundations of algebraic specification and formal software development by: (Language materials, printed)

Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers / by: (Language materials, printed)

Software similarity and classification by: (Language materials, printed)

Games, actions and social software = multidisciplinary aspects / by: (Language materials, printed)

Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday / by: (Language materials, printed)

Patterns, programming and everything by: (Language materials, printed)

The correctness-by-construction approach to programming by: (Language materials, printed)

Specification and analytical evaluation of heterogeneous dynamic quorum-based data replication schemes by: (Language materials, printed)

Empirical methods and studies in software engineering = experiences from ESERNET / by: (Language materials, printed)

Inductive synthesis of functional programs = universal planning, folding of finite programs, and schema abstraction by analogical reasoning / by: (Language materials, printed)

Matchmaking in electronic markets = an agent-based approach towards matchmaking in electronic negotiations / by: (Language materials, printed)

Software engineering for large-scale mulit-agent systems = research issues and practical applications / by: (Language materials, printed)

Methodologies and software engineering for agent systems = the agent-oriented software engineering handbook / by: (Language materials, printed)

Engineering secure software and systems = First international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009, proceedings / by: (Language materials, printed)

Ada for software engineers (second edition with Ada 2005) by: (Language materials, printed)

Software engineering, artificial intelligence, networking and parallel/distributed computing by: (Language materials, printed)

Agile project management for dummies / by: (Language materials, printed)

Software engineering / by: (Language materials, printed)

Social software engineering = development and collaboration with social networking / by: (Language materials, printed)

Advances in abstract intelligence and soft computing by: (Language materials, printed)

Visual usability = principles and practices for designing digital applications / by: (Language materials, printed)

Software engineering for embedded systems = methods, practical techniques, and applications / by: (Language materials, printed)

Software engineering = architecture-driven software development / by: (Language materials, printed)

Soft city culture and technology = the Betaville Project / by: (Language materials, printed)

Embedded and real time system development = a software engineering perspective : concepts, methods and principles / by: (Language materials, printed)

Evolving software systems by: (Language materials, printed)

Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers / by: (Language materials, printed)

Engineering secure software and systems = 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014 : proceedings / by: (Language materials, printed)

Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers / by: (Language materials, printed)

Specification, algebra, and software = essays dedicated to Kokichi Futatsugi / by: (Language materials, printed)

Software design for engineers and scientists by: (Language materials, printed)

Designing, engineering, and analyzing reliable and efficient software by: (Language materials, printed)

Software development techniques for constructive information systems design by: (Language materials, printed)

New trends in software methodologies, tools and techniques = proceedings of the Thirteenth SoMeT_14 / by: (Language materials, printed)

Time-frequency domain for segmentation and classification of non-stationary signals DUP_1 = the Stockwell Transform applied on bio-signals and electric signals / by: (Language materials, printed)

Rapid prototyping of software for avionics systems DUP_1 = model-oriented approaches for complex systems certification / by: (Language materials, printed)

Time-frequency domain for segmentation and classification of non-stationary signals = the Stockwell Transform applied on bio-signals and electric signals / by: (Language materials, printed)

Rapid prototyping of software for avionics systems = model-oriented approaches for complex systems certification / by: (Language materials, printed)

Computer science and its applications = ubiquitous information technologies / by: (Language materials, printed)

From requirements to Java in a snap = model-driven requirements engineering in practice / by: (Language materials, printed)

Patterns, principles, and practices of domain-driven design / by: (Language materials, printed)

Requirements in engineering projects by: (Language materials, printed)

Hybrid soft computing approaches = research and applications / by: (Language materials, printed)

Agile Software Development Teams by: (Language materials, printed)

Computational intelligence and quantitative software engineering by: (Language materials, printed)

Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday / by: (Language materials, printed)

A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday / by: (Language materials, printed)

Devops on the Microsoft stack by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, held at CAiSE 2016, Ljubljana, Slovenia, June 13-14, 2016 : proceedings / by: (Language materials, printed)

Advanced information systems engineering workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016 : proceedings / by: (Language materials, printed)

Business modeling and software design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6-8, 2015 : revised selected papers / by: (Language materials, printed)

Nordic contributions in IS research = 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016 : proceedings / by: (Language materials, printed)

Behavioural models = from modelling finite automata to analysing business processes / by: (Language materials, printed)

Information and software technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings / by: (Language materials, printed)

Stack frames = a look from inside / by: (Language materials, printed)

Information systems for crisis response and management in mediterranean countries = third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016 : proceedings / by: (Language materials, printed)

The practice of enterprise modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skovde, Sweden, November 8-10, 2016 : proceedings / by: (Language materials, printed)

Guide to software development = designing and managing the life cycle / by: (Language materials, printed)

Quality in business process modeling by: (Language materials, printed)

Software developers as users = semiotic investigations in human-centered software development / by: (Language materials, printed)

System architecture = an ordinary engineering discipline / by: (Language materials, printed)

Software architecture in action = designing and executing architectural models with SysADL grounded on the OMG SysML standard / by: (Language materials, printed)

Formal methods and software engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings / by: (Language materials, printed)

Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016 : proceedings / by: (Language materials, printed)

C++/CLI primer = for .NET development / by: (Language materials, printed)

Real-world decision support systems by: (Language materials, printed)

Leveraging applications of formal methods, verification, and validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers / by: (Language materials, printed)

Deductive software verification - The KeY Book = from theory to practice / by: (Language materials, printed)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (Language materials, printed)

Knowledge-based processes in software development by: (Language materials, printed)

Semantic web and model-driven engineering by: (Language materials, printed)

Foundations of software engineering / by: (Language materials, printed)

Perspectives on data science for software engineering / by: (Language materials, printed)

Bridging the gap between requirements engineering and software architecture = a problem-oriented and quality-driven method / by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017, held at CAiSE 2017, Essen, Germany, June 12-13, 2017 : proceedings / by: (Language materials, printed)

Concise guide to software engineering = from fundamentals to application methods / by: (Language materials, printed)

Empirical research in software engineering : = concepts, analysis, and applications / by: (Language materials, printed)

Modern software engineering methodologies for mobile and cloud environments by: (Language materials, printed)

Beginning software engineering by: (Language materials, printed)

Signal processing with free software = practical experiments / by: (Language materials, printed)

Source code modularization = theory and techniques / by: (Language materials, printed)

The DevOps adoption playbook = a guide to adopting DevOps in a multi-speed IT enterprise / by: (Language materials, printed)

Present and ulterior software engineering by: (Language materials, printed)

Unraveling software maintenance and evolution = thinking outside the Box / by: (Language materials, printed)

Working with coders = a guide to software development for the perplexed non-techie / by: (Language materials, printed)

Software engineering = specification, implementation, verification / by: (Language materials, printed)

Thinking-driven testing = the most reasonable approach to quality control / by: (Language materials, printed)

Designing usable and secure software with IRIS and CAIRIS by: (Language materials, printed)

TraceME = a traceability-based method for conceptual model evolution : model-driven techniques, tools, guidelines, and open challenges in conceptual model evolution / by: (Language materials, printed)

Real-Time C++ = efficient object-oriented and template microcontroller programming / by: (Language materials, printed)

Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (Language materials, printed)

Transactions on computational collective intelligence XXVIII by: (Language materials, printed)

Enterprise, business-process and information systems modeling = 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, proceedings / by: (Language materials, printed)

Global thoughts, local designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017 : revised selected papers / by: (Language materials, printed)

Comparing and aligning process representations = foundations and technical solutions / by: (Language materials, printed)

Information systems in the Big Data Era = CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings / by: (Language materials, printed)

Software fault prediction = a road map / by: (Language materials, printed)

The essence of software engineering by: (Language materials, printed)

Software development measurement programs = development, management and evolution / by: (Language materials, printed)

Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Language materials, printed)

Beginning AI bot frameworks = getting started with bot development / by: (Language materials, printed)

Principles of package design = creating reusable software components / by: (Language materials, printed)

Automotive software engineering = principles, processes, methods, and tools / by: (Language materials, printed)

Automotive software engineering : = principles, processes, methods, and tools / by: (Language materials, printed)

Interdisciplinary approaches to information systems and software engineering / by: (Language materials, printed)

Programming and performance visualization tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers / by: (Language materials, printed)

Advances in computing = 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017 : proceedings / by: (Language materials, printed)

Software quality = complexity and challenges of software engineering in emerging technologies : 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017 : proceedings / by: (Language materials, printed)

Cross-cultural design = 9th International Conference, CCD 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (Language materials, printed)

Design, user experience, and usability = designing pleasurable experiences : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

Design, user experience, and usability = theory, methodology, and management : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Design, user experience, and usability = understanding users and contexts : 6th International Conference, DUXU 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part III / by: (Language materials, printed)

Human-computer interaction = interaction contexts : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

Human-computer interaction = user interface design, development and multimodality : 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Unconventional computation and natural computation = 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017 : proceedings / by: (Language materials, printed)

Rethinking productivity in software engineering by: (Language materials, printed)

Coordination models and languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (Language materials, printed)

Practical microservices architectural patterns = event-based Java microservices with Spring Boot and Spring Cloud / by: (Language materials, printed)

Formal methods = an appetizer / by: (Language materials, printed)

Automotive systems and software engineering = state of the art and future trends / by: (Language materials, printed)

Empirical studies on the development of executable business processes by: (Language materials, printed)

Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday / by: (Language materials, printed)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II / by: (Language materials, printed)

Integrating the internet of things into software engineering practices by: (Language materials, printed)

Smart Homes and Health Telematics = 6th International Conference, ICOST 2008 Ames, IA, USA, June 28-July 2, 2008 Proceedings / by: (Language materials, printed)

Models in Software Engineering = Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / by: (Language materials, printed)

Model-driven development and operation of multi-cloud applications = the MODAClouds approach / by: (Language materials, printed)

Agile Swift = Swift programming using Agile tools and techniques / by: (Language materials, printed)

Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / by: (Language materials, printed)

Intelligent Software Methodologies, Tools and Techniques = 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers / by: (Language materials, printed)

Beginning Amazon Web Services with Node.js by: (Language materials, printed)

Cloud Computing and Services Sciences = International Conference in Cloud Computing and Services Sciences, CLOSER 2014 Barcelona Spain, April 3–5, 2014 Revised Selected Papers / by: (Language materials, printed)

Introduction to Concurrency Theory = Transition Systems and CCS / by: (Language materials, printed)

JavaScript Quick Syntax Reference by: (Language materials, printed)

Machine Learning Projects for .NET Developers by: (Language materials, printed)

Pro JavaScript Techniques = Second Edition / by: (Language materials, printed)

A Practical Guide to TPM 2.0 = Using the Trusted Platform Module in the New Age of Security / by: (Language materials, printed)

Practical C++ Financial Programming by: (Language materials, printed)

C Quick Syntax Reference by: (Language materials, printed)

Drupal 8 for Absolute Beginners by: (Language materials, printed)

Beginning Drupal 8 by: (Language materials, printed)

Product-Focused Software Process Improvement = 16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 16th International Conference, XP 2015, Helsinki, Finland, May 25-29, 2015, Proceedings / by: (Language materials, printed)

Globalizing Domain-Specific Languages = International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / by: (Language materials, printed)

Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / by: (Language materials, printed)

Windows 10 Revealed = The Universal Windows Operating System for PC, Tablets, and Windows Phone / by: (Language materials, printed)

Beginning Scala by: (Language materials, printed)

Beginning Swift Games Development for iOS by: (Language materials, printed)

Practical Enterprise Software Development Techniques = Tools and Techniques for Large Scale Solutions / by: (Language materials, printed)

Learn JavaFX 8 = Building User Experience and Interfaces with Java 8 / by: (Language materials, printed)

Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings / by: (Language materials, printed)

From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice / by: (Language materials, printed)

Solving Hyperbolic Equations with Finite Volume Methods by: (Language materials, printed)

Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings / by: (Language materials, printed)

Software Engineering for Collective Autonomic Systems = The ASCENS Approach / by: (Language materials, printed)

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 / by: (Language materials, printed)

High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers / by: (Language materials, printed)

Open Source Systems: Adoption and Impact = 11th IFIP WG 2.13 International Conference, OSS 2015, Florence, Italy, May 16-17, 2015, Proceedings / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / by: (Language materials, printed)

NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / by: (Language materials, printed)

New Horizons in Design Science: Broadening the Research Agenda = 10th International Conference, DESRIST 2015, Dublin, Ireland, May 20-22, 2015, Proceedings / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2014 Workshops = 15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers / by: (Language materials, printed)

Data Science = 30th British International Conference on Databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, Proceedings / by: (Language materials, printed)

Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings / by: (Language materials, printed)

Human-Computer Interaction: Interaction Technologies = 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part II / by: (Language materials, printed)

Nordic Contributions in IS Research = 6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part III / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part II / by: (Language materials, printed)

Search-Based Software Engineering = 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings / by: (Language materials, printed)

Human-Computer Interaction – INTERACT 2015 = 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II / by: (Language materials, printed)

Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / by: (Language materials, printed)

Wired/Wireless Internet Communications = 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms, Probability, Networks, and Games = Scientific Papers and Essays Dedicated to Paul G. Spirakis on the Occasion of His 60th Birthday / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings / by: (Language materials, printed)

Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings / by: (Language materials, printed)

Software Architecture = 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings / by: (Language materials, printed)

Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / by: (Language materials, printed)

OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / by: (Language materials, printed)

PRIMA 2015: Principles and Practice of Multi-Agent Systems = 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings / by: (Language materials, printed)

The Practice of Enterprise Modeling = 8th IFIP WG 8.1. Working Conference, PoEM 2015, Valencia, Spain, November 10-12, 2015, Proceedings / by: (Language materials, printed)

Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II / by: (Language materials, printed)

Risk Assessment and Risk-Driven Testing = Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings / by: (Language materials, printed)

Security Standardisation Research = Second International Conference, SSR 2015, Tokyo, Japan, December 15-16, 2015, Proceedings / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / by: (Language materials, printed)

Adaptive Resource Management and Scheduling for Cloud Computing = Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / by: (Language materials, printed)

Enterprise Information Systems = 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers / by: (Language materials, printed)

RoboCup 2014: Robot World Cup XVIII by: (Language materials, printed)

OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies = Second Workshop, OpenSHMEM 2015, Annapolis, MD, USA, August 4-6, 2015. Revised Selected Papers / by: (Language materials, printed)

Model-Driven Engineering and Software Development = Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / by: (Language materials, printed)

Engineering Secure Software and Systems = 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings / by: (Language materials, printed)

Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part V / by: (Language materials, printed)

Cloud Portability and Interoperability = Issues and Current Trends / by: (Language materials, printed)

Engineering the Web in the Big Data Era = 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering = 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings / by: (Language materials, printed)

Introduction to React by: (Language materials, printed)

Knowledge Engineering and Knowledge Management = EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers. / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XX by: (Language materials, printed)

Systems, Software and Services Process Improvement = 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings / by: (Language materials, printed)

Programming Languages with Applications to Biology and Security = Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2015 = 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part I / by: (Language materials, printed)

Software, Animation and the Moving Image = What's in the Box? / by: (Language materials, printed)

Advances in Computer Games = 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers / by: (Language materials, printed)

Cloud Computing = 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers / by: (Language materials, printed)

Service-Oriented Computing - ICSOC 2014 Workshops = WESOA; SeMaPS, RMSOC, KASA, ISC, FOR-MOVES, CCSA and Satellite Events, Paris, France, November 3-6, 2014, Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers / by: (Language materials, printed)

Human-Computer Interaction – INTERACT 2015 = 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part I / by: (Language materials, printed)

On the Move to Meaningful Internet Systems: OTM 2015 Workshops = Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, EI2N, FBM, INBAST, ISDE, META4eS, and MSC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / by: (Language materials, printed)

Data Science = Second International Conference, ICDS 2015, Sydney, Australia, August 8-9, 2015, Proceedings / by: (Language materials, printed)

Arduino Music and Audio Projects by: (Language materials, printed)

Joomla! 3 SEO and Performance by: (Language materials, printed)

Practical Salesforce.com Development Without Code = Customizing Salesforce on the Force.com Platform / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / by: (Language materials, printed)

Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions / by: (Language materials, printed)

Environmental Software Systems. Infrastructures, Services and Applications = 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings / by: (Language materials, printed)

SDL 2015: Model-Driven Engineering for Smart Cities = 17th International SDL Forum, Berlin, Germany, October 12-14, 2015, Proceedings / by: (Language materials, printed)

Learn Raspberry Pi 2 with Linux and Windows 10 by: (Language materials, printed)

Advanced Game Design with HTML5 and JavaScript by: (Language materials, printed)

Foundations of Joomla! by: (Language materials, printed)

Correct Software in Web Applications and Web Services by: (Language materials, printed)

Practical jQuery by: (Language materials, printed)

SOFSEM 2015: Theory and Practice of Computer Science = 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings / by: (Language materials, printed)

Fundamentals of Computation Theory = 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings / by: (Language materials, printed)

Agile Project Management: Managing for Success by: (Language materials, printed)

Beginning Ubuntu for Windows and Mac Users by: (Language materials, printed)

Finite Difference Methods,Theory and Applications = 6th International Conference, FDM 2014, Lozenetz, Bulgaria, June 18-23, 2014, Revised Selected Papers / by: (Language materials, printed)

Programming Languages and Systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings / by: (Language materials, printed)

Green in Software Engineering by: (Language materials, printed)

Pro XAML with C# = Application Development Strategies (covers WPF, Windows 8.1, and Windows Phone 8.1) / by: (Language materials, printed)

Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming / by: (Language materials, printed)

Model Checking Software = 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2015 Workshops AHA, CMS, EMoV, MoBID, MORE-BI, MReBA, QMMQ, and SCME, Stockholm, Sweden, October 19-22, 2015, Proceedings / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings / by: (Language materials, printed)

Coordination Models and Languages = 17th IFIP WG 6.1 International Conference, COORDINATION 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by: (Language materials, printed)

Software Sourcing in the Age of Open = Leveraging the Unknown Workforce / by: (Language materials, printed)

Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / by: (Language materials, printed)

Multiple Access Communications = 8th International Workshop, MACOM 2015, Helsinki, Finland, September 3-4, 2015, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I / by: (Language materials, printed)

Regulated Open Multi-Agent Systems (ROMAS) = A Multi-Agent Approach for Designing Normative Open Systems / by: (Language materials, printed)

Betriebssysteme und Echtzeit = Echtzeit 2015 / by: (Language materials, printed)

Theory and Practice of Model Transformations = 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. Proceedings / by: (Language materials, printed)

Managing Agile = Strategy, Implementation, Organisation and People / by: (Language materials, printed)

Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / by: (Language materials, printed)

Advanced Parallel Processing Technologies = 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Extending SSIS with .NET Scripting = A Toolkit for SQL Server Integration Services / by: (Language materials, printed)

Barrierefreiheit im virtuellen Raum = Benutzungszentrierte und modellgetriebene Entwicklung von Weboberflächen / by: (Language materials, printed)

C# 6.0 and the .NET 4.6 Framework by: (Language materials, printed)

Aspect-Oriented Security Hardening of UML Design Models by: (Language materials, printed)

Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / by: (Language materials, printed)

Selenium WebDriver Recipes in C# = Second Edition / by: (Language materials, printed)

Software Measurement = 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Kraków, Poland, October 5-7, 2015, Proceedings / by: (Language materials, printed)

Microsoft Mapping Second Edition = Geospatial Development in Windows 10 with Bing Maps and C# / by: (Language materials, printed)

Expert Oracle Application Express by: (Language materials, printed)

SAP ERP Financial Accounting and Controlling = Configuration and Use Management / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by: (Language materials, printed)

The Scrum Culture = Introducing Agile Methods in Organizations / by: (Language materials, printed)

Architecture of Computing Systems – ARCS 2015 = 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings / by: (Language materials, printed)

Business Modeling and Software Design = 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II / by: (Language materials, printed)

Community Usability Engineering = Prozesse und Werkzeuge zur In-situ Feedbackunterstützung / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / by: (Language materials, printed)

Software Process Improvement and Capability Determination = 15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015. Proceedings / by: (Language materials, printed)

Process-Aware Systems = First International Workshop, PAS 2014, Shanghai, China, October 17, 2014. Proceedings / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers / by: (Language materials, printed)

Optimization Methods, Theory and Applications by: (Language materials, printed)

Behavior Modeling -- Foundations and Applications = International Workshops, BM-FA 2009-2014, Revised Selected Papers / by: (Language materials, printed)

Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II / by: (Language materials, printed)

Patterns of HCI Design and HCI Design of Patterns = Bridging HCI Design and Model-Driven Software Engineering / by: (Language materials, printed)

Human-Computer Interaction: Design and Evaluation = 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part I / by: (Language materials, printed)

Model-Driven Engineering and Software Development = Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings / by: (Language materials, printed)

Fundamentals of Software Engineering = 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / by: (Language materials, printed)

Formal Methods for Multicore Programming = 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / by: (Language materials, printed)

Computer Science and Its Applications = 5th IFIP TC 5 International Conference, CIIA 2015, Saida, Algeria, May 20-21, 2015, Proceedings / by: (Language materials, printed)

Software Technologies = 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / by: (Language materials, printed)

Cyber Physical Systems. Design, Modeling, and Evaluation = 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings / by: (Language materials, printed)

Broken Agile = Second Edition / by: (Language materials, printed)

Advanced ActionScript 3 = Design Patterns / by: (Language materials, printed)

Java Closures and Lambda by: (Language materials, printed)

Enhanced Building Information Models = Using IoT Services and Integration Patterns / by: (Language materials, printed)

Multilevel Business Processes = Modeling and Data Analysis / by: (Language materials, printed)

Beginning JSON by: (Language materials, printed)

Die Softwareindustrie = Ökonomische Prinzipien, Strategien, Perspektiven / by: (Language materials, printed)

Mit Scrum zum gewünschten System by: (Language materials, printed)

Enterprise Interoperability = 6th International IFIP Working Conference, IWEI 2015, Nîmes, France, May 28-29, 2015, Proceedings / by: (Language materials, printed)

Graph and Model Transformation = General Framework and Applications / by: (Language materials, printed)

Pro REST API Development with Node.js by: (Language materials, printed)

Using the C++ Standard Template Libraries by: (Language materials, printed)

Systemkonsolidierung und Datenmigration als Erfolgsfaktoren = HMD Best Paper Award 2014 / by: (Language materials, printed)

Advanced Information Systems Engineering Workshops = CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings / by: (Language materials, printed)

Mobile and Wireless Technology 2015 by: (Language materials, printed)

Introduction to Programming with Fortran = With Coverage of Fortran 90, 95, 2003, 2008 and 77 / by: (Language materials, printed)

Java Threads and the Concurrency Utilities by: (Language materials, printed)

Beginning SAP Fiori by: (Language materials, printed)

Predictive Analytics with Microsoft Azure Machine Learning 2nd Edition by: (Language materials, printed)

Practical Graph Analytics with Apache Giraph by: (Language materials, printed)

Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien / by: (Language materials, printed)

Pro Grunt.js by: (Language materials, printed)

The Design of Requirements Modelling Languages = How to Make Formalisms for Problem Solving in Requirements Engineering / by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2014, Manchester, UK, September 2-4, 2014, Revised Selected Papers / by: (Language materials, printed)

Spring REST by: (Language materials, printed)

Software Business = 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings / by: (Language materials, printed)

Pro Bash Programming, Second Edition = Scripting the GNU/Linux Shell / by: (Language materials, printed)

Windows 10 Primer = What to Expect from Microsoft's New Operating System / by: (Language materials, printed)

Visual Studio Lightswitch 2015 by: (Language materials, printed)

Metasynthetic Computing and Engineering of Complex Systems by: (Language materials, printed)

Beginning HTML5 Media = Make the most of the new video and audio standards for the Web / by: (Language materials, printed)

Cloud Computing als neue Herausforderung für Management und IT by: (Language materials, printed)

Programming Smalltalk – Object-Orientation from the Beginning = An introduction to the principles of programming / by: (Language materials, printed)

Swift for Absolute Beginners by: (Language materials, printed)

Exploring Services Science = 6th International Conference, IESS 2015, Porto, Portugal, February 4-6, 2015, Proceedings / by: (Language materials, printed)

Intelligent Software Methodologies, Tools and Techniques = 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings / by: (Language materials, printed)

Requirements Engineering in the Big Data Era = Second Asia Pacific Symposium, APRES 2015, Wuhan, China, October 18–20, 2015, Proceedings / by: (Language materials, printed)

Platzierung von Softwarekomponenten auf Mehrkernprozessoren = Automatisierte Konstruktion und Analyse für funktionssichere Systeme / by: (Language materials, printed)

Erhebung von Soll-Kompetenzen im Software Engineering = Anforderungen an Hochschulabsolventen aus industrieller Perspektive / by: (Language materials, printed)

UML @ Classroom = An Introduction to Object-Oriented Modeling / by: (Language materials, printed)

Building Your Next Big Thing with Google Cloud Platform = A Guide for Developers and Enterprise Architects / by: (Language materials, printed)

Guide to DataFlow Supercomputing = Basic Concepts, Case Studies, and a Detailed Example / by: (Language materials, printed)

Petri Net Synthesis by: (Language materials, printed)

Crowdsourcing = Cloud-Based Software Development / by: (Language materials, printed)

Information and Software Technologies = 21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015, Proceedings / by: (Language materials, printed)

Agile Performance Improvement = The New Synergy of Agile and Human Performance Technology / by: (Language materials, printed)

Grundkurs Mobile Kommunikationssysteme = LTE-Advanced, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth / by: (Language materials, printed)

Information Systems Engineering in Complex Environments = CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers / by: (Language materials, printed)

Methodenhandbuch für Softwareschulungen by: (Language materials, printed)

Software Quality. Software and Systems Quality in Distributed and Mobile Environments = 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings / by: (Language materials, printed)

Beginning NetBeans IDE = For Java Developers / by: (Language materials, printed)

Understanding Network Hacks = Attack and Defense with Python / by: (Language materials, printed)

Develop on Yammer = Social Integration for Modern Business Applications / by: (Language materials, printed)

Pro Couchbase Development = A NoSQL Platform for the Enterprise / by: (Language materials, printed)

Durchgängiger Simulationsprozess zur Effizienzsteigerung und Reifegraderhöhung von Konzeptbewertungen in der Frühen Phase der Produktentstehung by: (Language materials, printed)

Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers / by: (Language materials, printed)

Pro Java 8 Programming by: (Language materials, printed)

Embedded Firmware Solutions = Development Best Practices for the Internet of Things / by: (Language materials, printed)

Advances in Complex Data Modeling and Computational Methods in Statistics by: (Language materials, printed)

Hibernate Recipes = A Problem-Solution Approach / by: (Language materials, printed)

Model-Integrating Software Components = Engineering Flexible Software Systems / by: (Language materials, printed)

Softwareentwicklung kompakt und verständlich = Wie Softwaresysteme entstehen / by: (Language materials, printed)

Build your own 2D Game Engine and Create Great Web Games = Using HTML5, JavaScript, and WebGL / by: (Language materials, printed)

Make a 2D RPG in a Weekend = With RPG Maker VX Ace / by: (Language materials, printed)

Requirements Engineering for Digital Health by: (Language materials, printed)

Numbers and Computers by: (Language materials, printed)

Continuous Delivery with Visual Studio ALM 2015 by: (Language materials, printed)

Validation of Evolving Software by: (Language materials, printed)

Swing for Jython = Graphical Jython UI and Scripts Development using Java Swing and WebSphere Application Server / by: (Language materials, printed)

Building Great Software Engineering Teams = Recruiting, Hiring, and Managing Your Team from Startup to Success / by: (Language materials, printed)

C++ Recipes = A Problem-Solution Approach / by: (Language materials, printed)

Ad-hoc Networks and Wireless = ADHOC-NOW 2014 International Workshops, ETSD, MARSS, MWaoN, SecAN, SSPA, and WiSARN, Benidorm, Spain, June 22--27, 2014, Revised Selected Papers / by: (Language materials, printed)

Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings / by: (Language materials, printed)

Cryptographic Hardware and Embedded Systems -- CHES 2015 = 17th International Workshop, Saint-Malo, France, September 13-16, 2015, Proceedings / by: (Language materials, printed)

Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering / by: (Language materials, printed)

RoboCup 2015: Robot World Cup XIX by: (Language materials, printed)

Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / by: (Language materials, printed)

Formal Methods and Software Engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / by: (Language materials, printed)

Automated Reasoning with Analytic Tableaux and Related Methods = 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / by: (Language materials, printed)

Mobile, Secure, and Programmable Networking = First International Conference, MSPN 2015, Paris, France, June 15-17, 2015, Selected Papers / by: (Language materials, printed)

Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings / by: (Language materials, printed)

Internet and Distributed Computing Systems = 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Theory and Practice of Natural Computing = Fourth International Conference, TPNC 2015, Mieres, Spain, December 15-16, 2015. Proceedings / by: (Language materials, printed)

FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings / by: (Language materials, printed)

Membrane Computing = 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part IV / by: (Language materials, printed)

Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings / by: (Language materials, printed)

Ambient Assisted Living. ICT-based Solutions in Real Life Situations = 7th International Work-Conference, IWAAL 2015, Puerto Varas, Chile, December 1-4, 2015, Proceedings / by: (Language materials, printed)

Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings / by: (Language materials, printed)

Service-Oriented Computing = 13th International Conference, ICSOC 2015, Goa, India, November 16-19, 2015, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part IV / by: (Language materials, printed)

Software Engineering and Formal Methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / by: (Language materials, printed)

Models of Strategic Reasoning = Logics, Games, and Communities / by: (Language materials, printed)

Risks and Security of Internet and Systems = 9th International Conference, CRiSIS 2014, Trento, Italy, August 27-29, 2014, Revised Selected Papers / by: (Language materials, printed)

Collaboration and Technology = 21st International Conference, CRIWG 2015, Yerevan, Armenia, September 22-25, 2015, Proceedings / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (Language materials, printed)

Modelling Foundations and Applications = 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings / by: (Language materials, printed)

Computer Safety, Reliability, and Security = SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings / by: (Language materials, printed)

Countdown to a Moon Launch = Preparing Apollo for Its Historic Journey / by: (Language materials, printed)

Research in Attacks, Intrusions, and Defenses = 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings / by: (Language materials, printed)

Intelligent Cloud Computing = First International Conference, ICC 2014, Muscat, Oman, February 24-26, 2014, Revised Selected Papers / by: (Language materials, printed)

Service Oriented and Cloud Computing = 4th European Conference, ESOCC 2015, Taormina, Italy, September 15-17, 2015, Proceedings / by: (Language materials, printed)

Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings / by: (Language materials, printed)

Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XVIII by: (Language materials, printed)

Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / by: (Language materials, printed)

Learning MATLAB = A Problem Solving Approach / by: (Language materials, printed)

Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications -- ICCSA 2015 = 15th International Conference, Banff, AB, Canada, June 22-25, 2015, Proceedings, Part I / by: (Language materials, printed)

Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday / by: (Language materials, printed)

Interoperability and Open-Source Solutions for the Internet of Things = International Workshop, FP7 OpenIoT Project, Held in Conjunction with SoftCOM 2014, Split, Croatia, September 18, 2014, Invited Papers / by: (Language materials, printed)

Testing Software and Systems = 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / by: (Language materials, printed)

Cloud Computing and Big Data = Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (Language materials, printed)

Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / by: (Language materials, printed)

Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / by: (Language materials, printed)

Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part I / by: (Language materials, printed)

Solving Software Challenges for Exascale = International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers / by: (Language materials, printed)

Perspectives of System Informatics = 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers / by: (Language materials, printed)

Model and Data Engineering = 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XIX by: (Language materials, printed)

Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings / by: (Language materials, printed)

Mobile Web and Intelligent Information Systems = 12th International Conference, MobiWis 2015, Rome, Italy, August 24-26, 2015, Proceedings / by: (Language materials, printed)

Web Reasoning and Rule Systems = 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings. / by: (Language materials, printed)

Human Aspects of Information Security, Privacy, and Trust = Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings / by: (Language materials, printed)

Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings / by: (Language materials, printed)

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 / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / by: (Language materials, printed)

Languages and Compilers for Parallel Computing = 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part III / by: (Language materials, printed)

Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings / by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by: (Language materials, printed)

Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers / by: (Language materials, printed)

End-User Development = 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings / by: (Language materials, printed)

Engineering Multi-Agent Systems = Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: (Language materials, printed)

On the Move to Meaningful Internet Systems: OTM 2015 Conferences = Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / by: (Language materials, printed)

Ad-hoc, Mobile, and Wireless Networks = 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings / by: (Language materials, printed)

Shell Scripting Recipes = A Problem-Solution Approach / by: (Language materials, printed)

Sicherheit von Webanwendungen in der Praxis = Wie sich Unternehmen schützen können – Hintergründe, Maßnahmen, Prüfverfahren und Prozesse / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings / by: (Language materials, printed)

S-BPM in the Wild = Practical Value Creation / by: (Language materials, printed)

Web Programming with Dart by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / by: (Language materials, printed)

Beginning Python Games Development, Second Edition = With PyGame / by: (Language materials, printed)

Dynamic Data-Driven Environmental Systems Science = First International Conference, DyDESS 2014, Cambridge, MA, USA, November 5-7, 2014, Revised Selected Papers / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency X by: (Language materials, printed)

Hardening Azure Applications by: (Language materials, printed)

HTML5 Programmer's Reference by: (Language materials, printed)

Practical Linux Infrastructure by: (Language materials, printed)

Transactional Memory. Foundations, Algorithms, Tools, and Applications = COST Action Euro-TM IC1001 / by: (Language materials, printed)

Software Engineering for Resilient Systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / by: (Language materials, printed)

Central European Functional Programming School = 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / by: (Language materials, printed)

Java I/O, NIO and NIO.2 by: (Language materials, printed)

Swarm, Evolutionary, and Memetic Computing = 5th International Conference, SEMCCO 2014, Bhubaneswar, India, December 18-20, 2014, Revised Selected Papers / by: (Language materials, printed)

Distributed Computing = 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings / by: (Language materials, printed)

Human-Computer Interaction: Users and Contexts = 17th International Conference, HCI International 2015, Los Angeles, CA, USA, August 2–7, 2015. Proceedings, Part III / by: (Language materials, printed)

Pro HTML5 with Visual Studio 2015 by: (Language materials, printed)

Current Trends in Web Engineering = 15th International Conference, ICWE 2015 Workshops, NLPIT, PEWET, SoWEMine, Rotterdam, The Netherlands, June 23-26, 2015. Revised Selected Papers / by: (Language materials, printed)

Transactions on Aspect-Oriented Software Development XII by: (Language materials, printed)

Information Systems Reengineering, Integration and Normalization by: (Language materials, printed)

Agile Product Development = How to Design Innovative Products That Create Customer Value / by: (Language materials, printed)

Languages, Applications and Technologies = 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Enterprise Information Systems = 16th International Conference, ICEIS 2014, Lisbon, Portugal, April 27-30, 2014, Revised Selected Papers / by: (Language materials, printed)

Raspberry Pi - Das technische Handbuch = Konfiguration, Hardware, Applikationserstellung / by: (Language materials, printed)

Practical Google Analytics and Google Tag Manager for Developers by: (Language materials, printed)

Computational Methods in Systems Biology = 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / by: (Language materials, printed)

Exploring the Raspberry Pi 2 with C++ by: (Language materials, printed)

Design Thinking Research = Building Innovators / by: (Language materials, printed)

Computational Logistics = 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / by: (Language materials, printed)

Human-Computer Interaction. Theory, Design, Development and Practice = 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I / by: (Language materials, printed)

Analyzing Time Interval Data = Introducing an Information System for Time Interval Data Analysis / by: (Language materials, printed)

Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity / by: (Language materials, printed)

A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday / by: (Language materials, printed)

Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / by: (Language materials, printed)

Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings / by: (Language materials, printed)

Computational Sustainability by: (Language materials, printed)

Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015. Revised Selected Papers, Part I / by: (Language materials, printed)

Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods = Transportation by Road and Rail / by: (Language materials, printed)

Internet of Things. IoT Infrastructures = Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I / by: (Language materials, printed)

Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by: (Language materials, printed)

Information Technology in Environmental Engineering = Proceedings of the 7th International Conference on Information Technologies in Environmental Engineering (ITEE 2015) / by: (Language materials, printed)

Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / by: (Language materials, printed)

Web Services, Formal Methods, and Behavioral Types = 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers / by: (Language materials, printed)

Graphical Models for Security = Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers / by: (Language materials, printed)

Software Process Improvement and Capability Determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings / by: (Language materials, printed)

The Art of Scrum = How Scrum Masters Bind Dev Teams and Unleash Agility / by: (Language materials, printed)

Service-Oriented and Cloud Computing = 5th IFIP WG 2.14 European Conference, ESOCC 2016, Vienna, Austria, September 5-7, 2016, Proceedings / by: (Language materials, printed)

Scala: From a Functional Programming Perspective = An Introduction to the Programming Language / by: (Language materials, printed)

Principles and Practice of Multi-Agent Systems = International Workshops: IWEC 2014, Gold Coast, QLD, Australia, December 1-5, 2014, and CMNA XV and IWEC 2015, Bertinoro, Italy, October 26, 2015, Revised Selected Papers / by: (Language materials, printed)

Usability- and Accessibility-Focused Requirements Engineering = First International Workshop, UsARE 2012, Held in Conjunction with ICSE 2012, Zurich, Switzerland, June 4, 2012 and Second International Workshop, UsARE 2014, Held in Conjunction with RE 2014, Karlskrona, Sweden, August 25, 2014, Revised Selected Papers / by: (Language materials, printed)

ASP.NET MVC with Entity Framework and CSS by: (Language materials, printed)

Jumpstart Tableau = A Step-By-Step Guide to Better Data Visualization / by: (Language materials, printed)

Requirements Writing for System Engineering by: (Language materials, printed)

iOS Penetration Testing = A Definitive Guide to iOS Security / by: (Language materials, printed)

Die IT-Fabrik = Der Weg zum automatisierten IT-Betrieb / by: (Language materials, printed)

Modelling and Implementation of Complex Systems = Proceedings of the 4th International Symposium, MISC 2016, Constantine, Algeria, May 7-8, 2016, Constantine, Algeria / by: (Language materials, printed)

Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / by: (Language materials, printed)

Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / by: (Language materials, printed)

Advances in Network Science = 12th International Conference and School, NetSci-X 2016, Wroclaw, Poland, January 11-13, 2016, Proceedings / by: (Language materials, printed)

Distributed Simulation = A Model Driven Engineering Approach / by: (Language materials, printed)

Interactive Modeling and Simulation in Business System Design by: (Language materials, printed)

Mobile, Secure, and Programmable Networking = Second International Conference, MSPN 2016, Paris, France, June 1-3, 2016, Revised Selected Papers / by: (Language materials, printed)

Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / by: (Language materials, printed)

Computational Intelligence and Quantitative Software Engineering by: (Language materials, printed)

Agile Software Development Teams by: (Language materials, printed)

Practical Aspects of Declarative Languages = 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / by: (Language materials, printed)

Languages and Compilers for Parallel Computing = 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Intelligent Web Data Management: Software Architectures and Emerging Technologies by: (Language materials, printed)

Tangible Interactive Systems = Grasping the Real World with Computers / by: (Language materials, printed)

Hagenberg Business Process Modelling Method by: (Language materials, printed)

Managing Software Process Evolution = Traditional, Agile and Beyond – How to Handle Process Change / by: (Language materials, printed)

Games and Learning Alliance = 4th International Conference, GALA 2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Business Modeling and Software Design = 5th International Symposium, BMSD 2015, Milan, Italy, July 6–8, 2015, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing in Science and Engineering = Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers / by: (Language materials, printed)

NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / by: (Language materials, printed)

Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings / by: (Language materials, printed)

Controlled Natural Language = 5th International Workshop, CNL 2016, Aberdeen, UK, July 25-27, 2016, Proceedings / by: (Language materials, printed)

Nordic Contributions in IS Research = 7th Scandinavian Conference on Information Systems, SCIS 2016 and IFIP8.6 2016, Ljungskile, Sweden, August 7-10, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV / by: (Language materials, printed)

Cloud Computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers / by: (Language materials, printed)

Computer Safety, Reliability, and Security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / by: (Language materials, printed)

Information Systems: Development, Research, Applications, Education = 9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016, Proceedings / by: (Language materials, printed)

Information and Software Technologies = 22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings / by: (Language materials, printed)

Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / by: (Language materials, printed)

Conceptual Modeling = 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / by: (Language materials, printed)

System Analysis and Modeling. Technology-Specific Aspects of Models = 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / by: (Language materials, printed)

Coordination of Complex Sociotechnical Systems = Self-organisation of Knowledge in MoK / by: (Language materials, printed)

On the Move to Meaningful Internet Systems: OTM 2016 Conferences = Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings / by: (Language materials, printed)

Software Technologies: Applications and Foundations = STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / by: (Language materials, printed)

Biomedical Data Management and Graph Online Querying = VLDB 2015 Workshops, Big-O(Q) and DMAH, Waikoloa, HI, USA, August 31 – September 4, 2015, Revised Selected Papers / by: (Language materials, printed)

Proceedings of 4th International Conference in Software Engineering for Defence Applications = SEDA 2015 / by: (Language materials, printed)

Information and Communication Technologies in Education, Research, and Industrial Applications = 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers / by: (Language materials, printed)

Rapid Mashup Development Tools = First International Rapid Mashup Challenge, RMC 2015, Rotterdam, The Netherlands, June 23, 2015, Revised Selected Papers / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / by: (Language materials, printed)

Product-Focused Software Process Improvement = 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part I / by: (Language materials, printed)

Current Trends in Web Engineering = ICWE 2016 International Workshops, DUI, TELERISE, SoWeMine, and Liquid Web, Lugano, Switzerland, June 6-9, 2016. Revised Selected Papers / by: (Language materials, printed)

Research in Attacks, Intrusions, and Defenses = 19th International Symposium, RAID 2016, Paris, France, September 19-21, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I / by: (Language materials, printed)

Mathematical Software – ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / by: (Language materials, printed)

Coordination Models and Languages = 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by: (Language materials, printed)

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems = 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2016 = 17th International Conference, Shanghai, China, November 8-10, 2016, Proceedings, Part II / by: (Language materials, printed)

Advanced Information Systems Engineering Workshops = CAiSE 2016 International Workshops, Ljubljana, Slovenia, June 13-17, 2016, Proceedings / by: (Language materials, printed)

Swarm, Evolutionary, and Memetic Computing = 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Enterprise, Business-Process and Information Systems Modeling = 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings / by: (Language materials, printed)

Smart City 360° = First EAI International Summit, Smart City 360°, Bratislava, Slovakia and Toronto, Canada, October 13-16, 2015. Revised Selected Papers / by: (Language materials, printed)

Architecture of Computing Systems -- ARCS 2016 = 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings / by: (Language materials, printed)

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems = 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / by: (Language materials, printed)

Information Systems for Crisis Response and Management in Mediterranean Countries = Third International Conference, ISCRAM-med 2016, Madrid, Spain, October 26-28, 2016, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V / by: (Language materials, printed)

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments = Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 – 4, 2016, Revised Selected Papers / by: (Language materials, printed)

Enterprise Interoperability VII = Enterprise Interoperability in the Digitized and Networked Factory of the Future / by: (Language materials, printed)

The Practice of Enterprise Modeling = 9th IFIP WG 8.1. Working Conference, PoEM 2016, Skövde, Sweden, November 8-10, 2016, Proceedings / by: (Language materials, printed)

Software Quality. The Future of Systems- and Software Development = 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / by: (Language materials, printed)

Model and Data Engineering = 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings / by: (Language materials, printed)

Creating Google Chrome Extensions by: (Language materials, printed)

Control Modes on Mobile Software Platforms = Empirical Studies on the Importance of Informal Control / by: (Language materials, printed)

Lean Python = Learn Just Enough Python to Build Useful Tools / by: (Language materials, printed)

Qualità dei sistemi e del software = Il prossimo passo per l'industrializzazione / by: (Language materials, printed)

Understanding Control Flow = Concurrent Programming Using μC++ / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2016 = 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III / by: (Language materials, printed)

Exploring Services Science = 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings / by: (Language materials, printed)

Description and Selection of Communication Services for Service Oriented Network Architectures by: (Language materials, printed)

Programming Languages and Systems = 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by: (Language materials, printed)

Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / by: (Language materials, printed)

Agile Processes, in Software Engineering, and Extreme Programming = 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings / by: (Language materials, printed)

Working Around Disruptions of Network Infrastructures = Mobile Ad-Hoc Systems for Resilient Communication in Disasters / by: (Language materials, printed)

Internet der Dinge = Echtzeit 2016 / by: (Language materials, printed)

Formal Methods and Software Engineering = 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / by: (Language materials, printed)

OSS Reliability Measurement and Assessment by: (Language materials, printed)

Wechselwirkung = Wie Prinzipien der Software die Philosophie verändern / by: (Language materials, printed)

Design Thinking Research = Taking Breakthrough Innovation Home / by: (Language materials, printed)

Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / by: (Language materials, printed)

Programming with Python by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers / by: (Language materials, printed)

Transactions on Engineering Technologies = International MultiConference of Engineers and Computer Scientists 2015 / by: (Language materials, printed)

Advanced Model-Based Engineering of Embedded Systems = Extensions of the SPES 2020 Methodology / by: (Language materials, printed)

Variation Based Dense 3D Reconstruction = Application on Monocular Mini-Laparoscopic Sequences / by: (Language materials, printed)

Projektmanagement für die Praxis = Ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte / by: (Language materials, printed)

Service-Oriented Computing – ICSOC 2015 Workshops = WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Verteilte Laufzeitverifikation auf eingebetteten Systemen = Logiken und Monitorkonstruktionen für asynchrone Prozesse / by: (Language materials, printed)

Graph Transformation = 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings / by: (Language materials, printed)

Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers / by: (Language materials, printed)

Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2016 Workshops, AHA, MoBiD, MORE-BI, MReBA, QMMQ, SCME, and WM2SP, Gifu, Japan, November 14–17, 2016, Proceedings / by: (Language materials, printed)

Trustworthy Open Self-Organising Systems by: (Language materials, printed)

Musterbasierte Parallelisierung sequenzieller Anwendungen = Konzept und Implementierung eines Verfahrens zur Softwaretransformation / by: (Language materials, printed)

Professional Sitecore 8 Development = A Complete Guide to Solutions and Best Practices / by: (Language materials, printed)

Embedded Controller = Grundlagen und praktische Umsetzung für industrielle Anwendungen / by: (Language materials, printed)

Modeling with UML = Language, Concepts, Methods / by: (Language materials, printed)

Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays / by: (Language materials, printed)

FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings / by: (Language materials, printed)

Building Arduino Projects for the Internet of Things = Experiments with Real-World Applications / by: (Language materials, printed)

Multi-Agent Systems and Agreement Technologies = 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers / by: (Language materials, printed)

Social Coordination Frameworks for Social Technical Systems by: (Language materials, printed)

Pragmatic Evaluation of Software Architectures by: (Language materials, printed)

Advanced Information Systems Engineering = 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings / by: (Language materials, printed)

Einführung in C = Praktisches Lern- und Arbeitsbuch für Programmieranfänger / by: (Language materials, printed)

Coordination, Organizations, Institutions, and Norms in Agent Systems XI = COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers / by: (Language materials, printed)

Design Thinking Research = Making Design Thinking Foundational / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / by: (Language materials, printed)

System Architecture = An Ordinary Engineering Discipline / by: (Language materials, printed)

Service-Oriented Computing = 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings / by: (Language materials, printed)

Agile Project Management using Team Foundation Server 2015 by: (Language materials, printed)

Pro Docker by: (Language materials, printed)

Software Reuse: Bridging with Social-Awareness = 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings / by: (Language materials, printed)

Human-Computer Interaction. Novel User Experiences = 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III / by: (Language materials, printed)

Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings / by: (Language materials, printed)

Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / by: (Language materials, printed)

Collaboration in a Hyperconnected World = 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings / by: (Language materials, printed)

Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / by: (Language materials, printed)

Data Science = Create Teams That Ask the Right Questions and Deliver Real Value / by: (Language materials, printed)

Logics in Artificial Intelligence = 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings / by: (Language materials, printed)

Security, Privacy, and Applied Cryptography Engineering = 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / by: (Language materials, printed)

Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / by: (Language materials, printed)

Open Source Systems: Integrating Communities = 12th IFIP WG 2.13 International Conference, OSS 2016, Gothenburg, Sweden, May 30 - June 2, 2016, Proceedings / by: (Language materials, printed)

Rule Technologies. Research, Tools, and Applications = 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / by: (Language materials, printed)

An Economic Interpretation of Linear Programming by: (Language materials, printed)

Source Code Analytics With Roslyn and JavaScript Data Visualization by: (Language materials, printed)

Project-Management in Practice = A Guideline and Toolbox for Successful Projects / by: (Language materials, printed)

Instruction Selection = Principles, Methods, and Applications / by: (Language materials, printed)

IT-Betrieb = Management und Betrieb der IT in Unternehmen / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015, Revised Selected Papers / by: (Language materials, printed)

Domain-Specific Conceptual Modeling = Concepts, Methods and Tools / by: (Language materials, printed)

Cloud Computing and Services Science = 5th International Conference, CLOSER 2015, Lisbon, Portugal, May 20-22, 2015, Revised Selected Papers / by: (Language materials, printed)

Integrating User-Centred Design in Agile Development by: (Language materials, printed)

Software Engineering Research, Management and Applications by: (Language materials, printed)

Beginning Samsung ARTIK = A Guide for Developers / by: (Language materials, printed)

PHP 7 Quick Scripting Reference by: (Language materials, printed)

Computer and Information Sciences = 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings / by: (Language materials, printed)

App-Entwicklung – effizient und erfolgreich = Eine kompakte Darstellung von Konzepten, Methoden und Werkzeugen / by: (Language materials, printed)

Mobile Anwendungen in Unternehmen = Konzepte und betriebliche Einsatzszenarien / by: (Language materials, printed)

Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung / by: (Language materials, printed)

Quality in Business Process Modeling by: (Language materials, printed)

Microservices From Day One = Build robust and scalable software from the start / by: (Language materials, printed)

History and Philosophy of Computing = Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / by: (Language materials, printed)

Solving PDEs in Python = The FEniCS Tutorial I / by: (Language materials, printed)

Perspectives in Business Informatics Research = 15th International Conference, BIR 2016, Prague, Czech Republic, September 15–16, 2016, Proceedings / by: (Language materials, printed)

Advances in Production Management Systems. Initiatives for a Sustainable World = IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers / by: (Language materials, printed)

Mobile Computing = Grundlagen – Prozesse und Plattformen – Branchen und Anwendungsszenarien / by: (Language materials, printed)

Agile objektorientierte Software-Entwicklung = Schritt für Schritt vom Geschäftsprozess zum Java-Programm / by: (Language materials, printed)

Managing Humans = Biting and Humorous Tales of a Software Engineering Manager / by: (Language materials, printed)

Software Developers as Users = Semiotic Investigations in Human-Centered Software Development / by: (Language materials, printed)

Beginning Hibernate = For Hibernate 5 / by: (Language materials, printed)

Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 / by: (Language materials, printed)

Multidimensional Views on Enterprise Information Systems = Proceedings of ERP Future 2014 / by: (Language materials, printed)

Abbildung von Synergiepotenzialen zwischen IT-Anforderungen in Scrum by: (Language materials, printed)

Process Mining = Data Science in Action / by: (Language materials, printed)

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: (Language materials, printed)

Programmierparadigmen = Eine Einführung auf der Grundlage von Racket / by: (Language materials, printed)

Entwicklung eines skalierbaren und verteilten Datenbanksystems = Auf Basis von Apache Cassandra und SECONDO / by: (Language materials, printed)

Collaborative Quality Assurance in Information Systems Development = The Interaction of Software Development Techniques and Team Cognition / by: (Language materials, printed)

Behavioural Models = From Modelling Finite Automata to Analysing Business Processes / by: (Language materials, printed)

WordPress = Einführung in das Content Management System / by: (Language materials, printed)

Finite Difference Computing with Exponential Decay Models by: (Language materials, printed)

Real-World Decision Support Systems = Case Studies / by: (Language materials, printed)

Big Data Technologies and Applications by: (Language materials, printed)

Einführung in UML = Analyse und Entwurf von Software / by: (Language materials, printed)

Grundkurs Datenbankentwicklung = Von der Anforderungsanalyse zur komplexen Datenbankanfrage / by: (Language materials, printed)

Behavioral Program Synthesis with Genetic Programming by: (Language materials, printed)

Mobile and Wireless Technologies 2016 by: (Language materials, printed)

Frontier Computing = Theory, Technologies and Applications / by: (Language materials, printed)

Project Management Basics = How to Manage Your Project with Checklists / by: (Language materials, printed)

Penetration Testing Basics = A Quick-Start Guide to Breaking into Systems / by: (Language materials, printed)

ICT Education = 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers / by: (Language materials, printed)

Requirements Engineering Toward Sustainable World = Third Asia-Pacific Symposium, APRES 2016, Nagoya, Japan, November 10-12, 2016, Proceedings / by: (Language materials, printed)

Managing Information Technology by: (Language materials, printed)

Usability und UX kompakt = Produkte für Menschen / by: (Language materials, printed)

Applied Computer Sciences in Engineering = Third Workshop on Engineering Applications, WEA 2016, Bogotá, Colombia, September 21-23, 2016, Revised Selected Papers / by: (Language materials, printed)

Projektübergreifendes Applikationsmanagement – Der strategische Applikationslebenszyklus am Beispiel des BMW Q-Cockpit = HMD Best Paper Award 2014 / by: (Language materials, printed)

The Vixen Star Book User Guide = How to Use the Star Book TEN and the Original Star Book / by: (Language materials, printed)

Technologies and Innovation = Second International Conference, CITI 2016, Guayaquil, Ecuador, November 23-25, 2016, Proceedings / by: (Language materials, printed)

Decision Procedures = An Algorithmic Point of View / by: (Language materials, printed)

Internetware = A New Software Paradigm for Internet Computing / by: (Language materials, printed)

Interface Design = Usability, User Experience und Accessibility im Web gestalten / by: (Language materials, printed)

Industrie 4.0 in der Automobilproduktion = Ein Praxisbuch / by: (Language materials, printed)

Complete Symbolic Simulation of SystemC Models = Efficient Formal Verification of Finite Non-Terminating Programs / by: (Language materials, printed)

Software Engineering Education Going Agile = 11th China–Europe International Symposium on Software Engineering Education (CEISEE 2015) / by: (Language materials, printed)

Software Business = 7th International Conference, ICSOB 2016, Ljubljana, Slovenia, June 13-14, 2016, Proceedings / by: (Language materials, printed)

Architekturbasiertes IT-Alignment = Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT / by: (Language materials, printed)

Hybrid Soft Computing Approaches = Research and Applications / by: (Language materials, printed)

Autonomic Road Transport Support Systems by: (Language materials, printed)

Crisis Management for Software Development and Knowledge Transfer by: (Language materials, printed)

Systems, Software and Services Process Improvement = 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings / by: (Language materials, printed)

C++/CLI Primer = For .NET Development / by: (Language materials, printed)

Grundkurs Datenbankentwurf = Eine beispielorientierte Einführung für Studierende und Praktiker / by: (Language materials, printed)

Software Engineering and Methodology for Emerging Domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings / by: (Language materials, printed)

Functional Safety for Road Vehicles = New Challenges and Solutions for E-mobility and Automated Driving / by: (Language materials, printed)

Geschäftsprozessorientierte Systementwicklung = Von der Unternehmensarchitektur zum IT-System / by: (Language materials, printed)

Tamed Agility = Pragmatic Contracting and Collaboration in Agile Software Projects / by: (Language materials, printed)

Migrating Large-Scale Services to the Cloud by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers / by: (Language materials, printed)

Cyber-Physical Systems of Systems = Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy / by: (Language materials, printed)

Design, User Experience, and Usability: Novel User Experiences = 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part II / by: (Language materials, printed)

Green, Pervasive, and Cloud Computing = 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / by: (Language materials, printed)

Graphical Models for Security = Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / by: (Language materials, printed)

Search Based Software Engineering = 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / by: (Language materials, printed)

Computers and Games = 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 – July 1, 2016, Revised Selected Papers / by: (Language materials, printed)

Knowledge Engineering and Knowledge Management = 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / by: (Language materials, printed)

Tackling Society's Grand Challenges with Design Science = 11th International Conference, DESRIST 2016, St. John’s, NL, Canada, May 23-25, 2016, Proceedings / by: (Language materials, printed)

Autonomous Agents and Multiagent Systems = AAMAS 2016 Workshops, Visionary Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Mathematical and Engineering Methods in Computer Science = 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by: (Language materials, printed)

Deductive Software Verification – The KeY Book = From Theory to Practice / by: (Language materials, printed)

Multiagent System Technologies = 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / by: (Language materials, printed)

Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / by: (Language materials, printed)

Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / by: (Language materials, printed)

Distributed Computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings / by: (Language materials, printed)

Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings / by: (Language materials, printed)

Design, User Experience, and Usability: Design Thinking and Methods = 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part I / by: (Language materials, printed)

OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / by: (Language materials, printed)

Theory and Practice of Model Transformations = 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings / by: (Language materials, printed)

Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by: (Language materials, printed)

Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Science XXVII by: (Language materials, printed)

Web Engineering = 16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016. Proceedings / by: (Language materials, printed)

Multi-Agent Based Simulation XVI = International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXV by: (Language materials, printed)

Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / by: (Language materials, printed)

Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings / by: (Language materials, printed)

Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by: (Language materials, printed)

Engineering Secure Software and Systems = 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 16th International Conference, ICA3PP 2016, Granada, Spain, December 14-16, 2016, Proceedings / by: (Language materials, printed)

Foundational and Practical Aspects of Resource Analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XI by: (Language materials, printed)

Hybrid Systems Biology = 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / by: (Language materials, printed)

Transactions on Foundations for Mastering Change I by: (Language materials, printed)

SOFSEM 2016: Theory and Practice of Computer Science = 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2016 = 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / by: (Language materials, printed)

Trust, Privacy and Security in Digital Business = 13th International Conference, TrustBus 2016, Porto, Portugal, September 7-8, 2016, Proceedings / by: (Language materials, printed)

Design, User Experience, and Usability: Technological Contexts = 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17–22, 2016, Proceedings, Part III / by: (Language materials, printed)

Transactions on Modularity and Composition I by: (Language materials, printed)

Rewriting Logic and Its Applications = 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification, and Validation = 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers / by: (Language materials, printed)

C++-Metaprogrammierung = Eine Einführung in die Präprozessor- und Template-Metaprogrammierung / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by: (Language materials, printed)

DevOps for Digital Leaders = Reignite Business with a Modern DevOps-Enabled Software Factory / by: (Language materials, printed)

Java als erste Programmiersprache = Grundkurs für Hochschulen / by: (Language materials, printed)

SQL- & NoSQL-Datenbanken by: (Language materials, printed)

Softwaretests mit Python by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers / by: (Language materials, printed)

Collaboration and Technology = 22nd International Conference, CRIWG 2016, Kanazawa, Japan, September 14-16, 2016, Proceedings / by: (Language materials, printed)

Rolling Out 5G = Use Cases, Applications, and Technology Solutions / by: (Language materials, printed)

Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / by: (Language materials, printed)

Computational Logistics = 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / by: (Language materials, printed)

Verified Software: Theories, Tools, and Experiments = 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / by: (Language materials, printed)

Economics of Grids, Clouds, Systems, and Services = 12th International Conference, GECON 2015, Cluj-Napoca, Romania, September 15-17, 2015, Revised Selected Papers / by: (Language materials, printed)

Trends and Applications in Software Engineering = Proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings / by: (Language materials, printed)

Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / by: (Language materials, printed)

Software Design for Resilient Computer Systems by: (Language materials, printed)

Migrating to Swift from Flash and ActionScript by: (Language materials, printed)

Transactions on Engineering Technologies by: (Language materials, printed)

Software Architecture = 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings / by: (Language materials, printed)

Mobile Web and Intelligent Information Systems = 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques = 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I / by: (Language materials, printed)

Modelling Foundations and Applications = 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / by: (Language materials, printed)

Perspectives of System Informatics = 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / by: (Language materials, printed)

Software Architecture in Action = Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard / by: (Language materials, printed)

Practical Microsoft Visual Studio 2015 by: (Language materials, printed)

Collaboration Meets Interactive Spaces by: (Language materials, printed)

Funktionale Programmierung und Metaprogrammierung = Interaktiv in Common Lisp / by: (Language materials, printed)

DevOps, DBAs, and DBaaS = Managing Data Platforms to Support Continuous Integration / by: (Language materials, printed)

Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings / by: (Language materials, printed)

Stakeholders and Information Technology in Education = IFIP TC 3 International Conference, SaITE 2016, Guimarães, Portugal, July 5-8, 2016, Revised Selected Papers / by: (Language materials, printed)

Human-Centered and Error-Resilient Systems Development = IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / by: (Language materials, printed)

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / by: (Language materials, printed)

Automated Software and Service Composition = A Survey and Evaluating Review / by: (Language materials, printed)

Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / by: (Language materials, printed)

Dependable Software Engineering: Theories, Tools, and Applications = Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / by: (Language materials, printed)

Databases and Information Systems = 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings / by: (Language materials, printed)

Architectural Design = Conception and Specification of Interactive Systems / by: (Language materials, printed)

Software Technologies = 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers / by: (Language materials, printed)

DevOps on the Microsoft Stack by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / by: (Language materials, printed)

Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes by: (Language materials, printed)

Electronic Voting = Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / by: (Language materials, printed)

PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2018 = 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part II / by: (Language materials, printed)

Introduction to Programming with Fortran by: (Language materials, printed)

Computer and Information Sciences = 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings / by: (Language materials, printed)

Modern Business Management = Creating a Built-to-Change Organization / by: (Language materials, printed)

Search-Based Software Engineering = 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings / by: (Language materials, printed)

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety = 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings / by: (Language materials, printed)

Practical TLA+ = Planning Driven Development / by: (Language materials, printed)

Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by: (Language materials, printed)

Software Business = 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11–12, 2018, Proceedings / by: (Language materials, printed)

Informatics in Schools. Fundamentals of Computer Science and Software Engineering = 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings / by: (Language materials, printed)

Chinese Lexical Semantics = 19th Workshop, CLSW 2018, Chiayi, Taiwan, May 26–28, 2018, Revised Selected Papers / by: (Language materials, printed)

Optimizing Data-to-Learning-to-Action = The Modern Approach to Continuous Performance Improvement for Businesses / by: (Language materials, printed)

Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers / by: (Language materials, printed)

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 = IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II / by: (Language materials, printed)

Information and Software Technologies = 24th International Conference, ICIST 2018, Vilnius, Lithuania, October 4–6, 2018, Proceedings / by: (Language materials, printed)

Provable Security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / by: (Language materials, printed)

Multi-Agent Systems and Agreement Technologies = 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers / by: (Language materials, printed)

Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III / by: (Language materials, printed)

Fundamentals of Software Culture by: (Language materials, printed)

Software-Defined Cloud Centers = Operational and Management Technologies and Tools / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / by: (Language materials, printed)

Reliability Aspect of Cloud Computing Environment by: (Language materials, printed)

Pro .NET Memory Management = For Better Code, Performance, and Scalability / by: (Language materials, printed)

Principles of Package Design = Creating Reusable Software Components / by: (Language materials, printed)

Advances in Bioinformatics and Computational Biology = 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings / by: (Language materials, printed)

Artificial General Intelligence = 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings / by: (Language materials, printed)

Testing and Tuning Market Trading Systems = Algorithms in C++ / by: (Language materials, printed)

Graph Drawing and Network Visualization = 25th International Symposium, GD 2017, Boston, MA, USA, September 25-27, 2017, Revised Selected Papers / by: (Language materials, printed)

Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / by: (Language materials, printed)

REST API Development with Node.js = Manage and Understand the Full Capabilities of Successful REST Development / by: (Language materials, printed)

Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering = 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings / by: (Language materials, printed)

Practical Docker with Python = Build, Release and Distribute your Python App with Docker / by: (Language materials, printed)

Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches / by: (Language materials, printed)

Software Fault Detection and Correction: Modeling and Applications by: (Language materials, printed)

Practical Node.js = Building Real-World Scalable Web Apps / by: (Language materials, printed)

Towards Extensible and Adaptable Methods in Computing by: (Language materials, printed)

New Trends in Information and Communications Technology Applications = Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings / by: (Language materials, printed)

Cryptology and Network Security = 16th International Conference, CANS 2017, Hong Kong, China, November 30—December 2, 2017, Revised Selected Papers / by: (Language materials, printed)

The Practice of Enterprise Modeling = 11th IFIP WG 8.1. Working Conference, PoEM 2018, Vienna, Austria, October 31 – November 2, 2018, Proceedings / by: (Language materials, printed)

Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by: (Language materials, printed)

Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / by: (Language materials, printed)

Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings / by: (Language materials, printed)

Computer Safety, Reliability, and Security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / by: (Language materials, printed)

Agile Methods = 8th Brazilian Workshop, WBMA 2017, Belém, Brazil, September 13–14, 2017, Revised Selected Papers / by: (Language materials, printed)

Testing Software and Systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by: (Language materials, printed)

Regex Quick Syntax Reference = Understanding and Using Regular Expressions / by: (Language materials, printed)

Information Modelling for Archaeology and Anthropology = Software Engineering Principles for Cultural Heritage / by: (Language materials, printed)

Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings / by: (Language materials, printed)

Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / by: (Language materials, printed)

HTML5 and JavaScript Projects = Build on your Basic Knowledge of HTML5 and JavaScript to Create Substantial HTML5 Applications / by: (Language materials, printed)

Software Processes and Life Cycle Models = An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes / by: (Language materials, printed)

Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2018 = 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III / by: (Language materials, printed)

Combinatorial Image Analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings / by: (Language materials, printed)

NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / by: (Language materials, printed)

Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings / by: (Language materials, printed)

Security and Cryptography for Networks = 11th International Conference, SCN 2018, Amalfi, Italy, September 5–7, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by: (Language materials, printed)

Best Practices für die Partizipation in der Produktentwicklung = HMD Best Paper Award 2017 / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers / by: (Language materials, printed)

Software Analysis, Testing, and Evolution = 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings / by: (Language materials, printed)

Software Architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings / by: (Language materials, printed)

Rewriting Logic and Its Applications = 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings / by: (Language materials, printed)

Music Technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers / by: (Language materials, printed)

Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday / by: (Language materials, printed)

Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 17th International Conference, CISIM 2018, Olomouc, Czech Republic, September 27-29, 2018, Proceedings / by: (Language materials, printed)

A Study Guide to the ISTQB® Foundation Level 2018 Syllabus = Test Techniques and Sample Mock Exams / by: (Language materials, printed)

Practical Bot Development = Designing and Building Bots with Node.js and Microsoft Bot Framework / by: (Language materials, printed)

Advanced Concepts for Intelligent Vision Systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24–27, 2018, Proceedings / by: (Language materials, printed)

Securing the Perimeter = Deploying Identity and Access Management with Free Open Source Software / by: (Language materials, printed)

Transactions on Computational Science XXXI = Special Issue on Signal Processing and Security in Distributed Systems / by: (Language materials, printed)

Engineering Multi-Agent Systems = 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers / by: (Language materials, printed)

Beginning Functional JavaScript = Uncover the Concepts of Functional Programming with EcmaScript 8 / by: (Language materials, printed)

Big Data Technologies and Applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings / by: (Language materials, printed)

Progress in Cryptology – INDOCRYPT 2018 = 19th International Conference on Cryptology in India, New Delhi, India, December 9–12, 2018, Proceedings / by: (Language materials, printed)

Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2018 = 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part I / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part I / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VII / by: (Language materials, printed)

Cryptology and Network Security = 17th International Conference, CANS 2018, Naples, Italy, September 30 – October 3, 2018, Proceedings / by: (Language materials, printed)

Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / by: (Language materials, printed)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering = 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by: (Language materials, printed)

Financial Cryptography and Data Security = 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018, Revised Selected Papers / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part V / by: (Language materials, printed)

Information Systems: Research, Development, Applications, Education = 11th SIGSAND/PLAIS EuroSymposium 2018, Gdansk, Poland, September 20, 2018, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by: (Language materials, printed)

Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday / by: (Language materials, printed)

Information and Communications Security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part II / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part IV / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part VI / by: (Language materials, printed)

Management Perspective for Transport Telematics = 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers / by: (Language materials, printed)

Metriken für das Testreporting = Analyse und Reporting für wirkungsvolles Testmanagement / by: (Language materials, printed)

Proceedings of 5th International Conference in Software Engineering for Defence Applications = SEDA 2016 / by: (Language materials, printed)

Echtzeit und Sicherheit = Echtzeit 2018 / by: (Language materials, printed)

The Kitty Hawk Venture = A Novel About Continuous Testing in DevOps to Support Continuous Delivery and Business Success / by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings / by: (Language materials, printed)

Business Process Management = 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings / by: (Language materials, printed)

Current Trends in Web Engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers / by: (Language materials, printed)

Capability Management in Digital Enterprises by: (Language materials, printed)

Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings / by: (Language materials, printed)

Open Problems in Optimization and Data Analysis by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (Language materials, printed)

Agents and Artificial Intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers / by: (Language materials, printed)

Generic Pipelines Using Docker = The DevOps Guide to Building Reusable, Platform Agnostic CI/CD Frameworks / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part II / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV / by: (Language materials, printed)

Provenance and Annotation of Data and Processes = 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings / by: (Language materials, printed)

RoboCup 2017: Robot World Cup XXI by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II / by: (Language materials, printed)

Machine Learning for Dynamic Software Analysis: Potentials and Limits = International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers / by: (Language materials, printed)

Reliable Software Technologies – Ada-Europe 2018 = 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by: (Language materials, printed)

Information Systems Security = 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings / by: (Language materials, printed)

Service-Oriented Computing = 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / by: (Language materials, printed)

Computer Science – CACIC 2017 = 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers / by: (Language materials, printed)

Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings / by: (Language materials, printed)

Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures / by: (Language materials, printed)

Declarative Programming and Knowledge Management = Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers / by: (Language materials, printed)

Neural Information Processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13–16, 2018, Proceedings, Part III / by: (Language materials, printed)

Web Content Credibility by: (Language materials, printed)

Learning Technology for Education Challenges = 7th International Workshop, LTEC 2018, Žilina, Slovakia, August 6–10, 2018, Proceedings / by: (Language materials, printed)

Advances in Computing = 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings / by: (Language materials, printed)

Programming with Actors = State-of-the-Art and Research Perspectives / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings / by: (Language materials, printed)

Data Privacy Management, Cryptocurrencies and Blockchain Technology = ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings / by: (Language materials, printed)

Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part II / by: (Language materials, printed)

Security Protocols XXVI = 26th International Workshop, Cambridge, UK, March 19–21, 2018, Revised Selected Papers / by: (Language materials, printed)

Sicherheitskonzepte in der mobilen Kommunikation = Drahtlose Kommunikation – Protokolle und Gefahren / by: (Language materials, printed)

Emerging Technologies for Authorization and Authentication = First International Workshop, ETAA 2018, Barcelona, Spain, September 7, 2018, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part I / by: (Language materials, printed)

Mobile Web and Intelligent Information Systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / by: (Language materials, printed)

Security Standardisation Research = 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings / by: (Language materials, printed)

Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellín, Colombia, October 17-19, 2018, Proceedings, Part I / by: (Language materials, printed)

Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings / by: (Language materials, printed)

New Trends in Model and Data Engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by: (Language materials, printed)

Systems, Software and Services Process Improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings / by: (Language materials, printed)

Refinement = Semantics, Languages and Applications / by: (Language materials, printed)

Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V / by: (Language materials, printed)

Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications / by: (Language materials, printed)

Thread and Data Mapping for Multicore Systems = Improving Communication and Memory Accesses / by: (Language materials, printed)

Security and Trust Management = 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings / by: (Language materials, printed)

Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / by: (Language materials, printed)

Multi-Disciplinary Digital Signal Processing = A Functional Approach Using Matlab / by: (Language materials, printed)

Enjoying Natural Computing = Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi’an, China, October 22-25, 2018, Proceedings / by: (Language materials, printed)

Software Engineering Research, Management and Applications by: (Language materials, printed)

Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings / by: (Language materials, printed)

Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / by: (Language materials, printed)

Towards a Synergistic Combination of Research and Practice in Software Engineering by: (Language materials, printed)

Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII by: (Language materials, printed)

Service-Oriented and Cloud Computing = 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV / by: (Language materials, printed)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by: (Language materials, printed)

Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI / by: (Language materials, printed)

Combinatorial Algorithms = 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2018 = 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19–23, 2018, Proceedings, Part III / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings / by: (Language materials, printed)

Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings / by: (Language materials, printed)

The Essential Guide to HTML5 = Using Games to Learn HTML5 and JavaScript / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by: (Language materials, printed)

Enterprise and Organizational Modeling and Simulation = 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers / by: (Language materials, printed)

Network and System Security = 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / by: (Language materials, printed)

Conceptual Modeling = 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings / by: (Language materials, printed)

On the Move to Meaningful Internet Systems. OTM 2018 Conferences = Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / by: (Language materials, printed)

Tree-Based Convolutional Neural Networks = Principles and Applications / by: (Language materials, printed)

Pro Angular 6 by: (Language materials, printed)

Intelligent Transport Systems – From Research and Development to the Market Uptake = First International Conference, INTSYS 2017, Hyvinkää, Finland, November 29-30, 2017, Proceedings / by: (Language materials, printed)

Transactions on Computational Collective Intelligence XXVIII by: (Language materials, printed)

Computational Thinking = First Algorithms, Then Code / by: (Language materials, printed)

Information and Communication Technologies in Education, Research, and Industrial Applications = 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers / by: (Language materials, printed)

Technology Trends = Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings / by: (Language materials, printed)

Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Cloud Computing and Service Science = 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers / by: (Language materials, printed)

Computer Aided Verification = 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / by: (Language materials, printed)

Internet of Things (IoT) Technologies for HealthCare = 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings / by: (Language materials, printed)

Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by: (Language materials, printed)

Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing = IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I / by: (Language materials, printed)

Information Security Education – Towards a Cybersecure Society = 11th IFIP WG 11.8 World Conference, WISE 11, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18–20, 2018, Proceedings / by: (Language materials, printed)

Foundations of Software Science and Computation Structures = 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings / by: (Language materials, printed)

Open Data Exposed by: (Language materials, printed)

SafeScrum® – Agile Development of Safety-Critical Software by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / by: (Language materials, printed)

Applications of Computing and Communication Technologies = First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I / by: (Language materials, printed)

Beginning Serverless Computing = Developing with Amazon Web Services, Microsoft Azure, and Google Cloud / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2018 = 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2018 = 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2018 = 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / by: (Language materials, printed)

Technologies and Innovation = 4th International Conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, Proceedings / by: (Language materials, printed)

Multiple Criteria Decision Aid = Methods, Examples and Python Implementations / by: (Language materials, printed)

Pro Entity Framework Core 2 for ASP.NET Core MVC by: (Language materials, printed)

Understanding Human Activities Through 3D Sensors = Second International Workshop, UHA3DS 2016, Held in Conjunction with the 23rd International Conference on Pattern Recognition, ICPR 2016, Cancun, Mexico, December 4, 2016, Revised Selected Papers / by: (Language materials, printed)

SOFSEM 2018: Theory and Practice of Computer Science = 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers / by: (Language materials, printed)

Product Lifecycle Management to Support Industry 4.0 = 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings / by: (Language materials, printed)

Open Source Systems: Enterprise Software and Solutions = 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings / by: (Language materials, printed)

Collaborative Networks of Cognitive Systems = 19th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2018, Cardiff, UK, September 17-19, 2018, Proceedings / by: (Language materials, printed)

Internet and Distributed Computing Systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings / by: (Language materials, printed)

Collaboration Technologies and Social Computing = 10th International Conference, CollabTech 2018, Costa de Caparica, Portugal, September 5-7, 2018, Proceedings / by: (Language materials, printed)

Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / by: (Language materials, printed)

Lectures on Runtime Verification = Introductory and Advanced Topics / by: (Language materials, printed)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings / by: (Language materials, printed)

Information and Communications Security = 19th International Conference, ICICS 2017, Beijing, China, December 6-8, 2017, Proceedings / by: (Language materials, printed)

Design Patterns in Modern C++ = Reusable Approaches for Object-Oriented Software Design / by: (Language materials, printed)

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Wireless Sensor Networks = 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers / by: (Language materials, printed)

Measurement, Modelling and Evaluation of Computing Systems = 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 19th International Conference, XP 2018, Porto, Portugal, May 21–25, 2018, Proceedings / by: (Language materials, printed)

Programmierung mit PASCAL = Eine Einführung für Programmieranfänger / by: (Language materials, printed)

Mathematik für Software Engineering by: (Language materials, printed)

Bidirectional Transformations = International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures / by: (Language materials, printed)

Windows 10 Development with XAML and C# 7 by: (Language materials, printed)

Pro PowerShell Desired State Configuration = An In-Depth Guide to Windows PowerShell DSC / by: (Language materials, printed)

Sicherheitsgerichtete Echtzeitsysteme by: (Language materials, printed)

Algorithmen für Ingenieure = Technische Realisierung mit Excel und VBA / by: (Language materials, printed)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops = Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers / by: (Language materials, printed)

Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming / by: (Language materials, printed)

TraceME: A Traceability-Based Method for Conceptual Model Evolution = Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution / by: (Language materials, printed)

Arbeit 4.0 – Digitalisierung, IT und Arbeit = IT als Treiber der digitalen Transformation / by: (Language materials, printed)

Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by: (Language materials, printed)

Database Systems for Advanced Applications = DASFAA 2018 International Workshops: BDMS, BDQM, GDMA, and SeCoP, Gold Coast, QLD, Australia, May 21-24, 2018, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering Workshops = CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings / by: (Language materials, printed)

Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / by: (Language materials, printed)

Multi-Agent Based Simulation XVIII = International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers / by: (Language materials, printed)

Software Languages = Syntax, Semantics, and Metaprogramming / by: (Language materials, printed)

C++ mit Visual Studio 2017 und Windows Forms-Anwendungen = Ein Fach- und Lehrbuch für Standard C++ und Windows Forms-Anwendungen / by: (Language materials, printed)

Software Due Diligence = Softwareentwicklung als Asset bewertet / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / by: (Language materials, printed)

Web Engineering = 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings / by: (Language materials, printed)

Software Quality: Methods and Tools for Better Software and Systems = 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings / by: (Language materials, printed)

It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / by: (Language materials, printed)

New Frontiers in Quantitative Methods in Informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers / by: (Language materials, printed)

Programmieren lernen mit Computergrafik = Eine Einführung mit Java und Processing / by: (Language materials, printed)

Diagrammatic Representation and Inference = 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / by: (Language materials, printed)

Information Systems in the Big Data Era = CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings / by: (Language materials, printed)

Coordination Models and Languages = 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / by: (Language materials, printed)

Managing Software Crisis: A Smart Way to Enterprise Agility by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / by: (Language materials, printed)

Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software / by: (Language materials, printed)

Handbook of Model Checking by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / by: (Language materials, printed)

Global Thoughts, Local Designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers / by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings / by: (Language materials, printed)

Enterprise, Business-Process and Information Systems Modeling = 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings / by: (Language materials, printed)

Software Fault Prediction = A Road Map / by: (Language materials, printed)

Grundkurs JAVA = Von den Grundlagen bis zu Datenbank- und Netzanwendungen / by: (Language materials, printed)

Public-Key Cryptography – PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I / by: (Language materials, printed)

Service Research and Innovation = 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2–3, 2015, and October 19–20, 2017, Revised Selected Papers / by: (Language materials, printed)

Advanced Gear Engineering by: (Language materials, printed)

The Essence of Software Engineering by: (Language materials, printed)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by: (Language materials, printed)

Enterprise Information Systems = 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers / by: (Language materials, printed)

Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / by: (Language materials, printed)

Internet of Things – ICIOT 2018 = Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (Language materials, printed)

Information Technology for Management. Ongoing Research and Development = 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers / by: (Language materials, printed)

Grundkurs Mobile Kommunikationssysteme = LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth / by: (Language materials, printed)

Sicherheit von Webanwendungen in der Praxis = Wie sich Unternehmen schützen können – Hintergründe, Maßnahmen, Prüfverfahren und Prozesse / by: (Language materials, printed)

Thinking-Driven Testing = The Most Reasonable Approach to Quality Control / by: (Language materials, printed)

Simulating Nonlinear Circuits with Python Power Electronics = An Open-Source Simulator, Based on Python™ / by: (Language materials, printed)

Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings / by: (Language materials, printed)

Comparing and Aligning Process Representations = Foundations and Technical Solutions / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2018 = 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings / by: (Language materials, printed)

Services Computing – SCC 2018 = 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (Language materials, printed)

Services – SERVICES 2018 = 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (Language materials, printed)

Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / by: (Language materials, printed)

Programmierung in Python = Ein kompakter Einstieg für die Praxis / by: (Language materials, printed)

Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition = Anwenderwissen zur Unternehmenslösung von Microsoft / by: (Language materials, printed)

Introduction to Octave = For Engineers and Scientists / by: (Language materials, printed)

Number-Theoretic Methods in Cryptology = First International Conference, NuTMiC 2017, Warsaw, Poland, September 11-13, 2017, Revised Selected Papers / by: (Language materials, printed)

Designing Usable and Secure Software with IRIS and CAIRIS by: (Language materials, printed)

Public-Key Cryptography – PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II / by: (Language materials, printed)

Objektorientierte Programmierung mit JavaScript = Direktstart für Einsteiger / by: (Language materials, printed)

Big Data for Urban Sustainability = A Human-Centered Perspective / by: (Language materials, printed)

Low Earth Orbit Satellite Design by: (Language materials, printed)

C++ mit Visual Studio 2017 = Ein Fach- und Lehrbuch für Standard-C++ / by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers / by: (Language materials, printed)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence = 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / by: (Language materials, printed)

Computer Security = ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / by: (Language materials, printed)

Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers / by: (Language materials, printed)

The Scrum Culture = Introducing Agile Methods in Organizations / by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / by: (Language materials, printed)

Business Modeling and Software Design = 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers / by: (Language materials, printed)

Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I / by: (Language materials, printed)

Theory and Practice of Model Transformation = 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers / by: (Language materials, printed)

Illustrated C# 7 = The C# Language Presented Clearly, Concisely, and Visually / by: (Language materials, printed)

Complete Guide to Digital Project Management = From Pre-Sales to Post-Production / by: (Language materials, printed)

Fundamentals of Business Process Management by: (Language materials, printed)

Selected Areas in Cryptography – SAC 2017 = 24th International Conference, Ottawa, ON, Canada, August 16-18, 2017, Revised Selected Papers / by: (Language materials, printed)

Low-Power Design and Power-Aware Verification by: (Language materials, printed)

Membrane Computing = 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers / by: (Language materials, printed)

Design Thinking Research = Making Distinctions: Collaboration versus Cooperation / by: (Language materials, printed)

Digging into Software Knowledge Generation in Cultural Heritage = Modeling Assistance Strategies for Large Archaeological Data Sets / by: (Language materials, printed)

Unconventional Computation and Natural Computation = 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / by: (Language materials, printed)

Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / by: (Language materials, printed)

Business Modeling and Software Design = 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings / by: (Language materials, printed)

Graph Transformation, Specifications, and Nets = In Memory of Hartmut Ehrig / by: (Language materials, printed)

Formal Methods for Safety and Security = Case Studies for Aerospace Applications / by: (Language materials, printed)

Digitalisation, Innovation, and Transformation = 18th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2018, Reading, UK, July 16-18, 2018, Proceedings / by: (Language materials, printed)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (Language materials, printed)

Requirements Engineering for Internet of Things = 4th Asia-Pacific Symposium, APRES 2017, Melaka, Malaysia, November 9–10, 2017, Proceedings / by: (Language materials, printed)

Grundkurs Software-Engineering mit UML = Der pragmatische Weg zu erfolgreichen Softwareprojekten / by: (Language materials, printed)

Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien / by: (Language materials, printed)

Data Management Technologies and Applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers / by: (Language materials, printed)

Interactive Theorem Proving = 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V / by: (Language materials, printed)

Using MVVM Light with your Xamarin Apps by: (Language materials, printed)

Pro JavaFX 9 = A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients / by: (Language materials, printed)

Data Warehouse Requirements Engineering = A Decision Based Approach / by: (Language materials, printed)

Programming LEGO® EV3 My Blocks = Teaching Concepts and Preparing for FLL® Competition / by: (Language materials, printed)

Bad Programming Practices 101 = Become a Better Coder by Learning How (Not) to Program / by: (Language materials, printed)

Software Engineering and Formal Methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by: (Language materials, printed)

Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / by: (Language materials, printed)

Automated Reasoning = 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings / by: (Language materials, printed)

Computing, Analytics and Networks = First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers / by: (Language materials, printed)

The Agile Safety Case by: (Language materials, printed)

Design, User Experience, and Usability: Designing Interactions = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (Language materials, printed)

Design, User Experience, and Usability: Theory and Practice = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (Language materials, printed)

Design, User Experience, and Usability: Users, Contexts and Case Studies = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III / by: (Language materials, printed)

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging = Understanding Demands of Older Adults in Health Technology Design / by: (Language materials, printed)

Business Information Systems = 21st International Conference, BIS 2018, Berlin, Germany, July 18-20, 2018, Proceedings / by: (Language materials, printed)

Trends and Applications in Software Engineering = Proceedings of the 6th International Conference on Software Process Improvement (CIMPS 2017) / by: (Language materials, printed)

Fog Computing = Concepts, Frameworks and Technologies / by: (Language materials, printed)

Software Development Measurement Programs = Development, Management and Evolution / by: (Language materials, printed)

Modeling Companion for Software Practitioners by: (Language materials, printed)

Learn Computer Science with Swift = Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds / by: (Language materials, printed)

Advances in Human Factors, Software, and Systems Engineering = Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA / by: (Language materials, printed)

Software Failure Investigation = A Near-Miss Analysis Approach / by: (Language materials, printed)

Software engineering for embedded systems = methods, practical techniques, and applications / by: (Language materials, printed)

Pro React 16 by: (Language materials, printed)

Software Quality: The Complexity and Challenges of Software Engineering and Software Quality in the Cloud = 11th International Conference, SWQD 2019, Vienna, Austria, January 15–18, 2019, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering = 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings / by: (Language materials, printed)

Cloud Computing – CLOUD 2019 = 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Design Thinking Research = Looking Further: Design Thinking Beyond Solution-Fixation / by: (Language materials, printed)

Agile Methods = 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers / by: (Language materials, printed)

Transactions on Pattern Languages of Programming IV by: (Language materials, printed)

Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by: (Language materials, printed)

Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings / by: (Language materials, printed)

Perspectives in Business Informatics Research = 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings / by: (Language materials, printed)

Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (Language materials, printed)

Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings / by: (Language materials, printed)

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies = 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9–11, 2019, Proceedings / by: (Language materials, printed)

From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings / by: (Language materials, printed)

Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings / by: (Language materials, printed)

Qualitätssicherung durch Softwaretests = Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen / by: (Language materials, printed)

Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / by: (Language materials, printed)

Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings / by: (Language materials, printed)

Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers / by: (Language materials, printed)

SQL & NoSQL Databases = Models, Languages, Consistency Options and Architectures for Big Data Management / by: (Language materials, printed)

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications = 23rd Iberoamerican Congress, CIARP 2018, Madrid, Spain, November 19-22, 2018, Proceedings / by: (Language materials, printed)

Masterkurs Client/Server-Programmierung mit Java = Anwendungen entwickeln mit Standard-Technologien / by: (Language materials, printed)

Security and Safety Interplay of Intelligent Software Systems = ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / by: (Language materials, printed)

Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings / by: (Language materials, printed)

Design and Development of Web Information Systems by: (Language materials, printed)

Developing Enterprise Chatbots = Learning Linguistic Structures / by: (Language materials, printed)

Public-Key Cryptography – PKC 2019 = 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II / by: (Language materials, printed)

Entwicklung einer Methodik für die durchgängige Integration von Hardware und Softwaremodellen in Simulationen für Fahrfunktionen by: (Language materials, printed)

Entwurfsprinzipien und Konstruktionskonzepte der Softwaretechnik = Strategien für schwach gekoppelte, korrekte und stabile Software / by: (Language materials, printed)

Software Technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / by: (Language materials, printed)

Financial Software Engineering by: (Language materials, printed)

Beginning JavaScript = The Ultimate Guide to Modern JavaScript Development / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2019 = 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I / by: (Language materials, printed)

Hackathons = Von der Idee zur erfolgreichen Umsetzung / by: (Language materials, printed)

Open Source Systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings / by: (Language materials, printed)

Science of Cyber Security = Second International Conference, SciSec 2019, Nanjing, China, August 9–11, 2019, Revised Selected Papers / by: (Language materials, printed)

DevOps in Python = Infrastructure as Python / by: (Language materials, printed)

Practical Salesforce Development Without Code = Building Declarative Solutions on the Salesforce Platform / by: (Language materials, printed)

High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings / by: (Language materials, printed)

Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung / by: (Language materials, printed)

Logic Programming and Nonmonotonic Reasoning = 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings / by: (Language materials, printed)

Implementing SAP S/4HANA = A Framework for Planning and Executing SAP S/4HANA Projects / by: (Language materials, printed)

Knowledge Management in Organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings / by: (Language materials, printed)

Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers / by: (Language materials, printed)

DNA Computing and Molecular Programming = 25th International Conference, DNA 25, Seattle, WA, USA, August 5–9, 2019, Proceedings / by: (Language materials, printed)

Engineering Adaptive Software Systems = Communications of NII Shonan Meetings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part II / by: (Language materials, printed)

Carl Adam Petri: Ideas, Personality, Impact by: (Language materials, printed)

Computer Security = ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / by: (Language materials, printed)

Service Research and Innovation = 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers / by: (Language materials, printed)

Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: (Language materials, printed)

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers / by: (Language materials, printed)

On the Move to Meaningful Internet Systems: OTM 2019 Conferences = Confederated International Conferences: CoopIS, ODBASE, C&TC 2019, Rhodes, Greece, October 21–25, 2019, Proceedings / by: (Language materials, printed)

Projektmanagement mit Scrum = Tools zur Entwicklung von Software / by: (Language materials, printed)

Codes, Cryptology and Information Security = Third International Conference, C2SI 2019, Rabat, Morocco, April 22–24, 2019, Proceedings - In Honor of Said El Hajji / by: (Language materials, printed)

Cyber Physical Systems. Design, Modeling, and Evaluation = 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence = 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures / by: (Language materials, printed)

Models, Languages, and Tools for Concurrent and Distributed Programming = Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday / by: (Language materials, printed)

Applied Cryptography and Network Security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings / by: (Language materials, printed)

Software als Medizinprodukt = Entwicklung und Zulassung von Software in der Medizintechnik / by: (Language materials, printed)

Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2019 = 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I / by: (Language materials, printed)

Risks and Security of Internet and Systems = 13th International Conference, CRiSIS 2018, Arcachon, France, October 16–18, 2018, Revised Selected Papers / by: (Language materials, printed)

Entwicklung von Echtzeitsystemen = Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen / by: (Language materials, printed)

Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 20th International Conference, XP 2019, Montréal, QC, Canada, May 21–25, 2019, Proceedings / by: (Language materials, printed)

Cryptography and Coding = 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings / by: (Language materials, printed)

Methods and Models in Mathematical Programming by: (Language materials, printed)

Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by: (Language materials, printed)

New Trends in Model and Data Engineering = MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings / by: (Language materials, printed)

Human-Computer Interaction. Perspectives on Design = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers / by: (Language materials, printed)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by: (Language materials, printed)

Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings / by: (Language materials, printed)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (Language materials, printed)

Human-Computer Interaction = 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers / by: (Language materials, printed)

The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment / by: (Language materials, printed)

Search-Based Software Engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings / by: (Language materials, printed)

Central European Functional Programming School = 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers / by: (Language materials, printed)

Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / by: (Language materials, printed)

Biomedical Engineering Systems and Technologies = 11th International Joint Conference, BIOSTEC 2018, Funchal, Madeira, Portugal, January 19–21, 2018, Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings / by: (Language materials, printed)

Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings / by: (Language materials, printed)

Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Knowledge Management and Acquisition for Intelligent Systems = 16th Pacific Rim Knowledge Acquisition Workshop, PKAW 2019, Cuvu, Fiji, August 26–27, 2019, Proceedings / by: (Language materials, printed)

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 = 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings / by: (Language materials, printed)

Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings / by: (Language materials, printed)

Software Engineering for Resilient Systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / by: (Language materials, printed)

Empirical Studies on the Development of Executable Business Processes by: (Language materials, printed)

Digitale Dienstleistungsinnovationen = Smart Services agil und kundenorientiert entwickeln / by: (Language materials, printed)

High-Performance Computing Applications in Numerical Simulation and Edge Computing = ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings / by: (Language materials, printed)

Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / by: (Language materials, printed)

Handbook of Software Engineering by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II / by: (Language materials, printed)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by: (Language materials, printed)

Pro .NET Benchmarking = The Art of Performance Measurement / by: (Language materials, printed)

Conceptual Modeling = 38th International Conference, ER 2019, Salvador, Brazil, November 4–7, 2019, Proceedings / by: (Language materials, printed)

Planetary Spacecraft Navigation by: (Language materials, printed)

Essenz der Informatik by: (Language materials, printed)

An Executive’s Guide to Software Quality in an Agile Organization = A Continuous Improvement Journey / by: (Language materials, printed)

Lean Entrepreneurship = Innovation in the Modern Enterprise / by: (Language materials, printed)

Project Management = A Benefit Realisation Approach / by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18–21, 2019, Proceedings / by: (Language materials, printed)

SOFSEM 2019: Theory and Practice of Computer Science = 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings / by: (Language materials, printed)

Mathematical and Computational Oncology = First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings / by: (Language materials, printed)

Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings / by: (Language materials, printed)

Algorithms for Sensor Systems = 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Cyberspace Safety and Security = 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I / by: (Language materials, printed)

Great Big Agile = An OS for Agile Leaders / by: (Language materials, printed)

Achieving Business Agility = Strategies for Becoming Pivot Ready in a Digital World / by: (Language materials, printed)

Human Systems Engineering and Design = Proceedings of the 1st International Conference on Human Systems Engineering and Design (IHSED2018): Future Trends and Applications, October 25-27, 2018, CHU-Université de Reims Champagne-Ardenne, France / by: (Language materials, printed)

Business Modeling and Software Design = 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings / by: (Language materials, printed)

Principles of Security and Trust = 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I / by: (Language materials, printed)

Testmanagement in der Praxis by: (Language materials, printed)

Precision Assembly in the Digital Age = 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Science XXXIV by: (Language materials, printed)

Introducing Maven = A Build Tool for Today's Java Developers / by: (Language materials, printed)

Managed Software Evolution by: (Language materials, printed)

Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures / by: (Language materials, printed)

Enterprise, Business-Process and Information Systems Modeling = 20th International Conference, BPMDS 2019, 24th International Conference, EMMSAD 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV / by: (Language materials, printed)

Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by: (Language materials, printed)

Advances in Information and Computer Security = 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28–30, 2019, Proceedings / by: (Language materials, printed)

Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings / by: (Language materials, printed)

On the Move to Meaningful Internet Systems: OTM 2018 Workshops = Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papers / by: (Language materials, printed)

Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by: (Language materials, printed)

Using Microsoft Dynamics 365 for Finance and Operations = Learn and understand the functionality of Microsoft's enterprise solution / by: (Language materials, printed)

String Processing and Information Retrieval = 26th International Symposium, SPIRE 2019, Segovia, Spain, October 7–9, 2019, Proceedings / by: (Language materials, printed)

Service-Oriented Computing = 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings / by: (Language materials, printed)

Computer Safety, Reliability, and Security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / by: (Language materials, printed)

Application and Theory of Petri Nets and Concurrency = 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2019 = 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part III / by: (Language materials, printed)

Numerical Software Verification = 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings / by: (Language materials, printed)

NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by: (Language materials, printed)

Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings / by: (Language materials, printed)

Topics in Cryptology – CT-RSA 2019 = The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings / by: (Language materials, printed)

Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / by: (Language materials, printed)

Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II / by: (Language materials, printed)

Information Security = 22nd International Conference, ISC 2019, New York City, NY, USA, September 16–18, 2019, Proceedings / by: (Language materials, printed)

Cooperative Design, Visualization, and Engineering = 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings / by: (Language materials, printed)

Die Unschuld der Maschinen = Technikvertrauen in einer smarten Welt / by: (Language materials, printed)

Logische und Methodische Grundlagen der Programm- und Systementwicklung = Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis / by: (Language materials, printed)

Future-Proof Software-Systems = A Sustainable Evolution Strategy / by: (Language materials, printed)

Theory and Practice of Natural Computing = 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings / by: (Language materials, printed)

Vibrations of Rotating Machinery = Volume 2. Advanced Rotordynamics: Applications of Analysis, Troubleshooting and Diagnosis / by: (Language materials, printed)

Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings / by: (Language materials, printed)

Web Engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings / by: (Language materials, printed)

Information, Communication and Computing Technology = 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers / by: (Language materials, printed)

Human-Centered Software Engineering = 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Software Business = 10th International Conference, ICSOB 2019, Jyväskylä, Finland, November 18–20, 2019, Proceedings / by: (Language materials, printed)

Cloud Computing and Services Science = 8th International Conference, CLOSER 2018, Funchal, Madeira, Portugal, March 19-21, 2018, Revised Selected Papers / by: (Language materials, printed)

Architecture for Blockchain Applications by: (Language materials, printed)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (Language materials, printed)

Trustworthy Cyber-Physical Systems = A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness / by: (Language materials, printed)

Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings / by: (Language materials, printed)

Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / by: (Language materials, printed)

Der Prozess mobiler Entwicklungsprojekte: Muster agiler Methoden = Herausforderungen und Lösungen in der professionellen App-Entwicklung / by: (Language materials, printed)

Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers / by: (Language materials, printed)

Integrating Business Process Models and Rules = Empirical Evidence and Decision Framework / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers / by: (Language materials, printed)

Service-Oriented Computing – ICSOC 2018 Workshops = ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2019 = 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (Language materials, printed)

Economics of Grids, Clouds, Systems, and Services = 15th International Conference, GECON 2018, Pisa, Italy, September 18–20, 2018, Proceedings / by: (Language materials, printed)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II / by: (Language materials, printed)

Security and Quality in Cyber-Physical Systems Engineering = With Forewords by Robert M. Lee and Tom Gilb / by: (Language materials, printed)

Echtzeit 2019 = Autonome Systeme – 50 Jahre PEARL / by: (Language materials, printed)

Design, User Experience, and Usability. Application Domains = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by: (Language materials, printed)

Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications = 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers / by: (Language materials, printed)

Computing and Communication Systems in Urban Development = A Detailed Perspective / by: (Language materials, printed)

Computational Logistics = 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings / by: (Language materials, printed)

Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings / by: (Language materials, printed)

ICT Education = 47th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2018, Gordon's Bay, South Africa, June 18–20, 2018, Revised Selected Papers / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / by: (Language materials, printed)

Soft Skills to Advance Your Developer Career = Actionable Steps to Help Maximize Your Potential / by: (Language materials, printed)

Information and Communication Technology for Development for Africa = Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers / by: (Language materials, printed)

Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 2019, Proceedings / by: (Language materials, printed)

Java lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen / by: (Language materials, printed)

Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings / by: (Language materials, printed)

PRIMA 2019: Principles and Practice of Multi-Agent Systems = 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Entwicklung verteilter Anwendungen = Mit Spring Boot & Co / by: (Language materials, printed)

Reproducible Research in Pattern Recognition = Second International Workshop, RRPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers / by: (Language materials, printed)

Graph Transformation = 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings / by: (Language materials, printed)

Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by: (Language materials, printed)

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / by: (Language materials, printed)

From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday / by: (Language materials, printed)

Concise Guide to Software Testing by: (Language materials, printed)

Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings / by: (Language materials, printed)

Patterns kompakt = Entwurfsmuster für effektive Softwareentwicklung / by: (Language materials, printed)

Fault Prediction Modeling for the Prediction of Number of Software Faults by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers / by: (Language materials, printed)

Excel + VBA für Controller = Mit eigenen Prozeduren und Funktionen optimieren / by: (Language materials, printed)

Intelligent Technologies and Applications = First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers / by: (Language materials, printed)

Pro PowerShell for Amazon Web Services by: (Language materials, printed)

A Practical Approach to High-Performance Computing by: (Language materials, printed)

Progress in Cryptology – AFRICACRYPT 2019 = 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9–11, 2019, Proceedings / by: (Language materials, printed)

Design, User Experience, and Usability. Practice and Case Studies = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV / by: (Language materials, printed)

Agile Project Management with Azure DevOps = Concepts, Templates, and Metrics / by: (Language materials, printed)

Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (Language materials, printed)

Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers / by: (Language materials, printed)

ICT Systems Security and Privacy Protection = 34th IFIP TC 11 International Conference, SEC 2019, Lisbon, Portugal, June 25-27, 2019, Proceedings / by: (Language materials, printed)

Enterprise and Organizational Modeling and Simulation = 15th International Workshop, EOMAS 2019, Held at CAiSE 2019, Rome, Italy, June 3–4, 2019, Selected Papers / by: (Language materials, printed)

Parallel Computing Hits the Power Wall = Principles, Challenges, and a Survey of Solutions / by: (Language materials, printed)

Futuristic Trends in Network and Communication Technologies = First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers / by: (Language materials, printed)

Software Engineering and Methodology for Emerging Domains = 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers / by: (Language materials, printed)

Frontiers in Cyber Security = Second International Conference, FCS 2019, Xi'an, China, November 15–17, 2019, Proceedings / by: (Language materials, printed)

Software Engineering Research, Management and Applications by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / by: (Language materials, printed)

Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows / by: (Language materials, printed)

Computing and Software Science = State of the Art and Perspectives / by: (Language materials, printed)

Empowering Learners for Life in the Digital Age = IFIP TC 3 Open Conference on Computers in Education, OCCE 2018, Linz, Austria, June 24–28, 2018, Revised Selected Papers / by: (Language materials, printed)

Pro Spring Security = Securing Spring Framework 5 and Boot 2-based Java Applications / by: (Language materials, printed)

Augmented Cognition = 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by: (Language materials, printed)

Webanwendungen erstellen mit Vue.js = MVVM-Muster für konventionelle und Single-Page-Webseiten / by: (Language materials, printed)

Human-Computer Interaction. Design Practice in Contemporary Societies = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by: (Language materials, printed)

Human-Computer Interaction. Recognition and Interaction Technologies = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Design, User Experience, and Usability. Design Philosophy and Theory = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming – Workshops = XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings / by: (Language materials, printed)

Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / by: (Language materials, printed)

Advances in Cryptology – EUROCRYPT 2019 = 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II / by: (Language materials, printed)

Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings / by: (Language materials, printed)

Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / by: (Language materials, printed)

Internet of Things – ICIOT 2019 = 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (Language materials, printed)

Gotik und Informatik = Intelligenter Entwurf damals und heute / by: (Language materials, printed)

Agile Machine Learning = Effective Machine Learning Inspired by the Agile Manifesto / by: (Language materials, printed)

Artificial Intelligence = 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings / by: (Language materials, printed)

Enterprise Information Systems = 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers / by: (Language materials, printed)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification = Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings / by: (Language materials, printed)

Foundations and Practice of Security = 11th International Symposium, FPS 2018, Montreal, QC, Canada, November 13–15, 2018, Revised Selected Papers / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / by: (Language materials, printed)

Financial Cryptography and Data Security = 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Theory, Methods and Tools = 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Introduction to Software Design with Java by: (Language materials, printed)

Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / by: (Language materials, printed)

Mathematical Morphology and Its Applications to Signal and Image Processing = 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings / by: (Language materials, printed)

Design, User Experience, and Usability. User Experience in Advanced Technological Environments = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Engineering Multi-Agent Systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers / by: (Language materials, printed)

Innovative Security Solutions for Information Technology and Communications = 11th International Conference, SecITC 2018, Bucharest, Romania, November 8–9, 2018, Revised Selected Papers / by: (Language materials, printed)

Formal Methods = An Appetizer / by: (Language materials, printed)

Software Engineering Paralleler Systeme = Grundlagen, Algorithmen, Programmierung / by: (Language materials, printed)

Automotive Systems and Software Engineering = State of the Art and Future Trends / by: (Language materials, printed)

Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV / by: (Language materials, printed)

Knowledge-Based Software Engineering: 2018 = Proceedings of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018) Corfu, Greece / by: (Language materials, printed)

Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen / by: (Language materials, printed)

Progress in Cryptology – LATINCRYPT 2017 = 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers / by: (Language materials, printed)

Developments in Language Theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings / by: (Language materials, printed)

Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings / by: (Language materials, printed)

Advances in Data Science, Cyber Security and IT Applications = First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II / by: (Language materials, printed)

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: (Language materials, printed)

Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings / by: (Language materials, printed)

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity = 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers / by: (Language materials, printed)

Surviving the Whiteboard Interview = A Developer’s Guide to Using Soft Skills to Get Hired / by: (Language materials, printed)

Quick Start Guide to Penetration Testing = With NMAP, OpenVAS and Metasploit / by: (Language materials, printed)

Distributed Real-Time Systems = Theory and Practice / by: (Language materials, printed)

Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings / by: (Language materials, printed)

Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / by: (Language materials, printed)

Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by: (Language materials, printed)

Model and Data Engineering = 9th International Conference, MEDI 2019, Toulouse, France, October 28–31, 2019, Proceedings / by: (Language materials, printed)

C++ for Lazy Programmers = Quick, Easy, and Fun C++ for Beginners / by: (Language materials, printed)

Telematics and Computing = 8th International Congress, WITCOM 2019, Merida, Mexico, November 4–8, 2019, Proceedings / by: (Language materials, printed)

Business Information Systems = 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part II / by: (Language materials, printed)

Advanced Information Systems Engineering Workshops = CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings / by: (Language materials, printed)

Information Systems Engineering in Responsible Information Systems = CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings / by: (Language materials, printed)

Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings / by: (Language materials, printed)

Reuse in the Big Data Era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings / by: (Language materials, printed)

Technology and Innovation in Learning, Teaching and Education = First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers / by: (Language materials, printed)

Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers / by: (Language materials, printed)

Attributionen in der Mensch-Computer-Interaktion = Einfluss auf die Bewertung und Gestaltung interaktiver Produkte / by: (Language materials, printed)

Innovations for Community Services = 19th International Conference, I4CS 2019, Wolfsburg, Germany, June 24-26, 2019, Proceedings / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers / by: (Language materials, printed)

Agile Methods = 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers / by: (Language materials, printed)

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health = International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I / by: (Language materials, printed)

End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings / by: (Language materials, printed)

Formal Verification of Floating-Point Hardware Design = A Mathematical Approach / by: (Language materials, printed)

Computer and Computing Technologies in Agriculture X = 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings / by: (Language materials, printed)

27th International Meshing Roundtable by: (Language materials, printed)

Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung / by: (Language materials, printed)

Computer-Aided Architectural Design. "Hello, Culture" = 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers / by: (Language materials, printed)

Internet and Distributed Computing Systems = 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings / by: (Language materials, printed)

New Trends in Databases and Information Systems = ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings / by: (Language materials, printed)

HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Programming and Performance Visualization Tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers / by: (Language materials, printed)

Computer Vision, Imaging and Computer Graphics – Theory and Applications = 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers / by: (Language materials, printed)

.NET DevOps for Azure = A Developer's Guide to DevOps Architecture the Right Way / by: (Language materials, printed)

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy = Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday / by: (Language materials, printed)

Digital Forensics and Cyber Crime = 10th International EAI Conference, ICDF2C 2018, New Orleans, LA, USA, September 10–12, 2018, Proceedings / by: (Language materials, printed)

Business Information Systems = 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings, Part I / by: (Language materials, printed)

Applied Informatics = Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings / by: (Language materials, printed)

Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings / by: (Language materials, printed)

Critical Infrastructure Protection XIII = 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers / by: (Language materials, printed)

Public-Key Cryptography – PKC 2019 = 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I / by: (Language materials, printed)

Information Security and Privacy = 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings / by: (Language materials, printed)

Technology Trends = 4th International Conference, CITT 2018, Babahoyo, Ecuador, August 29–31, 2018, Revised Selected Papers / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XIV by: (Language materials, printed)

Product Lifecycle Management in the Digital Twin Era = 16th IFIP WG 5.1 International Conference, PLM 2019, Moscow, Russia, July 8–12, 2019, Revised Selected Papers / by: (Language materials, printed)

Systems, Software and Services Process Improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings / by: (Language materials, printed)

Information Systems: Research, Development, Applications, Education = 12th SIGSAND/PLAIS EuroSymposium 2019, Gdansk, Poland, September 19, 2019, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V / by: (Language materials, printed)

Software Engineering = Proceedings of CSI 2015 / by: (Language materials, printed)

Advances in Artificial Intelligence, Software and Systems Engineering = Joint Proceedings of the AHFE 2018 International Conference on Human Factors in Artificial Intelligence and Social Computing, Software and Systems Engineering, The Human Side of Service Engineering and Human Factors in Energy, July 21–25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA / by: (Language materials, printed)

Implementing effective code reviews : = how to build and maintain clean code / by: (Language materials, printed)

Software design for resilient computer systems / by: (Language materials, printed)

DevOps for dummies / by: (Language materials, printed)

Ein reduziertes Modell zur Simulation des transienten thermischen Verhaltens einer Fahrzeugkabine by: (Language materials, printed)

Contemporary Empirical Methods in Software Engineering by: (Language materials, printed)

Automated Software Engineering: A Deep Learning-Based Approach by: (Language materials, printed)

DevOps = Ein Überblick / by: (Language materials, printed)

Knowledge Discovery, Knowledge Engineering and Knowledge Management = 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers / by: (Language materials, printed)

Design, User Experience, and Usability. Design for Contemporary Interactive Environments = 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Data Analytics and Management in Data Intensive Domains = 21st International Conference, DAMDID/RCDL 2019, Kazan, Russia, October 15–18, 2019, Revised Selected Papers / by: (Language materials, printed)

Excel + VBA für den Unterricht = Lösung einfacher technischer Fragestellungen / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation: Applications = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / by: (Language materials, printed)

Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / by: (Language materials, printed)

Handbook of Hardware/Software Codesign by: (Language materials, printed)

Proceedings of ICRIC 2019 = Recent Innovations in Computing / by: (Language materials, printed)

Designing Enterprise Information Systems = Merging Enterprise Modeling and Software Specification / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II / by: (Language materials, printed)

ICT Education = 48th Annual Conference of the Southern African Computer Lecturers’ Association, SACLA 2019, Northern Drakensberg, South Africa, July 15–17, 2019, Revised Selected Papers / by: (Language materials, printed)

Emerging Technologies for Authorization and Authentication = Second International Workshop, ETAA 2019, Luxembourg City, Luxembourg, September 27, 2019, Proceedings / by: (Language materials, printed)

Interactive Storytelling = 13th International Conference on Interactive Digital Storytelling, ICIDS 2020, Bournemouth, UK, November 3–6, 2020, Proceedings / by: (Language materials, printed)

Connected Vehicles in the Internet of Things = Concepts, Technologies and Frameworks for the IoV / by: (Language materials, printed)

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / by: (Language materials, printed)

Detection of Intrusions and Malware, and Vulnerability Assessment = 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings / by: (Language materials, printed)

Earth Systems Data Processing and Visualization Using MATLAB by: (Language materials, printed)

New Approaches to Gear Design and Production by: (Language materials, printed)

Information and Communication Technologies for Ageing Well and e-Health = 5th International Conference, ICT4AWE 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

Software Defined Systems = Sensing, Communication and Computation / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence, Software and Systems Engineering = Proceedings of the AHFE 2019 International Conference on Human Factors in Artificial Intelligence and Social Computing, the AHFE International Conference on Human Factors, Software, Service and Systems Engineering, and the AHFE International Conference of Human Factors in Energy, July 24-28, 2019, Washington D.C., USA / by: (Language materials, printed)

Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings / by: (Language materials, printed)

Learn Java for Android Development = Migrating Java SE Programming Skills to Mobile Development / by: (Language materials, printed)

Exploring C++20 = The Programmer's Introduction to C++ / by: (Language materials, printed)

Computer Security = ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26–27, 2019 Revised Selected Papers / by: (Language materials, printed)

C++20 Recipes = A Problem-Solution Approach / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I / by: (Language materials, printed)

Serviceology for Services = 7th International Conference, ICServ 2020, Osaka, Japan, March 13–15, 2020, Proceedings / by: (Language materials, printed)

Advances in Building Information Modeling = First Eurasian BIM Forum, EBF 2019, Istanbul, Turkey, May 31, 2019, Revised Selected Papers / by: (Language materials, printed)

Guide to Software Systems Development = Connecting Novel Theory and Current Practice / by: (Language materials, printed)

Software Ecosystems, Sustainability and Human Values in the Social Web = 8th Workshop of Human-Computer Interaction Aspects to the Social Web, WAIHCWS 2017, Joinville, Brazil, October 23, 2017 and 9th Workshop, WAIHCWS 2018, Belém, Brazil, October 22, 2018, Revised Selected Papers / by: (Language materials, printed)

Computational Advances in Bio and Medical Sciences = 9th International Conference, ICCABS 2019, Miami, FL, USA, November 15–17, 2019, Revised Selected Papers / by: (Language materials, printed)

Analytical and Stochastic Modelling Techniques and Applications = 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings / by: (Language materials, printed)

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems by: (Language materials, printed)

Enterprise, Business-Process and Information Systems Modeling = 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8–9, 2020, Proceedings / by: (Language materials, printed)

Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

Advanced Information Systems Engineering = 32nd International Conference, CAiSE 2020, Grenoble, France, June 8–12, 2020, Proceedings / by: (Language materials, printed)

Dialog zwischen Mensch und Maschine = Conversational User Interfaces, intelligente Assistenten und Voice-Systeme / by: (Language materials, printed)

Coordination Models and Languages = 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (Language materials, printed)

Raspberry Pi im Informatik- und Technikunterricht = Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung / by: (Language materials, printed)

Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / by: (Language materials, printed)

Information Systems Security and Privacy = 5th International Conference, ICISSP 2019, Prague, Czech Republic, February 23-25, 2019, Revised Selected Papers / by: (Language materials, printed)

Human-Computer Interaction. Design and User Experience = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Human-Computer Interaction. Multimodal and Natural Interaction = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Human-Computer Interaction. Human Values and Quality of Life = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (Language materials, printed)

Cloud Computing, Big Data & Emerging Topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings / by: (Language materials, printed)

Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings / by: (Language materials, printed)

Engineering Trustworthy Software Systems = 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures / by: (Language materials, printed)

Intelligent Technologies and Applications = Second International Conference, INTAP 2019, Bahawalpur, Pakistan, November 6–8, 2019, Revised Selected Papers / by: (Language materials, printed)

Research Challenges in Information Science = 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23–25, 2020, Proceedings / by: (Language materials, printed)

Automated Software Testing = Foundations, Applications and Challenges / by: (Language materials, printed)

Guide to Efficient Software Design = An MVC Approach to Concepts, Structures, and Models / by: (Language materials, printed)

The Art of Immutable Architecture = Theory and Practice of Data Management in Distributed Systems / by: (Language materials, printed)

Software Architecture for Business by: (Language materials, printed)

Software Engineering in the Era of Cloud Computing by: (Language materials, printed)

Analysis and Design of Next-Generation Software Architectures = 5G, IoT, Blockchain, and Quantum Computing / by: (Language materials, printed)

A Journey Towards Bio-inspired Techniques in Software Engineering by: (Language materials, printed)

Beginning Jakarta EE Web Development = Using JSP, JSF, MySQL, and Apache Tomcat for Building Java Web Applications / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 21st International Conference on Agile Software Development, XP 2020, Copenhagen, Denmark, June 8–12, 2020, Proceedings / by: (Language materials, printed)

Fundamentals of Software Startups = Essential Engineering and Business Aspects / by: (Language materials, printed)

Advances in Agile and User-Centred Software Engineering = Third International Conference on Lean and Agile Software Development, LASD 2019, and 7th Conference on Multimedia, Interaction, Design and Innovation, MIDI 2019, Leipzig, Germany, September 1–4, 2019, Revised Selected Papers / by: (Language materials, printed)

SOFSEM 2020: Theory and Practice of Computer Science = 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings / by: (Language materials, printed)

HCI in Business, Government and Organizations = 7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Multi-Agent-Based Simulation XX = 20th International Workshop, MABS 2019, Montreal, QC, Canada, May 13, 2019, Revised Selected Papers / by: (Language materials, printed)

Linear Programming = Foundations and Extensions / by: (Language materials, printed)

Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by: (Language materials, printed)

Conceptual Modeling = 39th International Conference, ER 2020, Vienna, Austria, November 3–6, 2020, Proceedings / by: (Language materials, printed)

Implementing Effective Code Reviews = How to Build and Maintain Clean Code / by: (Language materials, printed)

Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 2020, Proceedings / by: (Language materials, printed)

Information Technology for Management: Current Research and Future Directions = 17th Conference, AITM 2019, and 14th Conference, ISM 2019, Held as Part of FedCSIS, Leipzig, Germany, September 1–4, 2019, Extended and Revised Selected Papers / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part III / by: (Language materials, printed)

Parallel Agile – faster delivery, fewer defects, lower cost by: (Language materials, printed)

Variable Domain-specific Software Languages with DjDSL = Design and Implementation / by: (Language materials, printed)

Nutzerverhalten verstehen – Softwarenutzen optimieren = Kommunikationsanalyse bei der Softwareentwicklung / by: (Language materials, printed)

Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings / by: (Language materials, printed)

Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings / by: (Language materials, printed)

Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by: (Language materials, printed)

NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part II / by: (Language materials, printed)

Frontiers in Cyber Security = Third International Conference, FCS 2020, Tianjin, China, November 15–17, 2020, Proceedings / by: (Language materials, printed)

Systems, Software and Services Process Improvement = 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings / by: (Language materials, printed)

Advances in Cryptology – CRYPTO 2020 = 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I / by: (Language materials, printed)

Advances in Bioinformatics and Computational Biology = 12th Brazilian Symposium on Bioinformatics, BSB 2019, Fortaleza, Brazil, October 7–10, 2019, Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by: (Language materials, printed)

Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers / by: (Language materials, printed)

Well-Being in the Information Society. Fruits of Respect = 8th International Conference, WIS 2020, Turku, Finland, August 26–27, 2020, Proceedings / by: (Language materials, printed)

Softwareentwicklung kompakt und verständlich = Wie Softwaresysteme entstehen / by: (Language materials, printed)

Dependable Computing - EDCC 2020 Workshops = AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / by: (Language materials, printed)

Service-Oriented Computing – ICSOC 2019 Workshops = WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28–31, 2019, Revised Selected Papers / by: (Language materials, printed)

New Trends in Information and Communications Technology Applications = 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings / by: (Language materials, printed)

Diagrammatic Representation and Inference = 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings / by: (Language materials, printed)

Software Quality: Quality Intelligence in Software and Systems Engineering = 12th International Conference, SWQD 2020, Vienna, Austria, January 14–17, 2020, Proceedings / by: (Language materials, printed)

Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Machine Learning and Knowledge Extraction = 4th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2020, Dublin, Ireland, August 25–28, 2020, Proceedings / by: (Language materials, printed)

Internet of Things. A Confluence of Many Disciplines = Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / by: (Language materials, printed)

Quantitative Evaluation of Systems = 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by: (Language materials, printed)

Applied Computing to Support Industry: Innovation and Technology = First International Conference, ACRIT 2019, Ramadi, Iraq, September 15–16, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / by: (Language materials, printed)

Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings / by: (Language materials, printed)

Tools and Techniques for High Performance Computing = Selected Workshops, HUST, SE-HER and WIHPC, Held in Conjunction with SC 2019, Denver, CO, USA, November 17–18, 2019, Revised Selected Papers / by: (Language materials, printed)

Security Protocols XXVII = 27th International Workshop, Cambridge, UK, April 10–12, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Aspects of Component Software = 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / by: (Language materials, printed)

Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen / by: (Language materials, printed)

Topics in Cryptology – CT-RSA 2020 = The Cryptographers’ Track at the RSA Conference 2020, San Francisco, CA, USA, February 24–28, 2020, Proceedings / by: (Language materials, printed)

Advances in Information and Computer Security = 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings / by: (Language materials, printed)

Internet Computing = Principles of Distributed Systems and Emerging Internet-Based Technologies / by: (Language materials, printed)

Optical Network Design and Modeling = 23rd IFIP WG 6.10 International Conference, ONDM 2019, Athens, Greece, May 13–16, 2019, Proceedings / by: (Language materials, printed)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection = 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / by: (Language materials, printed)

Introduction to Scientific Programming with Python by: (Language materials, printed)

Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings / by: (Language materials, printed)

Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by: (Language materials, printed)

Business Modeling and Software Design = 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings / by: (Language materials, printed)

Design, User Experience, and Usability. Interaction Design = 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

From Lambda Calculus to Cybersecurity Through Program Analysis = Essays Dedicated to Chris Hankin on the Occasion of His Retirement / by: (Language materials, printed)

Mining Software Engineering Data for Software Reuse by: (Language materials, printed)

Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / by: (Language materials, printed)

Data Science = 6th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2020, Taiyuan, China, September 18-21, 2020, Proceedings, Part II / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing Systems = 19th Symposium, WSCAD 2018, São Paulo, Brazil, October 1–3, 2018, Revised Selected Papers / by: (Language materials, printed)

Information and Communications Security = 21st International Conference, ICICS 2019, Beijing, China, December 15–17, 2019, Revised Selected Papers / by: (Language materials, printed)

Transactions on Computational Science XXXV = Special Issue on Signal Processing and Security in Distributed Systems / by: (Language materials, printed)

Mastering SolidWorks = Practical Examples / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / by: (Language materials, printed)

Information and Cyber Security = 18th International Conference, ISSA 2019, Johannesburg, South Africa, August 15, 2019, Proceedings / by: (Language materials, printed)

MonoGame Mastery = Build a Multi-Platform 2D Game and Reusable Game Engine / by: (Language materials, printed)

Enterprise Information Systems = 21st International Conference, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / by: (Language materials, printed)

Advanced Information Systems Engineering = CAiSE Forum 2020, Grenoble, France, June 8–12, 2020, Proceedings / by: (Language materials, printed)

Systems Benchmarking = For Scientists and Engineers / by: (Language materials, printed)

The Future of Software Quality Assurance by: (Language materials, printed)

Action Research in Software Engineering = Theory and Applications / by: (Language materials, printed)

Blockchain and Trustworthy Systems = Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I / by: (Language materials, printed)

Proceedings of 6th International Conference in Software Engineering for Defence Applications = SEDA 2018 / by: (Language materials, printed)

Software Design for Resilient Computer Systems by: (Language materials, printed)

Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by: (Language materials, printed)

Python lernen in abgeschlossenen Lerneinheiten = Programmieren für Einsteiger mit vielen Beispielen / by: (Language materials, printed)

Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings / by: (Language materials, printed)

Echtzeitsysteme = Grundlagen der Planung / by: (Language materials, printed)

Intelligent Human Computer Interaction = 11th International Conference, IHCI 2019, Allahabad, India, December 12–14, 2019, Proceedings / by: (Language materials, printed)

Einstieg in Java und OOP = Grundelemente, Objektorientierung, Design-Patterns und Aspektorientierung / by: (Language materials, printed)

Business Standard Compliance and Requirements Validation Using Goal Models by: (Language materials, printed)

On the Construction of Engineering Handbooks = with an Illustration from the Railway Safety Domain / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers / by: (Language materials, printed)

Risks and Security of Internet and Systems = 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29–31, 2019, Proceedings / by: (Language materials, printed)

Graph Transformation for Software Engineers = With Applications to Model-Based Development and Domain-Specific Language Engineering / by: (Language materials, printed)

Understanding Programming Languages by: (Language materials, printed)

The Practice of Enterprise Modeling = 13th IFIP Working Conference, PoEM 2020, Riga, Latvia, November 25–27, 2020, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering Workshops = CAiSE 2020 International Workshops, Grenoble, France, June 8–12, 2020, Proceedings / by: (Language materials, printed)

Software Engineering Research, Management and Applications by: (Language materials, printed)

Trends and Applications in Software Engineering = Proceedings of the 8th International Conference on Software Process Improvement (CIMPS 2019) / by: (Language materials, printed)

Measurement, Modelling and Evaluation of Computing Systems = 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings / by: (Language materials, printed)

Build a Next-Generation Digital Workplace = Transform Legacy Intranets to Employee Experience Platforms / by: (Language materials, printed)

Critical Information Infrastructures Security = 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers / by: (Language materials, printed)

Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / by: (Language materials, printed)

Provable and Practical Security = 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings / by: (Language materials, printed)

Beyond Interactions = INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers / by: (Language materials, printed)

Open Source Systems = 16th IFIP WG 2.13 International Conference, OSS 2020, Innopolis, Russia, May 12–14, 2020, Proceedings / by: (Language materials, printed)

Computer Science – CACIC 2019 = 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14–18, 2019, Revised Selected Papers / by: (Language materials, printed)

Parallel Problem Solving from Nature – PPSN XVI = 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part II / by: (Language materials, printed)

KI 2020: Advances in Artificial Intelligence = 43rd German Conference on AI, Bamberg, Germany, September 21–25, 2020, Proceedings / by: (Language materials, printed)

IT-Lösungen auf Basis von SysML und UML = Anwendungsentwicklung mit Eclipse UML Designer und Eclipse Papyrus / by: (Language materials, printed)

Modern Information Technology and IT Education = 13th International Conference, SITITO 2018, Moscow, Russia, November 29 – December 2, 2018, Revised Selected Papers / by: (Language materials, printed)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing by: (Language materials, printed)

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 / by: (Language materials, printed)

Mathematical Theory of Advanced Computing by: (Language materials, printed)

Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (Language materials, printed)

Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by: (Language materials, printed)

Modern C++ for Absolute Beginners = A Friendly Introduction to C++ Programming Language and C++11 to C++20 Standards / by: (Language materials, printed)

Modelling and Development of Intelligent Systems = 6th International Conference, MDIS 2019, Sibiu, Romania, October 3–5, 2019, Revised Selected Papers / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 19th International Conference, CISIM 2020, Bialystok, Poland, October 16–18, 2020, Proceedings / by: (Language materials, printed)

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / by: (Language materials, printed)

Product-Focused Software Process Improvement = 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings / by: (Language materials, printed)

Distributed Graph Analytics = Programming, Languages, and Their Compilation / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II / by: (Language materials, printed)

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences = A Reference Model Guided Approach for Common Challenges / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV = Special Issue on Data Management – Principles, Technologies, and Applications / by: (Language materials, printed)

Knowledge-Based Software Engineering: 2020 = Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), Larnaca, Cyprus, August 24-26, 2020 / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (Language materials, printed)

High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by: (Language materials, printed)

Data Science and Analytics = 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / by: (Language materials, printed)

Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings / by: (Language materials, printed)

Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Smart Applications and Data Analysis = Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings / by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (Language materials, printed)

Benchmarking, Measuring, and Optimizing = Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers / by: (Language materials, printed)

Game Programming with Unity and C# = A Complete Beginner’s Guide / by: (Language materials, printed)

High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Computer Security – ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I / by: (Language materials, printed)

Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest / by: (Language materials, printed)

Computer Security – ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II / by: (Language materials, printed)

Services Computing – SCC 2020 = 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (Language materials, printed)

Computer Networks = 27th International Conference, CN 2020, Gdańsk, Poland, June 23–24, 2020, Proceedings / by: (Language materials, printed)

Pro C# 8 with .NET Core 3 = Foundational Principles and Practices in Programming / by: (Language materials, printed)

Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers / by: (Language materials, printed)

New Frontiers in Artificial Intelligence = JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10–12, 2019, Revised Selected Papers / by: (Language materials, printed)

Technical, Economic and Societal Effects of Manufacturing 4.0 = Automation, Adaption and Manufacturing in Finland and Beyond / by: (Language materials, printed)

Theoretical Aspects of Computing – ICTAC 2020 = 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings / by: (Language materials, printed)

Geoinformatics in Sustainable Ecosystem and Society = 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21–25, 2019, Revised Selected Papers / by: (Language materials, printed)

Cognitive Modeling for Automated Human Performance Evaluation at Scale by: (Language materials, printed)

Services – SERVICES 2020 = 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (Language materials, printed)

Internet of Things - ICIOT 2020 = 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (Language materials, printed)

Applied Technologies = First International Conference, ICAT 2019, Quito, Ecuador, December 3–5, 2019, Proceedings, Part I / by: (Language materials, printed)

Product Lifecycle Management Enabling Smart X = 17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5–8, 2020, Revised Selected Papers / by: (Language materials, printed)

Human-Centered Software Engineering = 8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 30 – December 2, 2020, Proceedings / by: (Language materials, printed)

Microservices = Science and Engineering / by: (Language materials, printed)

Information and Communication Technologies in Education, Research, and Industrial Applications = 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / by: (Language materials, printed)

The Science of Quantitative Information Flow by: (Language materials, printed)

Verteiltes Arbeiten kompakt = Virtuelle Projekte und Teams. Homeoffice. Digitales Arbeiten. / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by: (Language materials, printed)

Quality of Information and Communications Technology = 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part IV / by: (Language materials, printed)

Recent Advances in Data Science = Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22–24, 2019, Revised Selected Papers / by: (Language materials, printed)

Search-Based Software Engineering = 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings / by: (Language materials, printed)

Interactive Collaborative Robotics = 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings / by: (Language materials, printed)

Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part VI / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III / by: (Language materials, printed)

Computational Methods in Systems Biology = 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings / by: (Language materials, printed)

Beginning C++20 = From Novice to Professional / by: (Language materials, printed)

Reuse in Emerging Software Engineering Practices = 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings / by: (Language materials, printed)

Design Thinking Research = Investigating Design Team Performance / by: (Language materials, printed)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings / by: (Language materials, printed)

Testing Software and Systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings / by: (Language materials, printed)

Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings / by: (Language materials, printed)

Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings / by: (Language materials, printed)

C++ mit Visual Studio 2019 und Windows Forms-Anwendungen = C++17 für Studierende und erfahrene Programmierer – Windows Programme mit C++ entwickeln / by: (Language materials, printed)

Innovations in Digital Economy = First International Conference, SPBPU IDE 2019, St. Petersburg, Russia, October 24–25, 2019, Revised Selected Papers / by: (Language materials, printed)

Systematic Complex Problem Solving in the Age of Digitalization and Open Innovation = 20th International TRIZ Future Conference, TFC 2020, Cluj-Napoca, Romania, October 14–16, 2020, Proceedings / by: (Language materials, printed)

Ernst Denert Award for Software Engineering 2019 = Practice Meets Foundations / by: (Language materials, printed)

Embedded Computer Systems: Architectures, Modeling, and Simulation = 20th International Conference, SAMOS 2020, Samos, Greece, July 5–9, 2020, Proceedings / by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers / by: (Language materials, printed)

Intelligent Computing Methodologies = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part III / by: (Language materials, printed)

Cooperative Design, Visualization, and Engineering = 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings / by: (Language materials, printed)

Artificial General Intelligence = 13th International Conference, AGI 2020, St. Petersburg, Russia, September 16–19, 2020, Proceedings / by: (Language materials, printed)

AI and UX = Why Artificial Intelligence Needs User Experience / by: (Language materials, printed)

Systems Modelling and Management = First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings / by: (Language materials, printed)

Service-Oriented Computing = 14th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2020, Crete, Greece, September 13-19, 2020 / by: (Language materials, printed)

High Performance Computing = ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers / by: (Language materials, printed)

JavaServer Faces = JSF verstehen und praktisch einsetzen / by: (Language materials, printed)

Economics of Grids, Clouds, Systems, and Services = 17th International Conference, GECON 2020, Izola, Slovenia, September 15–17, 2020, Revised Selected Papers / by: (Language materials, printed)

Software Verification = 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers / by: (Language materials, printed)

Unimagined Futures – ICT Opportunities and Challenges by: (Language materials, printed)

Progress in Cryptology – INDOCRYPT 2020 = 21st International Conference on Cryptology in India, Bangalore, India, December 13–16, 2020, Proceedings / by: (Language materials, printed)

Service-Oriented Computing = 18th International Conference, ICSOC 2020, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings / by: (Language materials, printed)

Cryptology and Network Security = 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings / by: (Language materials, printed)

Deductive Software Verification: Future Perspectives = Reflections on the Occasion of 20 Years of KeY / by: (Language materials, printed)

Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design / by: (Language materials, printed)

Neue Möglichkeiten für die Motorsteuergeräte-Software durch Car-to-Cloud-Vernetzung by: (Language materials, printed)

Hackathons = From Idea to Successful Implementation / by: (Language materials, printed)

Theory of Cryptography = 18th International Conference, TCC 2020, Durham, NC, USA, November 16–19, 2020, Proceedings, Part II / by: (Language materials, printed)

Software Engineering Perspectives in Intelligent Systems = Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.2 / by: (Language materials, printed)

Software Engineering Perspectives in Intelligent Systems = Proceedings of 4th Computational Methods in Systems and Software 2020, Vol.1 / by: (Language materials, printed)

Computer Security = ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Transactions on Rough Sets XXII by: (Language materials, printed)

Monotonicity in Logic and Language = Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V / by: (Language materials, printed)

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / by: (Language materials, printed)

Mobile Computing, Applications, and Services = 11th EAI International Conference, MobiCASE 2020, Shanghai, China, September 12, 2020, Proceedings / by: (Language materials, printed)

Advances in Computer Games = 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers / by: (Language materials, printed)

Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / by: (Language materials, printed)

Projektmanagement für die Praxis = Ein Leitfaden und Werkzeugkasten für erfolgreiche Projekte / by: (Language materials, printed)

Current Trends in Web Engineering = ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9–12, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3–6, 2020, Proceedings / by: (Language materials, printed)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I / by: (Language materials, printed)

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI = 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers / by: (Language materials, printed)

Distributed Computing for Emerging Smart Networks = Second International Workshop, DiCES-N 2020, Bizerte, Tunisia, December 18, 2020, Proceedings / by: (Language materials, printed)

Multi-Agent Systems and Agreement Technologies = 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers / by: (Language materials, printed)

Distributed Computer and Communication Networks: Control, Computation, Communications = 23rd International Conference, DCCN 2020, Moscow, Russia, September 14-18, 2020, Revised Selected Papers / by: (Language materials, printed)

Resource Allocation for Software Defined Networks by: (Language materials, printed)

Engineering Multi-Agent Systems = 8th International Workshop, EMAS 2020, Auckland, New Zealand, May 8–9, 2020, Revised Selected Papers / by: (Language materials, printed)

IoT Streams for Data-Driven Predictive Maintenance and IoT, Edge, and Mobile for Embedded Machine Learning = Second International Workshop, IoT Streams 2020, and First International Workshop, ITEM 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14-18, 2020, Revised Selected Papers / by: (Language materials, printed)

Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings / by: (Language materials, printed)

Knowledge Discovery, Knowledge Engineering and Knowledge Management = 11th International Joint Conference, IC3K 2019, Vienna, Austria, September 17-19, 2019, Revised Selected Papers / by: (Language materials, printed)

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production = 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / by: (Language materials, printed)

Smart Service Management = Design Guidelines and Best Practices / by: (Language materials, printed)

Boosting Collaborative Networks 4.0 = 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings / by: (Language materials, printed)

Advancements in model-driven architecture in software engineering by: (Language materials, printed)

Software architecture for big data and the cloud by: (Language materials, printed)

Environment modeling-based requirements engineering for software intensive systems by: (Language materials, printed)

Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings / by: (Language materials, printed)

Ethereum Smart Contract Development in Solidity by: (Language materials, printed)

Computational Methods in Systems Biology = 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, Proceedings / by: (Language materials, printed)

Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part III / by: (Language materials, printed)

Practical System Programming with C = Pragmatic Example Applications in Linux and Unix-Based Operating Systems / by: (Language materials, printed)

Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings / by: (Language materials, printed)

Performance Testing = An ISTQB Certified Tester Foundation Level Specialist Certification Review / by: (Language materials, printed)

Transactions on Petri Nets and Other Models of Concurrency XV by: (Language materials, printed)

Automotive Software Architectures = An Introduction / by: (Language materials, printed)

Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming / by: (Language materials, printed)

Knowledge Management in Organizations = 15th International Conference, KMO 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I / by: (Language materials, printed)

Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II / by: (Language materials, printed)

Business Modeling and Software Design = 11th International Symposium, BMSD 2021, Sofia, Bulgaria, July 5–7, 2021, Proceedings / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (Language materials, printed)

Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / by: (Language materials, printed)

HCI in Mobility, Transport, and Automotive Systems = Third International Conference, MobiTAS 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by: (Language materials, printed)

Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents = 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III / by: (Language materials, printed)

Human Aspects of IT for the Aged Population. Technology Design and Acceptance = 7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (Language materials, printed)

HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (Language materials, printed)

The Once-Only Principle = The TOOP Project / by: (Language materials, printed)

Software Engineering for Robotics by: (Language materials, printed)

Programmieren lernen mit Python und JavaScript = Eine praxisorientierte Einführung für Einsteiger / by: (Language materials, printed)

Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 15th International Conference, ENASE 2020, Prague, Czech Republic, May 5–6, 2020, Revised Selected Papers / by: (Language materials, printed)

Parallel Computational Technologies = 15th International Conference, PCT 2021, Volgograd, Russia, March 30 – April 1, 2021, Revised Selected Papers / by: (Language materials, printed)

From Data to Models and Back = 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers / by: (Language materials, printed)

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / by: (Language materials, printed)

Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / by: (Language materials, printed)

Creative Solutions for a Sustainable Development = 21st International TRIZ Future Conference, TFC 2021, Bolzano, Italy, September 22–24, 2021, Proceedings / by: (Language materials, printed)

Quality of Information and Communications Technology = 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8–11, 2021, Proceedings / by: (Language materials, printed)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (Language materials, printed)

Artificial Intelligence in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 2 / by: (Language materials, printed)

Architecture of Computing Systems = 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings / by: (Language materials, printed)

Systems, Software and Services Process Improvement = 28th European Conference, EuroSPI 2021, Krems, Austria, September 1–3, 2021, Proceedings / by: (Language materials, printed)

New Perspectives in Software Engineering = Proceedings of the 9th International Conference on Software Process Improvement (CIMPS 2020) / by: (Language materials, printed)

Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I / by: (Language materials, printed)

Cross-Cultural Design. Applications in Arts, Learning, Well-being, and Social Development = 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (Language materials, printed)

Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development = 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (Language materials, printed)

Provenance and Annotation of Data and Processes = 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings / by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Revised Selected Papers / by: (Language materials, printed)

C++ mit Visual Studio 2019 = C++17 für Studierende und erfahrene Programmierer / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Informatics and Cybernetics in Intelligent Systems = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 3 / by: (Language materials, printed)

Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / by: (Language materials, printed)

Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / by: (Language materials, printed)

Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / by: (Language materials, printed)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (Language materials, printed)

Grundlagen des Geschäftsprozessmanagements = übersetzt von Thomas Grisold, Steven Groß, Jan Mendling, Bastian Wurm / by: (Language materials, printed)

Culture and Computing. Design Thinking and Cultural Computing = 9th International Conference, C&C 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part I / by: (Language materials, printed)

Membrane Computing Models: Implementations by: (Language materials, printed)

Cryptography and Cryptanalysis in MATLAB = Creating and Programming Advanced Algorithms / by: (Language materials, printed)

Agile Testing = The Agile Way to Quality / by: (Language materials, printed)

Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (Language materials, printed)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by: (Language materials, printed)

Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / by: (Language materials, printed)

Evolutionary Computation in Combinatorial Optimization = 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Modelling to Program = Second International Workshop, M2P 2020, Lappeenranta, Finland, March 10–12, 2020, Revised Selected Papers / by: (Language materials, printed)

Computer Information Systems and Industrial Management = 20th International Conference, CISIM 2021, Ełk, Poland, September 24–26, 2021, Proceedings / by: (Language materials, printed)