Special Purpose and Application-Based Systems.

Pro Service-Oriented Smart Clients with .NET 2.0 by: (Language materials, printed)

Reliable Software Technology - Ada-Europe 2005 = 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings / by: (Language materials, printed)

Nonlinear Speech Modeling and Applications = Advanced Lectures and Revised Selected Papers / by: (Language materials, printed)

Socionics : = Scalability of Complex Social Systems by: (Language materials, printed)

Moving Wearables into the Mainstream = Taming the Borg / by: (Language materials, printed)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. II by: (Language materials, printed)

The Definitive Guide to Django = Web Development Done Right / by: (Language materials, printed)

Coordination models and languages = 10th international conference, coordination 2008, Oslo, Norway, June 4-6, 2008. proceedings / by: (Language materials, printed)

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

Reliable Software Technologies Ada-Europe 2008 = 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings / by: (Language materials, printed)

E-Government Ict Professionalism and Competences Service Science by: (Language materials, printed)

Practical django projects by: (Language materials, printed)

Mobile services for toy computing by: (Language materials, printed)

E-Voting and identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015 : proceedings / by: (Language materials, printed)

Latent variable analysis and signal separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015 : proceedings / by: (Language materials, printed)

E-Business @ Print = Internet-Based Services and Processes / by: (Language materials, printed)

Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part III / by: (Language materials, printed)

JDF : = Process Integration, Technology, Product Description by: (Language materials, printed)

Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part II / by: (Language materials, printed)

Intelligent robotics and applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015 : proceedings.. Part I / by: (Language materials, printed)

Functional Verification of Programmable Embedded Architectures = A Top-Down Approach / by: (Language materials, printed)

SharePoint 2003 User's Guide by: (Language materials, printed)

Hybrid Systems: Computation and Control = 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings / by: (Language materials, printed)

Principles of Distributed Systems = 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers / by: (Language materials, printed)

Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (Language materials, printed)

Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (Language materials, printed)

Embedded and Ubiquitous Computing - EUC 2005 Workshops : = EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 8-9, 2005 by: (Language materials, printed)

Defence Industry Applications of Autonomous Agents and Multi-Agent Systems by: (Language materials, printed)

Formal methods for computational systems biology = 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures / by: (Language materials, printed)

Data and Applications Security XXII = 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings / by: (Language materials, printed)

GeoSensor Networks = Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / by: (Language materials, printed)

Grids, clouds and virtualization by: (Language materials, printed)

Views on evolvability of embedded systems by: (Language materials, printed)

Information Security Applications = 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers / by: (Language materials, printed)

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices = International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers by: (Language materials, printed)

Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / 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)

Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (Language materials, printed)

Self-Stabilizing Systems : = 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005 by: (Language materials, printed)

Technologies for Advanced Heterogeneous Networks : = First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005, Proceedings by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems : = Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings by: (Language materials, printed)

Simulator-based human factors studies across 25 years = the history of the Halden Man-Machine Laboratory / by: (Language materials, printed)

Computer And Computing Technologies In Agriculture. = First IFIP TC 12 International Conference on Computer and Computing Technologies in Agriculture (CCTA 2007), Wuyishan, China, August 18-20, 2007 /. I by: (Language materials, printed)

Event-Triggered and Time-Triggered Control Paradigms by: (Language materials, printed)

Cyberspace Security and Defense: Research Issues = Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6-9 September 2004 / by: (Language materials, printed)

UML for SOC Design by: (Language materials, printed)

New Algorithms, Architectures and Applications for Reconfigurable Computing by: (Language materials, printed)

Information security = 13th international conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010 : revised selected papers / by: (Language materials, printed)

Multi-agent-based simulation XI = international workshop, MABS 2010, Toronto, Canada, May 11, 2010 : revised selected papers / by: (Language materials, printed)

Pervasive computing = 6th international conference, Pervasive 2008, Sydney, Australia, May 19-22, 2008 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers / by: (Language materials, printed)

Agents for games and simulations II = trends in techniques, concepts and design / by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part I / by: (Language materials, printed)

Persuasive Technology = Third International Conference, PERSUASIVE 2008, Oulu, Finland, June 4-6, 2008. Proceedings / by: (Language materials, printed)

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

Reconfigurable RF power amplifiers on silicon for wireless handsets by: (Language materials, printed)

Model-Driven Development of Reliable Automotive Services = Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers / by: (Language materials, printed)

Hybrid Systems: Computation and Control = 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 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)

Wireless sensor networks = 8th European conference, EWSN 2011, Bonn, Germany, February 23-25, 2011 : proceedings / by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part II / by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part III / by: (Language materials, printed)

Computer and computing technologies in agriculture IV = 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22 - 25, 2010 : selected papers.. Part IV / by: (Language materials, printed)

XML for Bioinformatics by: (Language materials, printed)

Beginning PHP and MySQL E-Commerce = From Novice to Professional / by: (Language materials, printed)

Innovation in Manufacturing Networks = Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / by: (Language materials, printed)

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

Communication technologies for vehicles = third international workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011 : proceedings / by: (Language materials, printed)

Office and SharePoint 2007 User's Guide = Integrating SharePoint with Excel, Outlook, Access, and Word / by: (Language materials, printed)

Switching and Learning in Feedback Systems = European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers / by: (Language materials, printed)

Computer Music Modeling and Retrieval = Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004, Revised Papers / by: (Language materials, printed)

Dynamic management of sustainable development = methods for large technical systems / by: (Language materials, printed)

Data and Applications Security XIX = 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings / by: (Language materials, printed)

Software technologies for embedded and ubiquitous systems = 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi [i.e. Anacapri] Capri Island, Italy, October 1-3, 2008 ; proceedings / by: (Language materials, printed)

OFDM = concepts for future communication systems / by: (Language materials, printed)

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling : = Third International Conference, VS 2005, Strasbourg, France, November 30-December 2, 2005, Proceedings by: (Language materials, printed)

Network Performance Analysis = Using the J Programming Language / by: (Language materials, printed)

Interactive storytelling = First Joint International Conference on Interactive Digital Storytelling, ICIDS 2008, Erfurt, Germany, November 26-29, 2008, proceedings / by: (Language materials, printed)

Advances in power electronics and instrumentation engineering = second international conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011 : proceedings / by: (Language materials, printed)

Real-time systems = design principles for distributed embedded applications / by: (Language materials, printed)

Retargetable Processor System Integration into Multi-Processor System-on-Chip Platforms by: (Language materials, printed)

Pervasive Computing = Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005, Proceedings / by: (Language materials, printed)

Information Security = 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings / by: (Language materials, printed)

Cryptographic Hardware and Embedded Systems - CHES 2005 = 7th International Workshop, Edinburgh, UK, August 29 - September 1, 2005, Proceedings / by: (Language materials, printed)

Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (Language materials, printed)

Sensing and systems in pervasive computing = engineering context aware systems / by: (Language materials, printed)

Wireless Sensor Networks = 5th European Conference, EWSN 2008, Bologna, Italy, January 30-February 1, 2008. Proceedings / by: (Language materials, printed)

Toward useful services for elderly and people with disabilities = 9th international conference on smart homes and health telematics, ICOST 2011, Montreal, Canada, June 20-22, 2011 : proceedings / by: (Language materials, printed)

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (Language materials, printed)

Virtual and mixed reality = new trends : international conference, virtual and mixed reality 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part I / by: (Language materials, printed)

Virtual and mixed reality = systems and applications : international conference, virtual and mixed reality 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part II / by: (Language materials, printed)

Human interface and the management of information = interacting with information : symposium on human interface 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part I / by: (Language materials, printed)

Building innovation pipelines through computer-aided innovation = 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 - July 1, 2011. Proceedings / by: (Language materials, printed)

Embedded systems design based on formal models of computation by: (Language materials, printed)

Security trends for FPGAS = from secured to secure reconfigurable systems / by: (Language materials, printed)

Cryptographic Hardware and Embedded Systems -- CHES 2008 = 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / by: (Language materials, printed)

GeoSpatial semantics = 4th international conference, GeoS 2011, Brest, France, May 12-13, 2011 : proceedings / by: (Language materials, printed)

Biometric Systems = Technology, Design and Performance Evaluation / by: (Language materials, printed)

Embedded Systems Design = The ARTIST Roadmap for Research and Development / by: (Language materials, printed)

Ubiquitous Computing Systems = Second International Symposium, UCS, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers / by: (Language materials, printed)

Advances in Biometric Person Authentication : = International Workshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22 - 23, 2005, Proceedings by: (Language materials, printed)

Automated Technology for Verification and Analysis : = Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings by: (Language materials, printed)

Enterprise Applications and Services in the Finance Industry = 3rd International Workshop, FinanceCom 2007, Montreal, Canada, December 8, 2007. Revised Papers / by: (Language materials, printed)

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support = Results of the IMPROVE Project / by: (Language materials, printed)

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

Communications infrastructure = systems and applications in Europe : first international ICST conference, EuropeComm 2009, London, UK, August 11 - 13, 2009 : revised selected papers / by: (Language materials, printed)

Quality of service in heterogeneous networks = 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2009 and 3rd International Workshop on Advanced Architectures and Algorithms for Internet Delivery and Applications, AAA-IDEA 2009, Las Palmas, Gran Canaria, November 23 - 25, 2009 : Proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 : proceedings / by: (Language materials, printed)

Learning and intelligent optimization = third international conference, LION 3, Trento, Italy, January 14-18, 2009 : selected papers / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 11th international symposium, SSS 2009, Lyon, France, November 3-6, 2009 : proceedings / by: (Language materials, printed)

Artificial intelligence and computational intelligence = International Conference, AICI 2009, Shanghai, China, November 7-8, 2009 : proceedings / by: (Language materials, printed)

Ambient intelligence = European Conference, AmI 2009, Salzburg, Austria, November 18-21, 2009 : proceedings / by: (Language materials, printed)

Software technologies for embedded and ubiquitous systems = 7th IFIP WG 10.2 international workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 : proceedings / by: (Language materials, printed)

GeoSpatial semantics = third international conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009 : proceedings / by: (Language materials, printed)

Web and Wireless Geographical Information Systems = 9th International Symposium, W2GIS 2009, Maynooth, Ireland, December 7-8, 2009 : proceedings / by: (Language materials, printed)

Self-organizing systems = 4th IFIP TC 6 International Workshop, IWSOS 2009, Zurich, Switzerland, December 9-11, 2009 : proceedings / by: (Language materials, printed)

Advances in security technology = International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Advances in communication and networking = Second International Conference on Future Generation Communication and Networking : FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Pro BizTalk 2009 by: (Language materials, printed)

Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings / by: (Language materials, printed)

Modelling autonomic communications environments = fourth IEEE international workshop, MACE 2009, Venice, Italy, October 26-27, 2009 : proceedings / by: (Language materials, printed)

Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (Language materials, printed)

Robust and online large-scale optimization = models and techniques for transportation systems / by: (Language materials, printed)

Architecting dependable systems VI by: (Language materials, printed)

Nano-Net = 4th International ICST Conference, Nano-Net 2009, Lucerne, Switzerland, October 18-20, 2009 : proceedings / 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)

Foundation Blender compositing by: (Language materials, printed)

Software services for e-Business and e-Society = 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society, I3E 2009, Nancy, France, September 23-25, 2009 : proceedings / by: (Language materials, printed)

Analysis, architectures and modelling of embedded systems = Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (Language materials, printed)

The definitive guide to catalyst = writing extensible, scalable, and maintainable Perl-based Web applications / by: (Language materials, printed)

Haptic and audio interaction design = 4th international conference, HAID 2009 Dresden, Germany, September 10-11, 2009 : proceedings / by: (Language materials, printed)

E-voting and identity = second international conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009 : proceedings / by: (Language materials, printed)

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

Mobile entity localization and tracking in GPS-less environnments = Second International Workshop, MELT 2009, Orlando, FL, USA, September 30, 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)

Smart sensing and context = 4th European conference, EuroSSC 2009, Guildford, UK, September 16-18, 2009 : proceedings / by: (Language materials, printed)

Information security = 12th international conference, ISC 2009, Pisa, Italy, September 7-9, 2009 : proceedings / by: (Language materials, printed)

Growth and development of computer aided innovation = third IFIP WG 5.4 working conference, CAI 2009, Harbin, China, August 20-21, 2009 : proceedings / by: (Language materials, printed)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part I / by: (Language materials, printed)

Advances in neuro-information processing = 15th international conference, ICONIP 2008, Auckland, New Zealand, November 25-28, 2008 ; revised selected papers.. Part II / by: (Language materials, printed)

Personal Satellite Services = International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009 : revised selected papers / by: (Language materials, printed)

Grid economics and business models = 6th international workshop, GECON 2009, Delft, The Netherlands, August 24, 2009. Proceedings / by: (Language materials, printed)

The definitive guide to Django = Web development done right / by: (Language materials, printed)

Practical django projects by: (Language materials, printed)

Grid and distributed computing = international conference, GDC 2009, held as part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Language materials, printed)

Signal processing, image processing, and pattern recognition = international conference, SIP 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)

Handbook of data intensive computing by: (Language materials, printed)

Microelectronic systems = circuits, systems and applications / by: (Language materials, printed)

Social robotics = third international conference, ICSR 2011, Amsterdam, The Netherlands, November 24-25, 2011 : proceedings / by: (Language materials, printed)

Advances in communication and networking : = Second International Conference on Future Generation Communication and Networking : FGCN 2008, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Advances in security technology : = International Conference, SecTech 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008 : revised selected papers / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 13th international Symposium, SSS 2011, Grenoble, France, October 10-12, 2011 : proceedings / by: (Language materials, printed)

Information security = 14th international conference, ISC 2011, Xi'an, China, October 26-29, 2011 : proceedings / by: (Language materials, printed)

Hard real-time computing systems = predictable scheduling algorithms and applications / by: (Language materials, printed)

Computer safety, reliability, and security = 30th international conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011 : proceedings / by: (Language materials, printed)

Exploring music contents = 7th international symposium, CMMR 2010, Malaga, Spain, June 21-24, 2010 : revised papers / by: (Language materials, printed)

Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings / by: (Language materials, printed)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part I / by: (Language materials, printed)

Euro-Par 2011 parallel processing = 17th international conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011 : proceedings.. Part II / by: (Language materials, printed)

Future access enablers for ubiquitous and intelligent infrastructures = first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015 : revised selected papers / by: (Language materials, printed)

Ad hoc networks = 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015 : proceedings / by: (Language materials, printed)

Enhanced building information models = using IoT services and integration patterns / by: (Language materials, printed)

Internet of vehicles - safe and intelligent mobility = second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015 : proceedings / by: (Language materials, printed)

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

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

Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (Language materials, printed)

Radio frequency identification = Security and privacy issues : 8th International Workshop, RFIDSec 2012, Nijmegen, The Netherlands, July 2-3, 2012 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks = 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013 : proceedings / by: (Language materials, printed)

Autonomous sensor networks = collective sensing strategies for analytical purposes / by: (Language materials, printed)

Fundamental approaches to software engineering = 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 : proceedings / by: (Language materials, printed)

Cloud manufacturing = distributed computing technologies for global and sustainable manufacturing / by: (Language materials, printed)

Towards practical brain-computer interfaces = bridging the gap from research to real-world applications / by: (Language materials, printed)

Pervasive computing and the networked world = Joint International Conference, ICPCA/SWS 2012, Istanbul, Turkey, November 28-30, 2012 : revised selected papers / by: (Language materials, printed)

Music and human-computer interaction by: (Language materials, printed)

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

Evaluating AAL systems through competitive benchmarking = International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers / by: (Language materials, printed)

Policies and research in identity management = third IFIP WG 11.6 Working Conference, IDMAN 2013, London, UK, April 8-9, 2013 : proceedings / by: (Language materials, printed)

Computer networks = 20th international conference, CN 2013, Lwowek Slaski, Poland, June 17-21, 2013 : proceedings / by: (Language materials, printed)

