Software Engineering/Programming and Operating Systems.

The Developer's Guide to Debugging by: (Language materials, printed)

Reflections on the Teaching of Programming = Methods and Implementations / by: (Language materials, printed)

Automatic Program Development = A Tribute to Robert Paige / by: (Language materials, printed)

Computational Science ICCS 2008 = 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part I / by: (Language materials, printed)

Novel Algorithms and Techniques In Telecommunications, Automation and Industrial Electronics by: (Language materials, printed)

Foundations of 3D graphics programming = using JOGL and Java3D / 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)

Job scheduling strategies for parallel processing = 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014 : revised selected papers / by: (Language materials, printed)

Software Process Modeling by: (Language materials, printed)

SAP fur Java-Entwickler = Konzepte, Schnittstellen, Technologien / by: (Language materials, printed)

Human-Centered Software Engineering : = Integrating Usability in the Software Development Lifecycle by: (Language materials, printed)

System Level Design of Reconfigurable Systems-on-Chip by: (Language materials, printed)

Pro Spring by: (Language materials, printed)

Beginning Databases with PostgreSQL = From Novice to Professional / by: (Language materials, printed)

Parsing Techniques = A Practical Guide / by: (Language materials, printed)

Embedded systems specification and design languages = selected contributions from FDL'07 / by: (Language materials, printed)

Advances in Computer and Information Sciences and Engineering by: (Language materials, printed)

Advances in software engineering = Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures / 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)

Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I / by: (Language materials, printed)

Parallel computing technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015 : proceedings / 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)

Countdown to a moon launch = preparing Apollo for its historic journey / by: (Language materials, printed)

Multilevel business processes = modeling and data analysis / by: (Language materials, printed)

Web Component Development with Zope 3 by: (Language materials, printed)

Interconnect-Centric Design for Advanced SoC and NoC by: (Language materials, printed)

Design of Adaptive Finite Element Software = The Finite Element Toolbox ALBERTA / by: (Language materials, printed)

Pro J2ME Polish = Open Source Wireless Java Tools Suite / by: (Language materials, printed)

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. IV / by: (Language materials, printed)

Transactions on Computational Science I by: (Language materials, printed)

Tools for High Performance Computing = Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart / by: (Language materials, printed)

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

Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education by: (Language materials, printed)

Open source approaches in spatial data handling by: (Language materials, printed)

Pro Oracle application express by: (Language materials, printed)

Systems and virtualization management = standards and new technologies : second international workshop, SVM 2008, Munich, Germany, October 21-22, 2008, proceedings / by: (Language materials, printed)

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

Worst-case execution time aware compilation techniques for real-time systems by: (Language materials, printed)

Handbook of open source tools by: (Language materials, printed)

Service engineering = European research results / by: (Language materials, printed)

The seductive computer = why IT systems always fail / by: (Language materials, printed)

Accelerating test, validation and debug of high speed serial interfaces by: (Language materials, printed)

Information systems development = Asian experiences / by: (Language materials, printed)

Embedded system design = embedded systems foundations of cyber-physical systems / by: (Language materials, printed)

Computer Safety, Reliability, and Security : = 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings by: (Language materials, printed)

Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (Language materials, printed)

Object-oriented analysis and design by: (Language materials, printed)

Introduction to Assembly Language Programming = For Pentium and RISC Processors / by: (Language materials, printed)

Soft Real-Time Systems = Predictability vs. Efficiency / by: (Language materials, printed)

Reverse Engineering of Object Oriented Code by: (Language materials, printed)

Autonomy Oriented Computing = From Problem Solving to Complex Systems Modeling / by: (Language materials, printed)

Engineering secure software and systems = third International symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011 : proceedings / by: (Language materials, printed)

Generative and transformational techniques in software engineering III = international summer school, GTTSE 2009, Braga, Portugal, July 6-11, 2009 : revised papers / by: (Language materials, printed)

Model-driven development of advanced user interfaces by: (Language materials, printed)

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

Computational Science and Its Applications - ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings.. I / by: (Language materials, printed)

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering by: (Language materials, printed)

Automata, Languages and Programming = 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings / by: (Language materials, printed)

Euro-Par 2005 Parallel Processing = 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings / by: (Language materials, printed)

High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (Language materials, printed)

Software architecture = second European conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 27th international conference, Safecomp 2008 Newcastle upon Tyne, UK, September 22-25, 2008 proceedings / by: (Language materials, printed)

From Specification to Embedded Systems Application by: (Electronic resources)

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

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (Language materials, printed)

High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (Language materials, printed)

Web Component Development with Zope 3 by: (Language materials, printed)

Multimedia Introduction to Programming Using Java by: (Language materials, printed)

Multi-Agent Programming = Languages, Platforms and Applications / by: (Language materials, printed)

Security in E-Learning by: (Language materials, printed)

Principles of the Spin model checker by: (Language materials, printed)

Ontologies for Agents: Theory and Experiences by: (Language materials, printed)

Ingredients for Successful System Level Design Methodology by: (Language materials, printed)

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

Open Source Messaging Application Development = Building and Extending Gaim / by: (Language materials, printed)

Painless Project Management with FogBugz by: (Language materials, printed)

Parallel Computing Technologies = 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings / by: (Language materials, printed)

A Programmer's Introduction to C# 2.0 by: (Language materials, printed)

Foundations of AOP for J2EE Development by: (Language materials, printed)

Migratory interactive applications for ubiquitous environments by: (Language materials, printed)

A Software Process Model Handbook for Incorporating People's Capabilities by: (Language materials, printed)

Guide to Assembly Language Programming in Linux by: (Language materials, printed)

Enterprise Information Systems V by: (Language materials, printed)

Virtual, Distributed and Flexible Organisations = Studies in Organisational Semiotics / by: (Language materials, printed)

Technology systems and management = first International Conference, ICTSM 2011, Mumbai, India, February 25-27, 2011 : selected papers / by: (Language materials, printed)

Software and data technologies = 4th International Conference, ICSOFT 2009, Sofia, Bulgaria, July 26-29, 2009 : revised selected papers / by: (Language materials, printed)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (Language materials, printed)

Computational Science -- ICCS 2005 = 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings.. I / by: (Language materials, printed)

Advanced Parallel Processing Technologies : = 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005, Proceedings by: (Language materials, printed)

AutoCAD 2006 VBA = A Programmer's Reference / by: (Language materials, printed)

A primer on scientific programming with Python by: (Language materials, printed)

Domain Decomposition Methods �X Algorithms and Theory by: (Language materials, printed)

NASA formal methods = third international symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011 : proceedings / by: (Language materials, printed)

Adaptive and natural computing algorithms = 10th international conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011 : proceedings.. Part II / by: (Language materials, printed)

Ajax in Oracle JDeveloper by: (Language materials, printed)

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

Beginning J2ME = From Novice to Professional / by: (Language materials, printed)

Pro Eclipse JST = Plug-ins for J2EE Development / by: (Language materials, printed)

The Making of Information Systems = Software Engineering and Management in a Globalized World / by: (Language materials, printed)

Computer-Aided Innovation (CAI) = IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

The Testing Network = An Integral Approach to Test Activities in Large Software Projects / by: (Language materials, printed)

