Computer Systems Organization and Communication Networks.

Botnet Detection = Countering the Largest Security Threat / by: (Language materials, printed)

Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide / by: (Language materials, printed)

Next Generation Intelligent Optical Networks = From Access to Backbone / by: (Language materials, printed)

Grid Middleware and Services = Challenges and Solutions / by: (Language materials, printed)

Vulnerability Analysis and Defense for the Internet by: (Language materials, printed)

From Grids to Service and Pervasive Computing by: (Language materials, printed)

E-Business and Telecommunication Networks = Third International Conference, ICETE 2006, Setubal, Portugal, August 7-10, 2006. Selected Papers / by: (Language materials, printed)

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

Multiaccess, reservations & queues by: (Electronic resources)

Implementing IT processes = the main 17 IT processes and directions for a successful implementation / by: (Language materials, printed)

The Complete IS-IS Routing Protocol by: (Language materials, printed)

Advances in Pervasive Computing and Networking by: (Language materials, printed)

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

Dynamic and Robust Streaming in and between Connected Consumer-Electronic Devices by: (Language materials, printed)

Scalable Infrastructure for Distributed Sensor Networks by: (Language materials, printed)

Knowledge Discovery from Legal Databases by: (Language materials, printed)

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

Advanced Autonomic Networking and Communication by: (Language materials, printed)

Methods and Tools for Collaborative Networked Organizations by: (Language materials, printed)

Graphs, dioids and semirings = new models and algorithms / by: (Language materials, printed)

Open Source Development, Communities and Quality = IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy / by: (Language materials, printed)

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

Precoding techniques for digital communication systems by: (Language materials, printed)

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

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

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

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

Understanding IPv6 by: (Language materials, printed)

Logical Data Modeling = What it is and How to do it / by: (Language materials, printed)

The Austin Protocol Compiler by: (Language materials, printed)

Component Models and Systems for Grid Applications = Proceedings of the Workshop on Component Models and Systems for Grid Applications held June 26, 2004 in Saint Malo, France. / by: (Language materials, printed)

QoS in Packet Networks by: (Language materials, printed)

Principles of Spread-Spectrum Communication Systems by: (Language materials, printed)

Model Driven Architecture - Foundations and Applications : = First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings by: (Language materials, printed)

Complex Dynamics in Communication Networks by: (Language materials, printed)

Information security theory and practice = 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24-25, 2015 : proceedings / by: (Language materials, printed)

Collaborative Networks: Reference Modeling by: (Language materials, printed)

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

Euro-Par 2008 -- Parallel Processing = 14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (Language materials, printed)

Principles of distributed systems = 12th international conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008, proceedings / by: (Language materials, printed)

Managed evolution = a strategy for very large information systems / by: (Language materials, printed)

Handbook of mobile ad hoc networks for mobility models by: (Language materials, printed)

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

Advances in network-embedded management and applications = proceedings of the First International Workshop on Network-Embedded Management and Applications, October 28, 2010, Niagara Falls, Canada / by: (Language materials, printed)

Mobile Information Systems II = IFIP International Working Conference on Mobile Information Systems, (MOBIS) Leeds, UK, December 6-7, 2005 / by: (Language materials, printed)

Wireless network design = optimization models and solution procedures / by: (Language materials, printed)

Queueing networks = a fundamental approach / by: (Language materials, printed)

Globalization of mobile and wireless communications = today and in 2020 / by: (Language materials, printed)

SDL 2005: Model Driven = 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / by: (Language materials, printed)

Model Driven Architecture = European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linko?ping, Sweden, June 10-11, 2004 : revised selected papers / by: (Language materials, printed)

Power-Aware Computer Systems : = 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers by: (Language materials, printed)

Certification and Security in Inter-Organizational E-Services = IFIP 18th World Computer Congress, August 22-27, 2004, Toulouse, France / by: (Language materials, printed)

Design, Automation, and Test in Europe = The Most Influential Papers of 10 Years Date / by: (Language materials, printed)