Communication technologies for vehicles = 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings / by: (Language materials, printed)

Information security theory and practice = security of mobile and cyber-physical systems : 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013 : proceedings / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2013 = 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013 : proceedings / by: (Language materials, printed)

Embedded systems = design, analysis and verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013 : proceedings / by: (Language materials, printed)

Robotics in smart manufacturing = International Workshop, WRSM 2013, Co-located with FAIM 2013, Porto, Portugal, June 26-28, 2013 : proceedings / by: (Language materials, printed)

TV-Anytime = paving the way for personalized TV / by: (Language materials, printed)

Supercomputing = 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013 : proceedings / by: (Language materials, printed)

Inclusive society = health and wellbeing in the community, and care at home : 11th International Conference on Smart Homes and Health Telematics, ICOST 2013, Singapore, June 19-21, 2013 : proceedings / by: (Language materials, printed)

Advanced network programming - principles and techniques = network application programming with Java / by: (Language materials, printed)

E-voting and identify = 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013 : proceedings / by: (Language materials, printed)

Computer aided verification = 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings / by: (Language materials, printed)

Euro-Par 2013 parallel processing = 19th International Conference, Aachen, Germany, August 26-30, 2013 : proceedings / by: (Language materials, printed)

Mobile and Ubiquitous Systems: Computing, Networking, and Services = 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012 : revised selected papers / by: (Language materials, printed)

Evaluating AAL systems through competitive benchmarking = international competitions and final workshop, EvAAL 2013, July and September 2013 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 6th international conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013 : proceedings.. Part II / by: (Language materials, printed)

Intelligent robotics and applications = 6th international conference, ICIRA 2013, Busan, South Korea, September 25-28, 2013 : proceedings.. Part I / by: (Language materials, printed)

Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings / by: (Language materials, printed)

From sounds to music and emotions = 9th International Symposium, CMMR 2012, London, UK, June 19-22, 2012 : revised selected papers / by: (Language materials, printed)

Service virtualization = reality is overrated / by: (Language materials, printed)

Embedded robotics = mobile robot design and applications with embedded systems / by: (Language materials, printed)

Automated technology for verification and analysis = 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings / by: (Language materials, printed)

Self-sustaining systems = first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 10th international symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008 : proceedings / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part II / by: (Language materials, printed)

Model-based engineering of embedded systems = the SPES 2020 methodology / by: (Language materials, printed)

Testing software and systems = 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / by: (Language materials, printed)

Broadband satellite communication systems and the challenges of mobility = IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France / by: (Language materials, printed)

VLSI-SoC = advanced research for systems on chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011 : revised selected papers / by: (Language materials, printed)

Evaluating AAL systems through competitive benchmarking : indoor localization and tracking = International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011 : revised selected papers / by: (Language materials, printed)

E-voting and identity = third international conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011 : revised selected papers / by: (Language materials, printed)

Information security = 15th International Conference, ISC 2012, Passau, Germany, September 19-21, 2012 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, QC, Canada, October 3-5, 2012 : proceedings.. Part III / by: (Language materials, printed)

Intelligent robotics and applications = 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012 : proceedings.. Part I / by: (Language materials, printed)

Computer safety, reliability, and security = 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012 : proceedings / by: (Language materials, printed)

Scientific workflows = programming, optimization, and synthesis with ASKALON and AWDL / by: (Language materials, printed)

Formal methods for industrial critical systems = 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings / by: (Language materials, printed)

Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (Language materials, printed)

Sensor systems and software = third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers / by: (Language materials, printed)

Image and signal processing = 5th international conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012 : proceedings / by: (Language materials, printed)

Speech, sound and music processing: Embracing research in India = 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011 : revised selected papers / by: (Language materials, printed)

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

Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / by: (Language materials, printed)

Impact analysis of solutions for chronic disease prevention and management = 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012 : proceedings / by: (Language materials, printed)

Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Language materials, printed)

Critical information infrastructures security = 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers / by: (Language materials, printed)

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

Enabling things to talk = designing IoT solutions with the IoT architectural reference model / by: (Language materials, printed)

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

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

Testing software and systems = 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013 : proceedings / by: (Language materials, printed)

Mobile payment by: (Language materials, printed)

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

Analog circuit design = low voltage low power; short range wireless front-ends; power management and DC-DC / by: (Language materials, printed)

Harnessing VLSI system design with EDA tools by: (Language materials, printed)

RFID: Security and privacy = 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011 : revised selected papers / by: (Language materials, printed)

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

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part III / by: (Language materials, printed)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part II / by: (Language materials, printed)

Computer and computing technologies in agriculture V = 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011 : proceedings.. Part I / by: (Language materials, printed)

Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers / by: (Language materials, printed)

Multi-agent-based simulation XII = international workshop, MABS 2011, Taipei, Taiwan, May 2-6, 2011 : revised selected papers / by: (Language materials, printed)

Latent variable analysis and signal separation = 10th International Conference, LVA/ICA 2012, Tel Aviv, Israel, March 12-15, 2012 : proceedings / by: (Language materials, printed)

Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (Language materials, printed)

Communication technologies for vehicles = 4th International Workshop, Nets4Cars/Nets4Cars/Nets4Trains 2012, Vilnius, Lithuania, April 25-27, 2012 : proceedings / by: (Language materials, printed)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I / by: (Language materials, printed)

Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II / by: (Language materials, printed)

Guide to FPGA implementation of arithmetic functions by: (Language materials, printed)

From scientific instrument to industrial machine = coping with architectural stress in embedded systems / by: (Language materials, printed)

Language-driven exploration and implementation of partially re-configurable ASIPs by: (Language materials, printed)

Wireless sensor networks = 6th European conference, EWSN 2009, Cork, Ireland, February 11-13, 2009 ; proceedings / by: (Language materials, printed)

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

The definitive guide to Pylons by: (Language materials, printed)

Information security applications = 9th international workshop, WISA 2008, Jeju Island, Korea, September 23-25, 2008, revised selected papers / by: (Language materials, printed)

Network control and optimization = Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers / by: (Language materials, printed)

Unleash the system on chip using FPGAs and Handel C by: (Language materials, printed)

Transactions on computational science IV = special issue on security in computing / by: (Language materials, printed)

Pervasive computing = 7th international conference,Pervasive 2009, Nara, Japan, May 11-14, 2009 ; proceedings / by: (Language materials, printed)

Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings / by: (Language materials, printed)

Pervasive healthcare computing = EMR/EHR, wireless and health monitoring / 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)

Artificial life models in hardware by: (Language materials, printed)

Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers / by: (Language materials, printed)

Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 / by: (Language materials, printed)

Dynamic system reconfiguration in heterogeneous platforms = the MORPHEUS approach / by: (Language materials, printed)

Beginning Joomla! by: (Language materials, printed)

Medical informatics, e-Health = fundamentals and applications / by: (Language materials, printed)

Quantum state transfer and network engineering by: (Language materials, printed)

Ad hoc networks = 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013 : revised selected papers / by: (Language materials, printed)

Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (Language materials, printed)

Biometrics in the new world = the cloud, mobile technology and pervasive identity / by: (Language materials, printed)

Android best practices by: (Language materials, printed)

Advances in wireless sensor networks = 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013 : revised selected papers / by: (Language materials, printed)

Intelligence for embedded systems = a methodological approach / by: (Language materials, printed)

Energy efficient smart phones for 5G networks by: (Language materials, printed)

Hybrid dynamical systems = observation and control / by: (Language materials, printed)

Computational creativity research = towards creative machines / by: (Language materials, printed)

Smart homes and health telematics = 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014 : revised papers / by: (Language materials, printed)

Wireless sensor networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (Language materials, printed)

The FLP microsatellite platform = flight operations manual / by: (Language materials, printed)

Geo-informatics in resource management and sustainable ecosystem = third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015 : revised selected papers / by: (Language materials, printed)

Computer engineering and technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers / by: (Language materials, printed)

Computational intelligence and intelligent systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015 : revised selected papers / by: (Language materials, printed)

Engineering trustworthy software systems = first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures / by: (Language materials, printed)

Measurement, modelling and evaluation of dependable computer and communication systems = 18th International GI/ITG Conference, MMB & DFT 2016, Munster, Germany, April 4-6, 2016 : proceedings / by: (Language materials, printed)

Contemporary consumer health informatics by: (Language materials, printed)

Pervasive computing paradigms for mental health = 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015 : revised selected papers / by: (Language materials, printed)

Human centered computing = second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016 : revised selected papers / by: (Language materials, printed)

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

Communication technologies for vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016 : proceedings / by: (Language materials, printed)

Inclusive smart cities and digital health = 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016 : proceedings / by: (Language materials, printed)

Beginning Samsung ARTIK = a guide for developers / by: (Language materials, printed)

Introducing the oscillations based paradigm = the simulation of agents and social systems / by: (Language materials, printed)

Universal access in human-computer interaction = users and context diversity : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part III / by: (Language materials, printed)

Universal access in human-computer interaction = interaction techniques and environments : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part II / by: (Language materials, printed)

Universal access in human-computer interaction = methods, techniques, and best practices : 10th International Conference, UAHCI 2016, held as part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016 : proceedings.. Part I / by: (Language materials, printed)

Haptics = perception, devices, control, and applications : 10th Iternational Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part I / by: (Language materials, printed)

Haptics = perception, devices, control, and applications : 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016 : proceedings.. Part II / by: (Language materials, printed)

Serious games = foundations, concepts and practice / by: (Language materials, printed)

Exploring the use of eye gaze controlled interfaces in automotive environments by: (Language materials, printed)

Industrial IoT technologies and applications = International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016 : revised selected papers / by: (Language materials, printed)

Euro-Par 2016 = parallel processing : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016 : proceedings / by: (Language materials, printed)

Interactive collaborative robotics = first International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016 : proceedings / by: (Language materials, printed)

PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings / by: (Language materials, printed)

Internet science = third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016 : proceedings / by: (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings / by: (Language materials, printed)

Music, mind, and embodiment = 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015 : revised selected papers / by: (Language materials, printed)

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

Testing software and systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings / by: (Language materials, printed)

Personal satellite services = next-generation satellite networking and communication systems : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014 : revised selected papers / by: (Language materials, printed)

Oracle Application Express administration = for DBAs and Developers / by: (Language materials, printed)

Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part I / by: (Language materials, printed)

Internet of things = IoT Infrastructures : second International Summit, IoT 360 2015, Rome, Italy, October 27-29, 2015 : revised selected papers.. Part II / by: (Language materials, printed)

Development of a cyber physical system for fire safety by: (Language materials, printed)

Swarm intelligence based optimization = second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016 : revised selected papers / by: (Language materials, printed)

Advanced model-based engineering of embedded systems = extensions of the SPES 2020 methodology / by: (Language materials, printed)

Computer engineering and technology = 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016 : revised selected papers / by: (Language materials, printed)

Advances in visual computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.. Part II / by: (Language materials, printed)

Advances in visual computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016 : proceedings.. Part I / by: (Language materials, printed)

Leap motion for developers by: (Language materials, printed)

Internet of things technologies for healthcare = third International Conference, HealthyIoT 2016, Vasteras, Sweden, October 18-19, 2016 : revised selected papers / by: (Language materials, printed)

Communication Technologies for Vehicles = 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings / by: (Language materials, printed)

Ambient Intelligence = 13th European Conference, AmI 2017, Malaga, Spain, April 26-28, 2017 : proceedings / by: (Language materials, printed)

Love and sex with robots = second International Conference, LSR 2016, London, UK, December 19-20, 2016 : revised selected papers / by: (Language materials, printed)

Symbiotic interaction = 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016 : revised selected papers / by: (Language materials, printed)

ACS without an attitude by: (Language materials, printed)

Efficient biometric indexing and retrieval techniques for large-scale systems by: (Language materials, printed)

Eye tracking methodology = theory and practice / by: (Language materials, printed)

End-user development = 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017 : proceedings / by: (Language materials, printed)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part II / by: (Language materials, printed)

Artificial intelligence and soft computing = 16th International Conference, ICAISC 2017, Zakopane, Poland, June 11-15, 2017 : proceedings.. Part I / by: (Language materials, printed)

Reliable software technologies - Ada-Europe 2017 = 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017 : proceedings / by: (Language materials, printed)

E-Business and telecommunications = 13th International Joint Conference, ICETE 2016, Lisbon, Portugal, July 26-28, 2016 : revised selected papers / by: (Language materials, printed)

Computer vision systems = 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017 : revised selected papers / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2017 = 26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

RoboCup 2016 = Robot World Cup XX / by: (Language materials, printed)

Stabilization, safety, and security of distributed systems = 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017 : proceedings / by: (Language materials, printed)

PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings / by: (Language materials, printed)

Innovative security solutions for information technology and communications = 10th International Conference, SecITC 2017, Bucharest, Romania, June 8-9, 2017 : revised selected papers / by: (Language materials, printed)

Future and emerging trends in language technology = machine learning and big data : second International Workshop, FETLT 2016, Seville, Spain, November 30 -December 2, 2016 : revised selected papers / by: (Language materials, printed)

Selected areas in cryptography - SAC 2016 = 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016 : revised selected papers / by: (Language materials, printed)

Automotive software architectures = an introduction / by: (Language materials, printed)

Wireless mobile communication and healthcare = 6th International Conference, MobiHealth 2016, Milan, Italy, November 14-16, 2016 : proceedings / by: (Language materials, printed)

Advances in practical applications of cyber-physical multi-agent systems = the PAAMS collection : 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017 : proceedings / by: (Language materials, printed)

Springer handbook of global navigation satellite systems by: (Language materials, printed)

Critical infrastructure protection XI = 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017 : revised selected papers / by: (Language materials, printed)

Supercomputing = third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers / by: (Language materials, printed)

Advanced concepts for intelligent vision systems = 18th International Conference, ACIVS 2017, Antwerp, Belgium, September 18-21, 2017 : proceedings / by: (Language materials, printed)

Autonomous agents and multiagent systems = AAMAS 2017 Workshops, Visionary Papers, Sao Paulo, Brazil, May 8-12, 2017 : revised selected papers / by: (Language materials, printed)

Intelligent human computer interaction = 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017 : proceedings / by: (Language materials, printed)

Virtual reality and augmented reality = 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017 : proceedings / by: (Language materials, printed)

Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings / by: (Language materials, printed)

Applications of soft computing for the web 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)

Sensor systems and software = 7th International Conference, S-Cube 2016, Sophia Antipolis, Nice, France, December 1-2, 2016 : revised selected papers / by: (Language materials, printed)

Smart objects and technologies for social good = second International Conference, GOODTECHS 2016, Venice, Italy, November 30 - December 1, 2016 : proceedings / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part IV / by: (Language materials, printed)

Computational science and its applications - ICCSA 2017 = 17th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.. Part V / by: (Language materials, printed)

Collaboration technologies and social computing = 9th International Conference, CollabTech 2017, Saskatoon, SK, Canada, August 8-10, 2017 : proceedings / by: (Language materials, printed)

Towards autonomous robotic systems = 18th Annual Conference, TAROS 2017, Guildford, UK, July 19-21, 2017 : proceedings / by: (Language materials, printed)

Quality, reliability, security and robustness in heterogeneous networks = 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings / by: (Language materials, printed)

Industrial IoT technologies and applications = second EAI International Conference, Industrial IoT 2017, Wuhu, China, March 25-26, 2017 : proceedings / by: (Language materials, printed)

Smart grid inspired future technologies = second EAI International Conference, SmartGIFT 2017, London, UK, March 27-28, 2017 : proceedings / by: (Language materials, printed)

Computing in smart toys by: (Language materials, printed)

Smart energy research = at the crossroads of engineering, economics, and computer science : 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017 : revised selected papers / by: (Language materials, printed)

Advanced computational methods in energy, power, electric vehicles, and their integration = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part III / by: (Language materials, printed)