Computational science and its applications, ICCSA 2005 = International Conference, Singapore, May 9-12, 2005, Proceedings .. II by: (Language materials, printed)

Computer and Information Sciences - ISCIS 2005 : = 20th International Symposium, Istanbul, Turkey, October 26 -- 28, 2005, Proceedings by: (Language materials, printed)

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

Python Scripting for Computational Science by: (Language materials, printed)

Euro-Par 2007 Workshops: Parallel Processing = HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers / by: (Language materials, printed)

Developing Ambient Intelligence = Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d��07) / by: (Language materials, printed)

Algorithms and Architectures for Parallel Processing = 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings / by: (Language materials, printed)

Coordination models and languages = 13th international conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Language materials, printed)

Formal methods for eternal networked software systems = 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures / by: (Language materials, printed)

Top productivity through software reuse = 12th international conference on software reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011 : proceedings / by: (Language materials, printed)

End-user development = third international symposium, IS-EUD 2011, Torre Canne (BR), Italy, June 7-10, 2011 : proceedings / by: (Language materials, printed)

Systems, software and services process improvement = 18th European conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings / by: (Language materials, printed)

Software and Data Technologies = First International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / by: (Language materials, printed)

Modeling, design, and simulation of systems with uncertainties by: (Language materials, printed)

Electrical engineering and applied computing by: (Language materials, printed)

Distributed and Parallel Systems = In Focus: Desktop Grid Computing / by: (Language materials, printed)

Transactions on computational science II by: (Language materials, printed)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (Language materials, printed)

Validated Designs for Object-oriented Systems by: (Language materials, printed)

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

Supply Chain Management on Demand = Strategies, Technologies, Applications / by: (Language materials, printed)

New Horizons of Parallel and Distributed Computing by: (Language materials, printed)

Agent Intelligence Through Data Mining by: (Language materials, printed)

Pro Hibernate 3 by: (Language materials, printed)

Pro JSP 2 by: (Language materials, printed)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Distributed and Parallel Computing : = 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings by: (Language materials, printed)

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / 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)

Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / by: (Language materials, printed)

Information Processing and Security Systems by: (Language materials, printed)

Conceptual Modeling - ER 2009 = 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009 : Proceedings / by: (Language materials, printed)

Transactions on pattern languages of programming I by: (Language materials, printed)

The web startup success guide by: (Language materials, printed)

Advances in conceptual modeling-challenging perspectives = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / by: (Language materials, printed)

Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (Language materials, printed)

Middleware 2009 = ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009 : proceedings / by: (Language materials, printed)

Cloud computing = First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings / by: (Language materials, printed)

Advances in Software Engineering = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (Language materials, printed)

Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (Language materials, printed)

Transactions on aspect-oriented software development VI = special issue on aspects and model-driven engineering / by: (Language materials, printed)

Model Driven Engineering Languages and Systems = 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 14th international workshop, JSSPP 2009, Rome, Italy, May 29, 2009 : revised papers / by: (Language materials, printed)

Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings / by: (Language materials, printed)

Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers / by: (Language materials, printed)

Software and data technologies = Third International Conference, ICSOFT 2008, Porto, Portugal, July 22-24, 2008 : revised selected papers / by: (Language materials, printed)

Pro Git by: (Language materials, printed)

Information system development = towards a service provision society / by: (Language materials, printed)

Parallel computing technologies = 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009 : proceedings / by: (Language materials, printed)

Formal foundations of reuse and domain engineering = 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009 : proceedings / by: (Language materials, printed)

Distributed computing = 23rd International Symposium, DISC 2009, Elche, Spain, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 9th international conference, ICA3PP 2009, Taipei, Taiwan, June 8-11, 2009 ; proceedings / by: (Language materials, printed)

Mobile wireless middleware, operating systems, and applications - workshops = Mobilware 2009 Workshops, Berlin, Germany, April 2009 : revised selected papers / by: (Language materials, printed)

Software process improvement = 16th European conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009 : proceedings / by: (Language materials, printed)

Formal Methods for Components and Objects = 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008 : revised lectures / by: (Language materials, printed)

A primer on scientific programming with Python by: (Language materials, printed)

Embedded system design = modeling, synthesis and verification / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part I / by: (Language materials, printed)

Information computing and applications = second international conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011 : proceedings.. Part II / by: (Language materials, printed)

UNIX operating system = the development tutorial via UNIX kernel services / by: (Language materials, printed)

Advances in conceptual modeling-challenging perspectives : = ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, Qo1S, RIGiM, SeCoGIS, Gramado, Brazil, November 9-12, 2009 : proceedings / by: (Language materials, printed)

Advances in Software Engineering : = International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / by: (Language materials, printed)

Network and parallel computing = 8th IFIP international conference, NPC 2011, Changsha, China, October 21-23, 2011 : proceedings / by: (Language materials, printed)

Model driven engineering languages and systems = 14th international conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : proceedings / by: (Language materials, printed)

Programming for engineers = a foundational approach to learning C and Matlab / by: (Language materials, printed)

Open source systems = grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011 : proceedings / by: (Language materials, printed)

Software development and professional practice by: (Language materials, printed)

Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings / by: (Language materials, printed)

Parallel computing technologies = 11th international conference, PaCT 2011, Kazan, Russia, September 19-23, 2011 : proceedings / by: (Language materials, printed)

Information systems development = business systems and services : modeling and development / by: (Language materials, printed)

VLSI-SoC = technologies for systems integration : 17th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2009, Florianopolis, Brazil, October 12-14, 2009, revised selected papers / by: (Language materials, printed)

Video processing in the cloud by: (Language materials, printed)

Perspectives on Soviet and Russian computing = first IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006 : revised selected papers / by: (Language materials, printed)

Information and communication on technology for the fight against global warming = first international conference, ICT-GLOW 2011, Toulouse, France, August 30-31, 2011 : proceedings / by: (Language materials, printed)

Pro objective-C design patterns for iOS by: (Language materials, printed)

Mac programming for absolute beginners by: (Language materials, printed)

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (Language materials, printed)

Graph and model transformation = general framework and applications / 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)

Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers / by: (Language materials, printed)

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

Arduino music and audio projects by: (Language materials, printed)

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

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

Introduction to concurrency theory = transition systems and CCS / by: (Language materials, printed)

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

Petri net synthesis by: (Language materials, printed)

The software industry = economic principles, strategies, perspectives / by: (Language materials, printed)

Surface- and groundwater quality changes in periods of water scarcity by: (Language materials, printed)

IAENG transactions on engineering technologies = special edition of the World Congress on Engineering and Computer Science 2011 / by: (Language materials, printed)

Handbook of neuroevolution through Erlang by: (Language materials, printed)

Robust data mining by: (Language materials, printed)

Concurrent programming = algorithms, principles, and foundations / by: (Language materials, printed)

Introduction to cryptography with Maple by: (Language materials, printed)

Software and data technologies = 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010 : revised selected papers / by: (Language materials, printed)

Innovative technologies for dependable OTS-based critical systems = challenges and achievements of the CRITICAL STEP Project / by: (Language materials, printed)

