System Performance and Evaluation.
Overview
            | Works: | 745 works in 330 publications in 330 languages | |
|---|---|---|
Titles
          
                  
                    Metaverse - METAVERSE 2024 = 20th International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Passive and Active Network Measurement = 6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Formal Techniques for Computer Systems and Business Processes = European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 : proceedings /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                  
                    Web services and formal methods = 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings /
                  
                  by: 
                  
                  (Language materials, printed)
                  
                
                
                  
                    
                      
                        Advances in grid and pervasive computing = third international conference, GPC 2008, Kunming, China, May 25-28, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Analytical and Stochastic Modeling Techniques and Applications = 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        IP operations and management = 8th IEEE international workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile networks and management = 6th International Conference, MONAMI 2014, Wurzburg, Germany, September 22-26, 2014 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Geo-informatics in resource management and sustainable ecosystem = second International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance characterization and benchmarking = traditional to big data : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1-5, 2014 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Energy efficient data centers = third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Security Management, Integrity, and Internal Control in Information Systems = IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        NETWORKING 2008 = ad hoc and sensor networks, wireless networks, next generation Internet : 7th International IFIP-TC6 Networking Conference, Singapore, May 5-9, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reconfigurable Computing: Architectures, Tools and Applications = 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = 10th International Conference, WASA 2015, Qufu, China, August 10-12, 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)
                      
                    
                      
                        Quantitative evaluation of systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Functional Verification of Programmable Embedded Architectures = A Top-Down Approach /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded Computer Systems: Architectures, Modeling, and Simulation = 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded Software and Systems = First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded Software and Systems : = Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Control Reconfiguration of Dynamical Systems = Linear Approaches and Structural Tests /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded Computer Systems: Architectures, Modeling, and Simulation = 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings /
                      
                      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)
                      
                    
                      
                        Accelerating test, validation and debug of high speed serial interfaces
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in systems safety = proceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Dependable Computing - EDCC 2005 = 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Dependable Computing : = Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Testbeds and research infrastructures = development of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Integrated circuit and system design = power and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance evaluation, measurement and characterization of complex systems = second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        New frontiers in information and software as services = service and application design challenges in the cloud /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation: Metrics, Models and Benchmarks = SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Expert Oracle Database Architecture = 9i and 10g Programming Techniques and Solutions /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Resilient Networks and Services = Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        The Common Component Modeling Example = Comparing Software Component Models /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Implementation and Application of Functional Languages = 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Parallel and Distributed Processing and Applications : = Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Planning Methods for the Next Generation Internet
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        A Software Process Model Handbook for Incorporating People's Capabilities
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Traffic monitoring and analysis = third international workshop, TMA 2011, Vienna, Austria, April 27, 2011 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-time systems = design principles for distributed embedded applications /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Next Generation Teletraffic and Wired/Wireless Advanced Networking = 8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings /
                      
                      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)
                      
                    
                      
                        Quality of Software Architectures and Software Quality : = First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 : proceedings
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Parallel and Distributed Processing and Applications - ISPA 2005 Workshops : = ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005, Proceedings
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2010 parallel processing workshops = HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Sensing and systems in pervasive computing = engineering context aware systems /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer networks = 18th conference, CN 2011, Ustron, Poland, June 14-18, 2011 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model-based Fault Diagnosis Techniques = Design Schemes, Algorithms, and Tools /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and active network measurement = 9th international conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008 ; proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Analytical and stochastic modeling techniques and applications = 18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Human interface and the management of information = interacting with information : symposium on human interface 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Human interface and the management of information = interacting with information : symposium on human interface 2011, held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011 : proceedings.. Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed Embedded Systems: Design, Middleware and Resources = IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundations of computer software = modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Biometric Systems = Technology, Design and Performance Evaluation /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        NETWORKING 2005 : = bnetworking technologies, services, and protocols : performance of computer and communication networks : mobile and wireless communication systems : 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005 : proceedings
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Stochastic Discrete Event Systems = Modeling, Evaluation, Applications /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance engineering = 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Control and automation = international conference, CA 2009. Held as part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Scalable information systems = 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 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)
                      
                    
                      
                        Software process and product measurement = International Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 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)
                      
                    
                      
                        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)
                      
                    
                      
                        Advances in Software Engineering = International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers /
                      
                      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)
                      
                    
                      
                        Wired-wireless multimedia networks and services management = 12th IFIP/IEEE international conference on management of multimedia and mobile networks and services, MMNS 2009, Venice, Italy, October 26-27, 2009 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Algorithmic aspects of wireless sensor networks = 5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Robust and online large-scale optimization = models and techniques for transportation systems /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance evaluation and benchmarking = first TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers /
                      
                      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)
                      
                    
                      
                        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)
                      
                    
                      
                        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)
                      
                    
                      
                        Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer safety, reliability, and security = 28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        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)
                      
                    
                      
                        Traffic management and traffic engineering for the future internet = first Euro-NF Workshop, Fitramen 2008, Porto, Portugal, December 11-12, 2008, 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)
                      
                    
                      
                        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)
                      
                    
                      
                        Pervasive computing = innovations in intelligent multimedia and applications /
                      
                      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)
                      
                    
                      
                        Hard real-time computing systems = predictable scheduling algorithms and applications /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Integrated circuit and system design = power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Thinkquest~2010 = international conference on Contours of Computing Technology on 13th and 14th March, 2010 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information security and assurance = international conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = 6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Interoperable electronic safety equipment = performance requirements for compatible and interoperable electronic equipment for emergency first responders /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information technologies and mathematical modelling = queueing theory and applications : 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Future access enablers for ubiquitous and intelligent infrastructures = first International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2015 = Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Collaborative information seeking = best practices, new domains and new thoughts /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-Time C++ = efficient object-oriented and template microcontroller programming /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile networks and management = 7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud computing and big data = second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded system technology = 13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Requirements engineering and management for software development projects
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web proxy cache replacement strategies = simulation, implementation, and performance evaluation /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        The effects of traffic structure on application and network performance
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Modern probabilistic methods for analysis of telecommunication networks = Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Introduction to queueing systems with telecommunication applications
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Facing the multicore-challenge III = aspects of new paradigms and technologies in parallel computing /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Integrated circuit and system design = power and timing modeling, optimization and simulation : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless sensor networks = 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        System modeling and optimization = 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Selected Topics in Performance Evaluation and Benchmarking = 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance engineering = 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Applied parallel and scientific computing = 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 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)
                      
                    
                      
                        Real-Time C++ = efficient object-oriented and template microcontroller programming /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluating AAL systems through competitive benchmarking = International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and active measurement = 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data traffic monitoring and analysis = from measurement, classification, and anomaly detection to quality of experience /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Green communication and networking = second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer networks = 20th international conference, CN 2013, Lwowek Slaski, Poland, June 17-21, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication technologies for vehicles = 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d'Ascq, France, May 14-15, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed applications and interoperable systems = 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing for computational science - VECPAR 2012 = 10th International Conference, Kope, Japan, July 17-20, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded systems = design, analysis and verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Supercomputing = 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Analytical and stochastic modeling techniques and applications = 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Benchmarking peer-to-peer systems = understanding quality of service in large-scale distributed systems /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2013 parallel processing = 19th International Conference, Aachen, Germany, August 26-30, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantitative evaluation of systems = 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluating AAL systems through competitive benchmarking = international competitions and final workshop, EvAAL 2013, July and September 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of things, smart spaces, and next generation networking = 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        OpenMP in the era of low power devices and accelerators = 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance engineering = 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Multicore software engineering, performance, and tools = international conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Energy efficiency in large scale distributed systems = COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model-driven engineering languages and systems = 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 - October 4, 2013 : proceedings /
                      
                      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)
                      
                    
                      
                        Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = third international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Network computing and information security = second international conference, NCIS 2012, Shanghai, China, December 7-9, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Testbeds and research infrastructure = development of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Economics of grids, clouds, systems, and services = 9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Constituents of modern system-safety thinking = proceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools for high performance computing 2011 = proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden  /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluating AAL systems through competitive benchmarking : indoor localization and tracking = International Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Practical aspects of design science = European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Telematics in the transport environment = 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Energy efficient data centers = first International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model driven engineering languages and systems = 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data management in cloud, grid and P2P systems = 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Topics in performance evaluation, measurement and characterization = third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2012 parallel processing = 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Sensor systems and software = third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundational and practical aspects of resource analysis = second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer networks = 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Analytical and stochastic modeling techniques and applications = 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        OpenMP in a heterogeneous world = 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Multicore software engineering, performance, and tools = International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Critical information infrastructures security = 5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Geo-Informatics in Resource Management and Sustainable Ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Geo-informatics in resource management and sustainable ecosystem = International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        AsiaSim 2013 = 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud computing = Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Guide to software development = designing and managing the life cycle /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Achieving systems safety = proceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Emerging technological risk = underpinning the risk of technology innovation /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Improving software testing = technical and organizational developments /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Algorithms for sensor systems = 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrucken, Germany, September 8-9, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Traffic monitoring and analysis = 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Economics of grids, clouds, systems, and services = 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Testbeds and research infrastructure Development of Networks and Communities = development of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Ad hoc networks = third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2011: Parallel processing workshops = CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.. Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        From scientific instrument to industrial machine = coping with architectural stress in embedded systems /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reliability and risk issues in large scale safety-critical digital control systems
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance evaluation and benchmarking = Spec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        SOFSEM 2009 = theory and practice of computer science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Integrated circuit and system design = power and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Safety-critical systems = problems, process and practice: proceedings of the seventeenth Safety-Critical Symposium, Brighton, UK, 3-5 February 2009 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and active network measurement = 10th international conference, PAM 2009, Seoul, Korea, April 1-3, 2009 ; proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reconfigurable computing = architectures, tools and applications : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web services and formal methods = 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Traffic monitoring and analysis = first international workshop, TMA 2009, Aachen, Germany, May 11, 2009 ; proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Networking 2009 = 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009 ; proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Networks for grid applications = Second International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Languages for embedded systems and their applications = selected contributions on specification, design, and verification from FDL'08 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Benchmarking transaction and analytical processing systems = the creation of a mixed workload benchmark and its application /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless sensor networks = 11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance characterization and benchmarking = 5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud computing patterns = fundamentals to design, build, and manage cloud applications /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and active measurement = 15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed computer and communication networks = 17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Parallel Computational Fluid Dynamics = 25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in wireless sensor networks = 7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Traffic monitoring and analysis = 6th International Workshop, TMA 2014, London, UK, April 14, 2014 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless sensor networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Sustainable transportation = indicators, frameworks, and performance management /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Geo-informatics in resource management and sustainable ecosystem = third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer engineering and technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Isochronous wireless network for real-time communication in industrial automation
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        The accidental SysAdmin handbook = a primer for early level IT professionals /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed computer and communication networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and active measurement = 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance evaluation and benchmarking = traditional to big data to internet of things : 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Critical information infrastructures security = 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web services, formal methods, and behavioral types = 11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Business intelligence = 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015 : tutorial lectures /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software process improvement and capability determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer networks = 23rd International Conference, CN 2016, Brunow, Poland, June 14-17, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Critical Information Infrastructures Security = 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication technologies for vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed applications and interoperable systems = 16th IFIP WG 6.1 International Conference, DAIS 2016, held as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Content distribution for mobile internet = a cloud-based approach /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in data mining = applications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Support vector machines and perceptrons = learning, optimization, classification, and application to social networks /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information technologies and mathematical modelling = queueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced computer architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantitative evaluation of systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Analytical and stochastic modeling techniques and applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        OpenMP = memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of things, smart spaces, and next generation networks and systems = 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundational and practical aspects of resource analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime verification = 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Guide to software development = designing and managing the life cycle /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Personal satellite services = next-generation satellite networking and communication systems : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Healthcare interoperability standards compliance handbook = conformance and testing of healthcare data exchange standards /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Machine learning, optimization, and big data = second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed computer and communication networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Engineering trustworthy software systems = second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication Technologies for Vehicles = 12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Algorithmic aspects of cloud computing = second International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Engineering scalable, elastic, and cost-efficient cloud computing applications = the CloudScale method /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Building an intuitive multimodal interface for a smart home = hunting the SNARK /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer networks = 24th International Conference, CN 2017, Ladek Zdroj, Poland, June 20-23, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2016 = Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        DataFlow supercomputing essentials = research, development and education /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet video data streaming = energy-saving and cost-aware methods /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of things, smart spaces, and next generation networks and systems = 17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Economics of grids, clouds, systems, and services = 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Service-oriented computing - ICSOC 2016 workshops = ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Security of networks and services in an all-connected world = 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wired/wireless internet communications = 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Graph transformation = 10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Modelling foundations and applications = 13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in data mining = applications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Recurrent neural networks for short-term load forecasting = an overview and comparative analysis /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in conceptual modeling = ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal methods = foundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        DataFlow supercomputing essentials = algorithms, applications and implementations /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Virtual reality and augmented reality = 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Business intelligence = 6th European Summer School, eBISS 2016, Tours, France, July 3-8, 2016 : tutorial lectures /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Economics of grids, clouds, systems, and services = 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing for computational science - VECPAR 2016 = 12th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Sustainability, green IT and education strategies in the twenty-first century
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quality, reliability, security and robustness in heterogeneous networks = 12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Systems, software and services process improvement = 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Future network systems and security = third International Conference, FNSS 2017, Gainesville, FL, USA, August 31 - September 2, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Challenges and opportunity with big data = 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer network security = 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software engineering for resilient systems = 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantitative evaluation of systems = 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer performance engineering = 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data management and analytics for medicine and healthcare = third International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed computer and communication networks = 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software process improvement and capability determination = 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information technologies and mathematical modelling = queueing theory and applications : 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime verification = 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in service-oriented and cloud computing = workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless and satellite systems = 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communications and networking = 12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        NASA formal methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools and algorithms for the construction and analysis of systems = 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-Time C++ = efficient object-oriented and template microcontroller programming /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundations of software science and computation structures = 21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Principles of security and trust = 7th International Conference, POST 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)
                      
                    
                      
                        Communication technologies for vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        New frontiers in quantitative methods in informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Autonomous control for a reliable internet of services = methods, models, approaches, techniques, algorithms, and tools /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced information systems engineering = 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud computing - CLOUD 2018 = 11th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Open source systems = enterprise software and solutions : 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluation of novel approaches to software engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Service-oriented computing - ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data - BigData 2018 = 7th International Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Services - SERVICES 2018 = 14th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model-driven engineering and software development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal methods = 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in databases and information systems = 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Interactive theorem proving = 9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Applications of computing and communication technologies = first International Conference, ICACCT 2018, Delhi, India, March 9, 2018 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Systems, software and services process improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big data analytics and knowledge discovery = 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3-6, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Static analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Ad-hoc, mobile, and wireless networks = 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer and information sciences = 32nd International Symposium, ISCIS 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software process improvement and capability determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of things, smart spaces, and next generation networks and systems = 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27-29, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Symposium on real-time and hybrid systems = essays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Kronecker modeling and analysis of multidimensional Markovian systems
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big data = 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Graph data management = fundamental issues and recent developments /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        On the move to meaningful internet systems = OTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal methods and software engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Engineering trustworthy software systems = third International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information systems security = 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wired/wireless internet communications = 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Privacy technologies and policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data quality and trust in big data = 5th International Workshop, QUAT 2018, held in conjunction with WISE 2018, Dubai, UAE, November 12-15, 2018 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data mining and big data = second International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed applications and interoperable systems = 17th IFIP WG 6.1 International Conference, DAIS 2017, held as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing = 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mastering scale and complexity in software reuse = 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and active measurement = 18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Service-oriented computing = 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless algorithms, systems, and applications = 12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced hybrid information processing = second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Open source systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Artificial intelligence applications and innovations = AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Ubiquitous communications and network computing = second EAI International Conference, Bangalore, India, February 8-10, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal techniques for distributed objects, components, and systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Introduction to queueing systems with telecommunication applications
                      
                      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 I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluation of novel approaches to software engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part IV /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part VI /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Theory and applications of satisfiability testing - SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part III /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part V /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational science and its applications - ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.. Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Services - SERVICES 2019 = 15th World Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web services - ICWS 2019 = 26th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud computing - CLOUD 2019 = 12th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reuse in the big data era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data mining and big data = 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Emerging technologies in computing = second International Conference, iCETiC 2019, London, UK, August 19-20, 2019 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        LTE-A cellular networks = multi-hop relay for coverage, capacity and performance enhancement /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        QoS and energy management in cognitive radio network = case study approach /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Testbeds and research infrastructures for the development of networks and communities = 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016 : revised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile networks and management = 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance evaluation and benchmarking = traditional - big data - Interest of Things : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016 : rvised selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless Algorithms, Systems, and Applications = 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and Active Measurement = 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Energy Efficient Data Centers = Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Traffic Monitoring and Analysis = 7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication Technologies for Vehicles = 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Networks = 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile Networks and Management = 7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Future Access Enablers for Ubiquitous and Intelligent Infrastructures = First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud Computing = 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools for High Performance Computing 2014 = Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Trustworthy Computing and Services = International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        IT-Revision, IT-Audit und IT-Compliance = Neue Ansätze für die IT-Prüfung /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded System Technology = 13th National Conference, ESTC 2015, Beijing, China, October 10–11, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile Networks and Management = 6th International Conference, MONAMI 2014, Würzburg, Germany, September 22-26, 2014, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Collaborative Information Seeking = Best Practices, New Domains and New Thoughts /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Wireless Sensor Networks = The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
                      
                      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)
                      
                    
                      
                        High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud Computing and Big Data = Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed Applications and Interoperable Systems = 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Characterization and Benchmarking. Traditional to Big Data = 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014.  Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information Technologies and Mathematical Modelling - Queueing Theory and Applications = 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Sustainable Transportation = Indicators, Frameworks, and Performance Management /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information Technologies and Mathematical Modelling: Queueing Theory and Applications = 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced Computer Architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web Services, Formal Methods, and Behavioral Types = 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Process Improvement and Capability Determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication Technologies for Vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High Performance Computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Data Mining. Applications and Theoretical Aspects = 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud Computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems = 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Critical Information Infrastructures Security = 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Support Vector Machines and Perceptrons = Learning, Optimization, Classification, and Application to Social Networks /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Oracle Solaris and Veritas Cluster : An Easy-build Guide = A try-at-home, practical guide to implementing Oracle/Solaris and Veritas clustering using a desktop or laptop /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed Applications and Interoperable Systems = 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Isochronous Wireless Network for Real-time Communication in Industrial Automation
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Guide to Software Development = Designing and Managing the Life Cycle /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Business Intelligence = 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed Computer and Communication Networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Networks = 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Geo-Informatics in Resource Management and Sustainable Ecosystem = Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        The Accidental SysAdmin Handbook = A Primer for Early Level IT Professionals  /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Engineering and Technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Healthcare Interoperability Standards Compliance Handbook = Conformance and Testing of Healthcare Data Exchange Standards /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Critical Information Infrastructures Security = 10th International Conference, CRITIS 2015, Berlin, Germany, October  5-7, 2015, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and Active Measurement = 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundational and Practical Aspects of Resource Analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Machine Learning, Optimization, and Big Data = Second International Workshop, MOD 2016, Volterra,  Italy, August 26-29, 2016, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things = 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High Performance Computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless Algorithms, Systems, and Applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer and Information Sciences = 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data = 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Engineering and Formal Methods = 16th International Conference, SEFM 2018,  Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced Information Systems Engineering = 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless and Satellite Systems = 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless Internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Ad-hoc, Mobile, and Wireless Networks = 17th International Conference on Ad Hoc Networks and Wireless,  ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Kronecker Modeling and Analysis of Multidimensional Markovian Systems
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Metriken für das Testreporting = Analyse und Reporting für wirkungsvolles Testmanagement /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Virtual Reality and Augmented Reality = 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data Analytics and Knowledge Discovery = 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information Systems Security = 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        On the Move to Meaningful Internet Systems. OTM 2018 Conferences = Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Systems, Software and Services Process Improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Greening Video Distribution Networks = Energy-Efficient Internet Video Delivery /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Distributed Computing and Internet Technology = 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data Analytics = 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Graph Data Management = Fundamental Issues and Recent Developments /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Databases and Information Systems = 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information and Communication Technologies in Education, Research, and Industrial Applications = 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Foundations of Software Science and Computation Structures = 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Applications of Computing and Communication Technologies = First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Principles of Security and Trust = 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Open Source Systems: Enterprise Software and Solutions = 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wired/Wireless Internet Communications = 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Lectures on Runtime Verification = Introductory and Advanced Topics /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Image and Video Technology = 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication Technologies for Vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile Internet Security = First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web and Wireless Geographical Information Systems = 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        New Frontiers in Quantitative Methods in Informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Autonomous Control for a Reliable Internet of Services = Methods, Models, Approaches, Techniques, Algorithms, and Tools /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Networks = 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud Computing – CLOUD 2018 = 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data – BigData 2018 = 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Services – SERVICES 2018 = 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Wireless Internet = 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking for the Analytics Era = 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Theory and Practice of Model Transformation = 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I  /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Interactive Theorem Proving = 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Social Computing and Social Media. User Experience and Behavior = 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Handbook of Biometric Anti-Spoofing = Presentation Attack Detection /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cloud Computing – CLOUD 2019 = 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Programming Languages and Systems = 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded Computer Systems: Architectures, Modeling, and Simulation = 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Qualitätssicherung durch Softwaretests = Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Intelligente Arbeitsvorbereitung auf Basis virtueller Werkzeugmaschinen
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data Mining and Big Data = 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Open Source Systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced Hybrid Information Processing = Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        E-Business and Telecommunications = 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26–28, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Queueing Theory and Network Applications = 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data Innovations and Applications = 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Data Analytics and Knowledge Discovery = 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mobile, Secure, and Programmable Networking = 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Human Centered Computing = 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        IT-Revision, IT-Audit und IT-Compliance = Neue Ansätze für die IT-Prüfung /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        E-Business and Telecommunications = 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Principles of Security and Trust = 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Introduction to Queueing Systems with Telecommunication Applications
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Service-Oriented Computing = 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Flexible Query Answering Systems = 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High Performance Computing = 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data Quality and Trust in Big Data = 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Formal Techniques for Distributed Objects, Components, and Systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and Active Measurement = 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Big Scientific Data Benchmarks, Architecture, and Systems = First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
                      
                      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 I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Software Engineering and Methodology for Emerging Domains = 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computing and Software Science = State of the Art and Perspectives /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Ad-Hoc, Mobile, and Wireless Networks = 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Ubiquitous Communications and Network Computing = Second EAI International Conference, Bangalore, India, February 8–10, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Emerging Technologies in Computing = Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Services – SERVICES 2019 = 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking for the Era of Artificial Intelligence = 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Financial Cryptography and Data Security = 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Web Services – ICWS 2019 = 26th 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)
                      
                    
                      
                        Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Artificial Intelligence Applications and Innovations = AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reuse in the Big Data Era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Fuzzy Logic and Applications = 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Information and Operational Technology Security Systems = First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advanced Informatics for Computing Research = Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Systems, Software and Services Process Improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Internet of Things. Information Processing in an Increasingly Connected World = First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Mathematical Foundations of System Safety Engineering = A Road Map for the Future /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Networking and Computation = Technology, Modeling and Performance /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking for the Era of Cloud(s) = 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Services – SERVICES 2020 = 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA,  September 18-20, 2020, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Communication Technologies for Vehicles = 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Digital Health and Medical Analytics = Second International Conference, DHA 2020, Beijing, China, July 25, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Reinforcement Learning Aided Performance Optimization of Feedback Control Systems
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Principles of High-Performance Processor Design = For High Performance Computing, Deep Neural Networks and Data Science /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Cognitive Radio-Oriented Wireless Networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Advances in Interdisciplinary Research in Engineering and Business Management
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        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: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        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: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Principles of Parallel Scientific Computing = A First Guide to Numerical Concepts and Programming Methods /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Matrix and Analytical Methods for Performance Analysis of Telecommunication Systems
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Strategy, Planning and Organization of Test Processes = Basis for Successful Project Execution in Software Testing /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Machine Learning, Advances in Computing, Renewable Energy and Communication = Proceedings of MARC 2020 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Real-Time Systems = Design Principles for Distributed Embedded Applications /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High Performance Computing and Networking = Select Proceedings of CHSN 2021 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Performance Evaluation and Benchmarking = 13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021, Revised Selected Papers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Services – SERVICES 2021 = 17th World Congress, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 10–14, 2021, Proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Data Center Networking = Network Topologies and Traffic Management in Large-Scale Data Centers /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        Metaverse - Metaverse 2023 = 19th International Conference, held as part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023 : proceedings /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                      
                        High performance computing, smart devices and networks = select proceedings of CHSN 2023 /
                      
                      by: 
                      
                      (Language materials, printed)
                      
                    
                  
                  
                      Show more
                    
                    
                      Fewer
                    
                  Subjects