Intelligent computing, networked control, and their engineering applications = International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017 : proceedings.. Part II / by: (Language materials, printed)

Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: (Language materials, printed)

Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings / 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)

Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings / by: (Language materials, printed)

Enhanced quality of life and smart living = 15th International Conference, ICOST 2017, Paris, France, August 29-31, 2017 : proceedings / by: (Language materials, printed)

Interactive collaborative robotics = second International Conference, ICR 2017, Hatfield, UK, September 12-16, 2017 : proceedings / by: (Language materials, printed)

Critical systems = formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings / by: (Language materials, printed)

Pro Java clustering and scalability = building real-time apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ / by: (Language materials, printed)

Data driven approaches in digital education = 12th European Conference on Technology Enhanced Learning, EC-TEL 2017, Tallinn, Estonia, September 12-15, 2017 : proceedings / by: (Language materials, printed)

KI 2017 = advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings / by: (Language materials, printed)

Communication systems and networks = 9th International Conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017 : revised selected papers and invited papers / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks = 16th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2017, Messina, Italy, September 20-22, 2017 : proceedings / by: (Language materials, printed)

Testing software and systems = 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017 : proceedings / by: (Language materials, printed)

Smart technology = first International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017 : proceedings / by: (Language materials, printed)

Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part II / by: (Language materials, printed)

Implantable sensors and systems = from theory to practice / by: (Language materials, printed)

Smartphone-based indoor map construction = principles and applications / by: (Language materials, printed)

Context-aware systems and applications, and nature of computation and communication = 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017 : proceedings / by: (Language materials, printed)

Modelling and simulation for autonomous systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017 : revised selected papers / by: (Language materials, printed)

Persuasive technology = 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018 : proceedings / by: (Language materials, printed)

Applications of evolutionary computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018 : proceedings / by: (Language materials, printed)

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

Trends in functional programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017 : revised selected papers / by: (Language materials, printed)

Communication technologies for vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018 : proceedings / by: (Language materials, printed)

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

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

GNSS for rail transportation = challenges and opportunities / by: (Language materials, printed)

Mobile networks and management = 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017 : proceedings / by: (Language materials, printed)

Symbiotic interaction = 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18-19, 2017 : revised selected papers / by: (Language materials, printed)

Web engineering = 18th International Conference, ICWE 2018, Caceres, Spain, June 5-8, 2018 : proceedings / by: (Language materials, printed)

Advances in neural networks - ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018 : proceedings / by: (Language materials, printed)

Autonomous control for a reliable internet of services = methods, models, approaches, techniques, algorithms, and tools / by: (Language materials, printed)

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

Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings / by: (Language materials, printed)

Cloud computing - CLOUD 2018 = 11th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Language materials, printed)

Information and communication technologies for ageing well and e-health = third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers / by: (Language materials, printed)

Social networks science = design, implementation, security, and challenges : from social networks analysis to social networks intelligence / by: (Language materials, printed)

Smart STEM-driven computer science education = theory, methodology and robot-based practices / by: (Language materials, printed)

e-Learning, e-Education, and online training = 4th International Conference, eLEOT 2018, Shanghai, China, April 5-7, 2018 : proceedings / by: (Language materials, printed)

Biomedical engineering systems and technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21-23, 2017 : revised selected papers / by: (Language materials, printed)

Haptics = science, technology, and applications : 11th international conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018 : proceedings.. Part I / by: (Language materials, printed)

Haptics = science, technology, and applications : 11th international conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018 : proceedings.. Part II / by: (Language materials, printed)

Hybrid artificial intelligent systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Service-oriented computing - ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers / by: (Language materials, printed)

Advances in swarm intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018 : proceedings.. Part I / by: (Language materials, printed)

Big Data - BigData 2018 = 7th International Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Language materials, printed)

Artificial intelligence and mobile services - AIMS 2018 = 7th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Language materials, printed)

Information security theory and practice = 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28-29, 2017 : proceedings / by: (Language materials, printed)

Computers helping people with special needs = 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018 : proceedings.. Part II / by: (Language materials, printed)

Articulated motion and deformable objects = 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018 : proceedings / by: (Language materials, printed)

Smart societies, infrastructure, technologies and applications = first International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27-29, 2017 : proceedings / by: (Language materials, printed)

Emerging technologies in computing = first International Conference, iCETiC 2018, London, UK, August 23-24, 2018 : proceedings / by: (Language materials, printed)

Future access enablers for ubiquitous and intelligent infrastructures = third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017 : proceedings / by: (Language materials, printed)

Security in computer and information sciences = first International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018 : revised selected papers / by: (Language materials, printed)

Robotic grasping and manipulation = first Robotic Grasping and Manipulation Challenge, RGMC 2016, held in Conjunction with IROS 2016, Daejeon, South Korea, October 10-12, 2016 : revised papers / by: (Language materials, printed)

Internet and distributed computing systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017 : proceedings / by: (Language materials, printed)

Mobile web and intelligent information systems = 15th International Conference, MobiWIS 2018, Barcelona, Spain, August 6-8, 2018 : proceedings / by: (Language materials, printed)

From animals to animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part I / by: (Language materials, printed)

Intelligent robotics and applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9-11, 2018 : proceedings.. Part II / by: (Language materials, printed)

Biomimetic and biohybrid systems = 7th International Conference, Living Machines 2018, Paris, France, July 17-20, 2018 : proceedings / by: (Language materials, printed)

Bioinformatics research and applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018 : proceedings / by: (Language materials, printed)

Augmented reality, virtual reality, and computer graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018 : proceedings.. Part I / by: (Language materials, printed)

Augmented reality, virtual reality, and computer graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24-27, 2018 : proceedings.. Part II / by: (Language materials, printed)

Wireless indoor localization = a crowdsourcing approach / by: (Language materials, printed)

Wireless mobile communication and healthcare = 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14-15, 2017 : proceedings / by: (Language materials, printed)

Parallel computational technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2-6, 2018 : revised selected papers / by: (Language materials, printed)

Interactive Collaborative Robotics = Third International Conference, ICR 2018, Leipzig, Germany, September 18-22, 2018 : proceedings / by: (Language materials, printed)

Intelligent computing and internet of things = first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 : proceedings.. Part II / by: (Language materials, printed)

Advances in green energy systems and smart grid = first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 : proceedings.. Part III / by: (Language materials, printed)

Recent advances in intelligent manufacturing = first International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018 : proceedings.. Part I / by: (Language materials, printed)

ICT systems security and privacy protection = 33rd IFIP TC 11 International Conference, SEC 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018 : proceedings / by: (Language materials, printed)

Innovative technologies and learning = first International Conference, ICITL 2018, Portoroz, Slovenia, August 27-30, 2018 : proceedings / by: (Language materials, printed)

Computational collective intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Ad-hoc, mobile, and wireless networks = 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings / by: (Language materials, printed)

Cellular automata = 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17-21, 2018 : proceedings / by: (Language materials, printed)

Entertainment computing - ICEC 2018 = 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17-20, 2018 : proceedings / by: (Language materials, printed)

Programming with actors = state-of-the-art and research perspectives / by: (Language materials, printed)

ICT Innovations 2018 = engineering and life sciences : 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17-19, 2018 : proceedings / by: (Language materials, printed)

Advanced computer architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018 : proceedings / by: (Language materials, printed)

Building information modeling = technology foundations and industry practice / by: (Language materials, printed)

Understanding modern dive computers and operation = protocols, models, tests, data, risk and applications / by: (Language materials, printed)

Computer vision - ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018 : proceedings.. Part XI / by: (Language materials, printed)

Computer vision - ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018 : proceedings.. Part XVI / by: (Language materials, printed)

RoboCup 2017 = Robot World Cup XXI / by: (Language materials, printed)

Cooperative design, visualization, and engineering = 15th International Conference, CDVE 2018, Hangzhou, China, October 21-24, 2018 : proceedings / by: (Language materials, printed)

OR 2.0 context-aware operating theaters, computer assisted robotic endoscopy, clinical image-based procedures, and skin image analysis = first International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, third International Workshop, ISIC 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018 : proceedings / by: (Language materials, printed)

Machine learning and intelligent communications = third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018 : proceedings / by: (Language materials, printed)

Crowdsourced data management = hybrid machine-human computing / by: (Language materials, printed)

IoT as a service = third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20-22, 2017 : proceedings / by: (Language materials, printed)

Case-based reasoning research and development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018 : proceedings / by: (Language materials, printed)

Computer vision - ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018 : proceedings.. Part II / by: (Language materials, printed)

Multi-agent systems and agreement technologies = 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017 : revised selected papers / by: (Language materials, printed)

Web and big data = APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23-25, 2018 : revised selected papers / by: (Language materials, printed)

Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (Language materials, printed)

Internet and distributed computing systems = 11th International Conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018 : proceedings / by: (Language materials, printed)

Web information systems engineering - WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018 : proceedings.. Part I / by: (Language materials, printed)

Ambient intelligence = 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 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)

Stabilization, safety, and security of distributed systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018 : proceedings / by: (Language materials, printed)

Handbook of dynamic data driven applications systems by: (Language materials, printed)

Internet of vehicles = technologies and services towards smart city : 5th International Conference, IOV 2018, Paris, France, November 20-22, 2018 : proceedings / by: (Language materials, printed)

Combinatorial image analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22-24, 2018 : proceedings / by: (Language materials, printed)

Transactions on large-scale data- and knowledge-centered systems XXXVIII = special issue on database- and expert-systems applications / by: (Language materials, printed)

Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers / by: (Language materials, printed)

Social robotics = 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018 : proceedings / by: (Language materials, printed)

AI 2018 = advances in artificial intelligence : 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018 : proceedings / by: (Language materials, printed)

Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018 : proceedings / by: (Language materials, printed)

Software technologies = applications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers / by: (Language materials, printed)

Advances in computational intelligence = 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018 : proceedings.. Part I / by: (Language materials, printed)

Advances in computational intelligence = 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22-27, 2018 : proceedings.. Part II / by: (Language materials, printed)

Algorithms and architectures for parallel processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018 : proceedings.. Part II / by: (Language materials, printed)

Robot intelligence technology and applications = 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16-18, 2018 : revised selected papers / by: (Language materials, printed)

Gerontechnology = first International Workshop, IWoG 2018, Caceres, Spain, and Evora, Portugal, 14 and 17 December, 2018 : revised selected papers / by: (Language materials, printed)

5G for future wireless networks = second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019 : proceedings / by: (Language materials, printed)

Cognitive systems and signal processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018 : revised selected papers.. Part II / by: (Language materials, printed)

Cognitive systems and signal processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018 : revised selected papers.. Part I / 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)

Mobile web and intelligent information systems = 14th International Conference, MobiWIS 2017, Prague, Czech Republic, August 21-23, 2017 : proceedings / by: (Language materials, printed)

Modeling and using context = 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017 : proceedings / by: (Language materials, printed)

HCI International 2017 - Posters' extended abstracts = 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

HCI International 2017 - Posters' extended abstracts = 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Technological innovation for smart systems = 8th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2017, Costa de Caparica, Portugal, May 3-5, 2017 : proceedings / by: (Language materials, printed)

Artificial general intelligence = 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017 : proceedings / by: (Language materials, printed)

Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings / by: (Language materials, printed)

Computer analysis of images and ptterns = 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017 : proceedings.. Part I / by: (Language materials, printed)

Computer analysis of images and patterns = 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017 : proceedings.. Part II / by: (Language materials, printed)

Cooperative design, visualization, and engineering = 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 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)

Digital human modeling = applications in health, safety, ergonomics, and risk management : health and safety : 8th International Conference, DHM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Digital human modeling = applications in health, safety, ergonomics, and risk management : health and safety : 8th International Conference, DHM 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

Euro-Par 2017 = parallel processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

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

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

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

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part VI / by: (Language materials, printed)

Neural information processing = 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017 : proceedings.. Part V / by: (Language materials, printed)

Passive and active measurement = 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017 : proceedings / by: (Language materials, printed)

Pattern recognition and machine intelligence = 7th International Conference, PReMI 2017, Kolkata, India, December 5-8, 2017 : proceedings / by: (Language materials, printed)

Smart cities = second International Conference, Smart-CT 2017, Malaga, Spain, June 14-16, 2017 : proceedings / by: (Language materials, printed)

Social robotics = 9th International Conference, ICSR 2017, Tsukuba, Japan, November 22-24, 2017 : proceedings / by: (Language materials, printed)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

Universal access in human-computer interaction = designing novel interactions : 11th International Conference, UAHCI 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part III / by: (Language materials, printed)

Technology and innovation in learning, teaching and education = first International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20-22, 2018 : revised selected papers / by: (Language materials, printed)

Machine learning for networking = first International Conference, MLN 2018, Paris, France, November 27-29, 2018 : revised selected papers / by: (Language materials, printed)

Computational modeling of objects presented in images = fundamentals, methods, and applications : 6th International Conference, CompIMAGE 2018, Cracow, Poland, July 2-5, 2018 : revised selected papers / by: (Language materials, printed)

Artificial intelligence and soft computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16-20, 2019 : proceedings.. Part II / by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (Language materials, printed)

Artificial intelligence and mobile services - AIMS 2019 = 8th 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)

Mobile, secure, and programmable networking = 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23-24, 2019 : revised selected papers / by: (Language materials, printed)

Artificial intelligence in education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence in education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019 : proceedings.. Part II / by: (Language materials, printed)

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

Towards autonomous robotic systems = 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019 : proceedings.. Part I / by: (Language materials, printed)

Cyber physical systems = model-based design : 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018 : revised selected papers / by: (Language materials, printed)

Distributed applications and interoperable systems = 19th IFIP WG 6.1 International Conference, DAIS 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings / by: (Language materials, printed)

Communication Technologies for Vehicles = 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16-17, 2019 : proceedings / by: (Language materials, printed)

Artificial intelligence for communications and networks = first EAI International Conference, AICON 2019, Harbin, China, May 25-26, 2019 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence for communications and networks = first EAI International Conference, AICON 2019, Harbin, China, May 25-26, 2019 : proceedings.. Part II / by: (Language materials, printed)

HCI International 2019 - posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part III / by: (Language materials, printed)

HCI International 2019 - posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (Language materials, printed)

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

Emerging technologies in computing = second International Conference, iCETiC 2019, London, UK, August 19-20, 2019 : proceedings / by: (Language materials, printed)

Parallel computational technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2-4, 2019 : revised selected papers / by: (Language materials, printed)

Universal access in human-computer interaction = multimodality and assistive environments : 13th International Conference, UAHCI 2019, held as part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019 : proceedings.. Part II / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part I / by: (Language materials, printed)

Towards autonomous robotic systems = 20th Annual Conference, TAROS 2019, London, UK, July 3-5, 2019 : proceedings.. Part II / by: (Language materials, printed)

Augmented reality, virtual reality, and computer graphics = 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24-27, 2019 : proceedings.. Part I / by: (Language materials, printed)

Augmented reality, virtual reality, and computer graphics = 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24-27, 2019 : proceedings.. Part II / by: (Language materials, printed)

Intelligent computing methodologies = 15th International Conference, ICIC 2019, Nanchang, China, August 3-6, 2019 : proceedings.. Part III / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part II / by: (Language materials, printed)

Intelligent robotics and applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8-11, 2019 : proceedings.. Part III / by: (Language materials, printed)

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

Computer and computing technologies in agriculture II.. Volume 2,. The Second IFIP International Conference on Computer and Computing Technologies in Agriculture (CCTA2008), October 18-20, 2008, Beijing, China by: (Language materials, printed)

SiGe-based re-engineering of electronic warfare subsystems by: (Language materials, printed)

Smart grid inspired future technologies = first International Conference, SmartGIFT 2016, Liverpool, UK, May 19-20, 2016 : revised selected papers / by: (Language materials, printed)

eHealth 360 = International Summit on eHealth, Budapest, Hungary, June 14-16, 2016 : revised selected papers / by: (Language materials, printed)