Software engineering for self-adaptive systems II = International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 : revised selected and invited papers / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012 : revised selected papers / by: (Language materials, printed)

Formal methods for components and objects = 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers / by: (Language materials, printed)

Facing the multicore-challenge III = aspects of new paradigms and technologies in parallel computing / by: (Language materials, printed)

Generative and transformational techniques in software engineering IV = International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011 : revised papers / by: (Language materials, printed)

Engineering secure software and systems = 5th international symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013 : proceedings / by: (Language materials, printed)

Euro-Par 2012: Parallel processing workshops = BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012 : revised selected papers / by: (Language materials, printed)

Innovation and future of enterprise information systems = ERP Future 2012 Conference, Salzburg, Austria, November 2012, revised papers / by: (Language materials, printed)

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

NASA formal methods = 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013 : proceedings / by: (Language materials, printed)

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

Sustainable web ecosystem design by: (Language materials, printed)

Safe and secure software reuse = 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20 : proceedings / by: (Language materials, printed)

Industrial deployment of system engineering methods by: (Language materials, printed)

Understanding petri nets = modeling techniques, analysis methods, case studies / by: (Language materials, printed)

Web Dynpro ABAP for practitioners by: (Language materials, printed)

Knowledge science, engineering and management = 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013 : proceedings / by: (Language materials, printed)

An introduction to network programming with Java = Java 7 Compatible / by: (Language materials, printed)

Automated technology for verification and analysis = 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013 : proceedings / by: (Language materials, printed)

Parallel computing technologies = 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013 : proceedings / by: (Language materials, printed)

Software exorcism = a handbook for debugging and optimizing legacy code / by: (Language materials, printed)

The China information technology handbook by: (Language materials, printed)

VLSI-SoC: Advanced Topics on Systems on a Chip = a selection of extended versions of the best papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / by: (Language materials, printed)

Quality of software architectures = models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Language materials, printed)

Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (Language materials, printed)

Network and parallel computing = 9th IFIP international conference, NPC 2012, Gwangju, Korea, September 6-8, 2012 : proceedings / by: (Language materials, printed)

Expert F# 3.0 by: (Language materials, printed)

Reflections on the history of computing = preserving memories and sharing stories / by: (Language materials, printed)

ICT as key technology against global warming = second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012 : proceedings / by: (Language materials, printed)

Automated technology for verification and analysis = 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / by: (Language materials, printed)

Mathematics, computer science and logic = a never ending story / by: (Language materials, printed)

Programming multi-agent systems = 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers / by: (Language materials, printed)

A primer on scientific programming with Python by: (Language materials, printed)

Coordination models and languages = 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings / by: (Language materials, printed)

Formal methods for model-driven engineering = 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012 : advanced lectures / by: (Language materials, printed)

Progress in VLSI design and test = 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012 : proceedings / by: (Language materials, printed)

Systems, software and services process improvement = 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012 : proceedings / by: (Language materials, printed)

Arduino and Kinect projects = Design, build, blow their minds / by: (Language materials, printed)

Beginning Android ADK with Arduino by: (Language materials, printed)

Facing the multicore - Challenge II = aspects of new paradigms and technologies in parallel computing / by: (Language materials, printed)

Information systems development = reflections, challenges and new directions / by: (Language materials, printed)

Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 2 / by: (Language materials, printed)

Advances in computer science, engineering & applications = proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.. Volume 1 / by: (Language materials, printed)

Encyclopedia of parallel computing by: (Language materials, printed)

Concise guide to databases = a practical introduction / by: (Language materials, printed)

Scala design patterns = patterns for practical reuse and design / by: (Language materials, printed)

The future of EU agricultural markets by AGMEMOD by: (Language materials, printed)

The design of cloud workflow systems by: (Language materials, printed)

Computer, informatics, cybernetics and applications = proceedings of the CICA 2011 / by: (Language materials, printed)

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

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

Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers / by: (Language materials, printed)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II / by: (Language materials, printed)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I / by: (Language materials, printed)

Engineering secure software and systems = 4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings / by: (Language materials, printed)

VLSI-SoC: Forward-Looking Trends in IC and Systems Design = 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010 : revised selected papers / by: (Language materials, printed)

NASA formal methods = 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012 : proceedings / by: (Language materials, printed)

Programming multi-agent systems = 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

Doing design ethnography by: (Language materials, printed)

Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (Language materials, printed)

Applied ontology engineering in cloud services, networks and management systems by: (Language materials, printed)

Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers / by: (Language materials, printed)

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

Using Microsoft Dynamics AX 2012 by: (Language materials, printed)

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

Software and network engineering by: (Language materials, printed)

Software product management and pricing = key success factors for software organizations / by: (Language materials, printed)

Hardware-dependent software = principles and practice / by: (Language materials, printed)

End-User development = 2nd international symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009, Proceedings / by: (Language materials, printed)

Information systems development = challenges in practice, theory, and education volume 2 / by: (Language materials, printed)

Programming languages and systems = 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Compiler construction = 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings / by: (Language materials, printed)

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

Information systems, technology and management = Third International Conference, ICISTM 2009, Ghaziabad, India, March 12-13, 2009. Proceedings / by: (Language materials, printed)

Object-oriented technology. ECOOP 2008 workshop reader = ECOOP 2008 workshops, Paphos, Cyrus, July 7-11, 2008, final reports / by: (Language materials, printed)

Euro-Par 2008 workshops - parallel processing = VHPC 2008,UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008 ; revised selected papers / by: (Language materials, printed)

The new PL/I = ... for PC, workstation and mainframe / by: (Language materials, printed)

Software verification and analysis = an integrated, hands-on approach / by: (Language materials, printed)

Practical introduction to computer architecture by: (Language materials, printed)

A concise and practical introduction to programming algorithms in java by: (Language materials, printed)

Models of computation = an introduction to computability theory / by: (Language materials, printed)

OPC unified architecture by: (Language materials, printed)

Mobile Wireless Middleware, Operating Systems and Applications = Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings / by: (Language materials, printed)

Trustworthy software development processes = International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (Language materials, printed)

Formal methods for web services = 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, advanced lectures / by: (Language materials, printed)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2009 = 9th international conference, Baton Rouge, LA, USA, May 25-27, 2009 ; proceedings.. Part II / by: (Language materials, printed)

High assurance services computing by: (Language materials, printed)

Geometric algebra = an algebraic system for computer games and animation/ by: (Language materials, printed)

Real-time security extensions for EPCglobal networks = case study for the pharmaceutical industry / by: (Language materials, printed)

Proceedings of International Conference on Internet Computing and Information Communications = ICICIC Global 2012 / by: (Language materials, printed)

IAENG transactions on engineering technologies = special issue of the World Congress on Engineering and Computer Science 2012 / by: (Language materials, printed)

Python for signal processing = featuring IPython notebooks / by: (Language materials, printed)

Synthesizable VHDL design for FPGAs by: (Language materials, printed)

Advanced in computer science and its applications = CSA 2013 / by: (Language materials, printed)

Intelligent computing, networking, and informatics = proceedings of the International Conference on Advanced Computing, Networking, and Informatics, India, June 2013 / by: (Language materials, printed)