Multidisciplinary Scheduling: Theory and Applications = 1st International Conference, MISTA `03 Nottingham, UK, 13-15 August 2003 Selected Papers / by: (Language materials, printed)

Optical Networks and Technologies = IFIP TC6 / WG6.10 First Optical Networks & Technologies Conference (OpNeTec), October 18-20, 2004, Pisa, Italy / by: (Language materials, printed)

Multimedia Encryption and Watermarking by: (Language materials, printed)

Next Generation Transport Networks = Data, Management, and Control Planes / by: (Language materials, printed)

Agent technology and e-health by: (Language materials, printed)

Theoretical aspects of distributed computing in sensor networks by: (Language materials, printed)

New developments and applications in sensing technology by: (Language materials, printed)

Stability of Queueing Networks = Ecole d'Ete de Probabilites de Saint-Flour XXXVI - 2006 / by: (Language materials, printed)

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

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

Modelling, computation and optimization in information systems and management sciences = Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings / by: (Electronic resources)

Advances in Applied Self-organizing Systems by: (Language materials, printed)

Network-Aware Security for Group Communications by: (Language materials, printed)

Data driven e-Science = use cases and successful applications of distributed computing infrastructures (ISGC 2010) / by: (Language materials, printed)

Principles of distributed database systems by: (Language materials, printed)

Performance Evaluation and Planning Methods for the Next Generation Internet by: (Language materials, printed)

Secure Group Communications over Data Networks by: (Language materials, printed)

XML for Bioinformatics by: (Language materials, printed)

From P2P to Web Services and Grids = Peers in a Client/Server World / by: (Language materials, printed)

Performance Modeling and Engineering by: (Language materials, printed)

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

Ad Hoc Networks = Technologies and Protocols / by: (Language materials, printed)

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

Optical Communication Theory and Techniques by: (Language materials, printed)

Social network data analytics by: (Language materials, printed)

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

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

Computer networks and information technologies = second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011 : proceedings / by: (Language materials, printed)

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

Network-Based Information Systems = 2nd International Conference, NBiS 2008, Turin, Italy, September 1-5, 2008. Proceedings / by: (Language materials, printed)

Analysis and synthesis of networked control systems by: (Language materials, printed)

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

Achievements in European Research on Grid Systems = CoreGRID Integration Workshop 2006 (Selected Papers) / by: (Language materials, printed)

Networked Sensing Information and Control by: (Language materials, printed)

Distributed Embedded Control Systems = Improving Dependability with Coherent Design / by: (Language materials, printed)

Insider Attack and Cyber Security = Beyond the Hacker / by: (Language materials, printed)

Organic computing = a paradigm shift for complex systems / by: (Language materials, printed)

Look-ahead based sigma-delta modulation by: (Language materials, printed)

Grid Computing = Achievements and Prospects / by: (Language materials, printed)

Security for Telecommunications Networks by: (Language materials, printed)

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

Management of converged multimedia networks and services = 11th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / by: (Language materials, printed)

Emerging web services technology.. Volume II by: (Electronic resources)

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

Smart Cards, Tokens, Security and Applications by: (Language materials, printed)

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

Principles of spread-spectrum communication systems by: (Language materials, printed)

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

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

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

Networked Control Systems = Theory and Applications / by: (Language materials, printed)

Scalable network monitoring in high speed networks by: (Language materials, printed)

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

Making Grids Work = Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece / by: (Language materials, printed)

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

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

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

Mobile and Wireless Communication Networks = IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004) October 25-27, 2004, Paris, France / by: (Language materials, printed)

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

Virtual Organizations = Systems and Practices / by: (Language materials, printed)

Impacts and Risk Assessment of Technology for Internet Security = Enabled Information Small-Medium Enterprises (TEISMES) / by: (Language materials, printed)

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

Handbook of Networked and Embedded Control Systems by: (Language materials, printed)

Do-All Computing in Distributed Systems = Cooperation in the Presence of Adversity / by: (Language materials, printed)

Advances in Communication Systems and Electrical Engineering by: (Language materials, printed)

Wireless Sensor and Actor Networks II = Proceedings of the 2008 IFIP Conference on Wireless Sensor and Actor Networks (WSAN 08), Ottawa, Ontario, Canmada, July 14-15, 2008 / by: (Language materials, printed)

Model Driven Architecture Foundations and Applications = 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / by: (Language materials, printed)

Justifying the Dependability of Computer-based Systems = With Applications in Nuclear Engineering / by: (Language materials, printed)

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

Principles of computer systems and network management by: (Language materials, printed)

Principles of practice in multi-agent systems = 12th international conference, PRIMA 2009, Nagoya, Japan, December 14-16, 2009 : proceedings / by: (Language materials, printed)

Computer-mediated social networking = first International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2009 : revised selected papers / by: (Language materials, printed)

Transactions on pattern languages of programming I 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)

U- and E-Service, Science and Technology = International Conference, UNESST 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)

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)

Communication and networking = International Conference, FGCN/ACN 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)

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

Network control and optimization = Third Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009 : proceedings / by: (Language materials, printed)

Artificial life = borrowing from biology : 4th Australian conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009 : proceedings / by: (Language materials, printed)

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

Future generation information technology = first international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Language materials, printed)

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

Principles of Distributed Systems = 13th International Conference, OPODIS 2009, Nimes, France, December 15-18, 2009 : proceedings / by: (Language materials, printed)

Advances in Information Technology = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (Language materials, printed)

Security Technology = International Conference, SecTech 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)

IP operations and management = 9th IEEE international workshop, IPOM 2009, Venice, Italy, October 29-30, 2009 : proceedings / by: (Language materials, printed)

Integrated management of systems, services, processes and people in IT = 20th IFIP/IEEE international workshop on distributed systems : operations and mnagement, DSOM 2009, Venice, Italy, October 27-28, 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)

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

Leveraging Knowledge for Innovation in Collaborative Networks = 10th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2009, Thessaloniki, Greece, October 7-9, 2009 : proceedings / by: (Language materials, printed)

AccessNets = Third International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers / by: (Language materials, printed)

Advanced topics in system and signal theory = a mathematical approach / by: (Language materials, printed)

Wireless and mobile networking = Second IFIP WG 6.8 Joint Conference, WMNC 2009, Gdansk, Poland, September 9-11, 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)

Security and privacy in mobile information and communication systems = First International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009 : revised selected papers / by: (Language materials, printed)

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

Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers / by: (Language materials, printed)

The internet of the future = 15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009 : proceedings / by: (Language materials, printed)

Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings / by: (Language materials, printed)

Multiagent system technologies = 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings / by: (Language materials, printed)

Smart spaces and next generation wired/wireless networking = 9th international conference, NEW2AN 2009 and Second Conference on Smart Spaces, ruSMART 2009, St. Petersburg, Russia, September 15-18, 2009 : proceedings / by: (Language materials, printed)

Secure data management = 6th VLDB workshop, SDM 2009, Lyon, France, August 28, 2009 : proceedings / by: (Language materials, printed)

Cooperative design, visualization, and engineering = 6th international conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 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)

Management enabling the future internet for changing business and new computing services = 12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009, Jeju, South Korea, September 23-25, 2009 : proceedings / by: (Language materials, printed)

SDL 2009 = design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings / by: (Language materials, printed)

Distributed intelligent systems = a coordination perspective / by: (Language materials, printed)

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

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

Mobile Lightweight Wireless Systems = First International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009 : Revised Selected Papers / by: (Language materials, printed)

Global security, safety, and sustainability = 5th international conference, ICGS3 2009, London, UK, September 1-2, 2009 : proceedings / by: (Language materials, printed)

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

Wireless algorithms, systems, and applications = 4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (Language materials, printed)

Euro-Par 2009 - parallel processing = 15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (Language materials, printed)

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

Dynamics on and of complex networks = applications to biology, computer science, and the social sciences / by: (Language materials, printed)

Proceedings of the European Computing Conference.. Volume 2 by: (Language materials, printed)

Proceedings of the European Computing Conference.. Volume 1 by: (Language materials, printed)

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

Quality-based content delivery over the internet by: (Language materials, printed)

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

Advances in grid and pervasive computing : = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Advances in information security and its application : = third international conference, ISA 2009, Seoul, Korea, June 25-27, 2009 ; proceedings / by: (Language materials, printed)

Advances in Information Technology : = Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009 : proceedings / by: (Language materials, printed)

On the performance of web services by: (Language materials, printed)

Universal semantic communication by: (Language materials, printed)

Recent advances in the message passing interface = 18th European MPI Users' Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011 : proceedings / by: (Language materials, printed)

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

Network reliability and resilience by: (Language materials, printed)

VLSI 2010 Annual Symposium = selected papers / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part II / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part V / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part IV / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011,Xi'an, China, August 20-21, 2011 : proceedings.. Part I / by: (Language materials, printed)

Applied informatics and communication = international conference, ICAIC 2011, Xi'an, China, August 20-21, 2011 : proceedings.. Part III / by: (Language materials, printed)

Information security and assurance = international conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings / by: (Language materials, printed)

Smart spaces and next generation wired/wireless networking = 11th international conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25, 2011 : proceedings / by: (Language materials, printed)

Modelling, computation and optimization in information systems and management sciences = Second International Conference MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings / by: (Electronic resources)

Emerging web services technology.. Volume II by: (Electronic resources)

The future internet = alternative visions / by: (Language materials, printed)

High performance computing = second Latin American Conference, CARLA 2015, Petropolis, Brazil, August 26-28, 2015 : proceedings / by: (Language materials, printed)

SQL server AlwaysOn revealed by: (Language materials, printed)

Cognitive infocommunications (CogInfoCom) by: (Language materials, printed)

Cognitive radio oriented wireless networks = 10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015 : revised selected papers / by: (Language materials, printed)

Computation, cryptography, and network security by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015 : proceedings / by: (Language materials, printed)

IT security risk management in the context of cloud computing = towards an understanding of the key role of providers' IT security risk perceptions / by: (Language materials, printed)

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

VLSI-SoC = at the crossroads of emerging trends : 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013 : revised and extended selected papers / by: (Language materials, printed)

VLSI-SoC: internet of things foundations = 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014 : revised and extended selected papers / by: (Language materials, printed)

Mobile computing, applications, and services = 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12-13, 2015 : revised selected papers / by: (Language materials, printed)

Network-embedded management and applications = understanding programmable networking infrastructure / by: (Language materials, printed)

Scalable multicasting over next-generation internet = design, analysis and applications / by: (Language materials, printed)

Economics of information security and privacy III by: (Language materials, printed)

The era of interactive media by: (Language materials, printed)

Computer and information sciences III = 27th International Symposium on Computer and Information Sciences / by: (Language materials, printed)

The effects of traffic structure on application and network performance by: (Language materials, printed)

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

Handbook of satellite applications by: (Language materials, printed)

Media access control and resource allocation = for next generation passive optical networks / by: (Language materials, printed)

MotionCast for mobile wireless networks by: (Language materials, printed)

Resource allocation in decentralized systems with strategic agents = an implementation theory approach / by: (Language materials, printed)

Mobile computing, applications, and services = 4th International Conference, MobiCASE 2012, Seattle, WA, USA, October 11-12, 2012 : revised Selected Papers / by: (Language materials, printed)

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

Propagation engineering in radio links design by: (Language materials, printed)

Computer networks & communications (NetCom) = proceedings of the Fourth International Conference on Networks & Communications / by: (Language materials, printed)

Reconfigurable computing: Architectures, tools and applications = 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013 : proceedings / by: (Language materials, printed)

Semantic web-based intelligent geospatial web services by: (Language materials, printed)

Signals and transforms in linear systems analysis by: (Language materials, printed)

A real-time in-memory discovery service = leveraging hierarchical packaging information in a unique identifier network to retrieve track and trace information / by: (Language materials, printed)

Advances in applied self-organizing systems by: (Language materials, printed)

Multilayered security and privacy protection in car-to-X networks = solutions from application down to physical layer / by: (Language materials, printed)

Grid and pervasive computing = 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013 : proceedings / by: (Language materials, printed)

Stochastic networked control systems = stabilization and optimization under information constraints / by: (Language materials, printed)

Language processing and intelligent information systems = 20th International Conference, IIS 2013, Warsaw, Poland, June 17-18, 2013 : proceedings / by: (Language materials, printed)

SDL 2013 = model-driven dependability engineering : 16th International SDL Forum, Montreal, Canada, June 26-28, 2013 : proceedings / by: (Language materials, printed)

Handbook of signal processing systems by: (Language materials, printed)

Dynamics on and of complex networks. = applications to time-varying dynamical systems /. Volume 2 by: (Language materials, printed)

Botnets by: (Language materials, printed)

Agreement technologies = second International Conference, AT 2013, Beijing, China, August 1-2, 2013 : proceedings / by: (Language materials, printed)

Information technology convergence = security, robotics, automations and communication / by: (Language materials, printed)

Conversations about challenges in computing by: (Language materials, printed)

Towards a theoretical neuroscience = from cell chemistry to cognition / by: (Language materials, printed)

Dynamic provisioning for community services by: (Language materials, printed)

Information sciences and systems 2013 = proceedings of the 28th International Symposium on Computer and Information Sciences / by: (Language materials, printed)

Data center networks = topologies, architectures and fault-tolerance characteristics / by: (Language materials, printed)

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

Network and parallel computing = 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013 : proceedings / by: (Language materials, printed)

Spyware and adware by: (Language materials, printed)

Developments in telecommunications = with a focus on SS7 network reliability / by: (Language materials, printed)

Challenges for next generation network operations and service management = 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008 : proceedings / by: (Language materials, printed)

Network and parallel computing = IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (Language materials, printed)

Principles, systems and applications of IP telecommunications = services and security for next generation networks : second international conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008, revised selected papers / by: (Language materials, printed)

Research in cryptology = second western European workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007 : revised selected papers / by: (Language materials, printed)

Advances in information technology = 5th international conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012 : proceedings / by: (Language materials, printed)

Introduction to modern sleep technology by: (Language materials, printed)

Communications, signal processing, and systems = the 2012 proceedings of the International Conference on Communications, Signal Processing, and Systems / 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)

Knowledge and skill chains in engineering and manufacturing = information infrastructure in the era of global communications : proceedings of the IFIP TC5/WG5.3, WG5.7, WG5.12 Fifth International Working Conference of Information Infrastructure Systems for Manufacturing 2002 (DIIDM2002), November 18-20, 2002 in Osaka, Japan / by: (Language materials, printed)

Manage IT! = organizing IT demand and IT supply / by: (Language materials, printed)

Multimedia signals and systems 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)

Trustworthy ubiquitous computing by: (Language materials, printed)

Recent advances in the message passing interface = 19th European MPI Users' group meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012 : proceedings / by: (Language materials, printed)

Engineering secure two-party computation protocols = design, optimization, and applications of efficient secure function evaluation / by: (Language materials, printed)

Green Communications and Networking = First International Conference, GreeNets 2011, Colmar, France, October 5-7, 2011 : revised selected papers / by: (Language materials, printed)

Internet of things, smart spaces, and next generation networking = 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 : proceedings / by: (Language materials, printed)

Future information technology, application, and service = FutureTech 2012.. Volume 2 / by: (Language materials, printed)

Embedded and multimedia computing technology and service = EMC 2012 / by: (Language materials, printed)

Mobile computing, applications, and services = third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011 : revised selected papers / by: (Language materials, printed)

Cryptographic protocol = security analysis based on trusted freshness / by: (Language materials, printed)

Instruction sequences for computer science by: (Language materials, printed)

Future information technology, application, and service = FutureTech 2012.. Volume 1 / by: (Language materials, printed)

Resource management in utility and cloud computing by: (Language materials, printed)

Internetworking = technological foundations and applications / by: (Language materials, printed)

AsiaSim 2013 = 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013 : proceedings / by: (Language materials, printed)

Ambient media and systems = third International ICST Conference, AMBI-SYS 2013, Athens, Greece, March 15, 2013 : revised selected papers / by: (Language materials, printed)

Wireless multimedia sensor networks on reconfigurable hardware = information reduction techniques / by: (Language materials, printed)

Modern cryptography primer = theoretical foundations and practical applications / by: (Language materials, printed)

VLSI-SoC = from algorithms to circuits and system-on-chip design : 20th IFIP WG 10.5/IEEE international conference on very large scale integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012 : revised selected papers / by: (Language materials, printed)

CAN system engineering = from theory to practical applications / by: (Language materials, printed)

Rethinking the internet of things = a scalable approach to connecting everything / by: (Language materials, printed)

Massively parallel evolutionary computation on GPGPUs by: (Language materials, printed)

Propagation engineering in wireless communications by: (Language materials, printed)

Computer and information sciences II = 26th International Symposium on Computer and Information Sciences / by: (Language materials, printed)

Haptic systems architecture modeling by: (Language materials, printed)

Digital imaging and communications in medicine (DICOM) = a practical introduction and survival guide / by: (Language materials, printed)

Security and intelligent information systems = International Joint Conferences, SIIS 2011, Warsaw, Poland, June 13-14, 2011 : revised selected papers / by: (Language materials, printed)

Adaptive and learning agents = international workshop, ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2, 2011 : revised selected papers / by: (Language materials, printed)

Rhodes framework for Android platform and BlackBerry smartphones by: (Language materials, printed)

Mobile computing, applications, and services = second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers / by: (Language materials, printed)

Peer-to-peer query processing over multidimensional data by: (Language materials, printed)

Cognitive radio and its application for next generation cellular and wireless networks by: (Language materials, printed)

Grid computing = international symposium on grid computing (ISGC 2007) / by: (Language materials, printed)

Voice over IP in wireless heterogeneous networks = signalling, mobility, and security / by: (Language materials, printed)

Harbour protection through data fusion technologies by: (Language materials, printed)

From P2P and grids to services on the web = bevolving distributed communities / by: (Language materials, printed)

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

Peer-to-peer computing for mobile networks = information discovery and dissemination / by: (Language materials, printed)

Grid and services evolution = proceedings of the 3rd CoreGRID workshop on grid middleware, June 5-6 2008, Barcelona, Spain / by: (Language materials, printed)

Guide to wireless ad hoc networks by: (Language materials, printed)

Guide to wireless mesh networks by: (Language materials, printed)

Automating Linux and UNIX system administration by: (Language materials, printed)

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

Advanced agent-based environmental management systems by: (Language materials, printed)

Enterprise governance of information technology = achieving strategic alignment and value / by: (Language materials, printed)

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

Advances in grid and pervasive computing = 4th international conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009 : proceedings / by: (Language materials, printed)

Access to mobile services by: (Language materials, printed)

Security and dependability for ambient intelligence by: (Language materials, printed)

Network infrastructure security by: (Language materials, printed)

Computational Sensor Networks by: (Language materials, printed)

Traffic and QoS management in wireless multimedia networks = COST 290 final report / by: (Language materials, printed)

Multi-carrier systems & solutions 2009 = proceedings from the 7th International Workshop on Multi-Carrier Sytems & Solutions, May 2009, Herrsching, Germany / by: (Language materials, printed)

Networking 2009 = 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009 ; proceedings / by: (Language materials, printed)

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

Guide to wireless sensor networks 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)

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

Secure smart embedded devices, platforms and applications by: (Language materials, printed)

Capacity analysis of vehicular communication networks by: (Language materials, printed)

System-level design methodologies for telecommunication by: (Language materials, printed)

Confidentiality and integrity in crowdsourcing systems by: (Language materials, printed)

Dual phase evolution by: (Language materials, printed)

The circulation of agency in e-justice = interoperability and infrastructures for European transborder judicial proceedings / by: (Language materials, printed)

Video over cognitive radio networks = when quality of service meets spectrum / by: (Language materials, printed)

Digital communication = communication, multimedia, security / by: (Language materials, printed)

Computer engineering and networking = Proceedings of the 2013 International Conference on Computer Engineering and Network (CENet2013) / by: (Language materials, printed)

Support vector machines application by: (Language materials, printed)

Practical IPv6 for Windows administrators by: (Language materials, printed)

Mobile computing, applications, and services = 5th International Conference, MobiCASE 2013, Paris, France, November 7-8, 2013 : revised selected papers / by: (Language materials, printed)

Services in wireless sensor networks = modelling and optimisation for the efficient discovery of services / by: (Language materials, printed)

Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers / by: (Language materials, printed)

Low complexity MIMO receivers by: (Language materials, printed)

Advances in artificial economics by: (Language materials, printed)

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

Practical Linux infrastructure by: (Language materials, printed)

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

Digital signal processing for wireless communication using Matlab by: (Language materials, printed)

Game-theoretic interference coordination approaches for dynamic spectrum access by: (Language materials, printed)

Multimedia signals and systems = basic and advanced algorithms for signal processing / by: (Language materials, printed)

A polynomial translation of mobile ambients into safe petri nets = understanding a calculus of hierarchical protection domains / by: (Language materials, printed)

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

Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers / by: (Language materials, printed)

Anti-fragile ICT systems by: (Language materials, printed)

Applied reconfigurable computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22-24, 2016 : proceedings / by: (Language materials, printed)

Bioinformatics and biomedical engineering = 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016 : proceedings / by: (Language materials, printed)

Signal integrity = applied electromagnetics and professional practice / by: (Language materials, printed)

Applications and usability of interactive TV = 4th Iberoamerican Conference, jAUTI 2015, and 6th Congress on Interactive Digital TV, CTVDI 2015, Palma de Mallorca, Spain, October 15-16, 2015 : revised selected papers / by: (Language materials, printed)

Description and selection of communication services for service oriented network architectures by: (Language materials, printed)

Innovative web applications for analyzing traffic operations by: (Language materials, printed)

Security of industrial control systems and cyber physical systems = first Workshop, CyberICS 2015 and first Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 : revised selected papers / by: (Language materials, printed)

Propagation engineering in wireless communications by: (Language materials, printed)

Proceedings of the 2015 International Conference on Communications, Signal Processing, and Systems by: (Language materials, printed)

Building Arduino projects for the internet of things = experiments with real-world applications / by: (Language materials, printed)

High performance computing and applications = third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015 : revised selected papers / by: (Language materials, printed)

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

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

The GENI book by: (Language materials, printed)

Future mobile transport protocols = adaptive congestion control for unpredictable cellular networks / by: (Language materials, printed)

Information security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016 : proceedings / by: (Language materials, printed)

VLSI-SoC = design for reliability, security, and low power : 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015 : revised selected papers / by: (Language materials, printed)

Computer safety, reliability, and security = 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016 : proceedings / by: (Language materials, printed)

Information security theory and practice = 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26-27, 2016 : proceedings / by: (Language materials, printed)

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

Residue number systems = theory and applications / by: (Language materials, printed)

Communicating, networking, interacting = the International Year of Global Understanding - IYGU / by: (Language materials, printed)

Computer and computing technologies in agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015 : revised selected papers.. Part II / by: (Language materials, printed)

Computer and computing technologies in agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015 : revised selected papers.. Part I / by: (Language materials, printed)

Digital transformation and global society = first International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016 : revised selected papers / by: (Language materials, printed)

Digital connectivity = social impact : 51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016 : proceedings / by: (Language materials, printed)

SQL on big data = technology, architecture, and innovation / by: (Language materials, printed)

Cyber-physical systems of systems = foundations - a conceptual model and some derivations: the AMADEOS legacy / by: (Language materials, printed)

SQL Server AlwaysOn revealed by: (Language materials, printed)

Evaluation of novel approaches to software engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers / by: (Language materials, printed)

High performance computing = third Latin American Conference, CARLA 2016, Mexico City, Mexico, August 29-September 2, 2016 : revised selected papers / by: (Language materials, printed)

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

Digital logic for computing by: (Language materials, printed)

Guide to convolutional neural networks = a practical application to traffic-sign detection and classification / by: (Language materials, printed)

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

SCION = a secure internet architecture / by: (Language materials, printed)

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

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

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: (Language materials, printed)

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

Embedded systems architecture for agile development = a layers-based model / by: (Language materials, printed)

The network organization = a governance perspective on structure, dynamics and performance / by: (Language materials, printed)

Verifiable privacy protection for vehicular communication systems by: (Language materials, printed)

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

Security of industrial control systems and cyber-physical systems = second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016 : revised selected papers / by: (Language materials, printed)

Tests and proofs = 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (Language materials, printed)

Information and communication technologies in education, research, and industrial applications = 12th International Conference, ICTERI 2016, Kyiv, Ukraine, June 21-24, 2016 : revised selected papers / by: (Language materials, printed)

Queueing theory and network applications = 12th International Conference, QTNA 2017, Qinhuangdao, China, August 21-23, 2017 : proceedings / by: (Language materials, printed)

Financial cryptography and data security = FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017 : revised selected papers / by: (Language materials, printed)

Internet science = 4th International Conference, INSCI 2017, Thessaloniki, Greece, November 22-24, 2017 : proceedings / by: (Language materials, printed)

Secure IT systems = 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8-10, 2017 : proceedings / by: (Language materials, printed)

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

Internet of vehicles = technologies and services for smart cities : 4th International Conference, IOV 2017, Kanazawa, Japan, November 22-25, 2017 : proceedings / by: (Language materials, printed)

Modeling, simulation and optimization of complex processes HPSC 2015 = proceedings of the Sixth International Conference on High Performance Scientific Computing, March 16-20, 2015, Hanoi, Vietnam / by: (Language materials, printed)

Processing for Android = create mobile, sensor-aware, and VR applications using processing / by: (Language materials, printed)

Security, privacy, and anonymity in computation, communication, and storage = 10th International Conference, SpaCCS 2017, Guangzhou, China, December 12-15, 2017 : proceedings / by: (Language materials, printed)

Security, privacy, and anonymity in computation, communication, and storage = SpaCCS 2017 International Workshops, Guangzhou, China, December 12-15, 2017 : proceedings / by: (Language materials, printed)

Algorithms for sensor systems = 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017 : revised selected papers / by: (Language materials, printed)

Software engineering for self-adaptive systems. = International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013 : revised selected and invited papers /. III,. Assurances by: (Language materials, printed)

Communication in critical embedded systems = first Workshop, WoCCES 2013, Brasilia, Brazil, May, 10, 2013, second Workshop, WoCCES 2014, Florianopolis, Brazil, May 9, 2014, third Workshop, WoCCES 2015, Vitoria, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016 : revised selected papers / by: (Language materials, printed)

Information and communication technologies for ageing well and e-Health = second International Conference, ICT4AWE 2016, Rome, Italy, April 21-22, 2016 : revised selected papers / by: (Language materials, printed)

Applications and usability of interactive TV = 5th Iberoamerican Conference, jAUTI 2016, La Habana, Cuba, November 21-25, 2016 : revised selected papers / by: (Language materials, printed)

Smart cities, green technologies, and intelligent transport systems = 5th International Conference, SMARTGREENS 2016, and second International Conference, VEHITS 2016, Rome, Italy, April 23-25, 2016 : revised selected papers / by: (Language materials, printed)

VLSI-SoC = system-on-chip in the nanoscale era - design, verification and reliability : 24th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016 : revised selected papers / by: (Language materials, printed)

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

Rendezvous in distributed systems = theory, algorithms and applications / by: (Language materials, printed)

Advances in soft computing = 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancun, Mexico, October 23-28, 2016 : proceedings.. Part II / by: (Language materials, printed)

Advances in soft computing = 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancun, Mexico, October 23-28, 2016 : proceedings.. Part I / by: (Language materials, printed)

Big data analytics and knowledge discovery = 19th International Conference, DaWaK 2017, Lyon, France, August 28-31, 2017 : proceedings / by: (Language materials, printed)

Software architecture = 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017 : proceedings / by: (Language materials, printed)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / by: (Language materials, printed)

ICT Innovations 2017 = Data-Driven Innovation. 9th International Conference, ICT Innovations 2017, Skopje, Macedonia, September 18-23, 2017 : proceedings / by: (Language materials, printed)

Digital communication = towards a smart and secure future internet : 28th International Tyrrhenian Workshop, TIWDC 2017, Palermo, Italy, September 18-20, 2017 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017 : proceedings / by: (Language materials, printed)

Computational collective intelligence = 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017 : proceedings.. Part I / by: (Language materials, printed)

Connectomics in neuroImaging = first International Workshop, CNI 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017 : proceedings / by: (Language materials, printed)

Intravascular imaging and computer assisted stenting, and large-scale annotation of biomedical data and expert label synthesis = 6th Joint International Workshops, CVII-STENT 2017 and second International Workshop, LABELS 2017, held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10-14, 2017 : proceedings / by: (Language materials, printed)

Human-computer interaction - INTERACT 2017 = 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017 : proceedings.. Part II / by: (Language materials, printed)

Human-computer interaction - INTERACT 2017 = 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017 : proceedings.. Part III / by: (Language materials, printed)

Human-computer interaction - INTERACT 2017 = 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017 : proceedings.. Part I / by: (Language materials, printed)

SDL 2017 = model-driven engineering for future internet : 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017 : proceedings / by: (Language materials, printed)

Human-computer interaction - INTERACT 2017 = 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017 : proceedings.. Part IV / by: (Language materials, printed)

The student supercomputer challenge guide = from supercomputing competition to the next HPC generation / by: (Language materials, printed)

LATIN 2018 = theoretical informatics : 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018 : proceedings / by: (Language materials, printed)

Fundamental approaches to software engineering = 21st International Conference, FASE 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Language materials, printed)

Supercomputing frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018 : proceedings / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part I / by: (Language materials, printed)

Internet science = INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017 : revised selected papers / by: (Language materials, printed)

Public-key cryptography - PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018 : proceedings.. Part II / by: (Language materials, printed)

Parallel processing and applied mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017 : revised selected papers.. Part II / by: (Language materials, printed)

Applications and usability of interactive television = 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017 : revised selected papers / by: (Language materials, printed)

Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Language materials, printed)

Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part II / by: (Language materials, printed)

Mobile computing, applications, and services = 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 - March 2, 2018 : proceedings / by: (Language materials, printed)

Honeypot frameworks and their applications = a new framework / by: (Language materials, printed)

Bioinspired optimization methods and their applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018 : proceedings / by: (Language materials, printed)

Designing for a digital and globalized world = 13th International Conference, DESRIST 2018, Chennai, India, June 3-6, 2018 : proceedings / by: (Language materials, printed)

Artificial intelligence and soft computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

Artificial intelligence and soft computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Fundamentals of optical computing technology = forward the next generation supercomputer / by: (Language materials, printed)

Internet of things - ICIOT 2018 = third International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Language materials, printed)

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

HCI International 2018 - Posters' extended abstracts = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018 : proceedings.. Part I / by: (Language materials, printed)

Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23-25, 2017 : revised selected papers / by: (Language materials, printed)

Highlights of practical applications of agents, multi-agent systems, and complexity = the PAAMS collection : International Workshops of PAAMS 2018, Toledo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part I / by: (Language materials, printed)

Computational Science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part II / by: (Language materials, printed)

Advances in practical applications of agents, multi-agent systems, and complexity = the PAAMS Collection : 16th International Conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018 : proceedings / by: (Language materials, printed)

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

Computational science - ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018 : proceedings.. Part III / by: (Language materials, printed)

Information and communication technology for development for Africa = first International Conference, ICT4DA 2017, Bahir Dar, Ethiopia, September 25-27, 2017 : proceedings / by: (Language materials, printed)

Principles of modeling = essays dedicated to Edward A. Lee on the occasion of his 60th birthday / by: (Language materials, printed)

PRICAI 2018 = trends in artificial intelligence : 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28-31, 2018 : proceedings.. Part II / by: (Language materials, printed)

Artificial General Intelligence = 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018 : proceedings / by: (Language materials, printed)

e-Infrastructure and e-Services for Developing Countries = 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017 : proceedings / by: (Language materials, printed)

Social transformation - digital way = 52nd Annual Convention of the Computer Society of India, CSI 2017, Kolkata, India, January 19-21, 2018 : revised selected papers / by: (Language materials, printed)

Intelligent transport system in smart cities = aspects and challenges of vehicular networks and cloud / by: (Language materials, printed)

Beyond databases, architectures and structures = facing the challenges of data proliferation and growing variety : 14th International Conference, BDAS 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018 : proceedings / by: (Language materials, printed)

Fault-tolerant message-passing distributed systems = an algorithmic approach / by: (Language materials, printed)

This changes everything - ICT and climate change = what can we do? : 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19-21, 2018 : proceedings / by: (Language materials, printed)

Computer Security = 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Computer Security = 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings / by: (Language materials, printed)

Formal methods for industrial critical systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018 : proceedings / by: (Language materials, printed)

Information security = 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018 : proceedings / by: (Language materials, printed)

Computer safety, reliability, and security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings / by: (Language materials, printed)

Service-oriented and cloud computing = 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018 : proceedings / by: (Language materials, printed)

Testing software and systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cadiz, Spain, October 1-3, 2018 : proceedings / by: (Language materials, printed)

Computer vision and graphics = International Conference, ICCVG 2018, Warsaw, Poland, September 17 - 19, 2018 : proceedings / by: (Language materials, printed)

Collaborative computing = networking, applications and worksharing : 13th International Conference, CollaborateCom 2017, Edinburgh, UK, December 11-13, 2017 : proceedings / by: (Language materials, printed)

New trends in information and communications technology applications = third International Conference, NTICT 2018, Baghdad, Iraq, October 2-4, 2018 : proceedings / by: (Language materials, printed)

Advances in brain inspired cognitive systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018 : proceedings / by: (Language materials, printed)

PRedictive intelligence in MEdicine = first International Workshop, PRIME 2018, held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018 : proceedings / by: (Language materials, printed)

Computational logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1-3, 2018 : proceedings / by: (Language materials, printed)

Social informatics = 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018 : proceedings.. Part I / by: (Language materials, printed)

Social informatics = 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018 : proceedings.. Part II / by: (Language materials, printed)

Electronic voting = third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018 : proceedings / by: (Language materials, printed)

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

Artificial neural networks and machine learning - ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018 : proceedings.. Part II / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018 : proceedings.. Part I / by: (Language materials, printed)

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

DNA computing and molecular programming = 24th International Conference, DNA 24, Jinan, China, October 8-12, 2018 : proceedings / by: (Language materials, printed)

Artificial neural networks and machine learning - ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018 : proceedings.. Part III / by: (Language materials, printed)

System analysis and modeling = languages, methods, and tools for systems engineering : 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018 : proceedings / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part II / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part III / by: (Language materials, printed)

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part IV / by: (Language materials, printed)

Applied informatics = first International Conference, ICAI 2018, Bogota, Colombia, November 1-3, 2018 : proceedings / by: (Language materials, printed)

New trends in model and data engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018 : proceedings / by: (Language materials, printed)

Provable security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018 : proceedings / by: (Language materials, printed)

Structural information and communication complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018 : revised selected papers / by: (Language materials, printed)

Intravascular imaging and computer assisted stenting and Large-scale annotation of biomedical data and expert label synthesis = 7th Joint International Workshop, CVII-STENT 2018 and third International Workshop, LABELS 2018, held in conjunction with MICCAI 2018, Granada, Spain, September 16, 2018 : proceedings / by: (Language materials, printed)

Information and communications security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018 : proceedings / by: (Language materials, printed)

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

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

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

Leveraging applications of formal methods, verification and validation = modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018 : proceedings.. Part I / by: (Language materials, printed)

Network science in education = transformational approaches in teaching and learning / by: (Language materials, printed)

Open data exposed by: (Language materials, printed)

Pro DevOps with Google cloud platform = with Docker, Jenkins, and Kubernetes / by: (Language materials, printed)

Big data technologies and applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23-24, 2017 : proceedings / by: (Language materials, printed)

Living with Monsters? = social implications of algorithmic phenomena, hybrid agency, and the performativity of technology : IFIP WG 8.2 Working Conference on the Interaction of Information Systems and the Organization, IS&O 2018, San Francisco, CA, USA, December 11-12, 2018 : proceedings / by: (Language materials, printed)

Advances in visual computing = 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018 : proceedings / by: (Language materials, printed)

Software analysis, testing, and evolution = 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018 : proceedings / by: (Language materials, printed)

Current trends in web engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Caceres, Spain, June 5, 2018 : revised selected papers / by: (Language materials, printed)

Approximation and online algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018 : revised selected papers / by: (Language materials, printed)

Intelligent data engineering and automated learning - IDEAL 2018 = 19th International Conference, Madrid, Spain, November 21-23, 2018 : proceedings.. Part II / by: (Language materials, printed)

Security and privacy in communication networks = 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018 : proceedings.. Part I / by: (Language materials, printed)

Security and privacy in communication networks = 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018 : proceedings.. Part II / by: (Language materials, printed)

Security, privacy, and applied cryptography engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018 : proceedings / by: (Language materials, printed)

Smart blockchain = first International Conference, SmartBlock 2018, Tokyo, Japan, December 10-12, 2018 : proceedings / by: (Language materials, printed)

Security, privacy, and anonymity in computation, communication, and storage = 11th International Conference and Satellite Workshops, SpaCCS 2018, Melbourne, NSW, Australia, December 11-13, 2018 : proceedings / by: (Language materials, printed)

High performance computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018 : revised selected papers / by: (Language materials, printed)

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

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

Network and system security = 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018 : proceedings / by: (Language materials, printed)

Advanced data mining and applications = 14th International Conference, ADMA 2018, Nanjing, China, November 16-18, 2018 : proceedings / by: (Language materials, printed)

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

Network and parallel computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018 : proceedings / by: (Language materials, printed)

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

Information and communication technologies for development = strengthening Southern-driven cooperation as a catalyst for ICT4D : 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1-3, 2019 : proceedings.. Part I / by: (Language materials, printed)

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

Information and communication technologies for development = strengthening Southern-driven cooperation as a catalyst for ICT4D : 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1-3, 2019 : proceedings.. Part II / by: (Language materials, printed)

Security and privacy = second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9-11, 2019 : revised selected papers / by: (Language materials, printed)

Concepts of soft computing = fuzzy and ANN with programming / by: (Language materials, printed)

Internet science = INSCI 2018 International Workshops, St. Petersburg, Russia, October 24-26, 2018 : revised selected papers / by: (Language materials, printed)

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

Web engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11-14, 2019 : proceedings / by: (Language materials, printed)

Models, algorithms, logics and tools = essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th Birthday / by: (Language materials, printed)

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

Bioinformatics and biomedical engineering = 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017 : proceedings.. Part II / by: (Language materials, printed)

Bioinformatics and biomedical engineering = 5th International Work-Conference, IWBBIO 2017, Granada, Spain, April 26-28, 2017 : proceedings.. Part I / by: (Language materials, printed)

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

Human aspects of IT for the aged population = aging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part I / by: (Language materials, printed)

Human aspects of IT for the aged population = aging, design and user experience : third International Conference, ITAP 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings.. Part II / by: (Language materials, printed)

Information security = 20th International Conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017 : proceedings / by: (Language materials, printed)

Integrated formal methods = 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings / by: (Language materials, printed)

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

Parallel computing technologies = 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017 : proceedings / by: (Language materials, printed)

Reliability, safety, and security of railway systems = modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017 : proceedings / by: (Language materials, printed)

Virtual, augmented and mixed reality = 9th International Conference, VAMR 2017, held as part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017 : proceedings / by: (Language materials, printed)

VLSI-SoC = opportunities and challenges beyond the internet of things : 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23-25, 2017 : revised and extended selected papers / by: (Language materials, printed)

Emerging technologies in computer engineering = microservices in big data analytics : second International Conference, ICETCE 2019, Jaipur, India, February 1-2, 2019 : revised selected papers / by: (Language materials, printed)

Computer science - CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8-12, 2018 : revised selected papers / by: (Language materials, printed)

Ubiquitous communications and network computing = second EAI International Conference, Bangalore, India, February 8-10, 2019 : proceedings / by: (Language materials, printed)

Massively multi-agent systems II = International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018 : revised selected papers / by: (Language materials, printed)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part IV / by: (Language materials, printed)

From bioinspired systems and biomedical applications to machine learning = 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almeria, Spain, June 3-7, 2019 : proceedings.. Part II / by: (Language materials, printed)

NASA formal methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019 : proceedings / by: (Language materials, printed)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part I / by: (Language materials, printed)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part III / by: (Language materials, printed)

Applied cryptography and network security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5-7, 2019 : proceedings / by: (Language materials, printed)

Computer Vision - ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers.. Part II / by: (Language materials, printed)

Information security education = education in proactive information security : 12th IFIP WG 11.8 World Conference, WISE 12, Lisbon, Portugal, June 25-27, 2019 : proceedings / by: (Language materials, printed)

Highlights of practical applications of survivable agents and multi-agent systems = the PAAMS Collection : International Workshops of PAAMS 2019, Avila, Spain, June 26-28, 2019 : proceedings / by: (Language materials, printed)

VLSI-SoC = design and engineering of electronics systems based on new computing paradigms : 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018 : revised and extended selected papers / by: (Language materials, printed)

Computational intelligence, communications, and business analytics = second International Conference, CICBA 2018, Kalyani, India, July 27-28, 2018 : revised selected papers.. Part II / by: (Language materials, printed)

Services computing - SCC 2019 = 16th 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)

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

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part I / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part III / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part V / by: (Language materials, printed)

Blockchain - ICBC 2019 = second 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)

Advances in practical applications of survivable agents and multi-agent systems = the PAAMS Collection : 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019 : proceedings / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part II / by: (Language materials, printed)

Computational science - ICCS 2019 = 19th International Conference, Faro, Portugal, June 12-14, 2019 : proceedings.. Part IV / by: (Language materials, printed)

Detection of intrusions and malware, and vulnerability assessment = 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019 : proceedings / by: (Language materials, printed)

Advances in computer graphics = 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17-20, 2019 : proceedings / by: (Language materials, printed)

Advances and trends in artificial intelligence = from theory to practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019 : proceedings / by: (Language materials, printed)

Internet of things - ICIOT 2019 = 4th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Language materials, printed)

Edge computing - EDGE 2019 = third 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)

Computer vision - ACCV 2018 Workshops = 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018 : revised selected papers / by: (Language materials, printed)

Artificial intelligence in medicine = 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26-29, 2019 : proceedings / by: (Language materials, printed)

Cognitive computing - ICCC 2019 = third 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)

Big data - BigData 2019 = 8th International Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Language materials, printed)

Applications and Usability of Interactive TV = 7th Iberoamerican Conference, jAUTI 2018, Bernal, Argentina, October 16-18, 2018 : revised selected papers / by: (Language materials, printed)

Information and communication technology for development for Africa = second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019 : revised selected papers / by: (Language materials, printed)

Information Systems Security and Privacy = 4th International Conference, ICISSP 2018, Funchal - Madeira, Portugal, January 22-24, 2018 : revised selected papers / by: (Language materials, printed)

New trends in computer technologies and applications = 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20-22, 2018 : revised selected papers / by: (Language materials, printed)

Blockchain technology in internet of things by: (Language materials, printed)

Cloud computing and big data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24-28, 2019 : revised selected papers / by: (Language materials, printed)

Biomimetic and biohybrid systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9-12, 2019 : proceedings / by: (Language materials, printed)

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

Security, privacy, and anonymity in computation, communication, and storage = SpaCCS 2019 International Workshops, Atlanta, GA, USA, July 14-17, 2019 : proceedings / by: (Language materials, printed)

Security, privacy, and anonymity in computation, communication, and storage = 12th International Conference, SpaCCS 2019, Atlanta, GA, USA, July 14-17, 2019 : proceedings / by: (Language materials, printed)

Structural information and communication complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1-4, 2019 : proceedings / by: (Language materials, printed)

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

Post-quantum cryptography = 10th International Conference, PQCrypto 2019, Chongqing, China, May 8-10, 2019 : revised selected papers / by: (Language materials, printed)

E-Learning and games = 12th International Conference, Edutainment 2018, Xi'an, China, June 28-30, 2018 : proceedings / by: (Language materials, printed)

Artificial intelligence and security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019 : proceedings.. Part II / by: (Language materials, printed)

Code-based cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18-19, 2019 : revised selected papers / by: (Language materials, printed)

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

Design cybernetics = navigating the new / by: (Language materials, printed)

Advanced sensing techniques for cognitive radio by: (Language materials, printed)

Handbook of big data technologies by: (Language materials, printed)

Embedded sensor systems by: (Language materials, printed)

Energy Efficient Servers = Blueprints for Data Center Optimization / by: (Language materials, printed)

Windows Software Compatibility and Hardware Troubleshooting by: (Language materials, printed)

Victorian Telegraphy Before Nationalization by: (Language materials, printed)

Computation, Cryptography, and Network Security by: (Language materials, printed)

Cognitive Radio Oriented Wireless Networks = 10th International Conference, CROWNCOM 2015, Doha, Qatar, April 21-23, 2015, Revised Selected Papers / by: (Language materials, printed)

The Future Internet = Alternative Visions / by: (Language materials, printed)

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

Hyper-V for VMware Administrators = Migration, Coexistence, and Management / by: (Language materials, printed)

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

Wireless-Netzwerke für den Nahbereich = Eingebettete Funksysteme: Vergleich von standardisierten und proprietären Verfahren / by: (Language materials, printed)

MAC Protocols for Cyber-Physical Systems by: (Language materials, printed)

Information Security Theory and Practice = 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings / by: (Language materials, printed)

Implementing IT Processes = The Main 17 IT Processes and Directions for a Successful Implementation / by: (Language materials, printed)

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

Applied Reconfigurable Computing = 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / by: (Language materials, printed)

Alliance Capitalism, Innovation and the Chinese State = The Global Wireless Sector / by: (Language materials, printed)

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

Bring your own Device = Einsatz von privaten Endgeräten im beruflichen Umfeld – Chancen, Risiken und Möglichkeiten / by: (Language materials, printed)

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

Troubleshooting Xcode by: (Language materials, printed)

Informationspsychologie = Wahrnehmen und Gestalten in der Medienwelt / by: (Language materials, printed)

Programmierung von verteilten Systemen und Webanwendungen mit Java EE = Erste Schritte in der Java Enterprise Edition / by: (Language materials, printed)

Masterkurs Parallele und Verteilte Systeme = Grundlagen und Programmierung von Multicore-Prozessoren, Multiprozessoren, Cluster, Grid und Cloud / by: (Language materials, printed)

Foundations & Principles of Distributed Manufacturing = Elements of Manufacturing Networks, Cyber-Physical Production Systems and Smart Automation / by: (Language materials, printed)

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

Enterprise Governance of Information Technology = Achieving Alignment and Value, Featuring COBIT 5 / by: (Language materials, printed)

Mobile Computing, Applications, and Services = 7th International Conference, MobiCASE 2015, Berlin, Germany, November 12-13, 2015, Revised Selected Papers / by: (Language materials, printed)

Next Frontier in Agent-based Complex Automated Negotiation by: (Language materials, printed)

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

RFID-WSN Integrated Architecture for Energy and Delay- Aware Routing = A Simulation Approach / by: (Language materials, printed)

Cyber Attack Information System = Erfahrungen und Erkenntnisse aus der IKT-Sicherheitsforschung / by: (Language materials, printed)

Enterprise Mac Administrators Guide by: (Language materials, printed)

Computer Science and its Applications = Ubiquitous Information Technologies / by: (Language materials, printed)

Data Transmission at Millimeter Waves = Exploiting the 60 GHz Band on Silicon / by: (Language materials, printed)

SQL Server AlwaysOn Revealed by: (Language materials, printed)

VLSI-SoC: Internet of Things Foundations = 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing = Second Latin American Conference, CARLA 2015, Petrópolis, Brazil, August 26-28, 2015, Proceedings / by: (Language materials, printed)

IT Security Risk Management in the Context of Cloud Computing = Towards an Understanding of the Key Role of Providers’ IT Security Risk Perceptions / by: (Language materials, printed)

Cognitive Infocommunications (CogInfoCom) by: (Language materials, printed)

VLSI-SoC: At the Crossroads of Emerging Trends = 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, Istanbul, Turkey, October 6-9, 2013, Revised Selected Papers / by: (Language materials, printed)

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

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

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

High Performance Computing = 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings / by: (Language materials, printed)

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

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

Hardening Azure Applications by: (Language materials, printed)

Practical Linux Infrastructure by: (Language materials, printed)

Advances in Artificial Economics by: (Language materials, printed)

Pro PowerShell for Microsoft Azure by: (Language materials, printed)

Digital Connectivity – Social Impact = 51st Annual Convention of the Computer Society of India, CSI 2016, Coimbatore, India, December 8-9, 2016, Proceedings / by: (Language materials, printed)

Digital Transformation and Global Society = First International Conference, DTGS 2016, St. Petersburg, Russia, June 22-24, 2016, Revised Selected Papers / by: (Language materials, printed)

High Performance Computing and Applications = Third International Conference, HPCA 2015, Shanghai, China, July 26-30, 2015, Revised Selected Papers / by: (Language materials, printed)

Advancements in Automation, Robotics and Sensing = First International Conference, ICAARS 2016, Coimbatore, India, June 23 - 24, 2016, Revised Selected Papers / by: (Language materials, printed)

The Communicative Construction of Europe = Cultures of Political Discourse, Public Sphere and the Euro Crisis / by: (Language materials, printed)

Trustworthy Global Computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers / by: (Language materials, printed)

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

SQL Server AlwaysOn Revealed by: (Language materials, printed)

Applied Reconfigurable Computing = 12th International Symposium, ARC 2016 Mangaratiba, RJ, Brazil, March 22–24, 2016 Proceedings / by: (Language materials, printed)

Anti-fragile ICT Systems by: (Language materials, printed)

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

Computer and Computing Technologies in Agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II / by: (Language materials, printed)

Propagation Engineering in Wireless Communications by: (Language materials, printed)

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

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

Future Mobile Transport Protocols = Adaptive Congestion Control for Unpredictable Cellular Networks / by: (Language materials, printed)

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

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

Erfolgsfaktoren von Mobile Business = Ein Reifegradmodell zur digitalen Transformation von Unternehmen durch Mobile IT / by: (書目-語言資料,印刷品)

Policy-Oriented Technology Assessment Across Europe = Expanding Capacities / by: (書目-語言資料,印刷品)

Computer and Computing Technologies in Agriculture IX = 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Nahtloser Handover in drahtlosen Fahrzeug-Kommunikationsnetzen = Entwicklung eines Protokollentwurfs für den Einsatz in bestehenden Netzwerken / by: (書目-語言資料,印刷品)

Proceedings of the 2015 International Conference on Communications, Signal Processing, and Systems by: (書目-語言資料,印刷品)

Residue Number Systems = Theory and Applications / by: (書目-語言資料,印刷品)

Multimedia Signals and Systems = Basic and Advanced Algorithms for Signal Processing / by: (書目-語言資料,印刷品)

Entwicklung eines skalierbaren und verteilten Datenbanksystems = Auf Basis von Apache Cassandra und SECONDO / by: (書目-語言資料,印刷品)

Entwicklung und Evaluierung eines SDN-gestützten echtzeitfähigen Gerätenetzwerkes by: (書目-語言資料,印刷品)

A Polynomial Translation of Mobile Ambients into Safe Petri Nets = Understanding a Calculus of Hierarchical Protection Domains / by: (書目-語言資料,印刷品)

Signal Integrity = Applied Electromagnetics and Professional Practice / by: (書目-語言資料,印刷品)

Digital Signal Processing for Wireless Communication using Matlab by: (書目-語言資料,印刷品)

SQL on Big Data = Technology, Architecture, and Innovation / by: (書目-語言資料,印刷品)

Innovative Web Applications for Analyzing Traffic Operations by: (書目-語言資料,印刷品)

Applications and Usability of Interactive TV = 4th Iberoamerican Conference, jAUTI 2015, and 6th Congress on Interactive Digital TV, CTVDI 2015, Palma de Mallorca, Spain, October 15-16, 2015. Revised Selected Papers / by: (書目-語言資料,印刷品)

Communicating, Networking: Interacting = The International Year of Global Understanding - IYGU / by: (書目-語言資料,印刷品)

Architekturbasiertes IT-Alignment = Bezugsrahmen und Framework zur mehrdimensionalen und kontinuierlichen Ausrichtung von Geschäft und IT / by: (書目-語言資料,印刷品)

Sicherheitsaspekte von Mobiltelefonen = Erkennung und Visualisierung von Angriffsvektoren / by: (書目-語言資料,印刷品)

VLSI-SoC: Design for Reliability, Security, and Low Power = 23rd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2015, Daejeon, Korea, October 5-7, 2015, Revised Selected Papers / by: (書目-語言資料,印刷品)

Game-theoretic Interference Coordination Approaches for Dynamic Spectrum Access by: (書目-語言資料,印刷品)

Cyber-Physical Systems of Systems = Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy / by: (書目-語言資料,印刷品)

Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I / by: (書目-語言資料,印刷品)

Information Security = 19th International Conference, ISC 2016, Honolulu, HI, USA, September 3-6, 2016. Proceedings / by: (書目-語言資料,印刷品)

Bioinformatics and Biomedical Engineering = 4th International Conference, IWBBIO 2016, Granada, Spain, April 20-22, 2016, Proceedings / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers / by: (書目-語言資料,印刷品)

The GENI Book by: (書目-語言資料,印刷品)

Kompetenzen in der Informatik zur Prävention von Cybermobbing = Chancen und Wege des Informatikunterrichts an Schulen / by: (書目-語言資料,印刷品)

Information Security Theory and Practice = 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26–27, 2016, Proceedings / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / by: (書目-語言資料,印刷品)

Security of Industrial Control Systems and Cyber Physical Systems = First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21–22, 2015 Revised Selected Papers / by: (書目-語言資料,印刷品)

Electronic Voting = Third International Joint Conference, E-Vote-ID 2018, Bregenz, Austria, October 2-5, 2018, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Cyber Situational Awareness in Public-Private-Partnerships = Organisationsübergreifende Cyber-Sicherheitsvorfälle effektiv bewältigen / by: (書目-語言資料,印刷品)

Beyond Databases, Architectures and Structures. Facing the Challenges of Data Proliferation and Growing Variety = 14th International Conference, BDAS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Smart Blockchain = First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision and Graphics = International Conference, ICCVG 2018, Warsaw, Poland, September 17 - 19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Data and Social Networks = 7th International Conference, CSoNet 2018, Shanghai, China, December 18–20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Security = 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

e-Infrastructure and e-Services for Developing Countries = 9th International Conference, AFRICOMM 2017, Lagos, Nigeria, December 11-12, 2017, Proceedings / by: (書目-語言資料,印刷品)

Provable Security = 12th International Conference, ProvSec 2018, Jeju, South Korea, October 25-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part IV / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Topic Detection and Classification in Social Networks = The Twitter Case / by: (書目-語言資料,印刷品)

Artificial General Intelligence = 11th International Conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, Proceedings / by: (書目-語言資料,印刷品)

Honeypot Frameworks and Their Applications: A New Framework by: (書目-語言資料,印刷品)

New Trends in Information and Communications Technology Applications = Third International Conference, NTICT 2018, Baghdad, Iraq, October 2–4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings / by: (書目-語言資料,印刷品)

Unsicherheit und Uneindeutigkeit in Verlässlichkeitsmodellen by: (書目-語言資料,印刷品)

Pro DevOps with Google Cloud Platform = With Docker, Jenkins, and Kubernetes / by: (書目-語言資料,印刷品)

Testing Software and Systems = 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Brain Inspired Cognitive Systems = 9th International Conference, BICS 2018, Xi'an, China, July 7-8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Social Transformation – Digital Way = 52nd Annual Convention of the Computer Society of India, CSI 2017, Kolkata, India, January 19-21, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

LATIN 2018: Theoretical Informatics = 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Fault-Tolerant Message-Passing Distributed Systems = An Algorithmic Approach / by: (書目-語言資料,印刷品)

Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Security = 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Software Analysis, Testing, and Evolution = 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings / by: (書目-語言資料,印刷品)

DNA Computing and Molecular Programming = 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Big Data Technologies and Applications = 8th International Conference, BDTA 2017, Gwangju, South Korea, November 23–24, 2017, Proceedings / by: (書目-語言資料,印刷品)

Combinatorial Optimization and Applications = 12th International Conference, COCOA 2018, Atlanta, GA, USA, December 15-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Security, Privacy, and Applied Cryptography Engineering = 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computational Logistics = 9th International Conference, ICCL 2018, Vietri sul Mare, Italy, October 1–3, 2018, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering = 10th International Conference, SAM 2018, Copenhagen, Denmark, October 15–16, 2018, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Verification = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Applied Informatics = First International Conference, ICAI 2018, Bogotá, Colombia, November 1-3, 2018, Proceedings / by: (書目-語言資料,印刷品)

Information and Communications Security = 20th International Conference, ICICS 2018, Lille, France, October 29-31, 2018, Proceedings / by: (書目-語言資料,印刷品)

PRICAI 2018: Trends in Artificial Intelligence = 15th Pacific Rim International Conference on Artificial Intelligence, Nanjing, China, August 28–31, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Current Trends in Web Engineering = ICWE 2018 International Workshops, MATWEP, EnWot, KD-WEB, WEOD, TourismKG, Cáceres, Spain, June 5, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

This Changes Everything – ICT and Climate Change: What Can We Do? = 13th IFIP TC 9 International Conference on Human Choice and Computers, HCC13 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 19–21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Fundamental Approaches to Software Engineering = 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Principles of Modeling = Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Security and Privacy in Communication Networks = 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advanced Data Mining and Applications = 14th International Conference, ADMA 2018, Nanjing, China, November 16–18, 2018, Proceedings / by: (書目-語言資料,印刷品)

Information Security = 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Security and Privacy in Communication Networks = 14th International Conference, SecureComm 2018, Singapore, Singapore, August 8-10, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Reliable Software Technologies – Ada-Europe 2018 = 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Service-Oriented Computing = 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Science – CACIC 2017 = 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings / by: (書目-語言資料,印刷品)

PRedictive Intelligence in MEdicine = First International Workshop, PRIME 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Acceptance, Communication and Participation = 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

New Trends in Model and Data Engineering = MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part V / by: (書目-語言資料,印刷品)

Spatial Cognition XI = 11th International Conference, Spatial Cognition 2018, Tübingen, Germany, September 5-8, 2018, Proceedings / by: (書目-語言資料,印刷品)

Living with Monsters? Social Implications of Algorithmic Phenomena, Hybrid Agency, and the Performativity of Technology = IFIP WG 8.2 Working Conference on the Interaction of Information Systems and the Organization, IS&O 2018, San Francisco, CA, USA, December 11-12, 2018, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Data Engineering and Automated Learning – IDEAL 2018 = 19th International Conference, Madrid, Spain, November 21–23, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Enjoying Natural Computing = Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday / by: (書目-語言資料,印刷品)

Service-Oriented and Cloud Computing = 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Social Informatics = 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cloud Computing and Security = 4th International Conference, ICCCS 2018, Haikou, China, June 8-10, 2018, Revised Selected Papers, Part VI / by: (書目-語言資料,印刷品)

Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings / by: (書目-語言資料,印刷品)

Security, Privacy, and Anonymity in Computation, Communication, and Storage = 11th International Conference and Satellite Workshops, SpaCCS 2018, Melbourne, NSW, Australia, December 11-13, 2018, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems = 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Network and System Security = 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Transport System in Smart Cities = Aspects and Challenges of Vehicular Networks and Cloud / by: (書目-語言資料,印刷品)

HCI International 2018 – Posters' Extended Abstracts = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection = International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings / by: (書目-語言資料,印刷品)

Internet of Things (IoT) Technologies for HealthCare = 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXXI by: (書目-語言資料,印刷品)

Network Science In Education = Transformational Approaches in Teaching and Learning / by: (書目-語言資料,印刷品)

Open Data Exposed by: (書目-語言資料,印刷品)

Social Informatics = 10th International Conference, SocInfo 2018, St. Petersburg, Russia, September 25-28, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2018 = 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Collaborative Computing: Networking, Applications and Worksharing = 13th International Conference, CollaborateCom 2017, Edinburgh, UK, December 11–13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Bioinformatics and Biomedical Engineering = 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25–27, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

High Performance Computing = 4th Latin American Conference, CARLA 2017, Buenos Aires, Argentina, and Colonia del Sacramento, Uruguay, September 20-22, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Bioinformatics and Biomedical Engineering = 6th International Work-Conference, IWBBIO 2018, Granada, Spain, April 25–27, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis = 7th Joint International Workshop, CVII-STENT 2018 and Third International Workshop, LABELS 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings / by: (書目-語言資料,印刷品)

Applications and Usability of Interactive Television = 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Visual Computing = 13th International Symposium, ISVC 2018, Las Vegas, NV, USA, November 19 – 21, 2018, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing = Die Infrastruktur der Digitalisierung / by: (書目-語言資料,印刷品)

Human Centered Computing = Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Reconfigurable Computing. Architectures, Tools, and Applications = 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings / by: (書目-語言資料,印刷品)

Data Science and Analytics = 4th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2017, Gurgaon, India, October 13-14, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Measurement, Modelling and Evaluation of Computing Systems = 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Internet Science = INSCI 2017 International Workshops, IFIN, DATA ECONOMY, DSI, and CONVERSATIONS, Thessaloniki, Greece, November 22, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Student Supercomputer Challenge Guide = From Supercomputing Competition to the Next HPC Generation / by: (書目-語言資料,印刷品)

Designing for a Digital and Globalized World = 13th International Conference, DESRIST 2018, Chennai, India, June 3–6, 2018, Proceedings / by: (書目-語言資料,印刷品)

International E-Government Development = Policy, Implementation and Best Practice / by: (書目-語言資料,印刷品)

Bioinspired Optimization Methods and Their Applications = 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings / by: (書目-語言資料,印刷品)

Fundamentals of Optical Computing Technology = Forward the Next Generation Supercomputer / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Intelligence and Soft Computing = 17th International Conference, ICAISC 2018, Zakopane, Poland, June 3-7, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Service Engineering = Von Dienstleistungen zu digitalen Service-Systemen / by: (書目-語言資料,印刷品)

Public-Key Cryptography – PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Privacy and Identity Management. The Smart Revolution = 12th IFIP WG 9.2, 9.5, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Ispra, Italy, September 4-8, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I / by: (書目-語言資料,印刷品)

Mobile Computing, Applications, and Services = 9th International Conference, MobiCASE 2018, Osaka, Japan, February 28 – March 2, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Internet of Things – ICIOT 2018 = Third International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Edge Computing – EDGE 2018 = Second International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / by: (書目-語言資料,印刷品)

Services Computing – SCC 2018 = 15th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Operations Research and Enterprise Systems = 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Das digitale Unternehmen = Systematische Vorgehensweise zur zielgerichteten Digitalisierung / by: (書目-語言資料,印刷品)

Public-Key Cryptography – PKC 2018 = 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Security = ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Oslo, Norway, September 14-15, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Computer Entertainment Technology = 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III / by: (書目-語言資料,印刷品)

Pervasive Computing Paradigms for Mental Health = Selected Papers from MindCare 2016, Fabulous 2016, and IIoT 2015 / by: (書目-語言資料,印刷品)

Guide to Big Data Applications by: (書目-語言資料,印刷品)

Computer Games = 6th Workshop, CGW 2017, Held in Conjunction with the 26th International Conference on Artificial Intelligence, IJCAI 2017, Melbourne, VIC, Australia, August, 20, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information and Communication Technology for Development for Africa = First International Conference, ICT4DA 2017, Bahir Dar, Ethiopia, September 25–27, 2017, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning, Optimization, and Big Data = Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings / by: (書目-語言資料,印刷品)

Dynamic Logic. New Trends and Applications = First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering and Formal Methods = SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

Graphical Models for Security = 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

HCI International 2018 – Posters' Extended Abstracts = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

HCI International 2018 – Posters' Extended Abstracts = 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Engineering Psychology and Cognitive Ergonomics = 15th International Conference, EPCE 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Applications in Health, Assistance, and Entertainment = 4th International Conference, ITAP 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II / by: (書目-語言資料,印刷品)

Context-Aware Communication and Computing: Applications for Smart Environment by: (書目-語言資料,印刷品)

Inventing the Cloud Century = How Cloudiness Keeps Changing Our Life, Economy and Technology / by: (書目-語言資料,印刷品)

Mobile and Wireless Technologies 2017 = ICMWT 2017 / by: (書目-語言資料,印刷品)

Euro-Par 2018: Parallel Processing Workshops = Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection = 17th International Conference, PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Social Informatics = 11th International Conference, SocInfo 2019, Doha, Qatar, November 18–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Software Challenges to Exascale Computing = Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Technische Grundlagen Eingebetteter Systeme = Elektronik, Systemtheorie, Komponenten und Analyse / by: (書目-語言資料,印刷品)

Mobile Computing, Applications, and Services = 10th EAI International Conference, MobiCASE 2019, Hangzhou, China, June 14–15, 2019, Proceedings / by: (書目-語言資料,印刷品)

Blockchain – ICBC 2019 = Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Internet Science = INSCI 2018 International Workshops, St. Petersburg, Russia, October 24–26, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Big Scientific Data Management = First International Conference, BigSDM 2018, Beijing, China, November 30 – December 1, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Ophthalmic Medical Image Analysis = 6th International Workshop, OMIA 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, Proceedings / by: (書目-語言資料,印刷品)

Communication, Networks and Computing = First International Conference, CNC 2018, Gwalior, India, March 22-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXXIII by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2018, Dublin, Ireland, September 10–14, 2018, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computer and Communication Engineering = First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25–27, 2018, Proceedings / by: (書目-語言資料,印刷品)

Languages and Compilers for Parallel Computing = 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Public-Key Cryptography – PKC 2019 = 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Vision Applications = Third Workshop, WCVA 2018, Held in Conjunction with ICVGIP 2018, Hyderabad, India, December 18, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Data Mining and Applications = 15th International Conference, ADMA 2019, Dalian, China, November 21–23, 2019, Proceedings / by: (書目-語言資料,印刷品)

Information Security Practice and Experience = 15th International Conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Software Technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security and Privacy = Second ISEA International Conference, ISEA-ISAP 2018, Jaipur, India, January, 9–11, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Concepts of Soft Computing = Fuzzy and ANN with Programming / by: (書目-語言資料,印刷品)

Internet Science = 6th International Conference, INSCI 2019, Perpignan, France, December 2–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

AI 2019: Advances in Artificial Intelligence = 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Post-Quantum Cryptography = 10th International Conference, PQCrypto 2019, Chongqing, China, May 8–10, 2019 Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Data Science = Third International Conference on Intelligent Information Technologies, ICIIT 2018, Chennai, India, December 11–14, 2018, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Computer Security = ESORICS 2018 International Workshops, CyberICPS 2018 and SECPRE 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data Science = 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Guilin, China, September 20–23, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Numerical Methods and Applications = 9th International Conference, NMA 2018, Borovets, Bulgaria, August 20-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Massively Multi-Agent Systems II = International Workshop, MMAS 2018, Stockholm, Sweden, July 14, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Information Systems Security and Privacy = 4th International Conference, ICISSP 2018, Funchal - Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Mobile and Wireless Technology 2018 = International Conference on Mobile and Wireless Technology (ICMWT 2018) / by: (書目-語言資料,印刷品)

Cloud Security Auditing by: (書目-語言資料,印刷品)

Information Security Education. Education in Proactive Information Security = 12th IFIP WG 11.8 World Conference, WISE 12, Lisbon, Portugal, June 25–27, 2019, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Engineering Psychology and Cognitive Ergonomics = 16th International Conference, EPCE 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Context-Aware Systems and Applications, and Nature of Computation and Communication = 8th EAI International Conference, ICCASA 2019, and 5th EAI International Conference, ICTCC 2019, My Tho City, Vietnam, November 28-29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advances in Cryptology – ASIACRYPT 2019 = 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Pervasive Systems, Algorithms and Networks = 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings / by: (書目-語言資料,印刷品)

VLSI Design and Test = 22nd International Symposium, VDAT 2018, Madurai, India, June 28-30, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Big Social Data and Urban Computing = First Workshop, BiDU 2018, Rio de Janeiro, Brazil, August 31, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cryptography and Coding = 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings / by: (書目-語言資料,印刷品)

New Trends in Model and Data Engineering = MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection = International Workshops of PAAMS 2019, Ávila, Spain, June 26–28, 2019, Proceedings / by: (書目-語言資料,印刷品)

Information Security = 17th International Conference, ISSA 2018, Pretoria, South Africa, August 15–16, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applications and Usability of Interactive TV = 7th Iberoamerican Conference, jAUTI 2018, Bernal, Argentina, October 16–18, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Integrated Formal Methods = 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Collaborative Networks and Digital Transformation = 20th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2019, Turin, Italy, September 23–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advances in Databases and Information Systems = 23rd European Conference, ADBIS 2019, Bled, Slovenia, September 8–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Drones as Cyber-Physical Systems = Concepts and Applications for the Fourth Industrial Revolution / by: (書目-語言資料,印刷品)

Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Security, Privacy, and Anonymity in Computation, Communication, and Storage = 12th International Conference, SpaCCS 2019, Atlanta, GA, USA, July 14–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Open Data Politics = A Case Study on Estonia and Kazakhstan / by: (書目-語言資料,印刷品)

KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Software Engineering for Resilient Systems = 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Adversarial and Uncertain Reasoning for Adaptive Cyber Defense = Control- and Game-Theoretic Approaches to Cyber Security / by: (書目-語言資料,印刷品)

Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D = 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Implementation and Application of Automata = 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D = 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cyberspace Safety and Security = 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Essenz der Informatik by: (書目-語言資料,印刷品)

Distributed, Ambient and Pervasive Interactions = 7th International Conference, DAPI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Smart Cities of Today and Tomorrow = Better Technology, Infrastructure and Security / by: (書目-語言資料,印刷品)

Algorithms for Sensor Systems = 15th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cyberspace Safety and Security = 11th International Symposium, CSS 2019, Guangzhou, China, December 1–3, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Intelligent Transport Systems, From Research and Development to the Market Uptake = Second EAI International Conference, INTSYS 2018, Guimarães, Portugal, November 21–23, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advanced Hybrid Information Processing = Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Security and Privacy in Communication Networks = 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23-25, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Services Computing – SCC 2019 = 16th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Die Ausrichtung des IT-Service-Managements auf die Digitalisierung by: (書目-語言資料,印刷品)

Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Blockchain Technology in Internet of Things by: (書目-語言資料,印刷品)

Preparing for the Next Cyber Revolution = How Our World Will Be Radically Transformed—Again! / by: (書目-語言資料,印刷品)

Computer Vision Systems = 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings / by: (書目-語言資料,印刷品)

Collaborative Computing: Networking, Applications and Worksharing = 14th EAI International Conference, CollaborateCom 2018, Shanghai, China, December 1-3, 2018, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2018 Workshops = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings / by: (書目-語言資料,印刷品)

Industrial Applications of Holonic and Multi-Agent Systems = 9th International Conference, HoloMAS 2019, Linz, Austria, August 26–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Towards Smart Production Management Systems = IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Machine Learning for Cyber Security = Second International Conference, ML4CS 2019, Xi’an, China, September 19-21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Formal Methods and Software Engineering = 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings / by: (書目-語言資料,印刷品)

Smart Ultrasound Imaging and Perinatal, Preterm and Paediatric Image Analysis = First International Workshop, SUSI 2019, and 4th International Workshop, PIPPI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part IV / by: (書目-語言資料,印刷品)

Advances in Visual Computing = 14th International Symposium on Visual Computing, ISVC 2019, Lake Tahoe, NV, USA, October 7–9, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings / by: (書目-語言資料,印刷品)

NASA Formal Methods = 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings / by: (書目-語言資料,印刷品)

PRICAI 2019: Trends in Artificial Intelligence = 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26–30, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2019 = 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

High Performance Computing = 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

HCI International 2019 – Late Breaking Papers = 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Cooperative Design, Visualization, and Engineering = 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning for Cyber Physical Systems = Selected papers from the International Conference ML4CPS 2018 / by: (書目-語言資料,印刷品)

Progress in Cryptology – LATINCRYPT 2019 = 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings / by: (書目-語言資料,印刷品)

New Trends in Computer Technologies and Applications = 23rd International Computer Symposium, ICS 2018, Yunlin, Taiwan, December 20–22, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Web and Internet Economics = 15th International Conference, WINE 2019, New York, NY, USA, December 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

Security, Privacy, and Applied Cryptography Engineering = 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings / by: (書目-語言資料,印刷品)

Web Engineering = 19th International Conference, ICWE 2019, Daejeon, South Korea, June 11–14, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part III / by: (書目-語言資料,印刷品)

Artificial Intelligence in Medicine: Knowledge Representation and Transparent and Explainable Systems = AIME 2019 International Workshops, KR4HC/ProHealth and TEAAM, Poznan, Poland, June 26–29, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Computer Graphics = 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Information, Communication and Computing Technology = 4th International Conference, ICICCT 2019, New Delhi, India, May 11, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI = Special Issue on Data and Security Engineering / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V / by: (書目-語言資料,印刷品)

Explainable AI: Interpreting, Explaining and Visualizing Deep Learning by: (書目-語言資料,印刷品)

Advances and Trends in Artificial Intelligence. From Theory to Practice = 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Smart Blockchain = Second International Conference, SmartBlock 2019, Birmingham, UK, October 11–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing for Computational Science – VECPAR 2018 = 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Service-Oriented Computing – ICSOC 2018 Workshops = ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Security Applications = 19th International Conference, WISA 2018, Jeju Island, Korea, August 23–25, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security, Privacy, and Anonymity in Computation, Communication, and Storage = SpaCCS 2019 International Workshops, Atlanta, GA, USA, July 14–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = Second Chinese Conference, PRCV 2019, Xi’an, China, November 8–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Body Area Networks: Smart IoT and Big Data for Intelligent Health Management = 14th EAI International Conference, BODYNETS 2019, Florence, Italy, October 2-3, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Web Information Systems and Applications = 16th International Conference, WISA 2019, Qingdao, China, September 20-22, 2019, Proceedings / by: (書目-語言資料,印刷品)

Detection of Intrusions and Malware, and Vulnerability Assessment = 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information and Communication Technology for Development for Africa = Second International Conference, ICT4DA 2019, Bahir Dar, Ethiopia, May 28-30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information and Software Technologies = 25th International Conference, ICIST 2019, Vilnius, Lithuania, October 10–12, 2019, Proceedings / by: (書目-語言資料,印刷品)

PRIMA 2019: Principles and Practice of Multi-Agent Systems = 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Entwicklung verteilter Anwendungen = Mit Spring Boot & Co / by: (書目-語言資料,印刷品)

Unifying Theories of Programming = 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Verification and Evaluation of Computer and Communication Systems = 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / by: (書目-語言資料,印刷品)

Modeling and Using Context = 11th International and Interdisciplinary Conference, CONTEXT 2019, Trento, Italy, November 20–22, 2019, Proceedings / by: (書目-語言資料,印刷品)

Image and Video Technology = 9th Pacific-Rim Symposium, PSIVT 2019, Sydney, NSW, Australia, November 18–22, 2019, Proceedings / by: (書目-語言資料,印刷品)

Language, Music and Computing = Second International Workshop, LMAC 2017, St. Petersburg, Russia, April 17–19, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

A Practical Approach to High-Performance Computing by: (書目-語言資料,印刷品)

Parallel Computing Hits the Power Wall = Principles, Challenges, and a Survey of Solutions / by: (書目-語言資料,印刷品)

Advanced Hybrid Information Processing = Third EAI International Conference, ADHIP 2019, Nanjing, China, September 21–22, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Digital Storytelling im Web = am Beispiel von scroll-activated animations / by: (書目-語言資料,印刷品)

Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows / by: (書目-語言資料,印刷品)

Biometric Recognition = 14th Chinese Conference, CCBR 2019, Zhuzhou, China, October 12–13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Social Media, Games and Assistive Environments = 5th International Conference, ITAP 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

From Bioinspired Systems and Biomedical Applications to Machine Learning = 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Virtual, Augmented and Mixed Reality. Applications and Case Studies = 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Design for the Elderly and Technology Acceptance = 5th International Conference, ITAP 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Communication, Devices and Networking = Proceedings of ICCDN 2018 / by: (書目-語言資料,印刷品)

Testing Software and Systems = 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings / by: (書目-語言資料,印刷品)

Smart Grid and Internet of Things = Second EAI International Conference, SGIoT 2018, Niagara Falls, ON, Canada, July 11, 2018, Proceedings / by: (書目-語言資料,印刷品)

Interactivity, Game Creation, Design, Learning, and Innovation = 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Braga, Portugal, October 24–26, 2018, Proceedings / by: (書目-語言資料,印刷品)

Ubiquitous Communications and Network Computing = Second EAI International Conference, Bangalore, India, February 8–10, 2019, Proceedings / by: (書目-語言資料,印刷品)

Security and Privacy in Communication Networks = 15th EAI International Conference, SecureComm 2019, Orlando, FL, USA, October 23–25, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Edge Computing – EDGE 2019 = Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Internet of Things – ICIOT 2019 = 4th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cognitive Computing – ICCC 2019 = Third International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Collaborative Computing: Networking, Applications and Worksharing = 15th EAI International Conference, CollaborateCom 2019, London, UK, August 19-22, 2019, Proceedings / by: (書目-語言資料,印刷品)

Big Data – BigData 2019 = 8th International Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings / by: (書目-語言資料,印刷品)

Image and Graphics = 10th International Conference, ICIG 2019, Beijing, China, August 23–25, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Software Engineering Paralleler Systeme = Grundlagen, Algorithmen, Programmierung / by: (書目-語言資料,印刷品)

Code-Based Cryptography = 7th International Workshop, CBC 2019, Darmstadt, Germany, May 18–19, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Data Science, Cyber Security and IT Applications = First International Conference on Computing, ICC 2019, Riyadh, Saudi Arabia, December 10–12, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Intelligence and Security = 5th International Conference, ICAIS 2019, New York, NY, USA, July 26-28, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings / by: (書目-語言資料,印刷品)

Membrane Computing = 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Intelligence in Medicine = 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2019: Deep Learning = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Technological Innovation for Industry and Service Systems = 10th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2019, Costa de Caparica, Portugal, May 8–10, 2019, Proceedings / by: (書目-語言資料,印刷品)

Processing and Analysis of Biomedical Information = First International SIPAIM Workshop, SaMBa 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Design Cybernetics = Navigating the New / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2018 = 14th Asian Conference on Computer Vision, Perth, Australia, December 2–6, 2018, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

E-Learning and Games = 12th International Conference, Edutainment 2018, Xi'an, China, June 28–30, 2018, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Geographical Information Systems Theory, Applications and Management = 4th International Conference, GISTAM 2018, Funchal, Madeira, Portugal, March 17–19, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Digital Transformation and Global Society = 4th International Conference, DTGS 2019, St. Petersburg, Russia, June 19–21, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Simulation Tools and Techniques = 11th International Conference, SIMUtools 2019, Chengdu, China, July 8–10, 2019, Proceedings / by: (書目-語言資料,印刷品)

VLSI Design and Test = 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Network and System Security = 13th International Conference, NSS 2019, Sapporo, Japan, December 15–18, 2019, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Data Engineering and Automated Learning – IDEAL 2019 = 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer and Computing Technologies in Agriculture X = 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings / by: (書目-語言資料,印刷品)

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms = 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Information, Communication and Computing Technology = Third International Conference, ICICCT 2018, New Delhi, India, May 12, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

VoIP Technology: Applications and Challenges by: (書目-語言資料,印刷品)

Emerging Technologies in Computer Engineering: Microservices in Big Data Analytics = Second International Conference, ICETCE 2019, Jaipur, India, February 1–2, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Programming and Performance Visualization Tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Intelligence, Communications, and Business Analytics = Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Beyond Databases, Architectures and Structures. Paving the Road to Smart Data Processing and Analysis = 15th International Conference, BDAS 2019, Ustroń, Poland, May 28–31, 2019, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision, Imaging and Computer Graphics – Theory and Applications = 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers / by: (書目-語言資料,印刷品)

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things = 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Context-Aware Systems and Applications, and Nature of Computation and Communication = 7th EAI International Conference, ICCASA 2018, and 4th EAI International Conference, ICTCC 2018, Viet Tri City, Vietnam, November 22–23, 2018, Proceedings / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Production Management for the Factory of the Future = IFIP WG 5.7 International Conference, APMS 2019, Austin, TX, USA, September 1–5, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Applied Informatics = Second International Conference, ICAI 2019, Madrid, Spain, November 7–9, 2019, Proceedings / by: (書目-語言資料,印刷品)

High-Performance Computing and Big Data Analysis = Second International Congress, TopHPC 2019, Tehran, Iran, April 23–25, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 12th International Conference, ICIRA 2019, Shenyang, China, August 8–11, 2019, Proceedings, Part V / by: (書目-語言資料,印刷品)

Public-Key Cryptography – PKC 2019 = 22nd IACR International Conference on Practice and Theory of Public-Key Cryptography, Beijing, China, April 14-17, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Information Security and Privacy = 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2019: Text and Time Series = 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Enhanced Living Environments = Algorithms, Architectures, Platforms, and Systems / by: (書目-語言資料,印刷品)

Digital Transformation for a Sustainable Society in the 21st Century = 18th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2019, Trondheim, Norway, September 18–20, 2019, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Data Engineering and Automated Learning – IDEAL 2019 = 20th International Conference, Manchester, UK, November 14–16, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Electronic Voting = 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings / by: (書目-語言資料,印刷品)

Modern Digital Radio Communication Signals and Systems by: (書目-語言資料,印刷品)

Networked Predictive Control of Systems with Communication Constraints and Cyber Attacks by: (書目-語言資料,印刷品)

Disinformation in Open Online Media = Second Multidisciplinary International Symposium, MISDOOM 2020, Leiden, The Netherlands, October 26–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Responsible Design, Implementation and Use of Information and Communication Technology = 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Technological Innovation for Life Improvement = 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, July 1–3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Security and Privacy in Digital Economy = First International Conference, SPDE 2020, Quzhou, China, October 30 – November 1, 2020, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition = ACPR 2019 Workshops, Auckland, New Zealand, November 26, 2019, Proceedings / by: (書目-語言資料,印刷品)

Social Computing and Social Media. Participation, User Experience, Consumer Experience, and Applications of Social Computing = 12th International Conference, SCSM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Virtual, Augmented and Mixed Reality. Industrial and Everyday Life Applications = 12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability. Design for Contemporary Interactive Environments = 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Excel + VBA für den Unterricht = Lösung einfacher technischer Fragestellungen / by: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23–26, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Vision and Image Processing = 4th International Conference, CVIP 2019, Jaipur, India, September 27–29, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Cyber-Physical Systems: A Reference by: (書目-語言資料,印刷品)

The Theory of Queuing Systems with Correlated Flows by: (書目-語言資料,印刷品)

Unmanned Aerial Vehicle Applications over Cellular Networks for 5G and Beyond by: (書目-語言資料,印刷品)

Algorithms for Sensor Systems = 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, Pisa, Italy, September 9–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Microservices in Big Data Analytics = Second International, ICETCE 2019, Rajasthan, India, February 1st-2nd 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Machine Learning, Image Processing, Network Security and Data Sciences = Second International Conference, MIND 2020, Silchar, India, July 30 - 31, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Explainable, Transparent Autonomous Agents and Multi-Agent Systems = Second International Workshop, EXTRAAMAS 2020, Auckland, New Zealand, May 9–13, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Detection of Intrusions and Malware, and Vulnerability Assessment = 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Applications and Usability of Interactive TV = 8th Iberoamerican Conference, jAUTI 2019, Rio de Janeiro, Brazil, October 29–November 1, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Bio-inspired Information and Communication Technologies = 12th EAI International Conference, BICT 2020, Shanghai, China, July 7-8, 2020, Proceedings / by: (書目-語言資料,印刷品)

Distributed Computing for Emerging Smart Networks = First International Workshop, DiCES-N 2019, Hammamet, Tunisia, October 30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Cloud-to-Thing Continuum = Opportunities and Challenges in Cloud, Fog and Edge Computing / by: (書目-語言資料,印刷品)

Combinatorial Image Analysis = 20th International Workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Statistical Robust Beamforming for Broadcast Channels and Applications in Satellite Communication by: (書目-語言資料,印刷品)

Edge AI = Convergence of Edge Computing and Artificial Intelligence / by: (書目-語言資料,印刷品)

Verification, Model Checking, and Abstract Interpretation = 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning for Cyber Physical Systems = Selected papers from the International Conference ML4CPS 2017 / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advanced Analytics and Learning on Temporal Data = 4th ECML PKDD Workshop, AALTD 2019, Würzburg, Germany, September 20, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Security = ESORICS 2019 International Workshops, CyberICPS, SECPRE, SPOSE, and ADIoT, Luxembourg City, Luxembourg, September 26–27, 2019 Revised Selected Papers / by: (書目-語言資料,印刷品)

Image and Signal Processing = 9th International Conference, ICISP 2020, Marrakesh, Morocco, June 4–6, 2020, Proceedings / by: (書目-語言資料,印刷品)

Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Network Management in Cloud and Edge Computing by: (書目-語言資料,印刷品)

Intelligent Data Engineering and Automated Learning – IDEAL 2020 = 21st International Conference, Guimaraes, Portugal, November 4–6, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intelligent Computing Systems = Third International Symposium, ISICS 2020, Sharjah, United Arab Emirates, March 18–19, 2020, Proceedings / by: (書目-語言資料,印刷品)

Model-driven Simulation and Training Environments for Cybersecurity = Second International Workshop, MSTEC 2020, Guildford, UK, September 14–18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Genetic Programming = 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 29th European Symposium on Programming, ESOP 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: (書目-語言資料,印刷品)

Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 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: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Supercomputing Frontiers = 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Tutoring Systems = 16th International Conference, ITS 2020, Athens, Greece, June 8–12, 2020, Proceedings / by: (書目-語言資料,印刷品)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Coordination Models and Languages = 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (書目-語言資料,印刷品)

Formal Techniques for Distributed Objects, Components, and Systems = 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / by: (書目-語言資料,印刷品)

Das Internet der Dinge und Künstliche Intelligenz als Game Changer = Wege zu einem Management 4.0 und einer digitalen Architektur / by: (書目-語言資料,印刷品)

Betriebssysteme kompakt = Grundlagen, Daten, Speicher, Dateien, Prozesse und Kommunikation / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Mobile Service Computing by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops = DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Technologies for Security Applications = Proceedings of the NATO Science for Peace and Security 'Cluster Workshop on Advanced Technologies', 17-18 September 2019, Leuven, Belgium / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Applications and Practice = 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Universal Access in Human-Computer Interaction. Design Approaches and Supporting Technologies = 14th International Conference, UAHCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Social Computing and Social Media. Design, Ethics, User Behavior, and Social Network Analysis = 12th International Conference, SCSM 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cloud Computing, Big Data & Emerging Topics = 8th Conference, JCC-BD&ET 2020, La Plata, Argentina, September 8-10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Healthy and Active Aging = 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Intelligence in HCI = First International Conference, AI-HCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

HCI in Mobility, Transport, and Automotive Systems. Driving Behavior, Urban and Smart Mobility = Second International Conference, MobiTAS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Signal Processing and Intelligent Recognition Systems = 5th International Symposium, SIRS 2019, Trivandrum, India, December 18–21, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data and Information in Online Environments = First EAI International Conference, DIONE 2020, Florianópolis, Brazil, March 19-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Data Engineering and Automated Learning – IDEAL 2020 = 21st International Conference, Guimaraes, Portugal, November 4–6, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cognitive Cities = Second International Conference, IC3 2019, Kyoto, Japan, September 3–6, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Neural Computing for Advanced Applications = First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings / by: (書目-語言資料,印刷品)

Approximation and Online Algorithms = 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Large-Scale Disk Failure Prediction = PAKDD 2020 Competition and Workshop, AI Ops 2020, February 7 – May 15, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Culture and Computing = 8th International Conference, C&C 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

HCI in Business, Government and Organizations = 7th International Conference, HCIBGO 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Adaptive Instructional Systems = Second International Conference, AIS 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Information Retrieval = 26th China Conference, CCIR 2020, Xi'an, China, August 14–16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Web Information Systems Engineering = WISE 2019 Workshop, Demo, and Tutorial, Hong Kong and Macau, China, January 19–22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Concepts for Intelligent Vision Systems = 20th International Conference, ACIVS 2020, Auckland, New Zealand, February 10–14, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Security = ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26–27, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

IoT Technologies for HealthCare = 6th EAI International Conference, HealthyIoT 2019, Braga, Portugal, December 4–6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Technology and Society = 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Augmented Cognition. Human Cognition and Behavior = 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Financial Cryptography and Data Security = FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part V / by: (書目-語言資料,印刷品)

NASA Formal Methods = 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Information, Communication and Computing Technology = 5th International Conference, ICICCT 2020, New Delhi, India, May 9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Design Frameworks for Wireless Networks by: (書目-語言資料,印刷品)

Systems, Software and Services Process Improvement = 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advanced Communication Systems and Information Security = Second International Conference, ACOSIS 2019, Marrakesh, Morocco, November 20–22, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings / by: (書目-語言資料,印刷品)

Public-Key Cryptography – PKC 2020 = 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Edinburgh, UK, May 4–7, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Evolution = 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

New Trends in Information and Communications Technology Applications = 4th International Conference, NTICT 2020, Baghdad, Iraq, June 15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Bioinformatics Research and Applications = 16th International Symposium, ISBRA 2020, Moscow, Russia, December 1–4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXXV by: (書目-語言資料,印刷品)

Integration of WSN and IoT for Smart Cities by: (書目-語言資料,印刷品)

Requirements Engineering: Foundation for Software Quality = 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Handbook of Big Data Privacy by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition = 5th Asian Conference, ACPR 2019, Auckland, New Zealand, November 26–29, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Computer Aided Verification = 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Algorithms for Computational Biology = 7th International Conference, AlCoB 2020, Missoula, MT, USA, April 13–15, 2020, Proceedings / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Model-Based Safety and Assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices = 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Kitakyushu, Japan, September 22-25, 2020, Proceedings / by: (書目-語言資料,印刷品)

Mining Data for Financial Applications = 4th ECML PKDD Workshop, MIDAS 2019, Würzburg, Germany, September 16, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Model-Driven Engineering and Software Development = 7th International Conference, MODELSWARD 2019, Prague, Czech Republic, February 20–22, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Computing to Support Industry: Innovation and Technology = First International Conference, ACRIT 2019, Ramadi, Iraq, September 15–16, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Selected Areas in Cryptography – SAC 2019 = 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Digital Forensics and Watermarking = 18th International Workshop, IWDW 2019, Chengdu, China, November 2–4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Electronic Government and the Information Systems Perspective = 9th International Conference, EGOVIS 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Aspects of Computer and Information Sciences = 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Augmented Cognition. Theoretical and Technological Approaches = 14th International Conference, AC 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Dynamic Spectrum Management = From Cognitive Radio to Blockchain and Artificial Intelligence / by: (書目-語言資料,印刷品)

Spatial Cognition XII = 12th International Conference, Spatial Cognition 2020, Riga, Latvia, August 26–28, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Towards Smart and Digital Manufacturing = IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 – September 3, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Blockchain Technology and Application = Second CCF China Blockchain Conference, CBCC 2019, Chengdu, China, October 11–13, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Information and Computer Security = 15th International Workshop on Security, IWSEC 2020, Fukui, Japan, September 2–4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Efficient Integration of 5G and Beyond Heterogeneous Networks by: (書目-語言資料,印刷品)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Numerical Computations: Theory and Algorithms = Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Large-Scale Scientific Computing = 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection = 18th International Conference, PAAMS 2020, L'Aquila, Italy, October 7–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Current Trends in Web Engineering = ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019, Proceedings / by: (書目-語言資料,印刷品)

Theory and Applications of Satisfiability Testing – SAT 2020 = 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Progress in Cryptology - AFRICACRYPT 2020 = 12th International Conference on Cryptology in Africa, Cairo, Egypt, July 20 – 22, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision and Image Processing = 4th International Conference, CVIP 2019, Jaipur, India, September 27–29, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Virtual, Augmented and Mixed Reality. Design and Interaction = 12th International Conference, VAMR 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability. Interaction Design = 9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Human Aspects of IT for the Aged Population. Technologies, Design and User Experience = 6th International Conference, ITAP 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

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: (書目-語言資料,印刷品)

Optimization and Applications = 10th International Conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computing and Combinatorics = 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2019, Würzburg, Germany, September 16–20, 2019, Proceedings, Part III / by: (書目-語言資料,印刷品)

Evaluation of Novel Approaches to Software Engineering = 14th International Conference, ENASE 2019, Heraklion, Crete, Greece, May 4–5, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Computational Science XXXV = Special Issue on Signal Processing and Security in Distributed Systems / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Swarm, Evolutionary, and Memetic Computing and Fuzzy and Neural Computing = 7th International Conference, SEMCCO 2019, and 5th International Conference, FANCCO 2019, Maribor, Slovenia, July 10–12, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

HCI International 2020 - Posters = 22nd International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Structured Object-Oriented Formal Language and Method = 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Responsible Design, Implementation and Use of Information and Communication Technology = 19th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Persuasive Technology. Designing for Future Change = 15th International Conference on Persuasive Technology, PERSUASIVE 2020, Aalborg, Denmark, April 20–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2019, Würzburg, Germany, September 16–20, 2019, Proceedings, Part II / by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2019, Würzburg, Germany, September 16–20, 2019, Proceedings, Part I / by: (書目-語言資料,印刷品)

Data Mining and Big Data = 5th International Conference, DMBD 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computing and Data Sciences = 4th International Conference, ICACDS 2020, Valletta, Malta, April 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Human-Centric Computing in a Data-Driven Society = 14th IFIP TC 9 International Conference on Human Choice and Computers, HCC14 2020, Tokyo, Japan, September 9–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Blockchain and Trustworthy Systems = Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Collaboration Technologies and Social Computing = 26th International Conference, CollabTech 2020, Tartu, Estonia, September 8–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Augmented Reality, Virtual Reality, and Computer Graphics = 7th International Conference, AVR 2020, Lecce, Italy, September 7–10, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Security and the Internet = Tools and Jewels / by: (書目-語言資料,印刷品)

Multimedia Technology and Enhanced Learning = Second EAI International Conference, ICMTEL 2020, Leicester, UK, April 10-11, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Multimedia Technology and Enhanced Learning = Second EAI International Conference, ICMTEL 2020, Leicester, UK, April 10-11, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

A Pipelined Multi-Core Machine with Operating System Support = Hardware Implementation and Correctness Proof / by: (書目-語言資料,印刷品)

Echtzeitsysteme = Grundlagen der Planung / by: (書目-語言資料,印刷品)

Transactions on Edutainment XVI by: (書目-語言資料,印刷品)

Handbook of Satellite Applications by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XXII / by: (書目-語言資料,印刷品)

Job Scheduling Strategies for Parallel Processing = 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Technology-Inspired Smart Learning for Future Education = 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, Kaifeng, China, October 9–11, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computational Complexity and Property Testing = On the Interplay Between Randomness and Computation / by: (書目-語言資料,印刷品)

Computational Network Application Tools for Performance Management by: (書目-語言資料,印刷品)

Critical Information Infrastructures Security = 14th International Conference, CRITIS 2019, Linköping, Sweden, September 23–25, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XV / by: (書目-語言資料,印刷品)

Provable and Practical Security = 14th International Conference, ProvSec 2020, Singapore, November 29 – December 1, 2020, Proceedings / by: (書目-語言資料,印刷品)

Ophthalmic Medical Image Analysis = 7th International Workshop, OMIA 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 8, 2020, Proceedings / by: (書目-語言資料,印刷品)

Beyond Interactions = INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information Management and Big Data = 6th International Conference, SIMBig 2019, Lima, Peru, August 21–23, 2019, Proceedings / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = 18th International Conference, ACNS 2020, Rome, Italy, October 19–22, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Bias and Social Aspects in Search and Recommendation = First International Workshop, BIAS 2020, Lisbon, Portugal, April 14, Proceedings / by: (書目-語言資料,印刷品)

VLSI-SoC: New Technology Enabler = 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6–9, 2019, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Integer Programming and Combinatorial Optimization = 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Collective Intelligence = 12th International Conference, ICCCI 2020, Da Nang, Vietnam, November 30 – December 3, 2020, Proceedings / by: (書目-語言資料,印刷品)

Robotic Process Automation = Ein Leitfaden für Führungskräfte zur erfolgreichen Einführung und Betrieb von Software-Robots im Unternehmen / by: (書目-語言資料,印刷品)

Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings / by: (書目-語言資料,印刷品)

Network and Communication = Research on the Development of Electronic Information Engineering Technology in China. by: (書目-語言資料,印刷品)

Getting Started with Enterprise Internet of Things: Design Approaches and Software Architecture Models by: (書目-語言資料,印刷品)

Low-overhead Communications in IoT Networks = Structured Signal Processing Approaches / by: (書目-語言資料,印刷品)

Advances in Intelligent Data Analysis XVIII = 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings / by: (書目-語言資料,印刷品)

Benutzerzentrierte Unternehmensarchitekturen = Ein portfolio-orientierter Ansatz zur Geschäftstransformation mit ArchiMate® / by: (書目-語言資料,印刷品)

Transactions on Large-Scale Data- and Knowledge-Centered Systems XLIV = Special Issue on Data Management – Principles, Technologies, and Applications / by: (書目-語言資料,印刷品)

Internet of Things (IoT) = Concepts and Applications / by: (書目-語言資料,印刷品)

Internet of Vehicles. Technologies and Services Toward Smart Cities = 6th International Conference, IOV 2019, Kaohsiung, Taiwan, November 18–21, 2019, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning for Networking = Second IFIP TC 6 International Conference, MLN 2019, Paris, France, December 3–5, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Intelligence Algorithms and Applications = 11th International Symposium, ISICA 2019, Guangzhou, China, November 16–17, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

High Performance Computing = 6th Latin American Conference, CARLA 2019, Turrialba, Costa Rica, September 25–27, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data Science and Analytics = 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Data Science and Analytics = 5th International Conference on Recent Developments in Science, Engineering and Technology, REDSET 2019, Gurugram, India, November 15–16, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Human Mental Workload: Models and Applications = 4th International Symposium, H-WORKLOAD 2020, Granada, Spain, December 3–5, 2020, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart Applications and Data Analysis = Third International Conference, SADASC 2020, Marrakesh, Morocco, June 25–26, 2020, Proceedings / by: (書目-語言資料,印刷品)

Information Processing and Management of Uncertainty in Knowledge-Based Systems = 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Benchmarking, Measuring, and Optimizing = Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14–16, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Biomedical Image Registration = 9th International Workshop, WBIR 2020, Portorož, Slovenia, December 1–2, 2020, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings / by: (書目-語言資料,印刷品)

Services Computing – SCC 2020 = 17th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Interactivity, Game Creation, Design, Learning, and Innovation = 8th EAI International Conference, ArtsIT 2019, and 4th EAI International Conference, DLI 2019, Aalborg, Denmark, November 6–8, 2019, Proceedings / by: (書目-語言資料,印刷品)

Code-Based Cryptography = 8th International Workshop, CBCrypto 2020, Zagreb, Croatia, May 9–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Trust, Privacy and Security in Digital Business = 17th International Conference, TrustBus 2020, Bratislava, Slovakia, September 14–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Cognitive Computing – ICCC 2020 = 4th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Information and Database Systems = 12th Asian Conference, ACIIDS 2020, Phuket, Thailand, March 23–26, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Blockchain – ICBC 2020 = Third International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Geoinformatics in Sustainable Ecosystem and Society = 7th International Conference, GSES 2019, and First International Conference, GeoAI 2019, Guangzhou, China, November 21–25, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Cyber Security and Computer Science = Second EAI International Conference, ICONCS 2020, Dhaka, Bangladesh, February 15-16, 2020, Proceedings / by: (書目-語言資料,印刷品)

Structural Information and Communication Complexity = 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings / by: (書目-語言資料,印刷品)

Grundkurs Betriebssysteme = Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation, Virtualisierung / by: (書目-語言資料,印刷品)

ICT Systems Security and Privacy Protection = 35th IFIP TC 11 International Conference, SEC 2020, Maribor, Slovenia, September 21–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Experimental IR Meets Multilinguality, Multimodality, and Interaction = 11th International Conference of the CLEF Association, CLEF 2020, Thessaloniki, Greece, September 22–25, 2020, Proceedings / by: (書目-語言資料,印刷品)

Information, Photonics and Communication = Proceedings of Second National Conference, IPC 2019 / by: (書目-語言資料,印刷品)

Bio-inspired Computing: Theories and Applications = 14th International Conference, BIC-TA 2019, Zhengzhou, China, November 22–25, 2019, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Big Data – BigData 2020 = 9th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Internet of Things - ICIOT 2020 = 5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Science and Technologies for Smart Cities = 5th EAI International Summit, SmartCity360, Braga, Portugal, December 4-6, 2019, Proceedings / by: (書目-語言資料,印刷品)

Information Security Education. Information Security in Action = 13th IFIP WG 11.8 World Conference, WISE 13, Maribor, Slovenia, September 21–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Security Standardisation Research = 6th International Conference, SSR 2020, London, UK, November 30 – December 1, 2020, Proceedings / by: (書目-語言資料,印刷品)

Frontiers of Computer Vision = 26th International Workshop, IW-FCV 2020, Ibusuki, Kagoshima, Japan, February 20–22, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

E-Democracy – Safeguarding Democracy and Human Rights in the Digital Age = 8th International Conference, e-Democracy 2019, Athens, Greece, December 12-13, 2019, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Transport Systems. From Research and Development to the Market Uptake = Third EAI International Conference, INTSYS 2019, Braga, Portugal, December 4–6, 2019 / by: (書目-語言資料,印刷品)

Information and Communication Technologies in Education, Research, and Industrial Applications = 15th International Conference, ICTERI 2019, Kherson, Ukraine, June 12–15, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Frontiers in Algorithmics = 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Aspects of Cloud Computing = 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

GIS LATAM = First Conference, GIS LATAM 2020, Mexico City, Mexico, September 28–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

R3 in Geomatics: Research, Results and Review = First International Workshop in memory of Prof. Raffaele Santamaria on R3 in Geomatics: Research, Results and Review, R3GEO 2019, Naples, Italy, October 10–11, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

AI 2020: Advances in Artificial Intelligence = 33rd Australasian Joint Conference, AI 2020, Canberra, ACT, Australia, November 29–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

Recent Advances in Data Science = Third International Conference on Data Science, Medicine, and Bioinformatics, IDMB 2019, Nanning, China, June 22–24, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Interactive Collaborative Robotics = 5th International Conference, ICR 2020, St Petersburg, Russia, October 7-9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings / by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III / by: (書目-語言資料,印刷品)

Optimal Coverage in Wireless Sensor Networks by: (書目-語言資料,印刷品)

Algorithms and Architectures for Parallel Processing = 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

HCI International 2020 - Late Breaking Papers: User Experience Design and Case Studies = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

HCI International 2020 – Late Breaking Papers: Cognition, Learning and Games = 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19–24, 2020, Proceedings / by: (書目-語言資料,印刷品)

Reuse in Emerging Software Engineering Practices = 19th International Conference on Software and Systems Reuse, ICSR 2020, Hammamet, Tunisia, December 2–4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. The Path to Digital Transformation and Innovation of Production Management Systems = IFIP WG 5.7 International Conference, APMS 2020, Novi Sad, Serbia, August 30 – September 3, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health = International 2020 Cyberspace Congress, CyberDI/CyberLife 2020, Beijing, China, December 10–12, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XII / by: (書目-語言資料,印刷品)

Testing Software and Systems = 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition and Artificial Intelligence = International Conference, ICPRAI 2020, Zhongshan, China, October 19–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XVI / by: (書目-語言資料,印刷品)

Innovations in Digital Economy = First International Conference, SPBPU IDE 2019, St. Petersburg, Russia, October 24–25, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 = 16th European Conference, Glasgow, UK, August 23–28, 2020, Proceedings, Part XVIII / by: (書目-語言資料,印刷品)

Emerging Technologies for Authorization and Authentication = Third International Workshop, ETAA 2020, Guildford, UK, September 18, 2020, Proceedings / by: (書目-語言資料,印刷品)

The Future of Digital Work: The Challenge of Inequality = IFIP WG 8.2, 9.1, 9.4 Joint Working Conference, IFIPJWC 2020, Hyderabad, India, December 10–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Databases and Information Systems = 24th European Conference, ADBIS 2020, Lyon, France, August 25–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 16th International Conference, ICIC 2020, Bari, Italy, October 2–5, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security Workshops = ACNS 2020 Satellite Workshops, AIBlock, AIHWS, AIoTS, Cloud S&P, SCI, SecMT, and SiMLA, Rome, Italy, October 19–22, 2020, Proceedings / by: (書目-語言資料,印刷品)

Reachability Problems = 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Cooperative Design, Visualization, and Engineering = 17th International Conference, CDVE 2020, Bangkok, Thailand, October 25–28, 2020, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2020 = 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Computer Graphics = 37th Computer Graphics International Conference, CGI 2020, Geneva, Switzerland, October 20–23, 2020, Proceedings / by: (書目-語言資料,印刷品)

Applied Informatics = Third International Conference, ICAI 2020, Ota, Nigeria, October 29–31, 2020, Proceedings / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2020 = 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Statistical Analysis of Graph Structures in Random Variable Networks by: (書目-語言資料,印刷品)

Information and Communication Technologies for Development = 16th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2020, Manchester, UK, June 10–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Security and Privacy in Communication Networks = 16th EAI International Conference, SecureComm 2020, Washington, DC, USA, October 21-23, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Visual Computing = 15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5–7, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Visual Computing = 15th International Symposium, ISVC 2020, San Diego, CA, USA, October 5–7, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

e-Learning, e-Education, and Online Training = 6th EAI International Conference, eLEOT 2020, Changsha, China, June 20-21, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Body Area Networks. Smart IoT and Big Data for Intelligent Health = 15th EAI International Conference, BODYNETS 2020, Tallinn, Estonia, October 21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Security = ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, Guildford, UK, September 14–18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Rough Sets XXII by: (書目-語言資料,印刷品)

Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part VII / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Information and Cyber Security = 19th International Conference, ISSA 2020, Pretoria, South Africa, August 25–26, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings / by: (書目-語言資料,印刷品)

Current Trends in Web Engineering = ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9–12, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security, Privacy, and Applied Cryptography Engineering = 10th International Conference, SPACE 2020, Kolkata, India, December 17–21, 2020, Proceedings / by: (書目-語言資料,印刷品)

Biomimetic and Biohybrid Systems = 9th International Conference, Living Machines 2020, Freiburg, Germany, July 28–30, 2020, Proceedings / by: (書目-語言資料,印刷品)

Distributed Computing for Emerging Smart Networks = Second International Workshop, DiCES-N 2020, Bizerte, Tunisia, December 18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ECCV 2020 Workshops = Glasgow, UK, August 23–28, 2020, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Human-Computer Interaction = 6th Iberomarican Workshop, HCI-Collab 2020, Arequipa, Peru, September 16–18, 2020, Proceedings / by: (書目-語言資料,印刷品)

Basiswissen Energieinformatik = Ein Lehr- und Arbeitsbuch für Studierende und Anwender / by: (書目-語言資料,印刷品)

Electronic Governance and Open Society: Challenges in Eurasia = 7th International Conference, EGOSE 2020, St. Petersburg, Russia, November 18–19, 2020, Proceedings / by: (書目-語言資料,印刷品)

Modern Digital Radio Communication Signals and Systems by: (書目-語言資料,印刷品)

Recent Featured Applications of Artificial Intelligence Methods. LSMS 2020 and ICSEE 2020 Workshops = Workshops of the 6th International Conference on Life System Modeling and Simulation, LSMS 2020, and 6th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2020, Shanghai, China, October 25, 2020, Proceedings / by: (書目-語言資料,印刷品)

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production = 10th International Conference, HPCST 2020, Barnaul, Russia, May 15–16, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Optimization and Applications = 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Boosting Collaborative Networks 4.0 = 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23–25, 2020, Proceedings / by: (書目-語言資料,印刷品)

Cloud Computing, Big Data & Emerging Topics = 9th Conference, JCC-BD&ET, La Plata, Argentina, June 22-25, 2021, Proceedings / by: (書目-語言資料,印刷品)

Optimization and Learning = 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2021 = 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2021 = 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2020 = 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 – December 4, 2020, Revised Selected Papers, Part III / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2020 = 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 – December 4, 2020, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Formal Methods for Industrial Critical Systems = 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Vision – ACCV 2020 = 15th Asian Conference on Computer Vision, Kyoto, Japan, November 30 – December 4, 2020, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Transactions on Petri Nets and Other Models of Concurrency XV by: (書目-語言資料,印刷品)

Learning Technology for Education Challenges = 9th International Workshop, LTEC 2021, Kaohsiung, Taiwan, July 20-22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Towards new e-Infrastructure and e-Services for Developing Countries = 12th EAI International Conference, AFRICOMM 2020, Ebène City, Mauritius, December 2-4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Culture and Computing. Interactive Cultural Heritage and Arts = 9th International Conference, C&C 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Intelligence in HCI = Second International Conference, AI-HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Theory, Methods and Tools = Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Neural Computing for Advanced Applications = Second International Conference, NCAA 2021, Guangzhou, China, August 27-30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Tools and Methods of Program Analysis = 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: Design for Contemporary Technological Environments = 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Information Presentation and Visualization = Thematic Area, HIMI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Human Interface and the Management of Information. Information-Rich and Intelligent Environments = Thematic Area, HIMI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Cross-Cultural Design. Applications in Cultural Heritage, Tourism, Autonomous Vehicles, and Intelligent Agents = 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Social Computing and Social Media: Experience Design and Social Network Analysis = 13th International Conference, SCSM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. AI, Product and Service = 12th International Conference, DHM 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Learning and Collaboration Technologies: Games and Virtual Environments for Learning = 8th International Conference, LCT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Cyber-Physical Systems: A Model-Based Approach by: (書目-語言資料,印刷品)

Human-Computer Interaction. Interaction Techniques and Novel Applications = Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

HCI International 2021 - Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Swarm Intelligence = 12th International Conference, ICSI 2021, Qingdao, China, July 17–21, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Ubiquitous Communications and Network Computing = 4th EAI International Conference, UBICNET 2021, Virtual Event, March 2021, Proceedings / by: (書目-語言資料,印刷品)

Information Security Education for Cyber Resilience = 14th IFIP WG 11.8 World Conference, WISE 2021, Virtual Event, June 22–24, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances and Trends in Artificial Intelligence. From Theory to Practice = 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 26–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security = 40th International Conference, SAFECOMP 2021, York, UK, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Learning and Collaboration Technologies: New Challenges and Learning Experiences = 8th International Conference, LCT 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: UX Research and Design = 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Post-Quantum Cryptography = 12th International Workshop, PQCrypto 2021, Daejeon, South Korea, July 20–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Frontiers of Computer Vision = 27th International Workshop, IW-FCV 2021, Daegu, South Korea, February 22–23, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

VLSI-SoC: Design Trends = 28th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2020, Salt Lake City, UT, USA, October 6–9, 2020, Revised and Extended Selected Papers / by: (書目-語言資料,印刷品)

Trends in Functional Programming = 22nd International Symposium, TFP 2021, Virtual Event, February 17–19, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops = DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings / by: (書目-語言資料,印刷品)

Responsible AI and Analytics for an Ethical and Inclusive Digitized Society = 20th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2021, Galway, Ireland, September 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Euro-Par 2021: Parallel Processing = 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1–3, 2021, Proceedings / by: (書目-語言資料,印刷品)

Applications and Usability of Interactive TV = 9th Iberoamerican Conference, jAUTI 2020, Aveiro, Portugal, December 18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Brain-Inspired Computing = 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Information and Computer Security = 16th International Workshop on Security, IWSEC 2021, Virtual Event, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Electronic Participation = 13th IFIP WG 8.5 International Conference, ePart 2021, Granada, Spain, September 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices = 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Kuala Lumpur, Malaysia, July 26–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Digital Transformation and New Challenges = Changes in Business and Society in the Digital Era / by: (書目-語言資料,印刷品)

The Next Generation Vehicular Networks, Modeling, Algorithm and Applications by: (書目-語言資料,印刷品)

Information Centric Networks (ICN) = Architecture & Current Trends / by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases. Applied Data Science and Demo Track = European Conference, ECML PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings, Part V / by: (書目-語言資料,印刷品)

Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part I / by: (書目-語言資料,印刷品)

Cross-Cultural Design. Applications in Arts, Learning, Well-being, and Social Development = 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Design, User Experience, and Usability: Design for Diversity, Well-being, and Social Development = 10th International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19–23, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Artificial Intelligence and Security = 7th International Conference, ICAIS 2021, Dublin, Ireland, July 19–23, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Detection of Intrusions and Malware, and Vulnerability Assessment = 18th International Conference, DIMVA 2021, Virtual Event, July 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Provenance and Annotation of Data and Processes = 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Geometry and Vision = First International Symposium, ISGV 2021, Auckland, New Zealand, January 28-29, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Pattern Recognition and Artificial Intelligence = 4th Mediterranean Conference, MedPRAI 2020, Hammamet, Tunisia, December 20–22, 2020, Proceedings / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems = IFIP WG 5.7 International Conference, APMS 2021, Nantes, France, September 5–9, 2021, Proceedings, Part V / by: (書目-語言資料,印刷品)

Cross-Cultural Design. Experience and Product Design Across Cultures = 13th International Conference, CCD 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Culture and Computing. Design Thinking and Cultural Computing = 9th International Conference, C&C 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Programming Languages and Systems = 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases. Research Track = European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Machine Learning and Knowledge Discovery in Databases. Research Track = European Conference, ECML PKDD 2021, Bilbao, Spain, September 13–17, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Tools and Algorithms for the Construction and Analysis of Systems = 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Forthcoming Networks and Sustainability in the IoT Era = First EAI International Conference, FoNeS – IoT 2020, Virtual Event, October 1-2, 2020, Proceedings / by: (書目-語言資料,印刷品)

Computer Information Systems and Industrial Management = 20th International Conference, CISIM 2021, Ełk, Poland, September 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Ophthalmic Medical Image Analysis = 8th International Workshop, OMIA 2021, Held in Conjunction with MICCAI 2021, Strasbourg, France, September 27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Biometric Recognition = 15th Chinese Conference, CCBR 2021, Shanghai, China, September 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Multi-Agent Systems = 18th European Conference, EUMAS 2021, Virtual Event, June 28–29, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Applied Technologies = Second International Conference, ICAT 2020, Quito, Ecuador, December 2–4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security Workshops = ACNS 2021 Satellite Workshops, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, and SiMLA, Kamakura, Japan, June 21–24, 2021, Proceedings / by: (書目-語言資料,印刷品)

Petri Nets for Modeling of Large Discrete Systems by: (書目-語言資料,印刷品)

Artificial Neural Networks and Machine Learning – ICANN 2021 = 30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14–17, 2021, Proceedings, Part IV / by: (書目-語言資料,印刷品)

International Conference on Mobile Computing and Sustainable Informatics = ICMCSI 2020 / by: (書目-語言資料,印刷品)

Modeling, Simulation and Optimization of Complex Processes HPSC 2018 = Proceedings of the 7th International Conference on High Performance Scientific Computing, Hanoi, Vietnam, March 19-23, 2018 / by: (書目-語言資料,印刷品)

Computer Vision and Image Processing = 5th International Conference, CVIP 2020, Prayagraj, India, December 4-6, 2020, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Database Systems for Advanced Applications = 26th International Conference, DASFAA 2021, Taipei, Taiwan, April 11–14, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Network Games, Control and Optimization = 10th International Conference, NetGCooP 2020, France, September 22–24, 2021, Proceedings / by: (書目-語言資料,印刷品)

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future = Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement / by: (書目-語言資料,印刷品)

Interactivity and Game Creation = 9th EAI International Conference, ArtsIT 2020, Aalborg, Denmark, December 10–11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Digitales Shopfloor Management in SAP-Systemumgebungen = Roadmap und Lösungsalternativen für die Umsetzung / by: (書目-語言資料,印刷品)

Machine Learning for Cyber Physical Systems = Selected papers from the International Conference ML4CPS 2020 / by: (書目-語言資料,印刷品)

Sustainable Energy for Smart Cities = Second EAI International Conference, SESC 2020, Viana do Castelo, Portugal, December 4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Microelectronic Devices, Circuits and Systems = Second International Conference, ICMDCS 2021, Vellore, India, February 11-13, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advancing Research in Information and Communication Technology = IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups / by: (書目-語言資料,印刷品)

Innovations in Digital Economy = Second International Scientific Conference, SPBPU IDE 2020, St. Petersburg, Russia, October 22–23, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Society 5.0 = First International Conference, Society 5.0 2021, Virtual Event, June 22–24, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Interactive Collaborative Robotics = 6th International Conference, ICR 2021, St. Petersburg, Russia, September 27–30, 2021, Proceedings / by: (書目-語言資料,印刷品)

Accelerator Programming Using Directives = 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Index Modulation for OFDM Communications Systems by: (書目-語言資料,印刷品)

Free Space Laser Communication with Ambient Light Compensation by: (書目-語言資料,印刷品)

e-Learning, e-Education, and Online Training = 7th EAI International Conference, eLEOT 2021, Xinxiang, China, June 20-21, 2021, Proceedings Part I / by: (書目-語言資料,印刷品)

Mining Data for Financial Applications = 5th ECML PKDD Workshop, MIDAS 2020, Ghent, Belgium, September 18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Multi-Agent-Based Simulation XXI = 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Blockchain Technology and Application = Third CCF China Blockchain Conference, CBCC 2020, Jinan, China, December 18-20, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advanced Hybrid Information Processing = 4th EAI International Conference, ADHIP 2020, Binzhou, China, September 26-27, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

Electronic Voting = 6th International Joint Conference, E-Vote-ID 2021, Virtual Event, October 5–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Echtzeit 2020 = Kommunikationssicherheit im Internet der Dinge (IoT) / by: (書目-語言資料,印刷品)

High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Simulation Tools and Techniques = 12th EAI International Conference, SIMUtools 2020, Guiyang, China, August 28-29, 2020, Proceedings, Part II / by: (書目-語言資料,印刷品)

VR/AR and 3D Displays = First International Conference, ICVRD 2020, Hangzhou, China, December 20, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Constructive Side-Channel Analysis and Secure Design = 11th International Workshop, COSADE 2020, Lugano, Switzerland, April 1–3, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security, Privacy, and Anonymity in Computation, Communication, and Storage = SpaCCS 2020 International Workshops, Nanjing, China, December 18-20, 2020, Proceedings / by: (書目-語言資料,印刷品)

Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings / by: (書目-語言資料,印刷品)

Cellular Automata = 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings / by: (書目-語言資料,印刷品)

Information and Communication Technology and Applications = Third International Conference, ICTA 2020, Minna, Nigeria, November 24–27, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security by Design = Security Engineering informationstechnischer Systeme / by: (書目-語言資料,印刷品)

Public-Key Cryptography – PKC 2021 = 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2021 = 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2021 = 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2021 = 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Recent Trends in Image Processing and Pattern Recognition = Third International Conference, RTIP2R 2020, Aurangabad, India, January 3–4, 2020, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Resilience in the Digital Age by: (書目-語言資料,印刷品)

Intelligent Computing Theories and Application = 17th International Conference, ICIC 2021, Shenzhen, China, August 12–15, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computer Science – CACIC 2020 = 26th Argentine Congress, CACIC 2020, San Justo, Buenos Aires, Argentina, October 5–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computer Supported Cooperative Work and Social Computing = 15th CCF Conference, ChineseCSCW 2020, Shenzhen, China, November 7–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Socio-Technical Aspects in Security and Trust = 9th International Workshop, STAST 2019, Luxembourg City, Luxembourg, September 26, 2019, Revised Selected Papers / by: (書目-語言資料,印刷品)

KI 2021: Advances in Artificial Intelligence = 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Cryptology – CRYPTO 2021 = 41st Annual International Cryptology Conference, CRYPTO 2021, Virtual Event, August 16–20, 2021, Proceedings, Part IV / by: (書目-語言資料,印刷品)

New Trends in Database and Information Systems = ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Web Engineering = 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings / by: (書目-語言資料,印刷品)

Image and Graphics = 11th International Conference, ICIG 2021, Haikou, China, August 6–8, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Image and Graphics = 11th International Conference, ICIG 2021, Haikou, China, August 6–8, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Production Research = 10th International Conference of Production Research - Americas, ICPR-Americas 2020, Bahía Blanca, Argentina, December 9-11, 2020, Revised Selected Papers, Part II / by: (書目-語言資料,印刷品)

Digital Democracy – IT for Change = 53rd Annual Convention of the Computer Society of India, CSI 2020, Bhubaneswar, India, January 16–18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

The Semantic Web – ISWC 2021 = 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2021 = 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Reproducible Research in Pattern Recognition = Third International Workshop, RRPR 2021, Virtual Event, January 11, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Geographical Information Systems Theory, Applications and Management = 6th International Conference, GISTAM 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

NASA Formal Methods = 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings / by: (書目-語言資料,印刷品)

Privacy Technologies and Policy = 9th Annual Privacy Forum, APF 2021, Oslo, Norway, June 17–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Artificial Intelligence and Machine Learning = 32nd Benelux Conference, BNAIC/Benelearn 2020, Leiden, The Netherlands, November 19–20, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Computing Science, Communication and Security = Second International Conference, COMS2 2021, Gujarat, India, February 6–7, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Eingebettete Systeme = Grundlagen Eingebetteter Systeme in Cyber-Physikalischen Systemen / by: (書目-語言資料,印刷品)

Sicherheitskritische Mensch-Computer-Interaktion = Interaktive Technologien und Soziale Medien im Krisen- und Sicherheitsmanagement / by: (書目-語言資料,印刷品)

Information and Communication Technologies in Education, Research, and Industrial Applications = 16th International Conference, ICTERI 2020, Kharkiv, Ukraine, October 6–10, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Spatial Data and Intelligence = Second International Conference, SpatialDI 2021, Hangzhou, China, April 22–24, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computational Collective Intelligence = 13th International Conference, ICCCI 2021, Kallithea, Rhodes, Greece, September 29 – October 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Cooperative Design, Visualization, and Engineering = 18th International Conference, CDVE 2021, Virtual Event, October 24–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Security – ESORICS 2021 = 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4–8, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Membrane Computing = 21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

ITNG 2021 18th International Conference on Information Technology-New Generations by: (書目-語言資料,印刷品)

Artificial Intelligence in Medicine = 19th International Conference on Artificial Intelligence in Medicine, AIME 2021, Virtual Event, June 15–18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Algorithmic Game Theory = 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21–24, 2021, Proceedings / by: (書目-語言資料,印刷品)

Serious Games = Joint International Conference, JCSG 2021, Virtual Event, January 12–13, 2022, Proceedings / by: (書目-語言資料,印刷品)

Communications, Signal Processing, and Systems = Proceedings of the 9th International Conference on Communications, Signal Processing, and Systems / by: (書目-語言資料,印刷品)

Applied Cryptography and Network Security = 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Wahrheit und Fake im postfaktisch-digitalen Zeitalter = Distinktionen in den Geistes- und IT-Wissenschaften / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part V / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Computational Science – ICCS 2021 = 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Data and Information in Online Environments = Second EAI International Conference, DIONE 2021, Virtual Event, March 10–12, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Cryptology – EUROCRYPT 2021 = 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17–21, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Database Systems for Advanced Applications. DASFAA 2021 International Workshops = BDQM, GDMA, MLDLDSA, MobiSocial, and MUST, Taipei, Taiwan, April 11–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Service-Oriented Computing – ICSOC 2020 Workshops = AIOps, CFTIC, STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates, December 14–17, 2020, Proceedings / by: (書目-語言資料,印刷品)

Integration of Constraint Programming, Artificial Intelligence, and Operations Research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Disinformation in Open Online Media = Third Multidisciplinary International Symposium, MISDOOM 2021, Virtual Event, September 21–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures = 5th EAI International Conference, FABULOUS 2021, Virtual Event, May 6–7, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advanced Informatics for Computing Research = 4th International Conference, ICAICR 2020, Gurugram, India, December 26–27, 2020, Revised Selected Papers, Part I / by: (書目-語言資料,印刷品)

Information, Communication and Computing Technology = 6th International Conference, ICICCT 2021, New Delhi, India, May 8, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Bioengineering and Biomedical Signal and Image Processing = First International Conference, BIOMESIP 2021, Meloneras, Gran Canaria, Spain, July 19-21, 2021, Proceedings / by: (書目-語言資料,印刷品)

Information and Software Technologies = 27th International Conference, ICIST 2021, Kaunas, Lithuania, October 14–16, 2021, Proceedings / by: (書目-語言資料,印刷品)

Persuasive Technology = 16th International Conference, PERSUASIVE 2021, Virtual Event, April 12–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Network and Parallel Computing = 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28–30, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Unconventional Computation and Natural Computation = 19th International Conference, UCNC 2021, Espoo, Finland, October 18–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Computer Graphics = 38th Computer Graphics International Conference, CGI 2021, Virtual Event, September 6–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Mathematical Modeling and Supercomputer Technologies = 20th International Conference, MMST 2020, Nizhny Novgorod, Russia, November 23 – 27, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

End-User Development = 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Signal Processing and Intelligent Recognition Systems = 6th International Symposium, SIRS 2020, Chennai, India, October 14–17, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Performance Evaluation Models for Distributed Service Networks by: (書目-語言資料,印刷品)

Computer Security and the Internet = Tools and Jewels from Malware to Bitcoin / by: (書目-語言資料,印刷品)

Automated Technology for Verification and Analysis = 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings / by: (書目-語言資料,印刷品)

Human-Computer Interaction. Design and User Experience Case Studies = Thematic Area, HCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday / by: (書目-語言資料,印刷品)

Statistical Language and Speech Processing = 9th International Conference, SLSP 2021, Virtual Event, November 22-26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part III / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Algorithms for Sensor Systems = 17th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021, Proceedings / by: (書目-語言資料,印刷品)

Intelligent Robotics and Applications = 14th International Conference, ICIRA 2021, Yantai, China, October 22–25, 2021, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Design, Learning, and Innovation = 5th EAI International Conference, DLI 2020, Virtual Event, December 10-11, 2020, Proceedings / by: (書目-語言資料,印刷品)

Technological Innovation for Applied AI Systems = 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, Costa de Caparica, Portugal, July 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Digital Signal Processing for Wireless Communication using Matlab by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

Pattern Recognition and Computer Vision = 4th Chinese Conference, PRCV 2021, Beijing, China, October 29 – November 1, 2021, Proceedings, Part IV / by: (書目-語言資料,印刷品)

Blockchain for International Security = The Potential of Distributed Ledger Technology for Nonproliferation and Export Controls / by: (書目-語言資料,印刷品)

Reachability Problems = 15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Localization in Underwater Sensor Networks by: (書目-語言資料,印刷品)

Decision and Game Theory for Security = 12th International Conference, GameSec 2021, Virtual Event, October 25–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Computer Analysis of Images and Patterns = 19th International Conference, CAIP 2021, Virtual Event, September 28–30, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Provable and Practical Security = 15th International Conference, ProvSec 2021, Guangzhou, China, November 5–8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Autonomous Underwater Vehicles = Localization, Tracking, and Formation / by: (書目-語言資料,印刷品)

Architekturen Verteilter Softwaresysteme = SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration / by: (書目-語言資料,印刷品)

Advances in Web-Based Learning – ICWL 2021 = 20th International Conference, ICWL 2021, Macau, China, November 13–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Informatics in Schools. Rethinking Computing Education = 14th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2021, Virtual Event, November 3–5, 2021, Proceedings / by: (書目-語言資料,印刷品)

Theory of Cryptography = 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

HCI International 2021 - Late Breaking Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

HCI International 2021 - Late Breaking Posters = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)

High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Smart and Sustainable Collaborative Networks 4.0 = 22nd IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2021, Saint-Étienne, France, November 22–24, 2021, Proceedings / by: (書目-語言資料,印刷品)

HCI International 2021 - Late Breaking Papers: Design and User Experience = 23rd HCI International Conference, HCII 2021, Virtual Event, July 24–29, 2021, Proceedings / by: (書目-語言資料,印刷品)

Electronic Government = 20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 7–9, 2021, Proceedings / by: (書目-語言資料,印刷品)

Dependable Software Engineering. Theories, Tools, and Applications = 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings / by: (書目-語言資料,印刷品)

Mobile Edge Computing by: (書目-語言資料,印刷品)

Information and Communication Technologies = 9th Conference of Ecuador, TICEC 2021, Guayaquil, Ecuador, November 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Human Mental Workload: Models and Applications = 5th International Symposium, H-WORKLOAD 2021, Virtual Event, November 24–26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Product-Focused Software Process Improvement = 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings / by: (書目-語言資料,印刷品)

Innovative Technologies and Learning = 4th International Conference, ICITL 2021, Virtual Event, November 29 – December 1, 2021, Proceedings / by: (書目-語言資料,印刷品)

Performance Engineering and Stochastic Modeling = 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings / by: (書目-語言資料,印刷品)

Advances in Visual Computing = 16th International Symposium, ISVC 2021, Virtual Event, October 4-6, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Smart Objects and Technologies for Social Good = 7th EAI International Conference, GOODTECHS 2021, Virtual Event, September 15–17, 2021, Proceedings / by: (書目-語言資料,印刷品)

Blockchain and Trustworthy Systems = Third International Conference, BlockSys 2021, Guangzhou, China, August 5–6, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Advances in Cyber Security = Third International Conference, ACeS 2021, Penang, Malaysia, August 24–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Security and Trust Management = 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings / by: (書目-語言資料,印刷品)

Web and Big Data. APWeb-WAIM 2021 International Workshops = KGMA 2021, SemiBDMA 2021, DeepLUDA 2021, Guangzhou, China, August 23–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Transactions on Computational Collective Intelligence XXXVI by: (書目-語言資料,印刷品)

Neural Information Processing = 28th International Conference, ICONIP 2021, Sanur, Bali, Indonesia, December 8–12, 2021, Proceedings, Part VI / by: (書目-語言資料,印刷品)

Learning and Intelligent Optimization = 15th International Conference, LION 15, Athens, Greece, June 20–25, 2021, Revised Selected Papers / by: (書目-語言資料,印刷品)

Data Mining = 19th Australasian Conference on Data Mining, AusDM 2021, Brisbane, QLD, Australia, December 14-15, 2021, Proceedings / by: (書目-語言資料,印刷品)

Mathematical and Computational Oncology = Third International Symposium, ISMCO 2021, Virtual Event, October 11–13, 2021, Proceedings / by: (書目-語言資料,印刷品)

Information Systems Security = 17th International Conference, ICISS 2021, Patna, India, December 16–20, 2021, Proceedings / by: (書目-語言資料,印刷品)

ICT Education = 49th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2020, Virtual Event, July 6–9, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Artificial Intelligence = First CAAI International Conference, CICAI 2021, Hangzhou, China, June 5–6, 2021, Proceedings, Part I / by: (書目-語言資料,印刷品)

Big Data Analytics = 9th International Conference, BDA 2021, Virtual Event, December 15-18, 2021, Proceedings / by: (書目-語言資料,印刷品)

Communication, Networks and Computing = Second International Conference, CNC 2020, Gwalior, India, December 29–31, 2020, Revised Selected Papers / by: (書目-語言資料,印刷品)

Collaborative Computing: Networking, Applications and Worksharing = 17th EAI International Conference, CollaborateCom 2021, Virtual Event, October 16-18, 2021, Proceedings, Part II / by: (書目-語言資料,印刷品)