Applications for future internet = International Summit, AFI 2016, Puebla, Mexico, May 25-28, 2016 : revised selected papers / by: (Language materials, printed)

Ad hoc networks = 8th International Conference, ADHOCNETS 2016, Ottawa, Canada, September 26-27, 2016 : revised selected papers / by: (Language materials, printed)

Compressive sensing based algorithms for electronic defence by: (Language materials, printed)

Future intelligent vehicular technologies = first International Conference, Future 5V 2016, Porto, Portugal, September 15, 2016 : revised selected papers / by: (Language materials, printed)

Mobile networks and management = 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016 : proceedings / by: (Language materials, printed)

Electronic voting = first International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016 : proceedings / by: (Language materials, printed)

Intelligent human computer interaction = 8th International Conference, IHCI 2016, Pilani, India, December 12-13, 2016 : proceedings / by: (Language materials, printed)

Interoperability, safety and security in IoT = second International Conference, InterIoT 2016 and Third International Conference, SaSeIoT 2016, Paris, France, October 26-27, 2016 : revised selected papers / by: (Language materials, printed)

Machine learning and intelligent communications = first International Conference, MLICOM 2016, Shanghai, China, August 27-28, 2016 : revised selected papers / by: (Language materials, printed)

Hybrid Dynamical Systems = Observation and Control / by: (Language materials, printed)

Human Centered Computing = First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers / by: (Language materials, printed)

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

Communication Technologies for Vehicles = 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings / by: (Language materials, printed)

E-Voting and Identity = 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part II / by: (Language materials, printed)

Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part I / by: (Language materials, printed)

Ad Hoc Networks = 7th International Conference, AdHocHets 2015, San Remo, Italy, September 1-2, 2015. Proceedings / by: (Language materials, printed)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures = First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers / by: (Language materials, printed)

Latent Variable Analysis and Signal Separation = 12th International Conference, LVA/ICA 2015, Liberec, Czech Republic, August 25-28, 2015, Proceedings / by: (Language materials, printed)

Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics / by: (Language materials, printed)

Inclusive Smart Cities and e-Health = 13th International Conference on Smart Homes and Health Telematics, ICOST 2015, Geneva, Switzerland, June 10-12, 2015, Proceedings / by: (Language materials, printed)

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

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

Interaktive Systeme = Band 2: User Interface Engineering, 3D-Interaktion, Natural User Interfaces / by: (Language materials, printed)

Smart Homes and Health Telematics = 12th International Conference, ICOST 2014, Denver, CO, USA, June 25-27, 2014, Revised Papers / by: (Language materials, printed)

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

Internet of Things. IoT Infrastructures = First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II / by: (Language materials, printed)

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

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

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

Advances in Spatial Data Handling and Analysis = Select Papers from the 16th IGU Spatial Data Handling Symposium / by: (Language materials, printed)

Practical Biometrics = From Aspiration to Implementation / by: (Language materials, printed)

Energy Efficient Smart Phones for 5G Networks by: (Language materials, printed)

Internet of Things. User-Centric IoT = First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part I / by: (Language materials, printed)

Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings / by: (Language materials, printed)

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

Computational Creativity Research: Towards Creative Machines by: (Language materials, printed)

Advances in Wireless Sensor Networks = The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers / by: (Language materials, printed)

Information Security = 18th International Conference, ISC 2015, Trondheim, Norway, September 9-11, 2015, Proceedings / by: (Language materials, printed)

Internet of Vehicles - Safe and Intelligent Mobility = Second International Conference, IOV 2015, Chengdu, China, December 19-21, 2015, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 8th International Conference, ICIRA 2015, Portsmouth, UK, August 24-27, 2015, Proceedings, Part III / by: (Language materials, printed)

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

Marktplätze im Umbruch = Digitale Strategien für Services im Mobilen Internet / by: (Language materials, printed)

Mobile Services for Toy Computing by: (Language materials, printed)

Entwicklung mobiler Apps = Konzepte, Anwendungsbausteine und Werkzeuge im Business und E-Health / by: (Language materials, printed)

Global Navigation Satellite Systems and Their Applications by: (Language materials, printed)

The Visual Language of Technique = Volume 2 - Heritage and Expectations in Research / by: (Language materials, printed)

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

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

Pervasive Computing Paradigms for Mental Health = 5th International Conference, MindCare 2015, Milan, Italy, September 24-25, 2015, Revised Selected Papers / by: (Language materials, printed)

Contemporary Consumer Health Informatics by: (Language materials, printed)

Communication Technologies for Vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings / by: (Language materials, printed)

Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments by: (Language materials, printed)

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

Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems = 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papers / by: (Language materials, printed)

Development of a Cyber Physical System for Fire Safety by: (Language materials, printed)

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

Industrial IoT Technologies and Applications = International Conference, Industrial IoT 2016, GuangZhou, China, March 25-26, 2016, Revised Selected Papers / by: (Language materials, printed)

Internet of Things Technologies for HealthCare = Third International Conference, HealthyIoT 2016, Västerås, Sweden, October 18-19, 2016, Revised Selected Papers / by: (Language materials, printed)

Human Centered Computing = Second International Conference, HCC 2016, Colombo, Sri Lanka, January 7-9, 2016, Revised Selected Papers / by: (Language materials, printed)

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

Leap Motion for Developers by: (Language materials, printed)

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

Inclusive Smart Cities and Digital Health = 14th International Conference on Smart Homes and Health Telematics, ICOST 2016, Wuhan, China, May 25-27, 2016. Proceedings / by: (Language materials, printed)

Guide to Software Development = Designing and Managing the Life Cycle / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Methods, Techniques, and Best Practices = 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part I / by: (Language materials, printed)

PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings / by: (Language materials, printed)

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

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

Geo-Informatics in Resource Management and Sustainable Ecosystem = Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers / by: (Language materials, printed)

Introducing the Oscillations Based Paradigm = The Simulation of Agents and Social Systems / by: (Language materials, printed)

The FLP Microsatellite Platform = Flight Operations Manual / by: (Language materials, printed)

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

Computer Engineering and Technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers / by: (Language materials, printed)

Oracle Application Express Administration = For DBAs and Developers / by: (Language materials, printed)

Software Engineering and Methodology for Emerging Domains = 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3–5, 2016, Proceedings / by: (Language materials, printed)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part I / by: (Language materials, printed)

Internet Science = Third International Conference, INSCI 2016, Florence, Italy, September 12-14, 2016, Proceedings / by: (Language materials, printed)

Haptics: Perception, Devices, Control, and Applications = 10th International Conference, EuroHaptics 2016, London, UK, July 4-7, 2016, Proceedings, Part II / by: (Language materials, printed)

Engineering Trustworthy Software Systems = First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / by: (Language materials, printed)

Music, Mind, and Embodiment = 11th International Symposium, CMMR 2015, Plymouth, UK, June 16-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Interaction Techniques and Environments = 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part II / by: (Language materials, printed)

Advances in Visual Computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part I / by: (Language materials, printed)

Swarm Intelligence Based Optimization = Second International Conference, ICSIBO 2016, Mulhouse, France, June 13-14, 2016, Revised Selected Papers / by: (Language materials, printed)

Reliable Software Technologies – Ada-Europe 2016 = 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings / by: (Language materials, printed)

Interactive Collaborative Robotics = First International Conference, ICR 2016, Budapest, Hungary, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Users and Context Diversity = 10th International Conference, UAHCI 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings, Part III / by: (Language materials, printed)

Serious Games = Foundations, Concepts and Practice / by: (Language materials, printed)

Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / by: (Language materials, printed)

Automatische Identifikation für Industrie 4.0 by: (Language materials, printed)

Advances in Visual Computing = 12th International Symposium, ISVC 2016, Las Vegas, NV, USA, December 12-14, 2016, Proceedings, Part II / by: (Language materials, printed)

Computer Engineering and Technology = 20th CCF Conference, NCCET 2016, Xi'an, China, August 10-12, 2016, Revised Selected Papers / by: (Language materials, printed)

Testing Software and Systems = 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / by: (Language materials, printed)

Computational Intelligence and Intelligent Systems = 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers / by: (Language materials, printed)

Euro-Par 2016: Parallel Processing = 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / by: (Language materials, printed)

Advances in Computational Intelligence = 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part II / by: (Language materials, printed)

PRIMA 2018: Principles and Practice of Multi-Agent Systems = 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers / by: (Language materials, printed)

Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings / by: (Language materials, printed)

Constructive Side-Channel Analysis and Secure Design = 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings / by: (Language materials, printed)

Distributed, Ambient and Pervasive Interactions: Understanding Humans = 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I / by: (Language materials, printed)

Advances in Neural Networks – ISNN 2018 = 15th International Symposium on Neural Networks, ISNN 2018, Minsk, Belarus, June 25–28, 2018, Proceedings / by: (Language materials, printed)

Human-Computer Interaction. Interaction Technologies = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III / by: (Language materials, printed)

Security in Computer and Information Sciences = First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers / by: (Language materials, printed)

Case-Based Reasoning Research and Development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings / by: (Language materials, printed)

Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II / by: (Language materials, printed)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII = Special Issue on Database- and Expert-Systems Applications / by: (Language materials, printed)

Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / by: (Language materials, printed)

IoT as a Service = Third International Conference, IoTaaS 2017, Taichung, Taiwan, September 20–22, 2017, Proceedings / by: (Language materials, printed)

Crowdsourced Data Management = Hybrid Machine-Human Computing / by: (Language materials, printed)

Advances in Web-Based Learning – ICWL 2018 = 17th International Conference, Chiang Mai, Thailand, August 22-24, 2018, Proceedings / by: (Language materials, printed)

Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers / by: (Language materials, printed)

Innovative Technologies and Learning = First International Conference, ICITL 2018, Portoroz, Slovenia, August 27–30, 2018, Proceedings / by: (Language materials, printed)

Multi-Agent Systems and Agreement Technologies = 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Evry, France, December 14-15, 2017, Revised Selected Papers / by: (Language materials, printed)

Computer Safety, Reliability, and Security = 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part I / by: (Language materials, printed)

Internet Multimedia Computing and Service = 9th International Conference, ICIMCS 2017, Qingdao, China, August 23-25, 2017, Revised Selected Papers / by: (Language materials, printed)

Advances in Green Energy Systems and Smart Grid = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part III / by: (Language materials, printed)

Swarm Intelligence = 11th International Conference, ANTS 2018, Rome, Italy, October 29–31, 2018, Proceedings / by: (Language materials, printed)

From Animals to Animats 15 = 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / by: (Language materials, printed)

Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings / by: (Language materials, printed)

Web and Big Data = APWeb-WAIM 2018 International Workshops: MWDA, BAH, KGMA, DMMOOC, DS, Macau, China, July 23–25, 2018, Revised Selected Papers / by: (Language materials, printed)

Computational Collective Intelligence = 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II / by: (Language materials, printed)

Web Information Systems Engineering – WISE 2018 = 19th International Conference, Dubai, United Arab Emirates, November 12-15, 2018, Proceedings, Part I / by: (Language materials, printed)

Combinatorial Image Analysis = 19th International Workshop, IWCIA 2018, Porto, Portugal, November 22–24, 2018, Proceedings / by: (Language materials, printed)

Ambient Intelligence = 14th European Conference, AmI 2018, Larnaca, Cyprus, November 12-14, 2018, Proceedings / by: (Language materials, printed)

Recent Trends and Future Technology in Applied Intelligence = 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Montreal, QC, Canada, June 25-28, 2018, Proceedings / by: (Language materials, printed)

Haptics: Science, Technology, and Applications = 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part II / by: (Language materials, printed)

Blended Learning. Enhancing Learning Success = 11th International Conference, ICBL 2018, Osaka, Japan, July 31- August 2, 2018, Proceedings / by: (Language materials, printed)

Internet of Vehicles. Technologies and Services Towards Smart City = 5th International Conference, IOV 2018, Paris, France, November 20–22, 2018, Proceedings / by: (Language materials, printed)

Cooperative Design, Visualization, and Engineering = 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings / by: (Language materials, printed)

Human-Computer Interaction. Theories, Methods, and Human Issues = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I / by: (Language materials, printed)

Building Information Modeling = Technology Foundations and Industry Practice / by: (Language materials, printed)

AI 2018: Advances in Artificial Intelligence = 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings / by: (Language materials, printed)

Emerging Technologies in Computing = First International Conference, iCETiC 2018, London, UK, August 23–24, 2018, Proceedings / by: (Language materials, printed)

Ad-hoc, Mobile, and Wireless Networks = 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings / by: (Language materials, printed)

Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XI / by: (Language materials, printed)

Intelligent Robotics and Applications = 11th International Conference, ICIRA 2018, Newcastle, NSW, Australia, August 9–11, 2018, Proceedings, Part II / by: (Language materials, printed)

Social Networks Science: Design, Implementation, Security, and Challenges = From Social Networks Analysis to Social Networks Intelligence / by: (Language materials, printed)

Virtual, Augmented and Mixed Reality: Applications in Health, Cultural Heritage, and Industry = 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (Language materials, printed)

Virtual Reality and Augmented Reality = 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings / by: (Language materials, printed)

Internet and Distributed Computing Systems = 11th International Conference, IDCS 2018, Tokyo, Japan, October 11–13, 2018, Proceedings / by: (Language materials, printed)

Interactive Collaborative Robotics = Third International Conference, ICR 2018, Leipzig, Germany, September 18–22, 2018, Proceedings / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Methods, Technologies, and Users = 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (Language materials, printed)

Cellular Automata = 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, Como, Italy, September 17–21, 2018, Proceedings / by: (Language materials, printed)

Large-Scale Scientific Computing = 11th International Conference, LSSC 2017, Sozopol, Bulgaria, June 5-9, 2017, Revised Selected Papers / by: (Language materials, printed)

RoboCup 2017: Robot World Cup XXI by: (Language materials, printed)

Multi-disciplinary Trends in Artificial Intelligence = 12th International Conference, MIWAI 2018, Hanoi, Vietnam, November 18–20, 2018, Proceedings / by: (Language materials, printed)

Persuasive Technology = 13th International Conference, PERSUASIVE 2018, Waterloo, ON, Canada, April 18-19, 2018, Proceedings / by: (Language materials, printed)

Virtual, Augmented and Mixed Reality: Interaction, Navigation, Visualization, Embodiment, and Simulation = 10th International Conference, VAMR 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (Language materials, printed)

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

Cross-Cultural Design. Methods, Tools, and Users = 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (Language materials, printed)

Programming with Actors = State-of-the-Art and Research Perspectives / by: (Language materials, printed)

Wireless Indoor Localization = A Crowdsourcing Approach / by: (Language materials, printed)

Advances in Artificial Intelligence - IBERAMIA 2018 = 16th Ibero-American Conference on AI, Trujillo, Peru, November 13-16, 2018, Proceedings / by: (Language materials, printed)

Das Raspberry Pi Kompendium by: (Language materials, printed)

Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / 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)

Intelligent Computing and Internet of Things = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part II / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings / by: (Language materials, printed)

Understanding Modern Dive Computers and Operation = Protocols, Models, Tests, Data, Risk and Applications / by: (Language materials, printed)

Machine Learning and Intelligent Communications = Third International Conference, MLICOM 2018, Hangzhou, China, July 6-8, 2018, Proceedings / by: (Language materials, printed)

Handbook of Dynamic Data Driven Applications Systems by: (Language materials, printed)

Smart Secure Systems – IoT and Analytics Perspective = Second International Conference on Intelligent Information Technologies. ICIIT 2017, Chennai, India, December 20-22, 2017, Proceedings / by: (Language materials, printed)

Advances in Soft Computing = 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, Guadalajara, Mexico, October 22–27, 2018, Proceedings, Part I / by: (Language materials, printed)

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis = First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings / by: (Language materials, printed)