Biometrics in the new world = the cloud, mobile technology and pervasive identity / 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)

Programming languages and operational semantics = a concise overview / by: (Language materials, printed)

Model-driven software migration = a methodology : Reengineering, recovery and modernization of legacy systems / by: (Language materials, printed)

The privacy engineer's manifesto = getting from policy to code to QA to value / by: (Language materials, printed)

Irresistible apps = motivational design patterns for apps, games, and web-based communities / by: (Language materials, printed)

Requirements engineering for digital health by: (Language materials, printed)

Advances in complex data modeling and computational methods in statistics by: (Language materials, printed)

Understanding network hacks = attack and defense with Python / by: (Language materials, printed)

A practical guide to TPM 2.0 = using the new Trusted Platform Module in the new age of security / 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)

Behavioral program synthesis with genetic programming by: (Language materials, printed)

Multidimensional views on enterprise information systems = proceedings of ERP future 2014 / 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)

Working around disruptions of network infrastructures = mobile ad-hoc systems for resilient communication in disasters / 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)

Intelligent web data management = software architectures and emerging technologies / by: (Language materials, printed)

Complete symbolic simulation of SystemC models = efficient formal verification of finite non-terminating programs / by: (Language materials, printed)

Variation based dense 3D Reconstruction = application on monocular mini-laparoscopic sequences / 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)

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

Critical infrastructures = risk and vulnerability assessment in transportation of dangerous goods : transportation by road and rail / by: (Language materials, printed)

Autonomic road transport support systems by: (Language materials, printed)

Description and selection of communication services for service oriented network architectures 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)

Agile project management using Team Foundation Server 2015 by: (Language materials, printed)

PHP 7 quick scripting reference by: (Language materials, printed)

Instruction selection = principles, methods, and applications / by: (Language materials, printed)

High performance computing in science and engineering = second International Conference, HPCSE 2015, Solan, Czech Republic, May 25-28, 2015 : revised selected papers / by: (Language materials, printed)

Transactions on engineering technologies by: (Language materials, printed)

Rolling out 5G = use cases, applications, and technology solutions / 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)

Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II / by: (Language materials, printed)

Mathematical software - ICMS 2016 = 5th International Conference, Berlin, Germany, July 11-14, 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)

Crisis management for software development and knowledge transfer by: (Language materials, printed)

Control modes on mobile software platforms = empirical studies on the importance of informal control / by: (Language materials, printed)

Social coordination frameworks for social technical systems by: (Language materials, printed)

Computer and information sciences = 31st International Symposium, ISCIS 2016, Krakow, Poland, October 27-28, 2016 : proceedings / by: (Language materials, printed)

Analyzing time interval data = introducing an information system for time interval data analysis / by: (Language materials, printed)

Distributed computing = 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016 : proceedings / by: (Language materials, printed)

ASP.NET MVC with entity framework and CSS by: (Language materials, printed)

System architecture = an ordinary engineering discipline / 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)

Coordination of complex sociotechnical systems = self-organisation of knowledge in MoK / by: (Language materials, printed)

Decision procedures = an algorithmic point of view / by: (Language materials, printed)

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

Applied computer sciences in engineering = third Workshop on Engineering Applications, WEA 2016, Bogota, Colombia, September 21-23, 2016 : revised selected papers / by: (Language materials, printed)

Programming with Python by: (Language materials, printed)

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

Models of computation by: (Language materials, printed)

Process algebras for Petri nets = the alphabetization of distributed systems / by: (Language materials, printed)

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

Structured object-oriented formal language and method = 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016 : revised selected papers / by: (Language materials, printed)

Transactions on engineering technologies = International MultiConference of Engineers and Computer Scientists 2016 / by: (Language materials, printed)

Beginning Swift games development for iOS = develop 2D and 3D games using Apple's SceneKit and SpriteKit / by: (Language materials, printed)

Euro-Par 2016 = Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers / by: (Language materials, printed)

Designing the digital transformation = 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017 : proceedings / by: (Language materials, printed)

Technologies and innovation = third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017 : proceedings / by: (Language materials, printed)

Information, communication and computing technology = Second International Conference, ICICCT 2017, New Delhi, India, May 13, 2017 : revised selected papers / by: (Language materials, printed)

The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part II / by: (Language materials, printed)

The semantic web - ISWC 2017 = 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017 : proceedings.. Part I / by: (Language materials, printed)

Towards integrative machine learning and knowledge extraction = BIRS Workshop, Banff, AB, Canada, July 24-26, 2015 : revised selected papers / by: (Language materials, printed)

Spring 5 recipes = a problem-solution approach / by: (Language materials, printed)

Pro Spring 5 = an in-depth guide to the Spring framework and its tools / by: (Language materials, printed)

Cloud broker and cloudlet for workflow scheduling by: (Language materials, printed)

Advances in artificial intelligence = from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.. Part I / by: (Language materials, printed)

Advances in artificial intelligence = from theory to practice : 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017 : proceedings.. Part II / by: (Language materials, printed)

Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings / by: (Language materials, printed)

Data analytics = 31st British International Conference on Databases, BICOD 2017, London, UK, July 10-12, 2017 : proceedings / by: (Language materials, printed)

Symbolic and quantitative approaches to reasoning with uncertainty = 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings / by: (Language materials, printed)

Theory of cryptography = 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Pro C# 7 = with .NET and .NET core / by: (Language materials, printed)

Beginning XML with C# 7 = XML processing and data access for C# developers / by: (Language materials, printed)

Organic computing - technical systems for survival in the real world by: (Language materials, printed)

Financial cryptography and data security = 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017 : revised selected papers / by: (Language materials, printed)

System level design from HW/SW to memory for embedded systems = 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguacu, Brazil, November 3-6, 2015 : proceedings / by: (Language materials, printed)

Job scheduling strategies for parallel processing = 19th and 20th International Workshops, JSSPP 2015, Hyderabad, India, May 26, 2015 and JSSPP 2016, Chicago, IL, USA, May 27, 2016 : revised selected papers / by: (Language materials, printed)

High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (Language materials, printed)

Applied computer science for GGOS observatories = communication, coordination and automation of future geodetic infrastructures / by: (Language materials, printed)

Load modelling and generation in IP-based networks = a unified approach and tool support / by: (Language materials, printed)

Essence of systems analysis and design = a workbook approach / by: (Language materials, printed)

Progress in artificial intelligence = 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017 : proceedings / by: (Language materials, printed)

Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings / by: (Language materials, printed)

Beginning Ubuntu for Windows and Mac users = start your journey into free and open source software / by: (Language materials, printed)

Programming in HTML and PHP = coding for scientists and engineers / by: (Language materials, printed)

Machine learning in medical imaging = 8th International Workshop, MLMI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017 : proceedings / by: (Language materials, printed)

Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings / by: (Language materials, printed)

Mathematical foundations of advanced informatics.. Volume 1,. Inductive approaches 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)

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)

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)

Bidirectional transformations = International Summer School, Oxford, UK, July 25-29, 2016, tutorial lectures / 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)

Optimizing data-to-learning-to-action = the modern approach to continuous performance improvement for businesses / by: (Language materials, printed)

Programming LEGO EV3 my blocks = teaching concepts and preparing for FLL Competition / 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)

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)

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)