Recent Advances in Intelligent Manufacturing = First International Conference on Intelligent Manufacturing and Internet of Things and 5th International Conference on Computing for Sustainable Energy and Environment, IMIOT and ICSEE 2018, Chongqing, China, September 21-23, 2018, Proceedings, Part I / by: (Language materials, printed)

Social Robotics = 10th International Conference, ICSR 2018, Qingdao, China, November 28 - 30, 2018, Proceedings / by: (Language materials, printed)

Computer Vision – ECCV 2018 = 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part XVI / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings / by: (Language materials, printed)

Queueing Theory and Network Applications = 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings / by: (Language materials, printed)

Intelligent Computing Theories and Application = 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I / by: (Language materials, printed)

KI 2018: Advances in Artificial Intelligence = 41st German Conference on AI, Berlin, Germany, September 24–28, 2018, Proceedings / by: (Language materials, printed)

ICT Innovations 2018. Engineering and Life Sciences = 10th International Conference, ICT Innovations 2018, Ohrid, Macedonia, September 17–19, 2018, Proceedings / by: (Language materials, printed)

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

Smart Societies, Infrastructure, Technologies and Applications = First International Conference, SCITA 2017, Jeddah, Saudi Arabia, November 27–29, 2017, Proceedings / by: (Language materials, printed)

Human-Computer Interaction. Interaction in Context = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by: (Language materials, printed)

Wireless Mobile Communication and Healthcare = 7th International Conference, MobiHealth 2017, Vienna, Austria, November 14–15, 2017, Proceedings / by: (Language materials, printed)

Software Technologies: Applications and Foundations = STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers / by: (Language materials, printed)

Intelligence Science II = Third IFIP TC 12 International Conference, ICIS 2018, Beijing, China, November 2-5, 2018, Proceedings / by: (Language materials, printed)

ICT Systems Security and Privacy Protection = 33rd IFIP TC 11 International Conference, SEC 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings / by: (Language materials, printed)

Information and Communication Technologies for Ageing Well and e-Health = Third International Conference, ICT4AWE 2017, Porto, Portugal, April 28-29, 2017, Revised Selected Papers / by: (Language materials, printed)

Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers / by: (Language materials, printed)

Computers Helping People with Special Needs = 16th International Conference, ICCHP 2018, Linz, Austria, July 11-13, 2018, Proceedings, Part II / by: (Language materials, printed)

GNSS for Rail Transportation = Challenges and Opportunities / by: (Language materials, printed)

Internet and Distributed Computing Systems = 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings / by: (Language materials, printed)

Entertainment Computing – ICEC 2018 = 17th IFIP TC 14 International Conference, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 17–20, 2018, Proceedings / by: (Language materials, printed)

Trends in Functional Programming = 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

Computer Engineering and Technology = 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers / by: (Language materials, printed)

Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II / by: (Language materials, printed)

Implantable Sensors and Systems = From Theory to Practice / by: (Language materials, printed)

Communication Technologies for Vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings / by: (Language materials, printed)

5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings / by: (Language materials, printed)

Smart Technology = First International Conference, MTYMEX 2017, Monterrey, Mexico, May 24-26, 2017, Proceedings / by: (Language materials, printed)

Smartphone-Based Indoor Map Construction = Principles and Applications / by: (Language materials, printed)

On the Move to Meaningful Internet Systems. OTM 2017 Workshops = Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23–28, 2017, Revised Selected Papers / by: (Language materials, printed)

MultiMedia Modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part II / by: (Language materials, printed)

Risks and Security of Internet and Systems = 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers / by: (Language materials, printed)

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

Ad Hoc Networks = 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings / by: (Language materials, printed)

Mobile Networks and Management = 9th International Conference, MONAMI 2017, Melbourne, Australia, December 13-15, 2017, Proceedings / by: (Language materials, printed)

Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings / by: (Language materials, printed)

Symbiotic Interaction = 6th International Workshop, Symbiotic 2017, Eindhoven, The Netherlands, December 18–19, 2017, Revised Selected Papers / by: (Language materials, printed)

Web Engineering = 18th International Conference, ICWE 2018, Cáceres, Spain, June 5-8, 2018, Proceedings / by: (Language materials, printed)

Haptics: Science, Technology, and Applications = 11th International Conference, EuroHaptics 2018, Pisa, Italy, June 13-16, 2018, Proceedings, Part I / by: (Language materials, printed)

Coordination Models and Languages = 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / by: (Language materials, printed)

Autonomous Control for a Reliable Internet of Services = Methods, Models, Approaches, Techniques, Algorithms, and Tools / by: (Language materials, printed)

Global Thoughts, Local Designs = INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers / by: (Language materials, printed)

Hybrid Artificial Intelligent Systems = 13th International Conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I / by: (Language materials, printed)

Smart Objects and Technologies for Social Good = Third International Conference, GOODTECHS 2017, Pisa, Italy, November 29-30, 2017, Proceedings / by: (Language materials, printed)

Technological Innovation for Resilient Systems = 9th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2018, Costa de Caparica, Portugal, May 2-4, 2018, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Mobile Services – AIMS 2018 = 7th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (Language materials, printed)

Cloud Computing – CLOUD 2018 = 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by: (Language materials, printed)

Big Data – BigData 2018 = 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings / by: (Language materials, printed)

Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers / by: (Language materials, printed)

Emerging Technologies for Developing Countries = First International EAI Conference, AFRICATEK 2017, Marrakech, Morocco, March 27-28, 2017 Proceedings / by: (Language materials, printed)

Love and Sex with Robots = Third International Conference, LSR 2017, London, UK, December 19-20, 2017, Revised Selected Papers / by: (Language materials, printed)

Smart STEM-Driven Computer Science Education = Theory, Methodology and Robot-based Practices / by: (Language materials, printed)

e-Infrastructure and e-Services for Developing Countries = 8th International Conference, AFRICOMM 2016, Ouagadougou, Burkina Faso, December 6-7, 2016, Proceedings / by: (Language materials, printed)

Cloud Infrastructures, Services, and IoT Systems for Smart Cities = Second EAI International Conference, IISSC 2017 and CN4IoT 2017, Brindisi, Italy, April 20–21, 2017, Proceedings / by: (Language materials, printed)

Wireless Internet = 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings / by: (Language materials, printed)

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence = 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / by: (Language materials, printed)

Software Technologies: Applications and Foundations = STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers / 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)

Applications of Evolutionary Computation = 21st International Conference, EvoApplications 2018, Parma, Italy, April 4-6, 2018, Proceedings / by: (Language materials, printed)

Context-Aware Systems and Applications, and Nature of Computation and Communication = 6th International Conference, ICCASA 2017, and 3rd International Conference, ICTCC 2017, Tam Ky, Vietnam, November 23-24, 2017, Proceedings / by: (Language materials, printed)

Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part I / by: (Language materials, printed)

e-Learning, e-Education, and Online Training = 4th International Conference, eLEOT 2018, Shanghai, China, April 5–7, 2018, Proceedings / by: (Language materials, printed)

Articulated Motion and Deformable Objects = 10th International Conference, AMDO 2018, Palma de Mallorca, Spain, July 12-13, 2018, Proceedings / by: (Language materials, printed)

Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II / by: (Language materials, printed)

Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I / by: (Language materials, printed)

Information Security Theory and Practice = 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28–29, 2017, Proceedings / by: (Language materials, printed)

Biomedical Engineering Systems and Technologies = 10th International Joint Conference, BIOSTEC 2017, Porto, Portugal, February 21–23, 2017, Revised Selected Papers / by: (Language materials, printed)

Ubiquitous Communications and Network Computing = First International Conference, UBICNET 2017, Bangalore, India, August 3-5, 2017, Proceedings / by: (Language materials, printed)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures = Third International Conference, FABULOUS 2017, Bucharest, Romania, October 12-14, 2017, Proceedings / by: (Language materials, printed)

MultiMedia Modeling = 24th International Conference, MMM 2018, Bangkok, Thailand, February 5-7, 2018, Proceedings, Part I / by: (Language materials, printed)

Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living = 16th International Conference, ICOST 2018, Singapore, Singapore, July 10-12, 2018, Proceedings / by: (Language materials, printed)

Biomimetic and Biohybrid Systems = 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / by: (Language materials, printed)

Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management = 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings / by: (Language materials, printed)

Human Interface and the Management of Information. Interaction, Visualization, and Analytics = 20th International Conference, HIMI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Virtual, Augmented, and Intelligent Environments = 12th International Conference, UAHCI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (Language materials, printed)

Distributed, Ambient and Pervasive Interactions: Technologies and Contexts = 6th International Conference, DAPI 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by: (Language materials, printed)

Design, User Experience, and Usability: Designing Interactions = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (Language materials, printed)

Design, User Experience, and Usability: Theory and Practice = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (Language materials, printed)

Design, User Experience, and Usability: Users, Contexts and Case Studies = 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part I / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = 5th International Conference, AVR 2018, Otranto, Italy, June 24–27, 2018, Proceedings, Part II / by: (Language materials, printed)

Robotic Grasping and Manipulation = First Robotic Grasping and Manipulation Challenge, RGMC 2016, Held in Conjunction with IROS 2016, Daejeon, South Korea, October 10–12, 2016, Revised Papers / by: (Language materials, printed)

Digital Marketplaces Unleashed by: (Language materials, printed)

Artificial Intelligence in Health = First International Workshop, AIH 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers / by: (Language materials, printed)

Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part II / by: (Language materials, printed)

RoboCup 2018: Robot World Cup XXII by: (Language materials, printed)

Transactions on Pattern Languages of Programming IV by: (Language materials, printed)

Mobile Web and Intelligent Information Systems = 16th International Conference, MobiWIS 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings / by: (Language materials, printed)

Computational Topology in Image Context = 7th International Workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, Proceedings / by: (Language materials, printed)

Mobile, Secure, and Programmable Networking = 5th International Conference, MSPN 2019, Mohammedia, Morocco, April 23–24, 2019, Revised Selected Papers / 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)

Human Interface and the Management of Information. Visual Information and Knowledge Management = Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Applied Reconfigurable Computing = 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings / by: (Language materials, printed)

People, Personal Data and the Built Environment by: (Language materials, printed)

Distributed Computing by Mobile Entities = Current Research in Moving and Computing / by: (Language materials, printed)

5G for Future Wireless Networks = Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings / by: (Language materials, printed)

Interactive Collaborative Robotics = 4th International Conference, ICR 2019, Istanbul, Turkey, August 20–25, 2019, Proceedings / by: (Language materials, printed)

Economics of Grids, Clouds, Systems, and Services = 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings / by: (Language materials, printed)

Artificial Intelligence for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II / by: (Language materials, printed)

Machine Learning for Networking = First International Conference, MLN 2018, Paris, France, November 27–29, 2018, Revised Selected Papers / by: (Language materials, printed)

Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part II / by: (Language materials, printed)

Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part III / by: (Language materials, printed)

Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers / by: (Language materials, printed)

HCI in Mobility, Transport, and Automotive Systems = First International Conference, MobiTAS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings / by: (Language materials, printed)

Human Interface and the Management of Information. Information in Intelligent Systems = Thematic Area, HIMI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / by: (Language materials, printed)

Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

Artificial Intelligence = Second CCF International Conference, ICAI 2019, Xuzhou, China, August 22-23, 2019, Proceedings / by: (Language materials, printed)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part I / by: (Language materials, printed)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part I / by: (Language materials, printed)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part VI / by: (Language materials, printed)

Advances in Soft Computing = 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings / by: (Language materials, printed)

Gerontechnology = First International Workshop, IWoG 2018, Cáceres, Spain, and Évora, Portugal, 14 and 17 December, 2018, Revised Selected Papers / 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 for Communications and Networks = First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / by: (Language materials, printed)

Computer Supported Cooperative Work and Social Computing = 14th CCF Conference, ChineseCSCW 2019, Kunming, China, August 16–18, 2019, Revised Selected Papers / by: (Language materials, printed)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part III / by: (Language materials, printed)

Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration = 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Neural Information Processing = 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part I / by: (Language materials, printed)

Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Mobile Services – AIMS 2019 = 8th 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)

Human-Computer Interaction. Perspectives on Design = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Artificial Intelligence in Education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II / by: (Language materials, printed)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part IV / by: (Language materials, printed)

Artificial Intelligence in Education = 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part I / by: (Language materials, printed)

Computer Algebra in Scientific Computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26–30, 2019, Proceedings / by: (Language materials, printed)

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

Physiological Computing Systems = International Conferences, PhyCS 2016, Lisbon, Portugal, July 27–28, 2016, PhyCS 2017, Madrid, Spain, July 27–28, 2017, PhyCS 2018, Seville, Spain, September 19–21, 2018, Revised and Extended Selected Papers / by: (Language materials, printed)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part II / by: (Language materials, printed)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part IV / by: (Language materials, printed)

Advanced Parallel Processing Technologies = 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / by: (Language materials, printed)

Computer Analysis of Images and Patterns = 18th International Conference, CAIP 2019, Salerno, Italy, September 3–5, 2019, Proceedings, Part I / by: (Language materials, printed)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part II / by: (Language materials, printed)

Explainable, Transparent Autonomous Agents and Multi-Agent Systems = First International Workshop, EXTRAAMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by: (Language materials, printed)

Progress in Artificial Intelligence = 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3–6, 2019, Proceedings, Part I / by: (Language materials, printed)

Personas - User Focused Design by: (Language materials, printed)

Wired/Wireless Internet Communications = 17th IFIP WG 6.2 International Conference, WWIC 2019, Bologna, Italy, June 17–18, 2019, Proceedings / by: (Language materials, printed)

Mobile, Secure, and Programmable Networking = 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers / by: (Language materials, printed)

Computational Modeling of Objects Presented in Images. Fundamentals, Methods, and Applications = 6th International Conference, CompIMAGE 2018, Cracow, Poland, July 2–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Green, Pervasive, and Cloud Computing = 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers / by: (Language materials, printed)

Communication Systems and Networks = 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part III / by: (Language materials, printed)

Robot Intelligence Technology and Applications = 6th International Conference, RiTA 2018, Kuala Lumpur, Malaysia, December 16–18, 2018, Revised Selected Papers / by: (Language materials, printed)

Information Systems Security = 15th International Conference, ICISS 2019, Hyderabad, India, December 16–20, 2019, Proceedings / by: (Language materials, printed)

Databases Theory and Applications = 30th Australasian Database Conference, ADC 2019, Sydney, NSW, Australia, January 29 – February 1, 2019, Proceedings / by: (Language materials, printed)

Image Analysis and Processing – ICIAP 2019 = 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part II / by: (Language materials, printed)

Precision Assembly in the Digital Age = 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers / by: (Language materials, printed)

Computer Supported Cooperative Work and Social Computing = 13th CCF Conference, ChineseCSCW 2018, Guilin, China, August 18–19, 2018, Revised Selected Papers / by: (Language materials, printed)

Web and Wireless Geographical Information Systems = 17th International Symposium, W2GIS 2019, Kyoto, Japan, May 16–17, 2019, Proceedings / by: (Language materials, printed)

HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by: (Language materials, printed)

Towards Integrated Web, Mobile, and IoT Technology = Selected and Revised Papers from the Web Technologies Track at SAC 2017 and SAC 2018, and the Software Development for Mobile Devices, Wearables, and the IoT Minitrack at HICSS 2018 / by: (Language materials, printed)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings / by: (Language materials, printed)

How AI Impacts Urban Living and Public Health = 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings / by: (Language materials, printed)

Entertainment Computing and Serious Games = First IFIP TC 14 Joint International Conference, ICEC-JCSG 2019, Arequipa, Peru, November 11–15, 2019, Proceedings / by: (Language materials, printed)

Stabilization, Safety, and Security of Distributed Systems = 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings / by: (Language materials, printed)

New Trends in Image Analysis and Processing – ICIAP 2019 = ICIAP International Workshops, BioFor, PatReCH, e-BADLE, DeepRetail, and Industrial Session, Trento, Italy, September 9–10, 2019, Revised Selected Papers / by: (Language materials, printed)