Pro PowerShell desired state configuration = an in-depth guide to Windows PowerShell DSC / by: (Language materials, printed)

Handbook of model checking 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)

Bioinspired optimization methods and their applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 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)

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)

Agents and artificial intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017 : revised selected papers / 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)

Intelligent transport systems - from research and development to the market uptake = first International Conference, INTSYS 2017, Hyvinkaa, Finland, November 29-30, 2017 : 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)

Facilitating daily life integration of technologies for active and healthy aging = understanding demands of older adults in health technology design / by: (Language materials, printed)

Thread and data mapping for multicore systems = improving communication and memory accesses / 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)

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)

Computational science and its applications - ICCSA 2018 = 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.. Part IV / 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)

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)

Practical Bot development = designing and building Bots with Node.js and Microsoft Bot framework / by: (Language materials, printed)

REST API development with Node.js = manage and understand the full capabilities of successful REST development / 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)

Computational thinking = first algorithms, then code / 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)

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)

Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 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)

HTML5 and JavaScript projects = build on your basic knowledge of HTML5 and JavaScript to create substantial HTML5 applications / by: (Language materials, printed)

Applied computer sciences in engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.. Part I / by: (Language materials, printed)

Applied computer sciences in engineering = 5th Workshop on Engineering Applications, WEA 2018, Medellin, Colombia, October 17-19, 2018 : proceedings.. Part II / 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)

Understanding modern dive computers and operation = protocols, models, tests, data, risk and applications / 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)

Advanced concepts for intelligent vision systems = 19th International Conference, ACIVS 2018, Poitiers, France, September 24-27, 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)

Cloud computing and security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018 : revised selected papers.. Part V / by: (Language materials, printed)

Multiple criteria decision aid = methods, examples and Python implementations / 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)

Provable security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 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)

Information and communications security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 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)

Pattern recognition and computer vision = first Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018 : proceedings.. Part III / by: (Language materials, printed)

Open data exposed by: (Language materials, printed)

Practical Node.js = building real-world scalable web apps / by: (Language materials, printed)

The essential guide to HTML5 = using games to learn HTML5 and JavaScript / 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)

Cryptology and network security = 16th International Conference, CANS 2017, Hong Kong, China, November 30-December 2, 2017 : revised selected papers / 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)

Security protocols XXVI = 26th International Workshop, Cambridge, UK, March 19-21, 2018 : revised selected papers / 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)

Current trends in web engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Caceres, Spain, June 5, 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 I / 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 III / 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)

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)

Neural information processing = 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018 : proceedings.. Part VII / 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)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part III / 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)

Open problems in optimization and data analysis 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)

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

Applied computer sciences in engineering = 4th Workshop on Engineering Applications, WEA 2017, Cartagena, Colombia, September 27-29, 2017 : proceedings / by: (Language materials, printed)

Algorithmic decision theory = 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017 : proceedings / by: (Language materials, printed)

Cryptographic hardware and embedded systems - CHES 2017 = 19th International Conference, Taipei, Taiwan, September 25-28, 2017 : proceedings / by: (Language materials, printed)

Distributed applications and interoperable systems = 17th IFIP WG 6.1 International Conference, DAIS 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings / by: (Language materials, printed)

Human aspects of information security, privacy and trust = 5th International Conference, HAS 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (Language materials, printed)

Implementation and Application of Automata = 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings / by: (Language materials, printed)

Industrial applications of holonic and multi-agent systems = 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017 : proceedings / by: (Language materials, printed)

Network and parallel computing = 14th IFIP WG 10.3 International Conference, NPC 2017, Hefei, China, October 20-21, 2017 : proceedings / by: (Language materials, printed)

Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : 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)

Carl Adam Petri = ideas, personality, impact / 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)

Applied cryptography and network security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019 : 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)

Knowledge management in organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 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 I / 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)

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 III / 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)

Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II / 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)

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)

Practical Salesforce development without code = building declarative solutions on the Salesforce platform / by: (Language materials, printed)

Formal methods = an appetizer / 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)

Engineering multi-agent systems = 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018 : revised selected papers / by: (Language materials, printed)

Parallel computing technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19-23, 2019 : proceedings / by: (Language materials, printed)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part II / by: (Language materials, printed)

Computational Science and Its Applications ICCSA 2008 = International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I / by: (Language materials, printed)

Transactions on engineering technologies = World Congress on Engineering and Computer Science 2015 / by: (Language materials, printed)

Beginning Amazon Web Services with Node.js 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)

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)

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)

Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / 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)

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

Introduction to React 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)

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)

Microservices, IoT and Azure = Leveraging DevOps and Microservice Architecture to deliver SaaS Solutions / 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)

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)

Pro XAML with C# = Application Development Strategies (covers WPF, Windows 8.1, and Windows Phone 8.1) / 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)

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)

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)

Optimization Methods, Theory and Applications 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)

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

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

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

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

Beginning JSON by: (Language materials, printed)

Mit Scrum zum gewünschten System 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)

Mobile and Wireless Technology 2015 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)

Spring REST 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)

Swift for Absolute Beginners 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)

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

Petri Net Synthesis 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)

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)

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)

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)

Continuous Delivery with Visual Studio ALM 2015 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)

Parallel Computing Technologies = 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings / 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)

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

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

Learning MATLAB = A Problem Solving Approach / 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)

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

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

Beginning Python Games Development, Second Edition = With PyGame / 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)

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

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

Agile Product Development = How to Design Innovative Products That Create Customer Value / 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)

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

Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods = Transportation by Road and Rail / 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)

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

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

Intelligent Web Data Management: Software Architectures and Emerging Technologies 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)

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

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

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

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

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

Wechselwirkung = Wie Prinzipien der Software die Philosophie verändern / 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)

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

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

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

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

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

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

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

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

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

Instruction Selection = Principles, Methods, and Applications / 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)

Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung / 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)

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

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

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

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

WordPress = Einführung in das Content Management System / 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)

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)

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)

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

Architekturbasiertes IT-Alignment = Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT / 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)

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)

Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / 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)

Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / 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)

SQL- & NoSQL-Datenbanken by: (Language materials, printed)

Rolling Out 5G = Use Cases, Applications, and Technology Solutions / by: (Language materials, printed)

Transactions on Engineering Technologies 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)

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)

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)

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)

Optimizing Data-to-Learning-to-Action = The Modern Approach to Continuous Performance Improvement for Businesses / by: (Language materials, printed)

Provable Security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / 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)

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)

REST API Development with Node.js = Manage and Understand the Full Capabilities of Successful REST Development / by: (Language materials, printed)

Mathematical Foundations of Advanced Informatics = Volume 1: Inductive Approaches / by: (Language materials, printed)

Practical Node.js = Building Real-World Scalable Web Apps / 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)

Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 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)

Social, Cultural, and Behavioral Modeling = 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 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)

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)

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)

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)

Music Technology with Swing = 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers / 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)

Big Data Technologies and Applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, 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)

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)

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 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)

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)

Open Problems in Optimization and Data Analysis 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)

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)

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)

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)

Computer Science – CACIC 2017 = 23rd Argentine Congress, La Plata, Argentina, October 9-13, 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)

Advances in Computing = 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 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)

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)

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)

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)

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)

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)

Multi-Disciplinary Digital Signal Processing = A Functional Approach Using Matlab / 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)

Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI / 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)

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)

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)

Computational Thinking = First Algorithms, Then Code / by: (Language materials, printed)

Technology Trends = Third International Conference, CITT 2017, Babahoyo, Ecuador, November 8-10, 2017, Proceedings / 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)

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)

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)

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)

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)

Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / 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)

Wireless Sensor Networks = 11th China Wireless Sensor Network Conference, CWSN 2017, Tianjin, China, October 12-14, 2017, Revised Selected Papers / by: (Language materials, printed)

Programmierung mit PASCAL = Eine Einführung für Programmieranfänger / 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)

Algorithmen für Ingenieure = Technische Realisierung mit Excel und VBA / 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)

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)

Software Due Diligence = Softwareentwicklung als Asset bewertet / 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)

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)

Advanced Gear Engineering 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)

Grundkurs Mobile Kommunikationssysteme = LTE-Advanced Pro, UMTS, HSPA, GSM, GPRS, Wireless LAN und Bluetooth / 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)

Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition = Anwenderwissen zur Unternehmenslösung von Microsoft / 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)

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)

Low Earth Orbit Satellite Design 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)

Illustrated C# 7 = The C# Language Presented Clearly, Concisely, and Visually / 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)

Programmieren für Ingenieure und Naturwissenschaftler = Intelligente Algorithmen und digitale Technologien / 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)

Pro JavaFX 9 = A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients / by: (Language materials, printed)

Programming LEGO® EV3 My Blocks = Teaching Concepts and Preparing for FLL® Competition / 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)

Computing, Analytics and Networks = First International Conference, ICAN 2017, Chandigarh, India, October 27-28, 2017, Revised Selected Papers / 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)

Learn Computer Science with Swift = Computation Concepts, Programming Paradigms, Data Management, and Modern Component Architectures with Swift and Playgrounds / 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)

Agile Methods = 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers / by: (Language materials, printed)

Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by: (Language materials, printed)

Provable Security = 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1–4, 2019, Proceedings / 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)

Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / by: (Language materials, printed)

SQL & NoSQL Databases = Models, Languages, Consistency Options and Architectures for Big Data Management / 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)

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)

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)

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)

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)

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)

Applied Cryptography and Network Security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings / 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)

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)

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)

High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers / 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)

The Multi-Agent Programming Contest 2018 = Agents Teaming Up in an Urban Environment / by: (Language materials, printed)

Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings / 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)

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)

Digitale Dienstleistungsinnovationen = Smart Services agil und kundenorientiert entwickeln / 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)

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)

Planetary Spacecraft Navigation by: (Language materials, printed)

Project Management = A Benefit Realisation Approach / 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)

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)

Transactions on Computational Science XXXIV by: (Language materials, printed)

Introducing Maven = A Build Tool for Today's Java Developers / 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)

Networked Systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers / 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)

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)

Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / 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)

Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 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)

Ambient Intelligence = 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings / by: (Language materials, printed)

Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 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)

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)

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)

Technologies and Innovation = 5th International Conference, CITI 2019, Guayaquil, Ecuador, December 2–5, 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)

Patterns kompakt = Entwurfsmuster für effektive Softwareentwicklung / 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)

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)

Pro Spring Security = Securing Spring Framework 5 and Boot 2-based Java Applications / 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)

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)

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)

Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings / 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)

Formal Methods = An Appetizer / by: (Language materials, printed)

Software Engineering Paralleler Systeme = Grundlagen, Algorithmen, Programmierung / by: (Language materials, printed)

Angewandte Netzwerktechnik kompakt = Dateiformate, Übertragungsprotokolle und ihre Nutzung in Java-Applikationen / 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)

Discovery Science = 22nd International Conference, DS 2019, Split, Croatia, October 28–30, 2019, Proceedings / by: (Language materials, printed)

Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 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)

Pattern Recognition = 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26–29, 2019, Proceedings / 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)

Agile Methods = 10th Brazilian Workshop, WBMA 2019, Belo Horizonte, Brazil, September 11, 2019, Revised Selected Papers / by: (Language materials, printed)

Raspberry Pi – Das technische Handbuch = Konfiguration, Hardware, Applikationsentwicklung / 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)

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)

Job Scheduling Strategies for Parallel Processing = 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers / 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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

Dialog zwischen Mensch und Maschine = Conversational User Interfaces, intelligente Assistenten und Voice-Systeme / by: (Language materials, printed)

Raspberry Pi im Informatik- und Technikunterricht = Konzeption eines handlungs- und problemorientierten Unterrichts mit der MicroBerry-Lernumgebung / 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)

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)

Beginning Jakarta EE Web Development = Using JSP, JSF, MySQL, and Apache Tomcat for Building Java Web Applications / 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)

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)

Hybrid Artificial Intelligent Systems = 15th International Conference, HAIS 2020, Gijón, Spain, November 11-13, 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 III / by: (Language materials, printed)

Parallel Agile – faster delivery, fewer defects, lower cost 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)

Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, 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 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)

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)

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)

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)

Rules and Reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / 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)

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)

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)

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)

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)

Advances in Information and Computer Security = 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings / 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)

Business Modeling and Software Design = 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings / 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)

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)

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)

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)

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)

Intelligent Computer Mathematics = 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / by: (Language materials, printed)

Wireless Internet = 12th EAI International Conference, WiCON 2019, TaiChung, Taiwan, November 26–27, 2019, Proceedings / by: (Language materials, printed)

Intelligent Human Computer Interaction = 11th International Conference, IHCI 2019, Allahabad, India, December 12–14, 2019, Proceedings / by: (Language materials, printed)

Business Standard Compliance and Requirements Validation Using Goal Models 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)

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)

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)

Beyond Interactions = INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers / 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)

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)

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)

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)

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)

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)

Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest / 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)

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)

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)

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)

Interactive Collaborative Robotics = 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 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)

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)

Information and Software Technologies = 26th International Conference, ICIST 2020, Kaunas, Lithuania, October 15–17, 2020, Proceedings / 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)

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)

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)

Neue Möglichkeiten für die Motorsteuergeräte-Software durch Car-to-Cloud-Vernetzung 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)

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)

Computational Science and Its Applications – ICCSA 2020 = 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V / 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)

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)

Design Patterns in .NET Core 3 = Reusable Approaches in C# and F# for Object-Oriented Software Design / 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)

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)

Software Architecture = 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 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)

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)

Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / 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)

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)

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)

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)

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)

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)

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)

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)

The Agile Codex = Re-inventing Agile Through the Science of Invention and Assembly / by: (Language materials, printed)

Software Engineering and Algorithms = Proceedings of 10th Computer Science On-line Conference 2021, Vol. 1 / by: (Language materials, printed)

Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by: (Language materials, printed)

Computational Science and Its Applications – ICCSA 2021 = 21st International Conference, Cagliari, Italy, September 13–16, 2021, Proceedings, Part X / by: (Language materials, printed)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 16th European Conference, ECSQARU 2021, Prague, Czech Republic, September 21–24, 2021, Proceedings / by: (Language materials, printed)