CyberParks – The Interface Between People, Places and Technology = New Approaches and Perspectives / by: (Language materials, printed)

Semantic Systems. The Power of AI and Knowledge Graphs = 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9–12, 2019, Proceedings / by: (Language materials, printed)

Human-Centered Software Engineering = 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 3–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Explosives Detection = Sensors, Electronic Systems and Data Processing / by: (Language materials, printed)

Social Robotics = 11th International Conference, ICSR 2019, Madrid, Spain, November 26–29, 2019, Proceedings / by: (Language materials, printed)

Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers / by: (Language materials, printed)

Supercomputing = 9th International Conference, ISUM 2018, Mérida, Mexico, March 5–9, 2018, 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)

Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / by: (Language materials, printed)

Security and Quality in Cyber-Physical Systems Engineering = With Forewords by Robert M. Lee and Tom Gilb / by: (Language materials, printed)

HCI International 2019 – Late Breaking Posters = 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 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)

Towards Autonomous Robotic Systems = 20th Annual Conference, TAROS 2019, London, UK, July 3–5, 2019, Proceedings, Part I / by: (Language materials, printed)

Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part I / by: (Language materials, printed)

Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers / by: (Language materials, printed)

Praxishandbuch JIT/JIS mit SAP® = Die Just-in-Time und Just-in-Sequence Abwicklung mit SAP® / by: (Language materials, printed)

Information Technology in Disaster Risk Reduction = Third IFIP TC 5 DCITDRR International Conference, ITDRR 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20–21, 2018, Revised Selected Papers / by: (Language materials, printed)

Coordination Models and Languages = 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (Language materials, printed)

Pattern Recognition and Image Analysis = 9th Iberian Conference, IbPRIA 2019, Madrid, Spain, July 1–4, 2019, Proceedings, Part II / by: (Language materials, printed)

Green, Pervasive, and Cloud Computing = 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings / by: (Language materials, printed)

Innovative Technologies and Learning = Second International Conference, ICITL 2019, Tromsø, Norway, December 2–5, 2019, Proceedings / by: (Language materials, printed)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion = 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

HCI International 2019 - Posters = 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings, Part II / by: (Language materials, printed)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Healthcare Applications = 10th International Conference, DHM 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Human-Computer Interaction. Design Practice in Contemporary Societies = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III / by: (Language materials, printed)

Human-Computer Interaction. Recognition and Interaction Technologies = Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Design, User Experience, and Usability. Design Philosophy and Theory = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Ad-Hoc, Mobile, and Wireless Networks = 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings / by: (Language materials, printed)

Virtual Reality and Augmented Reality = 16th EuroVR International Conference, EuroVR 2019, Tallinn, Estonia, October 23–25, 2019, Proceedings / by: (Language materials, printed)

Emerging Technologies in Computing = Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings / by: (Language materials, printed)

Cryptology and Network Security = 18th International Conference, CANS 2019, Fuzhou, China, October 25–27, 2019, Proceedings / by: (Language materials, printed)

Model-Based Safety and Assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings / by: (Language materials, printed)

Human-Computer Interaction – INTERACT 2019 = 17th IFIP TC 13 International Conference, Paphos, Cyprus, September 2–6, 2019, Proceedings, Part III / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 5th International Conference, MESAS 2018, Prague, Czech Republic, October 17–19, 2018, Revised Selected papers / by: (Language materials, printed)

Applications of Evolutionary Computation = 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings / by: (Language materials, printed)

Distributed Applications and Interoperable Systems = 19th IFIP WG 6.1 International Conference, DAIS 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings / by: (Language materials, printed)

Design, User Experience, and Usability. User Experience in Advanced Technological Environments = 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Automotive Systems and Software Engineering = State of the Art and Future Trends / by: (Language materials, printed)

Communication Technologies for Vehicles = 14th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, Colmar, France, May 16–17, 2019, Proceedings / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part I / by: (Language materials, printed)

Augmented Reality, Virtual Reality, and Computer Graphics = 6th International Conference, AVR 2019, Santa Maria al Bagno, Italy, June 24–27, 2019, Proceedings, Part II / by: (Language materials, printed)

Intelligent Computing Methodologies = 15th International Conference, ICIC 2019, Nanchang, China, August 3–6, 2019, Proceedings, Part III / by: (Language materials, printed)

Learning and Collaboration Technologies. Designing Learning Experiences = 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part II / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Multimodality and Assistive Environments = 13th International Conference, UAHCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (Language materials, printed)

Dementia Lab 2019. Making Design Work: Engaging with Dementia in Context = 4th Conference, D-Lab 2019, Eindhoven, The Netherlands, October 21–22, 2019, Proceedings / by: (Language materials, printed)

Human Work Interaction Design. Designing Engaging Automation = 5th IFIP WG 13.6 Working Conference, HWID 2018, Espoo, Finland, August 20 - 21, 2018, Revised Selected Papers / by: (Language materials, printed)

Cyber Physical Systems. Model-Based Design = 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers / by: (Language materials, printed)

Technology and Innovation in Learning, Teaching and Education = First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20–22, 2018, Revised Selected Papers / by: (Language materials, printed)

Image Analysis and Processing – ICIAP 2019 = 20th International Conference, Trento, Italy, September 9–13, 2019, Proceedings, Part I / by: (Language materials, printed)

Computer and Computing Technologies in Agriculture XI = 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part II / by: (Language materials, printed)

Supercomputing = 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers / by: (Language materials, printed)

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health = International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I / by: (Language materials, printed)

End-User Development = 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings / by: (Language materials, printed)

Blockchain und maschinelles Lernen = Wie das maschinelle Lernen und die Distributed-Ledger-Technologie voneinander profitieren / by: (Language materials, printed)

Computer Vision – ECCV 2018 Workshops = Munich, Germany, September 8-14, 2018, Proceedings, Part V / by: (Language materials, printed)

Cognitive Systems and Signal Processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, Revised Selected Papers, Part I / by: (Language materials, printed)

Cognitive Systems and Signal Processing = 4th International Conference, ICCSIP 2018, Beijing, China, November 29 - December 1, 2018, Revised Selected Papers, Part II / by: (Language materials, printed)

Wireless Sensor Networks = 13th China Conference, CWSN 2019, Chongqing, China, October 12–14, 2019, Revised Selected Papers / by: (Language materials, printed)

ICT Unbounded, Social Impact of Bright ICT Adoption = IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2019, Accra, Ghana, June 21–22, 2019, Proceedings / by: (Language materials, printed)

Computer and Computing Technologies in Agriculture XI = 11th IFIP WG 5.14 International Conference, CCTA 2017, Jilin, China, August 12-15, 2017, Proceedings, Part I / by: (Language materials, printed)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part I / 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)

Dependability in Sensor, Cloud, and Big Data Systems and Applications = 5th International Conference, DependSys 2019, Guangzhou, China, November 12–15, 2019, Proceedings / by: (Language materials, printed)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part III / by: (Language materials, printed)

Internet of Things. Information Processing in an Increasingly Connected World = First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / by: (Language materials, printed)

Advances in Web-Based Learning – ICWL 2019 = 18th International Conference, Magdeburg, Germany, September 23–25, 2019, Proceedings / by: (Language materials, printed)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Communication, Organization and Work = 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Haptics: Science, Technology, Applications = 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6–9, 2020, Proceedings / by: (Language materials, printed)

Web and Wireless Geographical Information Systems = 18th International Symposium, W2GIS 2020, Wuhan, China, November 13–14, 2020, Proceedings / by: (Language materials, printed)

Artificial Intelligence and Soft Computing = 19th International Conference, ICAISC 2020, Zakopane, Poland, October 12-14, 2020, Proceedings, Part II / 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)

Gestaltung vernetzt-flexibler Arbeit = Beiträge aus Theorie und Praxis für die digitale Arbeitswelt / by: (Language materials, printed)

Real-time Linked Dataspaces = Enabling Data Ecosystems for Intelligent Systems / by: (Language materials, printed)

Parallel Architectures, Algorithms and Programming = 10th International Symposium, PAAP 2019, Guangzhou, China, December 12–14, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Methods for Industrial Critical Systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings / by: (Language materials, printed)

Connected Health in Smart Cities by: (Language materials, printed)

HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part IV / by: (Language materials, printed)

Social Robotics = 12th International Conference, ICSR 2020, Golden, CO, USA, November 14–18, 2020, Proceedings / by: (Language materials, printed)

Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (Language materials, printed)

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems by: (Language materials, printed)

Cloud Computing and Services Science = 9th International Conference, CLOSER 2019, Heraklion, Crete, Greece, May 2–4, 2019, Revised Selected Papers / by: (Language materials, printed)

Pattern Recognition and Artificial Intelligence = Third Mediterranean Conference, MedPRAI 2019, Istanbul, Turkey, December 22–23, 2019, Proceedings / by: (Language materials, printed)

Image Analysis and Recognition = 17th International Conference, ICIAR 2020, Póvoa de Varzim, Portugal, June 24–26, 2020, Proceedings, Part I / by: (Language materials, printed)

Tests and Proofs = 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / by: (Language materials, printed)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Posture, Motion and Health = 11th International Conference, DHM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Engineering Psychology and Cognitive Ergonomics. Mental Workload, Human Physiology, and Human Energy = 17th International Conference, EPCE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Human-Computer Interaction. Design and User Experience = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Human-Computer Interaction. Multimodal and Natural Interaction = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Human-Computer Interaction. Human Values and Quality of Life = Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (Language materials, printed)

Design, User Experience, and Usability. Case Studies in Public and Personal Interactive Systems = 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (Language materials, printed)

Technologies and Innovation = 6th International Conference, CITI 2020, Guayaquil, Ecuador, November 30 – December 3, 2020, Proceedings / by: (Language materials, printed)

Cross-Cultural Design. Applications in Health, Learning, Communication, and Creativity = 12th International Conference, CCD 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Human Interface and the Management of Information. Interacting with Information = Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Human Interface and the Management of Information. Designing Information = Thematic Area, HIMI 2020, Held as Part of the 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Data Science = 6th International Conference, ICDS 2019, Ningbo, China, May 15–20, 2019, Revised Selected Papers / by: (Language materials, printed)

Mathematical Software – ICMS 2020 = 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings / by: (Language materials, printed)

Dynamic Data Driven Applications Systems = Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings / by: (Language materials, printed)

Distributed, Ambient and Pervasive Interactions = 8th International Conference, DAPI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (Language materials, printed)

Sustainable Energy for Smart Cities = First EAI International Conference, SESC 2019, Braga, Portugal, December 4–6, 2019, Proceedings / by: (Language materials, printed)

Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings / by: (Language materials, printed)

Engineering Multi-Agent Systems = 7th International Workshop, EMAS 2019, Montreal, QC, Canada, May 13–14, 2019, Revised Selected Papers / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings / by: (Language materials, printed)

Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers / by: (Language materials, printed)

Environmental Software Systems. Data Science in Action = 13th IFIP WG 5.11 International Symposium, ISESS 2020, Wageningen, The Netherlands, February 5–7, 2020, Proceedings / by: (Language materials, printed)

Tactile Perception by Electrovibration by: (Language materials, printed)

Telematics and Computing = 9th International Congress, WITCOM 2020, Puerto Vallarta, Mexico, November 2–6, 2020, Proceedings / by: (Language materials, printed)

Internet of Things. A Confluence of Many Disciplines = Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers / by: (Language materials, printed)

Passive and Active Measurement = 21st International Conference, PAM 2020, Eugene, Oregon, USA, March 30–31, 2020, Proceedings / by: (Language materials, printed)

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I / by: (Language materials, printed)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings / by: (Language materials, printed)

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)

HCI International 2020 - Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 6th International Conference, MESAS 2019, Palermo, Italy, October 29–31, 2019, Revised Selected Papers / by: (Language materials, printed)

Industrial IoT = Challenges, Design Principles, Applications, and Security / by: (Language materials, printed)

Innovations for Community Services = 20th International Conference, I4CS 2020, Bhubaneswar, India, January 12–14, 2020, Proceedings / by: (Language materials, printed)

The Impact of Digital Technologies on Public Health in Developed and Developing Countries = 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings / by: (Language materials, printed)

Cyber Physical Systems. Model-Based Design = 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / by: (Language materials, printed)

Design, Operation and Evaluation of Mobile Communications = First International Conference, MOBILE 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (Language materials, printed)

Formal Techniques for Safety-Critical Systems = 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / by: (Language materials, printed)

HCI International 2020 – Late Breaking Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (Language materials, printed)

Digitalisierung der Arbeit in der Langzeitpflege als Veränderungsprojekt by: (Language materials, printed)

Artificial Intelligence in Education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I / by: (Language materials, printed)

Advanced API Security = OAuth 2.0 and Beyond / by: (Language materials, printed)

Financial Cryptography and Data Security = 24th International Conference, FC 2020 , Kota Kinabalu, Malaysia, February 10–14, 2020 Revised Selected Papers / by: (Language materials, printed)

Integrated Formal Methods = 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / by: (Language materials, printed)

Bioinspired Optimization Methods and Their Applications = 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 2020, Proceedings, Part II / by: (Language materials, printed)

Measurement, Modelling and Evaluation of Computing Systems = 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020, Proceedings / by: (Language materials, printed)

Software Technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers / by: (Language materials, printed)

Smart Cities = Second Ibero-American Congress, ICSC-CITIES 2019, Soria, Spain, October 7–9, 2019, Revised Selected Papers / by: (Language materials, printed)

Computers Helping People with Special Needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I / by: (Language materials, printed)

Software Architecture = 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Artificial Intelligence in Education = 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part II / by: (Language materials, printed)

Innovative Technologies and Learning = Third International Conference, ICITL 2020, Porto, Portugal, November 23–25, 2020, Proceedings / by: (Language materials, printed)

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 / by: (Language materials, printed)

Dynamic Logic. New Trends and Applications = Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / by: (Language materials, printed)

Fields of Logic and Computation III = Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday / 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)

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

Augmented Reality in Education = A New Technology for Teaching and Learning / by: (Language materials, printed)

Fundamental Approaches to Software Engineering = 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / by: (Language materials, printed)

Wireless Algorithms, Systems, and Applications = 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 2020, Proceedings, Part I / by: (Language materials, printed)

Software Architecture = 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Parallel Computational Technologies = 14th International Conference, PCT 2020, Perm, Russia, May 27–29, 2020, Revised Selected Papers / 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)

Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / by: (Language materials, printed)

Computer Security – ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I / by: (Language materials, printed)

Computer Security – ESORICS 2020 = 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II / by: (Language materials, printed)

Database and Expert Systems Applications = 31st International Conference, DEXA 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings, Part I / 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)

Artificial Intelligence and Mobile Services – AIMS 2020 = 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (Language materials, printed)

Cloud Computing – CLOUD 2020 = 13th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (Language materials, printed)

Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection = International Workshops of PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / by: (Language materials, printed)

Web Services – ICWS 2020 = 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (Language materials, printed)

Product Lifecycle Management Enabling Smart X = 17th IFIP WG 5.1 International Conference, PLM 2020, Rapperswil, Switzerland, July 5–8, 2020, Revised Selected Papers / by: (Language materials, printed)

Distributed Artificial Intelligence = Second International Conference, DAI 2020, Nanjing, China, October 24–27, 2020, Proceedings / by: (Language materials, printed)

Blockchain = Hype oder Innovation / by: (Language materials, printed)

The Multi-Agent Programming Contest 2019 = Agents Assemble – Block by Block to Victory / by: (Language materials, printed)

Computers Helping People with Special Needs = 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II / by: (Language materials, printed)

Big Data, Machine Learning, and Applications = First International Conference, BigDML 2019, Silchar, India, December 16–19, 2019, Revised Selected Papers / by: (Language materials, printed)

Shape in Medical Imaging = International Workshop, ShapeMI 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 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)