Applied Technologies = Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings / by: (Language materials, printed)

Chinese Lexical Semantics = 21st Workshop, CLSW 2020, Hong Kong, China, May 28–30, 2020, Revised Selected Papers / by: (Language materials, printed)

Petri Nets for Modeling of Large Discrete Systems by: (Language materials, printed)

Computational Sciences - Modelling, Computing and Soft Computing = First International Conference, CSMCS 2020, Kozhikode, Kerala, India, September 10-12, 2020, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence in Music, Sound, Art and Design = 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Requirements Engineering: Foundation for Software Quality = 27th International Working Conference, REFSQ 2021, Essen, Germany, April 12–15, 2021, Proceedings / by: (Language materials, printed)

Grundkurs Relationale Datenbanken = Einführung in die Praxis der Datenbankentwicklung für Ausbildung, Studium und IT-Beruf / by: (Language materials, printed)

Distributed Computing and Internet Technology = 17th International Conference, ICDCIT 2021, Bhubaneswar, India, January 7–10, 2021, Proceedings / by: (Language materials, printed)

Theoretical Computer Science = 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers / by: (Language materials, printed)

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future = Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement / by: (Language materials, printed)

Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings / by: (Language materials, printed)

Trustworthy AI - Integrating Learning, Optimization and Reasoning = First International Workshop, TAILOR 2020, Virtual Event, September 4–5, 2020, Revised Selected Papers / by: (Language materials, printed)

Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings / by: (Language materials, printed)

Datenschutz für Softwareentwicklung und IT = Eine praxisorientierte Einführung / by: (Language materials, printed)

Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers / by: (Language materials, printed)

Embedded Software Timing = Methodik, Analyse und Praxistipps am Beispiel Automotive / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends = 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV / by: (Language materials, printed)

Soft Computing and its Engineering Applications = Second International Conference, icSoftComp 2020, Changa, Anand, India, December 11–12, 2020, Proceedings / by: (Language materials, printed)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection = 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings / by: (Language materials, printed)

Service-Oriented Computing = 15th Symposium and Summer School, SummerSOC 2021, Virtual Event, September 13–17, 2021, Proceedings / by: (Language materials, printed)

Networked Systems = 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3–5, 2020, Proceedings / by: (Language materials, printed)

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops = ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers / by: (Language materials, printed)

Lean and Agile Software Development = 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings / by: (Language materials, printed)

Multi-Agent-Based Simulation XXI = 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / by: (Language materials, printed)

Patterns in the Machine = A Software Engineering Guide to Embedded Development / by: (Language materials, printed)

Software Business = 11th International Conference, ICSOB 2020, Karlskrona, Sweden, November 16–18, 2020, Proceedings / by: (Language materials, printed)

Collaborative Computing: Networking, Applications and Worksharing = 16th EAI International Conference, CollaborateCom 2020, Shanghai, China, October 16–18, 2020, Proceedings, Part I / by: (Language materials, printed)

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection = International Workshops of PAAMS 2021, Salamanca, Spain, October 6–9, 2021, Proceedings / by: (Language materials, printed)

Software Engineering for Absolute Beginners = Your Guide to Creating Software Products / by: (Language materials, printed)

Model-Driven Engineering and Software Development = 8th International Conference, MODELSWARD 2020, Valletta, Malta, February 25–27, 2020, Revised Selected Papers / by: (Language materials, printed)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing by: (Language materials, printed)

Software Quality: Future Perspectives on Software Engineering Quality = 13th International Conference, SWQD 2021, Vienna, Austria, January 19–21, 2021, Proceedings / by: (Language materials, printed)

Constructive Side-Channel Analysis and Secure Design = 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers / by: (Language materials, printed)

Smart Cities = Third Ibero-American Congress, ICSC-Cities 2020, San José, Costa Rica, November 9-11, 2020, Revised Selected Papers / by: (Language materials, printed)

Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive / by: (Language materials, printed)

Excel + VBA für Ingenieure = Programmieren erlernen und technische Fragestellungen lösen / by: (Language materials, printed)

Advanced Computing = 10th International Conference, IACC 2020, Panaji, Goa, India, December 5–6, 2020, Revised Selected Papers, Part II / by: (Language materials, printed)

Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by: (Language materials, printed)

PRIMA 2020: Principles and Practice of Multi-Agent Systems = 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings / by: (Language materials, printed)

Public-Key Cryptography – PKC 2021 = 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part II / by: (Language materials, printed)

Enterprise Information Systems = 22nd International Conference, ICEIS 2020, Virtual Event, May 5–7, 2020, Revised Selected Papers / by: (Language materials, printed)

Resilience in the Digital Age by: (Language materials, printed)

Integer Programming and Combinatorial Optimization = 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Digital Customer Experience Engineering = Strategies for Creating Effective Digital Experiences / by: (Language materials, printed)

Applied Computer Sciences in Engineering = 8th Workshop on Engineering Applications, WEA 2021, Medellín, Colombia, October 6–8, 2021, Proceedings / by: (Language materials, printed)

Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I / by: (Language materials, printed)

Design Thinking Research = Translation, Prototyping, and Measurement / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLVIII = Special Issue In Memory of Univ. Prof. Dr. Roland Wagner / by: (Language materials, printed)

NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: (Language materials, printed)

Concise Guide to Databases = A Practical Introduction / by: (Language materials, printed)

AIxIA 2020 – Advances in Artificial Intelligence = XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25–27, 2020, Revised Selected Papers / by: (Language materials, printed)

Search-Based Software Engineering = 13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings / by: (Language materials, printed)

Cybersecurity in Emerging Digital Era = First International Conference, ICCEDE 2020, Greater Noida, India, October 9-10, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Computational Collective Intelligence = 13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by: (Language materials, printed)

Blockchain Intelligence = Methods, Applications and Challenges / by: (Language materials, printed)

Logic, Computation and Rigorous Methods = Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday / by: (Language materials, printed)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by: (Language materials, printed)

Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers / by: (Language materials, printed)

Formal Techniques for Distributed Objects, Components, and Systems = 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming = 22nd International Conference on Agile Software Development, XP 2021, Virtual Event, June 14–18, 2021, Proceedings / by: (Language materials, printed)

Coordination Models and Languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 21st IFIP WG 6.1 International Conference, DAIS 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings / by: (Language materials, printed)

Advanced Information Systems Engineering Workshops = CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings / by: (Language materials, printed)

Artificial Intelligence in Education = 22nd International Conference, AIED 2021, Utrecht, The Netherlands, June 14–18, 2021, Proceedings, Part I / by: (Language materials, printed)

SOFSEM 2021: Theory and Practice of Computer Science = 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings / by: (Language materials, printed)

Cyber-Physical Security for Critical Infrastructures Protection = First International Workshop, CPS4CIP 2020, Guildford, UK, September 18, 2020, Revised Selected Papers / by: (Language materials, printed)

Lean Software Systems Engineering for Developers = Managing Requirements, Complexity, Teams, and Change Like a Champ / by: (Language materials, printed)

Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, Proceedings / by: (Language materials, printed)