Advances in Computational Intelligence = 19th Mexican International Conference on Artificial Intelligence, MICAI 2020, Mexico City, Mexico, October 12–17, 2020, Proceedings, Part II / by: (Language materials, printed)

HCI International 2020 – Late Breaking Papers: Virtual and Augmented Reality = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (Language materials, printed)

Social Informatics = 12th International Conference, SocInfo 2020, Pisa, Italy, October 6–9, 2020, Proceedings / 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)

Towards Autonomous Robotic Systems = 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings / by: (Language materials, printed)

Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 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)

Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers / by: (Language materials, printed)

HCI International 2020 - Late Breaking Papers: Multimodality and Intelligence = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (Language materials, printed)

Maschinenliebe = Liebespuppen und Sexroboter aus technischer, psychologischer und philosophischer Perspektive / by: (Language materials, printed)

Chatbots = Aufbau und Anwendungsmöglichkeiten von autonomen Sprachassistenten / 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)

Web and Internet Economics = 16th International Conference, WINE 2020, Beijing, China, December 7–11, 2020, Proceedings / by: (Language materials, printed)

Communication Technologies for Vehicles = 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings / by: (Language materials, printed)

Mobile Networks and Management = 10th EAI International Conference, MONAMI 2020, Chiba, Japan, November 10–12, 2020, Proceedings / by: (Language materials, printed)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 20th International Conference, NEW2AN 2020, and 13th Conference, ruSMART 2020, St. Petersburg, Russia, August 26–28, 2020, Proceedings, Part I / by: (Language materials, printed)

Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI = 17th Smoky Mountains Computational Sciences and Engineering Conference, SMC 2020, Oak Ridge, TN, USA, August 26-28, 2020, Revised Selected Papers / by: (Language materials, printed)

Computer Vision – ECCV 2020 Workshops = Glasgow, UK, August 23–28, 2020, Proceedings, Part IV / by: (Language materials, printed)

Entertainment Computing – ICEC 2020 = 19th IFIP TC 14 International Conference, ICEC 2020, Xi'an, China, November 10–13, 2020, Proceedings / 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)

Static Analysis = 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings / by: (Language materials, printed)

6GN for Future Wireless Networks = Third EAI International Conference, 6GN 2020, Tianjin, China, August 15-16, 2020, Proceedings / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Access to Media, Learning and Assistive Environments = 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (Language materials, printed)

Mobile Web and Intelligent Information Systems = 17th International Conference, MobiWIS 2021, Virtual Event, August 23–25, 2021, Proceedings / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Automotive Software Architectures = An Introduction / by: (Language materials, printed)

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

Machine Learning for Networking = Third International Conference, MLN 2020, Paris, France, November 24–26, 2020, Revised Selected Papers / by: (Language materials, printed)

Data Science = 7th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2021, Taiyuan, China, September 17–20, 2021, Proceedings, Part I / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (Language materials, printed)

Human Aspects of IT for the Aged Population. Supporting Everyday Life Activities = 7th International Conference, ITAP 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (Language materials, printed)

Universal Access in Human-Computer Interaction. Design Methods and User Experience = 15th International Conference, UAHCI 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 III / by: (Language materials, printed)

Computational Advances in Bio and Medical Sciences = 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers / by: (Language materials, printed)

The Once-Only Principle = The TOOP Project / by: (Language materials, printed)

Explainable and Transparent AI and Multi-Agent Systems = Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3–7, 2021, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II / 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)

Benchmarking, Measuring, and Optimizing = Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / by: (Language materials, printed)

Modelling and Simulation for Autonomous Systems = 7th International Conference, MESAS 2020, Prague, Czech Republic, October 21, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / by: (Language materials, printed)

Dependable Computing - EDCC 2021 Workshops = DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings / by: (Language materials, printed)

Self Aware Security for Real Time Task Schedules in Reconfigurable Hardware Platforms by: (Language materials, printed)

Industrial IoT Technologies and Applications = 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / by: (Language materials, printed)

Agents and Artificial Intelligence = 12th International Conference, ICAART 2020, Valletta, Malta, February 22–24, 2020, Revised Selected Papers / by: (Language materials, printed)

Design, Operation and Evaluation of Mobile Communications = Second International Conference, MOBILE 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by: (Language materials, printed)

Advances in Service-Oriented and Cloud Computing = International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Revised Selected Papers / by: (Language materials, printed)

Software Technologies = 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers / by: (Language materials, printed)

Progress in Artificial Intelligence = 20th EPIA Conference on Artificial Intelligence, EPIA 2021, Virtual Event, September 7–9, 2021, Proceedings / by: (Language materials, printed)

The Automated City = Internet of Things and Ubiquitous Artificial Intelligence / 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)

Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II / by: (Language materials, printed)

Cloud Computing and Services Science = 10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / by: (Language materials, printed)

Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings / by: (Language materials, printed)

Futuristic Trends in Network and Communication Technologies = Third International Conference, FTNCT 2020, Taganrog, Russia, October 14–16, 2020, Revised Selected Papers, Part II / by: (Language materials, printed)

Applications of Evolutionary Computation = 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

Data Management Technologies and Applications = 9th International Conference, DATA 2020, Virtual Event, July 7–9, 2020, Revised Selected Papers / by: (Language materials, printed)

Web and Big Data. APWeb-WAIM 2020 International Workshops = KGMA 2020, SemiBDMA 2020, DeepLUDA 2020, Tianjin, China, September 18–20, 2020, Revised Selected Papers / 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)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII = International Workshops COIN 2017 and COINE 2020, Sao Paulo, Brazil, May 8-9, 2017 and Virtual Event, May 9, 2020, Revised Selected Papers / by: (Language materials, printed)

Smart Technologies for Precision Assembly = 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, Virtual Event, December 14–15, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part II / by: (Language materials, printed)

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

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

Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by: (Language materials, printed)

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

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / by: (Language materials, printed)

Mobile, Secure, and Programmable Networking = 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers / by: (Language materials, printed)

Emerging Trends in ICT for Sustainable Development = The Proceedings of NICE2020 International Conference / by: (Language materials, printed)

Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers / by: (Language materials, printed)

Smart Card Research and Advanced Applications = 19th International Conference, CARDIS 2020, Virtual Event, November 18–19, 2020, Revised Selected Papers / by: (Language materials, printed)

Smart Cities, Green Technologies and Intelligent Transport Systems = 8th International Conference, SMARTGREENS 2019, and 5th International Conference, VEHITS 2019, Heraklion, Crete, Greece, May 3–5, 2019, Revised Selected Papers / 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)

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

Deep Learning for Human Activity Recognition = Second International Workshop, DL-HAR 2020, Held in Conjunction with IJCAI-PRICAI 2020, Kyoto, Japan, January 8, 2021, Proceedings / by: (Language materials, printed)

Fuzzy Logic = Recent Applications and Developments / by: (Language materials, printed)

Wearables in Healthcare = Second EAI International Conference, HealthWear 2020, Virtual Event, December 10-11, 2020, Proceedings / by: (Language materials, printed)

Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / 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)

Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / by: (Language materials, printed)

Reproducible Research in Pattern Recognition = Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers / by: (Language materials, printed)

Industrial Networks and Intelligent Systems = 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / by: (Language materials, printed)

Innovations for Community Services = 21st International Conference, I4CS 2021, Bamberg, Germany, May 26–28, 2021, Proceedings / 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)

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)

Information Retrieval = 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings / by: (Language materials, printed)

MultiMedia Modeling = 27th International Conference, MMM 2021, Prague, Czech Republic, June 22–24, 2021, Proceedings, Part II / by: (Language materials, printed)

Model and Data Engineering = 10th International Conference, MEDI 2021, Tallinn, Estonia, June 21–23, 2021, 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)

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

Financial Cryptography and Data Security. FC 2021 International Workshops = CoDecFin, DeFi, VOTING, and WTSC, Virtual Event, March 5, 2021, Revised Selected Papers / by: (Language materials, printed)

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (Language materials, printed)

Socio-Technical Aspects in Security and Trust = 10th International Workshop, STAST 2020, Virtual Event, September 14, 2020, Revised Selected Papers / 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)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / by: (Language materials, printed)

Persuasive Technology = 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12–14, 2021, Proceedings / 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)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (Language materials, printed)

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

Information and Communication Technologies for Ageing Well and e-Health = 6th International Conference, ICT4AWE 2020, Prague, Czech Republic, May 3–5, 2020, Revised Selected Papers / by: (Language materials, printed)

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings / by: (Language materials, printed)

Smart Cities, Green Technologies, and Intelligent Transport Systems = 9th International Conference, SMARTGREENS 2020, and 6th International Conference, VEHITS 2020, Prague, Czech Republic, May 2-4, 2020, Revised Selected Papers / by: (Language materials, printed)

Advances in Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19-23, 2021, Proceedings, Part II / by: (Language materials, printed)

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

Intelligent Equipment, Robots, and Vehicles = 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, Hangzhou, China, October 30 – November 1, 2021, Proceedings, Part III / by: (Language materials, printed)

Towards Autonomous Robotic Systems = 22nd Annual Conference, TAROS 2021, Lincoln, UK, September 8–10, 2021, Proceedings / by: (Language materials, printed)

Systems Engineering and Artificial Intelligence by: (Language materials, printed)

Social Robotics = 13th International Conference, ICSR 2021, Singapore, Singapore, November 10–13, 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)

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

Theoretical Computer Science = 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers / by: (Language materials, printed)

Smart and Sustainable Agriculture = First International Conference, SSA 2021, Virtual Event, June 21-22, 2021, Proceedings / by: (Language materials, printed)

Virtual Reality and Mixed Reality = 18th EuroXR International Conference, EuroXR 2021, Milan, Italy, November 24–26, 2021, Proceedings / by: (Language materials, printed)

Internet Access in Vehicular Networks by: (Language materials, printed)

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

Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: (Language materials, printed)

Optimization, Learning Algorithms and Applications = First International Conference, OL2A 2021, Bragança, Portugal, July 19–21, 2021, Revised Selected Papers / 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)

Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by: (Language materials, printed)

Communication Technologies for Vehicles = 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16–17, 2021, Revised Selected Papers / by: (Language materials, printed)

Formal Modeling and Analysis of Timed Systems = 19th International Conference, FORMATS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (Language materials, printed)

Computational Advances in Bio and Medical Sciences = 10th International Conference, ICCABS 2020, Virtual Event, December 10-12, 2020, Revised Selected Papers / by: (Language materials, printed)

Theory and Applications of Satisfiability Testing – SAT 2021 = 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings / by: (Language materials, printed)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II / by: (Language materials, printed)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part I / 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)

Wireless Algorithms, Systems, and Applications = 16th International Conference, WASA 2021, Nanjing, China, June 25–27, 2021, Proceedings, Part II / by: (Language materials, printed)

Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings / by: (Language materials, printed)

Applications of Evolutionary Computation = 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings / by: (Language materials, printed)

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

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

Verification, Model Checking, and Abstract Interpretation = 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings / by: (Language materials, printed)

Practical Aspects of Declarative Languages = 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings / by: (Language materials, printed)

Mobile, Secure, and Programmable Networking = 6th International Conference, MSPN 2020, Paris, France, October 28–29, 2020, Revised Selected Papers / by: (Language materials, printed)

Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers / by: (Language materials, printed)

Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / by: (Language materials, printed)

Information Retrieval = 27th China Conference, CCIR 2021, Dalian, China, October 29–31, 2021, Proceedings / 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)

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

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

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

Structural Information and Communication Complexity = 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings / by: (Language materials, printed)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 17th International Symposium, ARC 2021, Virtual Event, June 29–30, 2021, Proceedings / 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)

Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / by: (Language materials, printed)

Static Analysis = 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 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)

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

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

Model Checking, Synthesis, and Learning = Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday / by: (Language materials, printed)

Algorithmic Aspects of Cloud Computing = 6th International Symposium, ALGOCLOUD 2021, Lisbon, Portugal, September 6–7, 2021, Revised Selected Papers / by: (Language materials, printed)

Communication Technologies for Vehicles = 16th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2021, Madrid, Spain, November 16–17, 2021, Revised Selected Papers / by: (Language materials, printed)

Supercomputing = 7th Russian Supercomputing Days, RuSCDays 2021, Moscow, Russia, September 27–28, 2021, Revised Selected Papers / by: (Language materials, printed)

Psychology, Learning, Technology = First International Conference, PLT 2022, Foggia, Italy, January 19–21, 2022, Revised Selected Papers / by: (Language materials, printed)

Cyber Warfare, Security and Space Research = First International Conference, SpacSec 2021, Jaipur, India, December 9–10, 2021, Revised Selected Papers / by: (Language materials, printed)

Towards Autonomous Robotic Systems = 23rd Annual Conference, TAROS 2022, Culham, UK, September 7–9, 2022, Proceedings / by: (Language materials, printed)

Virtual Reality and Mixed Reality = 19th EuroXR International Conference, EuroXR 2022, Stuttgart, Germany, September 14–16, 2022, Proceedings / by: (Language materials, printed)

Model-Based Safety and Assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings / by: (Language materials, printed)

Dependable Computing – EDCC 2022 Workshops = SERENE, DREAMS, AI4RAILS, Zaragoza, Spain, September 12, 2022, Proceedings / by: (Language materials, printed)

OpenMP in a Modern World: From Multi-device Support to Meta Programming = 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27–30, 2022, Proceedings / by: (Language materials, printed)

Real-Time Systems = Design Principles for Distributed Embedded Applications / by: (Language materials, printed)

Explainable and Transparent AI and Multi-Agent Systems = 4th International Workshop, EXTRAAMAS 2022, Virtual Event, May 9–10, 2022, Revised Selected Papers / by: (Language materials, printed)

Computer Security – ESORICS 2022 = 27th European Symposium on Research in Computer Security, Copenhagen, Denmark, September 26–30, 2022, Proceedings, Part III / by: (Language materials, printed)

Smart Cities, Green Technologies, and Intelligent Transport Systems = 10th International Conference, SMARTGREENS 2021, and 7th International Conference, VEHITS 2021, Virtual Event, April 28–30, 2021, Revised Selected Papers / by: (Language materials, printed)

Computational Intelligence, Cyber Security and Computational Models. Recent Trends in Computational Models, Intelligent and Secure Systems = 5th International Conference, ICC3 2021, Coimbatore, India, December 16–18, 2021, Revised Selected Papers / by: (Language materials, printed)

HCI International 2022 – Late Breaking Papers: HCI for Health, Well-being, Universal Access and Healthy Aging = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by: (Language materials, printed)

Computational Advances in Bio and Medical Sciences = 11th International Conference, ICCABS 2021, Virtual Event, December 16–18, 2021, Revised Selected Papers / by: (Language materials, printed)

Internet of Things. IoT through a Multi-disciplinary Perspective = 5th IFIP International Cross-Domain Conference, IFIPIoT 2022, Amsterdam, The Netherlands, October 27–28, 2022, Proceedings / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Practice = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II / by: (Language materials, printed)

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles = 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I / by: (Language materials, printed)

Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part XXXVIII / by: (Language materials, printed)

Computer Vision – ECCV 2022 = 17th European Conference, Tel Aviv, Israel, October 23–27, 2022, Proceedings, Part I / by: (Language materials, printed)

Advances in Computing = 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22–26, 2021, Revised Selected Papers / by: (Language materials, printed)

Engineering Software for Modern Challenges = First International Conference, ESMoC 2021, Johor, Malaysia, October 20–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV = International Workshop, COINE 2022, Virtual Event, May 9, 2022, Revised Selected Papers / by: (Language materials, printed)

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

Biomimetic and Biohybrid Systems = 11th International Conference, Living Machines 2022, Virtual Event, July 19–22, 2022, Proceedings / by: (Language materials, printed)

Web and Internet Economics = 18th International Conference, WINE 2022, Troy, NY, USA, December 12–15, 2022, Proceedings / by: (Language materials, printed)

Interactive Collaborative Robotics = 7th International Conference, ICR 2022, Fuzhou, China, December 16-18, 2022, Proceedings / by: (Language materials, printed)

Supercomputing = 8th Russian Supercomputing Days, RuSCDays 2022, Moscow, Russia, September 26–27, 2022, Revised Selected Papers / by: (Language materials, printed)

Human Aspects of IT for the Aged Population. Technology in Everyday Living = 8th International Conference, ITAP 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II / by: (Language materials, printed)

OCaml Scientific Computing = Functional Programming in Data Science and Artificial Intelligence / by: (Language materials, printed)

Innovations for Community Services = 22nd International Conference, I4CS 2022, Delft, The Netherlands, June 13–15, 2022, Proceedings / by: (Language materials, printed)

Wireless Mobile Communication and Healthcare = 10th EAI International Conference, MobiHealth 2021, Virtual Event, November 13–14, 2021, Proceedings / by: (Language materials, printed)

Coordination Models and Languages = 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / by: (Language materials, printed)

Social Computing and Social Media: Design, User Experience and Impact = 14th International Conference, SCSM 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by: (Language materials, printed)

Distributed, Ambient and Pervasive Interactions. Smart Environments, Ecosystems, and Cities = 10th International Conference, DAPI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by: (Language materials, printed)

Design, User Experience, and Usability: UX Research, Design, and Assessment = 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part I / by: (Language materials, printed)

Design, User Experience, and Usability: Design Thinking and Practice in Contemporary and Emerging Technologies = 11th International Conference, DUXU 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III / by: (Language materials, printed)

Engineering Psychology and Cognitive Ergonomics = 19th International Conference, EPCE 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings / by: (Language materials, printed)

HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part IV / by: (Language materials, printed)

Human-Computer Interaction. User Experience and Behavior = Thematic Area, HCI 2022, Held as Part of the 24th HCI International Conference, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part III / by: (Language materials, printed)

HCI International 2022 Posters = 24th International Conference on Human-Computer Interaction, HCII 2022, Virtual Event, June 26 – July 1, 2022, Proceedings, Part II / by: (Language materials, printed)

IoT and Big Data Technologies for Health Care = Second EAI International Conference, IoTCare 2021, Virtual Event, October 18-19, 2021, Proceedings, Part I / by: (Language materials, printed)

Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part II / by: (Language materials, printed)

Computers Helping People with Special Needs = 18th International Conference, ICCHP-AAATE 2022, Lecco, Italy, July 11–15, 2022, Proceedings, Part I / by: (Language materials, printed)

Software Technologies = 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers / by: (Language materials, printed)

Agents and Artificial Intelligence = 13th International Conference, ICAART 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers / by: (Language materials, printed)

Computer Supported Cooperative Work and Social Computing = 16th CCF Conference, ChineseCSCW 2021, Xiangtan, China, November 26–28, 2021, Revised Selected Papers, Part I / by: (Language materials, printed)

DevOps for Airborne Software = Exploring Modern Approaches / by: (Language materials, printed)

Euro-Par 2022: Parallel Processing = 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22–26, 2022, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part III / by: (Language materials, printed)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part I / by: (Language materials, printed)

Edge Computing – EDGE 2021 = 5th International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings / by: (Language materials, printed)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part II / by: (Language materials, printed)

Intelligent Robotics and Applications = 15th International Conference, ICIRA 2022, Harbin, China, August 1–3, 2022, Proceedings, Part IV / by: (Language materials, printed)

Smart Card Research and Advanced Applications = 20th International Conference, CARDIS 2021, Lübeck, Germany, November 11–12, 2021, Revised Selected Papers / by: (Language materials, printed)

Intelligent Computing Methodologies = 18th International Conference, ICIC 2022, Xi'an, China, August 7–11, 2022, Proceedings, Part III / by: (Language materials, printed)

Driving Scientific and Engineering Discoveries Through the Integration of Experiment, Big Data, and Modeling and Simulation = 21st Smoky Mountains Computational Sciences and Engineering, SMC 2021, Virtual Event, October 18-20, 2021, Revised Selected Papers / by: (Language materials, printed)

Well-Being in the Information Society: When the Mind Breaks = 9th International Conference, WIS 2022, Turku, Finland, August 25–26, 2022, Proceedings / by: (Language materials, printed)

Parallel and Distributed Computing, Applications and Technologies = 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings / by: (Language materials, printed)

Hybrid Dynamical Systems = Fundamentals and Methods / by: (Language materials, printed)

Passive and Active Measurement = 23rd International Conference, PAM 2022, Virtual Event, March 28–30, 2022, Proceedings / by: (Language materials, printed)

Cloud Computing = 11th EAI International Conference, CloudComp 2021, Virtual Event, December 9–10, 2021, Proceedings / by: (Language materials, printed)

Kompatibilitätsverfahren für Profinet-Hardware mit Ethernet Time Sensitive Networks by: (Language materials, printed)

Cognitive Systems and Information Processing = 6th International Conference, ICCSIP 2021, Suzhou, China, November 20–21, 2021, Revised Selected Papers / by: (Language materials, printed)

Mobile Networks and Management = 11th EAI International Conference, MONAMI 2021, Virtual Event, October 27-29, 2021, Proceedings / by: (Language materials, printed)

Internet of Things. Technology and Applications = 4th IFIP International Cross-Domain Conference, IFIPIoT 2021, Virtual Event, November 4–5, 2021, Revised Selected Papers / by: (Language materials, printed)

Distributed Computer and Communication Networks = 24th International Conference, DCCN 2021, Moscow, Russia, September 20–24, 2021, Revised Selected Papers / by: (Language materials, printed)

Smart Cities = 4th Ibero-American Congress, ICSC-Cities 2021, Cancún, Mexico, November 29 - December 1, 2021, Revised Selected Papers / by: (Language materials, printed)

Sensor systems and software = 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022 : proceedings / by: (Language materials, printed)

Designing modern embedded systems = software, hardware, and applications : 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022 : proceedings / by: (Language materials, printed)

Machine intelligence and emerging technologies = first International Conference, MIET 2022, Noakhali, Bangladesh, September 23-25, 2022 : proceedings.. Part II / by: (Language materials, printed)

Game theory for networks = 11th International EAI Conference, GameNets 2022, virtual event, July 7-8, 2022 : proceedings / by: (Language materials, printed)

Artificial life and evolutionary computation = 15th Italian Workshop, WIVACE 2021, Winterthur, Switzerland, September 15-17, 2021 : revised selected papers / by: (Language materials, printed)

Innovations and interdisciplinary solutions for underserved areas = 5th EAI International Conference, INTERSOL 2022, Abuja, Nigeria, March 23-24, 2022 : proceedings / by: (Language materials, printed)

Big data analytics = 10th International Conference, BDA 2022, Ahmedabad, India, December 19-22, 2022 : proceedings / by: (Language materials, printed)

Social robotics = 14th International Conference, ICSR 2022, Florence, Italy, December 13-16, 2022 : proceedings.. Part I / by: (Language materials, printed)

Towards new e-Infrastructure and e-Services for Developing Countries = 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022 : proceedings / by: (Language materials, printed)

Collaborative computing = networking, applications and worksharing : 18th EAI International Conference, CollaborateCom 2022, Hangzhou, China, October 15-16, 2022 : proceedings.. Part I / by: (Language materials, printed)

HCI International 2022 - posters = 24th International Conference on Human-Computer Interaction, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part IV / by: (Language materials, printed)

OpenMP in a modern world = from multi-device support to meta programming : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022 : proceedings / by: (Language materials, printed)

Social computing and social media = design, user experience and impact : 14th International Conference, SCSM 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part I / by: (Language materials, printed)

Design, user experience, and usability = design thinking and practice in contemporary and emerging technologies : 11th International Conference, DUXU 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part III / by: (Language materials, printed)

Engineering psychology and cognitive ergonomics = 19th International Conference, EPCE 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings / by: (Language materials, printed)

Human-computer interaction = user experience and behavior : thematic area, HCI 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part III / by: (Language materials, printed)

Distributed, ambient and pervasive interactions = smart environments, ecosystems, and cities : 10th International Conference, DAPI 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part I / by: (Language materials, printed)

Design, user experience, and usability = ux research, design, and assessment : 11th International Conference, DUXU 2022, held as part of the 24th HCI International Conference, HCII 2022, virtual event, June 26 - July 1, 2022 : proceedings.. Part I / by: (Language materials, printed)

Advances in cryptology - ASIACRYPT 2022 = 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022 : proceedings.. Part I / by: (Language materials, printed)

Large-scale agile frameworks = agile frameworks, agile infrastructure and pragmatic solutions for digital transformation / by: (Language materials, printed)

Innovations for community services = 23rd International Conference, I4CS 2023, Bamberg, Germany, September 11-13, 2023 : proceedings / by: (Language materials, printed)

OpenMP : advanced task-based, device and compiler programming = 19th International Workshop on OpenMP, IWOMP 2023, Bristol, UK, September 13-15, 2023 : proceedings / by: (Language materials, printed)

Reproducible research in pattern recognition = fourth International Workshop, RRPR 2022, Montreal, Canada, August 21, 2022 : revised selected papers / by: (Language materials, printed)

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

Euro-Par 2023 = parallel processing : 29th International Conference on Parallel and Distributed Computing, Limassol, Cyprus, August 28 - September 1, 2023 : proceedings / by: (Language materials, printed)

Explainable and transparent AI and multi-agent systems = 5th International Workshop, EXTRAAMAS 2023, London, UK, May 29, 2023 : revised selected papers / by: (Language materials, printed)

Interactive collaborative robotics = 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023 : proceedings / by: (Language materials, printed)

Handbook of dynamic data driven applications systems.. Volume 2 by: (Language materials, printed)

Towards autonomous robotic systems = 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023 : proceedings / by: (Language materials, printed)

Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part VII / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part IX / by: (Language materials, printed)

Information and communication technologies = 11th Ecuadorian conference, TICEC 2023, Cuenca, Ecuador, October 18-20, 2023 : proceedings / by: (Language materials, printed)

WiFi signal-based user authentication by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part VI / by: (Language materials, printed)

Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part II / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part III / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part IV / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part V / by: (Language materials, printed)

Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part I / by: (Language materials, printed)

Shape in medical imaging = International Workshop, ShapeMI 2023, held in conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023 : proceedings / by: (Language materials, printed)

AIxIA 2023 - Advances in Artificial Intelligence = XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023 : proceedings / by: (Language materials, printed)

Scheduling and reconfiguration of real-time systems = a supervisory control approach / by: (Language materials, printed)

Telecommunications and remote sensing = 12th International Conference, ICTRS 2023, Rhodes, Greece, September 18-19, 2023 : proceedings / by: (Language materials, printed)

Entertainment computing - ICEC 2023 = 22nd IFIP TC 14 International Conference, ICEC 2023, Bologna, Italy, November 15-17, 2023 : proceedings / by: (Language materials, printed)

Virtual reality and mixed reality = 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 - December 1, 2023 : proceedings / by: (Language materials, printed)

Big data and artificial intelligence = 11th International Conference, BDA 2023, Delhi, India, December 7-9, 2023 : proceedings / by: (Language materials, printed)

Intelligent industrial internet systems = architecture, deployment and applications / by: (Language materials, printed)

Coordination, organizations, institutions, norms, and ethics for governance of multi-agent systems XVI = 27th International Workshop, COINE 2023, London, UK, May 29, 2023 : revised selected papers / by: (Language materials, printed)

Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part I / by: (Language materials, printed)

Supercomputing = 9th Russian Supercomputing Days, RuSCDays 2023, Moscow, Russia, September 25-26, 2023 : revised selected papers.. Part II / by: (Language materials, printed)

Human aspects of IT for the aged population = 9th International Conference, ITAP 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part I / by: (Language materials, printed)

Human aspects of IT for the aged population = 9th International Conference, ITAP 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part II / by: (Language materials, printed)

Engineering psychology and cognitive ergonomics = 20th International Conference, EPCE 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part I / by: (Language materials, printed)

Design, user experience, and usability = 12th International Conference, DUXU 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part III / by: (Language materials, printed)

Design, user experience, and usability = 12th International Conference, DUXU 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part V / by: (Language materials, printed)

Design, user experience, and usability = 12th International Conference, DUXU 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part IV / by: (Language materials, printed)

Design, user experience, and usability = 12th International Conference, DUXU 2023, held as part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023 : proceedings.. Part I / by: (Language materials, printed)

South African computer science and information systems research trends = 45th annual conference, SAICSIT 2024, Gqeberha, South Africa, July 15-17, 2024 : proceedings / by: (Language materials, printed)

Computers helping people with special needs = 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024 : proceedings.. Part I / by: (Language materials, printed)

Computers helping people with special needs = 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024 : proceedings.. Part II / by: (Language materials, printed)

Verified software. theories, tools and experiments = 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023 : revised selected papers / by: (Language materials, printed)

Smart business technologies = 20th International Conference, ICSBT 2023, Rome, Italy, July 11-13, 2023 : revised selected papers / by: (Language materials, printed)

Context-aware systems and applications = 12th EAI International Conference, ICCASA 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023 : proceedings / by: (Language materials, printed)

Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part I / by: (Language materials, printed)

Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part III / by: (Language materials, printed)

Euro-Par 2024 = parallel processing : 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024 : proceedings.. Part II / by: (Language materials, printed)

Database systems for advanced applications = 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024 : proceedings.. Part VI / by: (Language materials, printed)

Database systems for advanced applications = 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024 : proceedings.. Part VII / by: (Language materials, printed)

Interactive collaborative robotics = 9th International Conference, ICR 2024, Mexico City, Mexico, October 14-18, 2024 : proceedings / by: (Language materials, printed)

Database systems for advanced applications = 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024 : proceedings.. Part IV / by: (Language materials, printed)

Computer vision - ECCV 2024 = 18th European Conference, Milan, Italy, September 29-October 4, 2024 : proceedings.. Part LXXVII / by: (Language materials, printed)

IoT Technologies and Wearables for HealthCare = 10th EAI International Conference, HealthyIoT 2023, and 4th EAI International Conference, HealthWear 2023, Bratislava, Slovakia, October 24-26, 2023 : proceedings / by: (Language materials, printed)

Advances in computing = 16th Colombian Congress, CCC 2022, Armenia, Colombia, October 17-21, 2022 : revised selected papers / by: (Language materials, printed)

Database Systems for Advanced Applications = 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024 : proceedings.. Part V / by: (Language materials, printed)

Advances in computing = 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024 : revised selected papers.. Part I / by: (Language materials, printed)

Advances in computing = 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024 : revised selected papers.. Part II / by: (Language materials, printed)

Advancement in computational methods for life systems modelling and simulation = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part I / by: (Language materials, printed)

Robotics and autonomous systems and engineering applications of computational intelligence = 8th International Conference on Life System Modeling and Simulation, LSMS 2024 and 8th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2024, Suzhou, China, September 13-15, 2024 : proceedings.. Part V / by: (Language materials, printed)

Fireside lectures on classic robotic HPB surgery = from the sparkling of sparks to the spreading of prairie blazes : in memory of prof. Ningxin Zhou / by: (Language materials, printed)

Data management technologies and applications = 12th International Conference, DATA 2023, Rome, Italy, July 11-13, 2023 : revised selected papers / by: (Language materials, printed)

Advancing OpenMP for future accelerators = 20th International Workshop on OpenMP, IWOMP 2024. Perth, WA, Australia, September 23-25, 2024 : proceedings / by: (Language materials, printed)

Performance evaluation and benchmarking = 15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 - September 1, 2023 : revised selected papers / by: (Language materials, printed)

Explainable and transparent AI and multi-agent systems = 6th International Workshop, EXTRAAMAS 2024, Auckland, New Zealand, May 6-10, 2024 : revised selected papers / by: (Language materials, printed)

Database systems for advanced applications = 29th International Conference, DASFAA 2024, Gifu, Japan, July 2-5, 2024 : proceedings.. Part I / by: (Language materials, printed)