Intelligent Information Systems = CAiSE Forum 2021, Melbourne, VIC, Australia, June 28 – July 2, 2021, Proceedings / by: (Language materials, printed)

Perception, Representations, Image, Sound, Music = 14th International Symposium, CMMR 2019, Marseille, France, October 14–18, 2019, Revised Selected Papers / by: (Language materials, printed)

Service-Oriented Computing – ICSOC 2020 Workshops = AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings / by: (Language materials, printed)

Advances in Model and Data Engineering in the Digitalization Era = MEDI 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021, Proceedings / by: (Language materials, printed)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by: (Language materials, printed)

High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings / by: (Language materials, printed)

Enterprise, Business-Process and Information Systems Modeling = 22nd International Conference, BPMDS 2021, and 26th International Conference, EMMSAD 2021, Held at CAiSE 2021, Melbourne, VIC, Australia, June 28–29, 2021, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 20th International Conference, ICAISC 2021, Virtual Event, June 21–23, 2021, Proceedings, Part I / by: (Language materials, printed)

Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers / by: (Language materials, printed)

Runtime Verification = 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings / by: (Language materials, printed)

Tests and Proofs = 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings / by: (Language materials, printed)

Big Data and Security = Second International Conference, ICBDS 2020, Singapore, Singapore, December 20–22, 2020, Revised Selected Papers / by: (Language materials, printed)

Information and Software Technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings / by: (Language materials, printed)

Modern Problems of Robotics = Second International Conference, MPoR 2020, Moscow, Russia, March 25–26, 2020, Revised Selected Papers / by: (Language materials, printed)

Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers / by: (Language materials, printed)

Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / by: (Language materials, printed)

End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings / by: (Language materials, printed)

Advances in Conceptual Modeling = ER 2021 Workshops CoMoNoS, EmpER, CMLS St. John's, NL, Canada, October 18–21, 2021, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation = 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings / by: (Language materials, printed)

Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by: (Language materials, printed)

Conceptual Modeling = 40th International Conference, ER 2021, Virtual Event, October 18–21, 2021, Proceedings / by: (Language materials, printed)

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: (Language materials, printed)

Fundamentals of Software Engineering = 9th International Conference, FSEN 2021, Virtual Event, May 19–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Statistical Language and Speech Processing = 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings / by: (Language materials, printed)

Requirements Engineering for Social Sector Software Applications = Innovating for a Diverse Set of User Needs / by: (Language materials, printed)

Advances in Computational Intelligence = 20th Mexican International Conference on Artificial Intelligence, MICAI 2021, Mexico City, Mexico, October 25–30, 2021, Proceedings, Part I / by: (Language materials, printed)

Agile Processes in Software Engineering and Extreme Programming – Workshops = XP 2021 Workshops, Virtual Event, June 14–18, 2021, Revised Selected Papers / by: (Language materials, printed)

Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by: (Language materials, printed)

Architekturen Verteilter Softwaresysteme = SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration / by: (Language materials, printed)

Emerging Technologies in Computing = 4th EAI/IAER International Conference, iCETiC 2021, Virtual Event, August 18–19, 2021, Proceedings / by: (Language materials, printed)

Theory and Practice of Natural Computing = 10th International Conference, TPNC 2021, Virtual Event, December 7–10, 2021, Proceedings / by: (Language materials, printed)

Formal Aspects of Component Software = 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings / by: (Language materials, printed)

Domain Science and Engineering = A Foundation for Software Development / by: (Language materials, printed)

Formal Methods = 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings / by: (Language materials, printed)

The Practice of Enterprise Modeling = 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings / by: (Language materials, printed)

Hybrid High-Order Methods = A Primer with Applications to Solid Mechanics / by: (Language materials, printed)

HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by: (Language materials, printed)

Secure IT Systems = 26th Nordic Conference, NordSec 2021, Virtual Event, November 29–30, 2021, Proceedings / by: (Language materials, printed)

Smart and Sustainable Collaborative Networks 4.0 = 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings / by: (Language materials, printed)

Technologies and Innovation = 7th International Conference, CITI 2021, Guayaquil, Ecuador, November 22–25, 2021, Proceedings / by: (Language materials, printed)

HCI International 2021 - Late Breaking Papers: HCI Applications in Health, Transport, and Industry = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021 Proceedings / by: (Language materials, printed)

Advances in Visual Informatics = 7th International Visual Informatics Conference, IVIC 2021, Kajang, Malaysia, November 23–25, 2021, Proceedings / by: (Language materials, printed)

Advanced Research in Technologies, Information, Innovation and Sustainability = First International Conference, ARTIIS 2021, La Libertad, Ecuador, November 25–27, 2021, Proceedings / by: (Language materials, printed)

Software Engineering Application in Informatics = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 1 / by: (Language materials, printed)

Data Science and Intelligent Systems = Proceedings of 5th Computational Methods in Systems and Software 2021, Vol. 2 / by: (Language materials, printed)

Electronic Government = 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings / by: (Language materials, printed)

Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by: (Language materials, printed)

Excel + VBA in der Stochastik = Eine praxisbezogene Einführung / by: (Language materials, printed)

Knowledge Graphs and Semantic Web = Third Iberoamerican Conference and Second Indo-American Conference, KGSWC 2021, Kingsville, Texas, USA, November 22–24, 2021, Proceedings / by: (Language materials, printed)

Product-Focused Software Process Improvement = 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings / by: (Language materials, printed)

Formal Methods: Foundations and Applications = 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings / by: (Language materials, printed)

Software Business = 12th International Conference, ICSOB 2021, Drammen, Norway, December 2–3, 2021, Proceedings / by: (Language materials, printed)

Intelligent Systems = 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 – December 3, 2021, Proceedings, Part I / by: (Language materials, printed)

Advances in Cryptology – ASIACRYPT 2021 = 27th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 6–10, 2021, Proceedings, Part II / by: (Language materials, printed)

Networked Systems = 9th International Conference, NETYS 2021, Virtual Event, May 19–21, 2021, Proceedings / by: (Language materials, printed)

Deceptive AI = First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings / by: (Language materials, printed)

Human-Computer Interaction = 7th Iberoamerican Workshop, HCI-COLLAB 2021, Sao Paulo, Brazil, September 8–10, 2021, Proceedings / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems L by: (Language materials, printed)

Progress in Cryptology – INDOCRYPT 2021 = 22nd International Conference on Cryptology in India, Jaipur, India, December 12–15, 2021, Proceedings / by: (Language materials, printed)

Economics of Grids, Clouds, Systems, and Services = 18th International Conference, GECON 2021, Virtual Event, September 21–23, 2021, Proceedings / by: (Language materials, printed)

Cryptology and Network Security = 20th International Conference, CANS 2021, Vienna, Austria, December 13-15, 2021, Proceedings / by: (Language materials, printed)

Critical Information Infrastructures Security = 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers / by: (Language materials, printed)

Data Science and Computational Intelligence = Sixteenth International Conference on Information Processing, ICInPro 2021, Bengaluru, India, October 22–24, 2021, Proceedings / by: (Language materials, printed)

Objektbasierte Programmierung mit Go by: (Language materials, printed)