System Performance and Evaluation.

Control Reconfiguration of Dynamical SystemsLinear Approaches and Structural Tests / by: (Electronic resources)

Web Engineering by: (Electronic resources)

Performance Analysis of Network Architectures by: (Electronic resources)

Advances in Grid and Pervasive ComputingFirst International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006, Proceedings / by: (Electronic resources)

NETWORKING 2006. Networking Technologies, Services, Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19 2006 / by: (Electronic resources)

Next Generation Teletraffic and Wired6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29-June 2, 2006, Proceedings / by: (Electronic resources)

Formal Methods and Stochastic Models for Performance EvaluationThird European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings / by: (Electronic resources)

Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings / by: (Electronic resources)

Reconfigurable Computing: Architectures and ApplicationsSecond International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers / by: (Electronic resources)

Dependable Systems: Software, Computing, NetworksResearch Results of the DICS Program / by: (Electronic resources)

Wireless Algorithms, Systems, and ApplicationsFirst International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings / by: (Electronic resources)

Web Services and Formal MethodsThird International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings / by: (Electronic resources)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148)16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings / by: (Electronic resources)

Quality of Software ArchitecturesSecond International Conference on Quality of Software Architectures, QoSA 2006, Vasteras, Schweden, June 27-29, 2006, Revised Papers / by: (Electronic resources)

Frontiers of High Performance Computing and Networking ? ISPA 2006 WorkshopsISPA 2006 International Workshops FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4 -7, 2006 : proceedings / by: (Electronic resources)

Parallel and Distributed Processing and Applications (vol. # 4330)4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006, Proceedings / by: (Electronic resources)

Pro Oracle Database 10g RAC on LinuxInstallation, Administration, and Performance / by: (Electronic resources)

Quantitative measure for discrete event supervisory control by: (Electronic resources)

Performance Evaluation: Metrics, Models and BenchmarksSPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings / by: (Electronic resources)

Passive and Active Network Measurement6th International Workshop, PAM 2005, Boston, MA, USA, March 31 - April 1, 2005, Proceedings / by: (Electronic resources)

Dependable Computing - EDCC 20055th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / by: (Electronic resources)

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: (Electronic resources)

Embedded Computer Systems: Architectures, Modeling, and Simulation5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings / by: (Electronic resources)

Embedded Software and SystemsFirst International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers / by: (Electronic resources)

Formal Techniques for Computer Systems and Business ProcessesEuropean 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: (Electronic resources)

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: (Electronic resources)

Dependable Computing :Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings by: (Electronic resources)

Parallel and Distributed Processing and Applications :Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005, Proceedings by: (Electronic resources)

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: (Electronic resources)

Embedded Software and Systems :Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings by: (Electronic resources)

Embedded Computer Systems: Architectures, Modeling, and Simulation8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings / by: (Electronic resources)

Resilient Networks and ServicesSecond International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008 Proceedings / by: (Electronic resources)

Distributed Embedded Systems: Design, Middleware and ResourcesIFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy / by: (Electronic resources)

Reconfigurable Computing: Architectures, Tools and Applications4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings / by: (Electronic resources)

The Common Component Modeling ExampleComparing Software Component Models / by: (Electronic resources)

Implementation and Application of Functional Languages19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers / by: (Electronic resources)

Euro-Par 2008 -- Parallel Processing14th International Euro-Par Conference, Las Palmas de Gran Canaria, Spain, August 26-29, 2008. Proceedings / by: (Electronic resources)

Next Generation Teletraffic and Wired/Wireless Advanced Networking8th International Conference, NEW2AN and 1st Russian Conference on Smart Spaces, ruSMART 2008 St. Petersburg, Russia, September 3-5, 2008. Proceedings / by: (Electronic resources)

The Testing NetworkAn Integral Approach to Test Activities in Large Software Projects / by: (Electronic resources)

Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / by: (Language materials, printed)

IP operations and management8th IEEE international workshop, IPOM 2008, Samos Island, Greece, September 22-26, 2008 : proceedings / by: (Language materials, printed)

Management of converged multimedia networks and services11th 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)

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

Level crossing methods in stochastic models by: (Language materials, printed)

Reliability and risk issues in large scale safety-critical digital control systems by: (Electronic resources)

Computer performance evaluation and benchmarkingSpec Benchmark Workshop 2009, Austin, Tx, USA, January 25, 2009 : proceedings / by: (Electronic resources)

SOFSEM 2009theory 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: (Electronic resources)

Integrated circuit and system designpower and timing modeling, optimization and simulation : 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, revised selected papers / by: (Electronic resources)

Safety-critical systemsproblems, process and practice: proceedings of the seventeenth Safety-Critical Symposium, Brighton, UK, 3-5 February 2009 / by: (Electronic resources)

Automating Linux and UNIX system administration by: (Electronic resources)

Reconfigurable computingarchitectures, tools and applications : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings / by: (Electronic resources)

Passive and active network measurement10th international conference, PAM 2009, Seoul, Korea, April 1-3, 2009 ; proceedings / by: (Electronic resources)

Web services and formal methods5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 ; revised selected papers / by: (Electronic resources)

Traffic monitoring and analysisfirst international workshop, TMA 2009, Aachen, Germany, May 11, 2009 ; proceedings / by: (Electronic resources)

Networking 20098th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009 ; proceedings / by: (Electronic resources)

Evolving OpenMP in an age of extreme parallelism5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings / by: (Electronic resources)

Networks for grid applicationsSecond International Conference, GridNets 2008, Beijing, China, October 8-10, 2008, Revised Selected Papers / by: (Electronic resources)

Languages for embedded systems and their applicationsselected contributions on specification, design, and verification from FDL'08 / by: (Electronic resources)

Advances in information security and its applicationthird international conference, ISA 2009, Seoul, Korea, June 25-27, 2009 ; proceedings / by: (Electronic resources)

Computer networks16th conference, CN 2009, Wisla, Poland, June 16 - 20, 2009 : proceedings / by: (Electronic resources)

Reliable software technologies-Ada-Europe 200914th Ada-Europe International Conference on Reliable Software Technologies, Brest, France, June 8-12, 2009 : proceedings / by: (Electronic resources)

Transactions on aspect-oriented software development V by: (Electronic resources)

Distributed computing in sensor systems5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009 : proceedings / by: (Electronic resources)

Distributed applications and interoperable systems9th IFIP WG 6.1 international conference, DAIS 2009, Lisbon, Portugal, June 9-11, 2009 : proceedings / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications16th international conference, ASMTA 2009, Madrid, Spain, June 9-12, 2009 : proceedings / by: (Electronic resources)

Future Multimedia NetworkingSecond International Workshop, FMN 2009, Coimbra, Portugal, June 22-23, 2009. Proceedings / by: (Electronic resources)

Advances in information security and assurancethird international conference and workshops, ISA 2009, Seoul, Korea, June 25-27, 2009 ; proceedings / by: (Electronic resources)

Scalability of networks and servicesthird International Conference on Autonomous Infrastructure, Management and Security, AIMS 2009, Enschede, The Netherlands, June 30 - July 2, 2009 : proceedings / by: (Electronic resources)

Computer performance engineering6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009 ; proceedings / by: (Electronic resources)

Tests and proofsthird international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings / by: (Electronic resources)

Human interface and the management of informationSymposium on Human Interface 2009, held as part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009 ; Proceedings.Part II,Information and interaction / by: (Electronic resources)

Implementation and application of automata14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings / by: (Electronic resources)

Embedded computer systems : architectures, modeling, and simulation9th international workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009 : proceedings / by: (Electronic resources)

Introduction to network simulator NS2 by: (Electronic resources)

Mobile Lightweight Wireless SystemsFirst International ICST Conference, MOBILIGHT 2009, Athens, Greece, May 18-20, 2009 : Revised Selected Papers / by: (Electronic resources)

Wireless algorithms, systems, and applications4th International Conference, WASA 2009, Boston, MA, USA, August 16-18, 2009. Proceedings / by: (Electronic resources)

Euro-Par 2009 - parallel processing15th International Euro-Par Conference, Delft, The Netherlands, August 25-28, 2009 : proceedings / by: (Electronic resources)

Wireless technologyapplications, management, and security / by: (Electronic resources)

Novel algorithms for fast statistical analysis of scaled circuits by: (Electronic resources)

Wireless and mobile networkingSecond IFIP WG 6.8 Joint Conference, WMNC 2009, Gdansk, Poland, September 9-11, 2009 : proceedings / by: (Electronic resources)

Analysis, architectures and modelling of embedded systemsThird IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009 : Proceedings / by: (Electronic resources)

Security and privacy in mobile information and communication systemsFirst International ICST Conference, MobiSec 2009, Turin, Italy, June 3-5, 2009 : revised selected papers / by: (Electronic resources)

The internet of the future15th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2009, Barcelona, Spain, September 7-9, 2009 : proceedings / by: (Electronic resources)

Recent advances in parallel virtual machine and message passing interface16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / by: (Electronic resources)

Computer safety, reliability, and security28th international conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009 : proceedings / by: (Electronic resources)

Management enabling the future internet for changing business and new computing services12th Asia-Pacific Network Operations and Management Symposium, APNOMS 2009, Jeju, South Korea, September 23-25, 2009 : proceedings / by: (Electronic resources)

Traffic management and traffic engineering for the future internetfirst Euro-NF Workshop, Fitramen 2008, Porto, Portugal, December 11-12, 2008, revised selected papers / by: (Electronic resources)

Runtime verification9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (Electronic resources)

IP operations and management9th IEEE international workshop, IPOM 2009, Venice, Italy, October 29-30, 2009 : proceedings / by: (Electronic resources)

Wired-wireless multimedia networks and services management12th IFIP/IEEE international conference on management of multimedia and mobile networks and services, MMNS 2009, Venice, Italy, October 26-27, 2009 : proceedings / by: (Electronic resources)

Algorithmic aspects of wireless sensor networks5th international workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009 : revised selected papers / by: (Electronic resources)

Robust and online large-scale optimizationmodels and techniques for transportation systems / by: (Electronic resources)

Architecting dependable systems VI by: (Electronic resources)

Performance evaluation and benchmarkingfirst TPC technology conference, TPCTC 2009, Lyon, France, August 24-28, 2009 : revised selected papers / by: (Electronic resources)

Multimodal usability by: (Electronic resources)

AccessNetsThird International Conference on Access Networks, AccessNets 2008, Las Vegas, NV, USA, October 15-17, 2008. Revised Papers / by: (Electronic resources)

Software process and product measurementInternational Conferences IWSM 2009 and Mensura 2009 Amsterdam, The Netherlands, November 4-6, 2009 : proceedings / by: (Electronic resources)

Network control and optimizationThird Euro-NF Conference, NET-COOP 2009, Eindhoven, The Netherlands, November 23-25, 2009 : proceedings / by: (Electronic resources)

Future generation information technologyfirst international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Electronic resources)

Cloud computingFirst International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009 : proceedings / by: (Electronic resources)

Scalable information systems4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009 : revised selected papers / by: (Electronic resources)

U- and E-Service, Science and TechnologyInternational Conference, UNESST 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Electronic resources)

Advances in Software EngineeringInternational 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: (Electronic resources)

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

Control and automationinternational conference, CA 2009. Held as part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009 : Proceedings / by: (Electronic resources)

Software configuration management using Vesta by: (Electronic resources)

Making systems saferproceedings of the eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 / by: (Electronic resources)

Ad Hoc networksfirst international conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009 : revised selected papers / by: (Electronic resources)

High performance computing and applicationssecond international conference, HPCA 2009, Shanghai, China, August 10-12, 2009 : revised selected papers / by: (Electronic resources)

Traffic monitoring and analysissecond international workshop, TMA 2010, Zurich, Switzerland, April 7, 2010 : proceedings / by: (Electronic resources)

HPC@Green ITgreen high performance computing methods / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications17th international conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010 : proceedings / by: (Electronic resources)

Euro-Par 2009 parallel processing workshopsHPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009 : revised selected papers / by: (Electronic resources)

Computer networks17th Conference, CN 2010, Ustron, Poland, June 15-19, 2010 : proceedings / by: (Electronic resources)

Recent trends in wireless and mobile networksSecond International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010 : proceedings / by: (Electronic resources)

Pervasive computinginnovations in intelligent multimedia and applications / by: (Electronic resources)

Scheduling for parallel processing by: (Electronic resources)

Performance evaluation and benchmarking of intelligent systems by: (Electronic resources)

Parallel programmingfor multicore and cluster systems / by: (Electronic resources)

Stochastic models for fault tolerancerestart, rejuvenation and checkpointing / by: (Electronic resources)

Cloud computingprinciples, systems and applications / by: (Electronic resources)

A process algebraic approach to software architecture design by: (Electronic resources)

Economic models and algorithms for distributed systems by: (Electronic resources)

Networks for grid applicationsthird international ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers / by: (Electronic resources)

Critical information infrastructures security4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009 : revised papers / by: (Electronic resources)

Foundations of computer softwarefuture trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008 : revised selected papers / by: (Electronic resources)

Distributed computing and networking11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010, proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010, proceedings / by: (Electronic resources)

Queueing theory for telecommunicationsdiscrete time modelling of a single node system / by: (Electronic resources)

ImageCLEFexperimental evaluation in visual information retrieval / by: (Electronic resources)

Complex intelligent systems and their applications by: (Electronic resources)

Euro-Par 2010 - parallel processing16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, proceedings.Part II / by: (Electronic resources)

Euro-Par 2010 - parallel processing16th International Euro-Par Conference, Ischia, Italia, August 31 - September 3, 2010, proceedings.Part I / by: (Electronic resources)

Modeling and tools for network simulation by: (Electronic resources)

Algorithms for sensor systems6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010 : revised selected papers / by: (Electronic resources)

Performance analysis and optimization of multi-traffic on communication networks by: (Electronic resources)

Verification and validation in systems engineeringassessing UML/SysML design models / by: (Electronic resources)

Ad hoc networksSecond International Conference, ADHOCNETS 2010, Victoria, BC, Canada, August 18-20, 2010, revised selected papers / by: (Electronic resources)

Expert Oracle database architectureOracle database 9i, 10g, and 11g programming techniques and solutions / by: (Electronic resources)

Grids, clouds and virtualization by: (Electronic resources)

Soft errors in modern electronic systems by: (Electronic resources)

Requirements engineering by: (Electronic resources)

Handbook of mobile ad hoc networks for mobility models by: (Electronic resources)

Accelerating test, validation and debug of high speed serial interfaces by: (Electronic resources)

Advances in systems safetyproceedings of the nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011 / by: (Electronic resources)

Performance models and risk management in communications systems by: (Electronic resources)

Testbeds and research infrastructuresdevelopment of networks and communities : 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010 : revised selected papers / by: (Electronic resources)

Integrated circuit and system designpower and timing modeling, optimization, and simulation : 20th international workshop, PATMOS 2010 Grenoble, France, September 7-10, 2010 : revised selected papers / by: (Electronic resources)

Performance evaluation, measurement and characterization of complex systemssecond TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010 : revised selected papers / by: (Electronic resources)

New frontiers in information and software as servicesservice and application design challenges in the cloud / by: (Electronic resources)

Traffic monitoring and analysisthird international workshop, TMA 2011, Vienna, Austria, April 27, 2011 : proceedings / by: (Electronic resources)

Real-time systemsdesign principles for distributed embedded applications / by: (Electronic resources)

Foundations of computer softwaremodeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31 - April 2, 2010 : revised selected papers / by: (Electronic resources)

Model-based software performance analysis by: (Electronic resources)

Multimodal interactive pattern recognition and applications by: (Electronic resources)

Analytical and stochastic modeling techniques and applications18th international conference, ASMTA 2011, Venice, Italy, June 20-22, 2011 : proceedings / by: (Electronic resources)

Human interface and the management of informationinteracting 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: (Electronic resources)

Human interface and the management of informationinteracting 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: (Electronic resources)

Scalable network monitoring in high speed networks by: (Electronic resources)

Euro-Par 2010 parallel processing workshopsHeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3 2010 : revised selected papers / by: (Electronic resources)

Analyzing computer system performance with PERL::PDQ by: (Electronic resources)

Sensing and systems in pervasive computingengineering context aware systems / by: (Electronic resources)

Computer networks18th conference, CN 2011, Ustron, Poland, June 14-18, 2011 : proceedings / by: (Electronic resources)

Dependability of networked computer-based systems by: (Electronic resources)

Thinkquest~2010international conference on Contours of Computing Technology on 13th and 14th March, 2010 / by: (Electronic resources)

Information security and assuranceinternational conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications6th international conference, WASA 2011, Chengdu, China, August 11-13, 2011 : proceedings / by: (Electronic resources)

Integrated circuit and system designpower and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : poceedings / by: (Electronic resources)

Hard real-time computing systemspredictable scheduling algorithms and applications / by: (Electronic resources)

On the performance of web services by: (Electronic resources)

Encyclopedia of parallel computing by: (Electronic resources)

Critical information infrastructures security5th international workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010 : revised papers / by: (Electronic resources)

Guide to software developmentdesigning and managing the life cycle / by: (Electronic resources)

Service placement in ad hoc networks by: (Electronic resources)

Achieving systems safetyproceedings of the twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012 / by: (Electronic resources)

Emerging technological riskunderpinning the risk of technology innovation / by: (Electronic resources)

Improving software testingtechnical and organizational developments / by: (Electronic resources)

Algorithms for sensor systems7th 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: (Electronic resources)

Traffic monitoring and analysis4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011 : revised selected papers / by: (Electronic resources)

Testbeds and research infrastructure Development of Networks and Communitiesdevelopment of networks and communities : 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011 : revised selected papers / by: (Electronic resources)

Euro-Par 2011: Parallel processing workshopsCCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part I / by: (Electronic resources)

Euro-Par 2011: Parallel processing workshopsCCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 - September 2, 2011 : revised selected papers.Part II / by: (Electronic resources)

Ad hoc networksthird International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011 : revised selected papers / by: (Electronic resources)

Quality, reliability, security and robustness in heterogeneous networks7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010 : revised selected papers / by: (Electronic resources)

From scientific instrument to industrial machinecoping with architectural stress in embedded systems / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012 : proceedings / by: (Electronic resources)

OpenMP in a heterogeneous world8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012 : proceedings / by: (Electronic resources)

Multicore software engineering, performance, and toolsInternational Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: (Electronic resources)

Semantic web servicesadvancement through evaluation / by: (Electronic resources)

Computer networks19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012 : proceedings / by: (Electronic resources)

Performance metrics for haptic interfaces by: (Electronic resources)

Sensor systems and softwarethird International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012 : revised selected papers / by: (Electronic resources)

Foundational and practical aspects of resource analysissecond International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011 : revised selected papers / by: (Electronic resources)

Wireless algorithms, systems, and applications7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012 : proceedings / by: (Electronic resources)

Data management in cloud, grid and P2P systems5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012 : proceedings / by: (Electronic resources)

Topics in performance evaluation, measurement and characterizationthird TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011 : revised selected papers / by: (Electronic resources)

Euro-Par 2012 parallel processing18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012 : proceedings / by: (Electronic resources)

Constituents of modern system-safety thinkingproceedings of the Thirteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10 February 2005 / by: (Electronic resources)

Tools for high performance computing 2011proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden / by: (Electronic resources)

Evaluating AAL systems through competitive benchmarking : indoor localization and trackingInternational Competition, EvAAL 2011, Competition in Valencia, Spain, July 25-29, 2011, and Final Workshop in Lecce, Italy, September 26, 2011 : revised selected papers / by: (Electronic resources)

Practical aspects of design scienceEuropean Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011 : revised selected papers / by: (Electronic resources)

Telematics in the transport environment12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustron, Poland, October 10-13, 2012 : selected papers / by: (Electronic resources)

Energy efficient data centersfirst International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012 : revised selected papers / by: (Electronic resources)

Model driven engineering languages and systems15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012 : proceedings / by: (Electronic resources)

Developments in risk-based approaches to safetyproceedings of the fourteenth Safety-critical Systems Symposium, Bristol, UK, 7-9 February 2006 / by: (Language materials, printed)

Advanced methods, techniques, and applications in modeling and simulationAsia Simulation Conference 2011, Seoul, Korea, November 2011 : proceedings / by: (Electronic resources)

Resilience assessment and evaluation of computing systems by: (Electronic resources)

Transactions on petri nets and other models of concurrency VI by: (Electronic resources)

Challenges for next generation network operations and service management11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, Beijing, China, October 22-24, 2008 : proceedings / by: (Electronic resources)

Network and parallel computingIFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008 : proceedings / by: (Electronic resources)

Principles, systems and applications of IP telecommunicationsservices and security for next generation networks : second international conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008, revised selected papers / by: (Electronic resources)

Runtime verification8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (Electronic resources)

Wireless algorithms, systems, and applicationsthird international conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008 : proceedings / by: (Electronic resources)

Network computing and information securitysecond international conference, NCIS 2012, Shanghai, China, December 7-9, 2012 : proceedings / by: (Electronic resources)

Testbeds and research infrastructuredevelopment of networks and communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012 : revised selected papers / by: (Electronic resources)

Economics of grids, clouds, systems, and services9th international conference, GECON 2012, Berlin, Germany, November 27-28, 2012 : proceedings / by: (Electronic resources)

Interoperable electronic safety equipmentperformance requirements for compatible and interoperable electronic equipment for emergency first responders / by: (Electronic resources)

Benchmarking transaction and analytical processing systemsthe creation of a mixed workload benchmark and its application / by: (Electronic resources)

3D future internet media by: (Electronic resources)

Wireless sensor networks11th European Conference, EWSN 2014, Oxford, UK, February 17-19, 2014 : proceedings / by: (Electronic resources)

Performance characterization and benchmarking5th TPC Technology Conference, TPCTC 2013, Trento, Italy, August 26, 2013 : revised selected papers / by: (Electronic resources)

Cloud computing patternsfundamentals to design, build, and manage cloud applications / by: (Electronic resources)

Passive and active measurement15th International Conference, PAM 2014, Los Angeles, CA, USA, March 10-11, 2014 : proceedings / by: (Electronic resources)

Distributed computer and communication networks17th International Conference, DCCN 2013, Moscow, Russia, October 7-10, 2013 : revised selected papers / by: (Electronic resources)

Parallel Computational Fluid Dynamics25th International Conference, ParCFD 2013, Changsha, China, May 20-24, 2013. Revised Selected Papers / by: (Electronic resources)

Advances in wireless sensor networks7th China Conference, CWSN 2013, Qingdao, China, October 17-19, 2013 : revised selected papers / by: (Electronic resources)

Traffic monitoring and analysis6th International Workshop, TMA 2014, London, UK, April 14, 2014 : proceedings / by: (Electronic resources)

Cloud computing4th International Conference, CloudComp 2013, Wuhan, China, October 17-19, 2013 : revised selected papers / by: (Electronic resources)

Requirements engineeringfirst Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014 : proceedings / by: (Electronic resources)

Communication technologies for vehicles6th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2014, Offenburg, Germany, May 6-7, 2014 : proceedings / by: (Electronic resources)

Euro-Par 2013Parallel Processing Workshops : BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013, Aachen, Germany, August 26-27, 2013 : revised selected papers / by: (Electronic resources)

Introduction to software quality by: (Electronic resources)

Computer networks21st International Conference, CN 2014, Brunow, Poland, June 23-27, 2014 : proceedings / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 - July 2, 2014 : proceedings / by: (Electronic resources)

Energy-efficient data centerssecond International Workshop, E2DC 2013, Berkeley, CA, USA, May 21, 2013 : revised selected papers / by: (Electronic resources)

Distributed applications and interoperable systems14th IFIP WG 6.1 International Conference, DAIS 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings / by: (Electronic resources)

Supercomputing29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014 : proceedings / by: (Electronic resources)

Handbook of biometric anti-spoofingtrusted biometrics under spoofing attacks / by: (Electronic resources)

Advanced computer architecture10th Annual Conference, ACA 2014, Shenyang, China, August 23-24, 2014 : proceedings / by: (Electronic resources)

Euro-Par 2014 parallel processing20th International Conference, Porto, Portugal, August 25-29, 2014 : proceedings / by: (Electronic resources)

Internet of things, smart spaces, and next generation networks and systems14th International Conference, NEW2AN 2014 and 7th Conference, ruSMART 2014, St. Petersburg, Russia, August 27-29, 2014 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014 : proceedings / by: (Electronic resources)

AsiaSim 201414th International Conference on Systems Simulation, Kitakyushu, Japan, October 26-30, 2014 : proceedings / by: (Language materials, printed)

High performance computing systemsperformance modeling, benchmarking and simulation : 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013 : revised selected papers / by: (Language materials, printed)

Computer performance engineering11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : proceedings / by: (Language materials, printed)

Using and improving OpenMP for devices, tasks, and more10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014 : proceedings / by: (Language materials, printed)

Model-driven engineering languages and systems17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014 : proceedings / by: (Language materials, printed)

Computational intelligence, networked systems and their applicationsInternational Conference of Life System Modeling and Simulation, LSMS 2014 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2014, Shanghai, China, September 20-23, 2014 : proceedings.Part II / by: (Language materials, printed)

High performance computingFirst HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014 : proceedings / by: (Language materials, printed)

Foundational and practical aspects of resource analysisthird International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013 : revised selected papers / by: (Electronic resources)

Tools for high performance computing 2013proceedings of the 7th International Workshop on Parallel Tools for High Performance Computing, September 2013, ZIH, Dresden, Germany / by: (Electronic resources)

Testbeds and research infrastructuredevelopment of networks and communities : 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014 : revised selected papers / by: (Electronic resources)

Information technologies and mathematical modelling13th International Scientific Conference, ITMM 2014, named after A.F. Terpugov, Anzhero-Sudzhensk, Russia, November 20-22, 2014 : proceedings / by: (Electronic resources)

Euro-Par 2014Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014 : revised selected papers.Part II / by: (Electronic resources)

Euro-Par 2014Parallel Processing Workshops : Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014 : revised selected papers.Part I / by: (Electronic resources)

IT quality management by: (Electronic resources)

Novel 3D media technologies by: (Electronic resources)

Wireless sensor networks12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015 : proceedings / by: (Electronic resources)

Mobile networks and management6th International Conference, MONAMI 2014, Wurzburg, Germany, September 22-26, 2014 : revised selected papers / by: (Electronic resources)

Geo-informatics in resource management and sustainable ecosystemsecond International Conference, GRMSE 2014, Ypsilanti, MI, USA, October 3-5, 2014 : proceedings / by: (Electronic resources)

Performance characterization and benchmarkingtraditional to big data : 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1-5, 2014 : revised selected papers / by: (Electronic resources)

Energy efficient data centersthird International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014 : revised selected papers / by: (Electronic resources)

Cloud computing5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014 : revised selected papers / by: (Electronic resources)

Parallel scientific computingtheory, algorithms,and applications of mesh based and meshless methods / by: (Electronic resources)

Supercomputing for molecular dynamics simulationshandling multi-trillion particles in nanofluidics / by: (Electronic resources)

Passive and active measurement16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015 : proceedings / by: (Electronic resources)

Traffic monitoring and analysis7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015 : proceedings / by: (Electronic resources)

High performance computing systemsperformance modeling, benchmarking, and simulation : 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014 : revised selected papers / by: (Electronic resources)

High performance computing for computational science - VECPAR 201411th International Conference, Eugene, OR, USA, June 30-July 3, 2014 : revised selected papers / by: (Electronic resources)

Communication technologies for vehicles8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015 : proceedings / by: (Electronic resources)

Computer networks22nd International Conference, CN 2015, Brunow, Poland, June 16-19, 2015 : proceedings / by: (Electronic resources)

Advances in wireless sensor networksThe 8th China Conference, CWSN 2014, Xi'an, China, October 31 - November 2, 2014 : revised selected papers / by: (Electronic resources)

Distributed applications and interoperable systems15th 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: (Electronic resources)

MAC protocols for cyber-physical systems by: (Electronic resources)

Trustworthy computing and servicesInternational Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014 : revised selected papers / by: (Electronic resources)

High performance computing30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings / by: (Electronic resources)

Tools for high performance computing 2014proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany / by: (Electronic resources)

Fault-tolerance techniques for high-performance computing by: (Electronic resources)

Wireless algorithms, systems, and applications10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015 : proceedings / by: (Electronic resources)

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

Quantitative evaluation of systems12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015 : proceedings / by: (Electronic resources)

Internet of Things, Smart Spaces, and Next Generation Networks and Systems15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015 : proceedings / by: (Electronic resources)

Computer performance engineering12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015 : proceedings / by: (Electronic resources)

Sustainable designHCI, usability and environmental concerns / by: (Electronic resources)

Collaborative information seekingbest practices, new domains and new thoughts / by: (Electronic resources)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

OpenMPheterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings / by: (Electronic resources)

Information technologies and mathematical modellingqueueing theory and applications : 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015 : proceedings / by: (Electronic resources)

Future access enablers for ubiquitous and intelligent infrastructuresfirst International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015 : revised selected papers / by: (Electronic resources)

Euro-Par 2015Parallel Processing Workshops : Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015 : revised selected papers / by: (Electronic resources)

Mobile networks and management7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015 : revised selected papers / by: (Electronic resources)

Cloud computing and big datasecond International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / by: (Electronic resources)

Embedded system technology13th National Conference, ESTC 2015, Beijing, China, October 10-11, 2015 : revised selected papers / by: (Electronic resources)

Sustainable transportationindicators, frameworks, and performance management / by: (Electronic resources)

Diagnosis and fault-tolerant control by: (Electronic resources)

Cyberneticsfrom past to future / by: (Electronic resources)

Oracle Solaris and Veritas clusteran easy-build guide / by: (Electronic resources)

Geo-informatics in resource management and sustainable ecosystemthird International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015 : revised selected papers / by: (Electronic resources)

Computer engineering and technology19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015 : revised selected papers / by: (Electronic resources)

Isochronous wireless network for real-time communication in industrial automation by: (Electronic resources)

The accidental SysAdmin handbooka primer for early level IT professionals / by: (Electronic resources)

Distributed computer and communication networks18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015 : revised selected papers / by: (Electronic resources)

Passive and active measurement17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016 : proceedings / by: (Electronic resources)

Performance evaluation and benchmarkingtraditional 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: (Electronic resources)

Critical information infrastructures security9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014 : revised selected papers / by: (Electronic resources)

Web services, formal methods, and behavioral types11th 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: (Electronic resources)

Business intelligence5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015 : tutorial lectures / by: (Electronic resources)

Cloud computing6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015 : proceedings / by: (Electronic resources)

Software process improvement and capability determination16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings / by: (Electronic resources)

Computer networks23rd International Conference, CN 2016, Brunow, Poland, June 14-17, 2016 : proceedings / by: (Electronic resources)

Critical Information Infrastructures Security10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015 : revised selected papers / by: (Electronic resources)

Communication technologies for vehicles10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastian, Spain, June 6-7, 2016 : proceedings / by: (Electronic resources)

Distributed applications and interoperable systems16th 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: (Electronic resources)

Content distribution for mobile interneta cloud-based approach / by: (Electronic resources)

High performance computing31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / by: (Electronic resources)

Advances in data miningapplications and theoretical aspects : 16h Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016 : proceedings / by: (Electronic resources)

Support vector machines and perceptronslearning, optimization, classification, and application to social networks / by: (Electronic resources)

Information technologies and mathematical modellingqueueing theory and applications : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016 : proceedings / by: (Electronic resources)

Advanced computer architecture11th Conference, ACA 2016, Weihai, China, August 22-23, 2016 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016 : proceedings / by: (Electronic resources)

Interactive theorem proving7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016 : proceedings / by: (Electronic resources)

Analytical and stochastic modeling techniques and applications23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016 : proceedings / by: (Electronic resources)

Human-centered and error-resilient systems developmentIFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016 : proceedings / by: (Electronic resources)

OpenMPmemory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016 : proceedings / by: (Electronic resources)

Internet of things, smart spaces, and next generation networks and systems16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016 : proceedings / by: (Electronic resources)

Computer performance engineering13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016 : proceedings / by: (Electronic resources)

Foundational and practical aspects of resource analysis4th International Workshop, FOPARA 2015, London, UK, April 11, 2015 : revised selected papers / by: (Electronic resources)

Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings / by: (Electronic resources)

Implementing DirectAccess with Windows Server 2016 by: (Electronic resources)

Guide to software developmentdesigning and managing the life cycle / by: (Electronic resources)

High performance computingISC 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: (Electronic resources)

Personal satellite servicesnext-generation satellite networking and communication systems : 6th International Conference, PSATS 2014, Genoa, Italy, July 28-29, 2014 : revised selected papers / by: (Electronic resources)

High performance SQL Serverthe Go Faster book / by: (Electronic resources)

Healthcare interoperability standards compliance handbookconformance and testing of healthcare data exchange standards / by: (Electronic resources)

Internetwarea new software paradigm for internet computing / by: (Electronic resources)

Machine learning, optimization, and big datasecond International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers / by: (Electronic resources)

Distributed computer and communication networks19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016 : revised selected papers / by: (Electronic resources)

Data-driven technology for engineering systems health managementdesign approach, feature construction, fault diagnosis, prognosis, fusion and decisions / by: (Electronic resources)

LTE-A cellular networksmulti-hop relay for coverage, capacity and performance enhancement / by: (Electronic resources)

Spectrum access and management for cognitive radio networks by: (Electronic resources)

Testbeds and research infrastructures for the development of networks and communities11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016 : revised selected papers / by: (Electronic resources)

Mobile networks and management8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016 : proceedings / by: (Electronic resources)

Performance evaluation and benchmarkingtraditional - big data - Interest of Things : 8th TPC Technology Conference, TPCTC 2016, New Delhi, India, September 5-9, 2016 : rvised selected papers / by: (Electronic resources)

Connected media in the future internet era by: (Electronic resources)

QoS and energy management in cognitive radio networkcase study approach / by: (Electronic resources)

Python for graph and network analysis by: (Electronic resources)

Cloud service benchmarkingmeasuring quality of cloud services from a client perspective / by: (Electronic resources)

Geo-spatial knowledge and intelligence4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016 : revised selected papers.Part I / by: (Electronic resources)

Geo-spatial knowledge and intelligence4th International Conference on Geo-Informatics in Resource Management and Sustainable Ecosystem, GRMSE 2016, Hong Kong, China, November 18-20, 2016 : revised selected papers.Part II / by: (Electronic resources)

New methods to engineer and seamlessly reconfigure time triggered Ethernet based systems during runtime based on the PROFINET IRT example by: (Electronic resources)

Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (Electronic resources)

Communication Technologies for Vehicles12th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2017, Toulouse, France, May 4-5, 2017 : proceedings / by: (Electronic resources)

Algorithmic aspects of cloud computingsecond International Workshop, ALGOCLOUD 2016, Aarhus, Denmark, August 22, 2016 : revised selected papers / by: (Electronic resources)

Learn Ionic 2develop multi-platform mobile apps / by: (Electronic resources)

Cloud-based benchmarking of medical image analysis by: (Electronic resources)

Engineering scalable, elastic, and cost-efficient cloud computing applicationsthe CloudScale method / by: (Electronic resources)

Building an intuitive multimodal interface for a smart homehunting the SNARK / by: (Electronic resources)

Computer networks24th International Conference, CN 2017, Ladek Zdroj, Poland, June 20-23, 2017 : proceedings / by: (Electronic resources)

Euro-Par 2016Parallel Processing Workshops : Euro-Par 2016 International Workshops, Grenoble, France, August 24-26, 2016 : revised selected papers / by: (Electronic resources)

Cloud computingprinciples,systems and applications / by: (Electronic resources)

Security of networks and services in an all-connected world11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017 : proceedings / by: (Electronic resources)

Wired/wireless internet communications15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017 : proceedings / by: (Electronic resources)

Graph transformation10th International Conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18-19, 2017 : proceedings / by: (Electronic resources)

Modelling foundations and applications13th European Conference, ECMFA 2017, held as part of STAF 2017, Marburg, Germany, July 19-20, 2017 : proceedings / by: (Electronic resources)

Advances in data miningapplications and theoretical aspects : 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017 : proceedings / by: (Electronic resources)

Business intelligence6th European Summer School, eBISS 2016, Tours, France, July 3-8, 2016 : tutorial lectures / by: (Electronic resources)

Economics of grids, clouds, systems, and services13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016 : revised selected papers / by: (Electronic resources)

High performance computing for computational science - VECPAR 201612th International Conference, Porto, Portugal, June 28-30, 2016 : revised selected papers / by: (Electronic resources)

Computer aided verification29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.Part I / by: (Electronic resources)

Sustainability, green IT and education strategies in the twenty-first century by: (Electronic resources)

Quality, reliability, security and robustness in heterogeneous networks12th International Conference, QShine 2016, Seoul, Korea, July 7-8, 2016 : proceedings / by: (Electronic resources)

Requirements engineering by: (Electronic resources)

Systems, software and services process improvement24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017 : proceedings / by: (Electronic resources)

Future network systems and securitythird International Conference, FNSS 2017, Gainesville, FL, USA, August 31 - September 2, 2017 : proceedings / by: (Electronic resources)

Challenges and opportunity with big data19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016 : revised selected papers / by: (Electronic resources)

Computer network security7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017 : proceedings / by: (Electronic resources)

Software engineering for resilient systems9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017 : proceedings / by: (Electronic resources)

Interactive theorem proving8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings / by: (Electronic resources)

Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings / by: (Electronic resources)

Quantitative evaluation of systems14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017 : proceedings / by: (Electronic resources)

Computer performance engineering14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017 : proceedings / by: (Electronic resources)

Data management and analytics for medicine and healthcarethird International Workshop, DMAH 2017, held at VLDB 2017, Munich, Germany, September 1, 2017 : proceedings / by: (Electronic resources)

Guide to modeling and simulation of systems of systems by: (Electronic resources)

Distributed computer and communication networks20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017 : proceedings / by: (Electronic resources)

Software process improvement and capability determination17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4-5, 2017 : proceedings / by: (Electronic resources)

Information technologies and mathematical modellingqueueing theory and applications : 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017 : proceedings / by: (Electronic resources)

Runtime verification17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017 : proceedings / by: (Electronic resources)

DataFlow supercomputing essentialsresearch, development and education / by: (Electronic resources)

Combinatorial testing in cloud computing by: (Electronic resources)

Internet video data streamingenergy-saving and cost-aware methods / by: (Electronic resources)

Internet of things, smart spaces, and next generation networks and systems17th International Conference, NEW2AN 2017, 10th Conference, ruSMART 2017, third Workshop NsCC 2017, St. Petersburg, Russia, August 28-30, 2017 : proceedings / by: (Electronic resources)

Economics of grids, clouds, systems, and services14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017 : proceedings / by: (Electronic resources)

Service-oriented computing - ICSOC 2016 workshopsASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016 : revised selected papers / by: (Electronic resources)

Recurrent neural networks for short-term load forecastingan overview and comparative analysis / by: (Electronic resources)

Advances in conceptual modelingER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017 : proceedings / by: (Electronic resources)

Formal methodsfoundations and applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017 : proceedings / by: (Electronic resources)

Programming languages and systems15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings / by: (Electronic resources)

DataFlow supercomputing essentialsalgorithms, applications and implementations / by: (Electronic resources)

Virtual reality and augmented reality14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12-14, 2017 : proceedings / by: (Electronic resources)

Computer and network security essentials by: (Electronic resources)

Communications and networking11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016 : proceedings.Part I / by: (Electronic resources)

Communications and networking11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016 : proceedings.Part II / by: (Electronic resources)

Advanced maintenance policies for shock and damage models by: (Electronic resources)

Tools and methods of program analysis4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017 : revised selected papers / by: (Electronic resources)

5G for future wireless networksfirst International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017 : proceedings / by: (Electronic resources)

Wireless internet9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016 : proceedings / by: (Electronic resources)

Performance evalution and benchmarking for the analytics era9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017 : revised selected papers / by: (Electronic resources)

Mobile Internet SecurityFirst International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016 : revised selected papers / by: (Electronic resources)

Advances in service-oriented and cloud computingworkshops of ESOCC 2016, Vienna, Austria, September 5-7, 2016 : revised selected papers / by: (Electronic resources)

Greening video distribution networksenergy-efficient internet video delivery / by: (Electronic resources)

Perspectives of system informatics11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017 : revised selected papers / by: (Electronic resources)

Image and video technology8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017 : revised selected papers / by: (Electronic resources)

Lectures on runtime verificationintroductory and advanced topics / by: (Electronic resources)

Euro-Par 2017parallel processing workshops : Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017 : revised selected papers / by: (Electronic resources)

Advances in service-oriented and cloud computingworkshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers / by: (Electronic resources)

Communications and networking12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.Part II / by: (Electronic resources)

Wireless and satellite systems9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017 : proceedings / by: (Electronic resources)

Communications and networking12th International Conference, ChinaCom 2017, Xi'an, China, October 10-12, 2017 : proceedings.Part I / by: (Electronic resources)

NASA formal methods10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018 : proceedings / by: (Electronic resources)

Tools and algorithms for the construction and analysis of systems24th 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: (Electronic resources)

Real-Time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Foundations of software science and computation structures21st 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: (Electronic resources)

Principles of security and trust7th 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: (Electronic resources)

Communication technologies for vehicles13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018 : proceedings / by: (Electronic resources)

Functional and logic programming14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings / by: (Electronic resources)

Wireless internet10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017 : proceedings / by: (Electronic resources)

New frontiers in quantitative methods in informatics7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017 : revised selected papers / by: (Electronic resources)

Autonomous control for a reliable internet of servicesmethods, models, approaches, techniques, algorithms, and tools / by: (Electronic resources)

Advanced information systems engineering30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018 : proceedings / by: (Electronic resources)

High performance computing33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings / by: (Electronic resources)

Open source systemsenterprise software and solutions : 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018 : proceedings / by: (Electronic resources)

Evaluation of novel approaches to software engineering12th International Conference, ENASE 2017, Porto, Portugal, April 28-29, 2017 : revised selected papers / by: (Electronic resources)

Software technologies12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers / by: (Electronic resources)

Service-oriented computing - ICSOC 2017 WorkshopsASOCA, ISyCC, WESOACS, and Satellite Events, Malaga, Spain, November 13-16, 2017 : revised selected papers / by: (Electronic resources)

Cloud computing - CLOUD 201811th International Conference, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Big Data - BigData 20187th International Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Services - SERVICES 201814th World Congress, held as part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018 : proceedings / by: (Electronic resources)

Model-driven engineering and software development5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017 : revised selected papers / by: (Electronic resources)

Formal methods22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings / by: (Electronic resources)

Advances in databases and information systems22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018 : proceedings / by: (Electronic resources)

Interactive theorem proving9th International Conference, ITP 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings / by: (Electronic resources)

Systems, software and services process improvement25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018 : proceedings / by: (Electronic resources)

Applications of computing and communication technologiesfirst International Conference, ICACCT 2018, Delhi, India, March 9, 2018 : revised selected papers / by: (Electronic resources)

Big data analytics and knowledge discovery20th International Conference, DaWaK 2018, Regensburg, Germany, September 3-6, 2018 : proceedings / by: (Electronic resources)

Dependable software engineeringtheories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings / by: (Electronic resources)

Static analysis25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings / by: (Electronic resources)

Ad-hoc, mobile, and wireless networks17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018 : proceedings / by: (Electronic resources)

Computer and information sciences32nd International Symposium, ISCIS 2018, held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018 : proceedings / by: (Electronic resources)

Software process improvement and capability determination18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018 : proceedings / by: (Electronic resources)

Software architecture12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018 : proceedings / by: (Electronic resources)

Internet of things, smart spaces, and next generation networks and systems18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27-29, 2018 : proceedings / by: (Electronic resources)

Symposium on real-time and hybrid systemsessays dedicated to Professor Chaochen Zhou on the occasion of his 80th birthday / by: (Electronic resources)

Kronecker modeling and analysis of multidimensional Markovian systems by: (Electronic resources)

Big data6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018 : proceedings / by: (Electronic resources)

Graph data managementfundamental issues and recent developments / by: (Electronic resources)

On the move to meaningful internet systemsOTM 2018 Conferences : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018 : proceedings.Part I / by: (Electronic resources)

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / by: (Electronic resources)

Information systems security14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018 : proceedings / by: (Electronic resources)

Wired/wireless internet communications16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18-20, 2018 : proceedings / by: (Electronic resources)

Privacy technologies and policy6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018 : revised selected papers / by: (Electronic resources)

Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings / by: (Electronic resources)

Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (Electronic resources)

Verified softwaretheories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers / by: (Electronic resources)

Wired/wireless internet communications14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016 : proceedings / by: (Electronic resources)

System performance and management analytics by: (Electronic resources)

Semantic modeling and enrichment of mobile and WiFi network data by: (Electronic resources)

Performance evaluation and benchmarking for the era of artificial intelligence10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27-31, 2018 : revised selected papers / by: (Electronic resources)

Information and operational technology security systemsfirst International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018 : revised selected papers / by: (Electronic resources)

Fuzzy logic and applications12th International Workshop, WILF 2018, Genoa, Italy, September 6-7, 2018 : revised selected papers / by: (Electronic resources)

Transactions on pattern languages of programming IV by: (Electronic resources)

Internet of thingsinformation 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: (Electronic resources)

High performance computing5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26-28, 2018 : revised selected papers / by: (Electronic resources)

Computer simulation validationfundamental concepts, methodological frameworks, and philosophical perspectives / by: (Electronic resources)

Passive and Active Measurement20th International Conference, PAM 2019, Puerto Varas, Chile, March 27-29, 2019 : proceedings / by: (Electronic resources)

Human centered computing4th International Conference, HCC 2018, Merida, Mexico, December, 5-7, 2018 : revised selected papers / by: (Electronic resources)

High-performance modelling and simulation for big data applicationsselected results of the COST Action IC1406 cHiPSet / by: (Electronic resources)

Principles of security and trust8th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems25th 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: (Electronic resources)

Tools and algorithms for the construction and analysis of systems25 Years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings.Part III / by: (Electronic resources)

Fundamental approaches to software engineering22nd 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: (Electronic resources)

Programming languages and systems28th 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: (Electronic resources)

Handbook of biometric anti-spoofingpresentation attack detection / by: (Electronic resources)

Big scientific data benchmarks, architecture, and systemsfirst Workshop, SDBA 2018, Beijing, China, June 12, 2018 : revised selected papers / by: (Electronic resources)

E-business and telecommunications14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017 : revised selected paper / by: (Electronic resources)

Mobile, secure, and programmable networking4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018 : revised selected papers / by: (Electronic resources)

Data quality and trust in big data5th International Workshop, QUAT 2018, held in conjunction with WISE 2018, Dubai, UAE, November 12-15, 2018 : revised selected papers / by: (Electronic resources)

Data mining and big datasecond International Conference, DMBD 2017, Fukuoka, Japan, July 27 - August 1, 2017 : proceedings / by: (Electronic resources)

Distributed applications and interoperable systems17th 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: (Electronic resources)

High performance computing32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings / by: (Electronic resources)

Mastering scale and complexity in software reuse16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017 : proceedings / by: (Electronic resources)

Passive and active measurement18th International Conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017 : proceedings / by: (Electronic resources)

Service-oriented computing15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017 : proceedings / by: (Electronic resources)

Wireless algorithms, systems, and applications12th International Conference, WASA 2017, Guilin, China, June 19-21, 2017 : proceedings / by: (Electronic resources)

Advanced hybrid information processingsecond EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018 : proceedings / by: (Electronic resources)

Open source systems15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019 : proceedings / by: (Electronic resources)

Artificial intelligence applications and innovationsAIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24-26, 2019 : proceedings / by: (Electronic resources)

Ubiquitous communications and network computingsecond EAI International Conference, Bangalore, India, February 8-10, 2019 : proceedings / by: (Electronic resources)

Formal techniques for distributed objects, components, and systems39th 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: (Electronic resources)

Introduction to queueing systems with telecommunication applications by: (Electronic resources)

Computational intelligence, communications, and business analyticssecond International Conference, CICBA 2018, Kalyani, India, July 27-28, 2018 : revised selected papers.Part I / by: (Electronic resources)

Evaluation of novel approaches to software engineering13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018 : revised selected papers / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (Electronic resources)

Theory and applications of satisfiability testing - SAT 201922nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (Electronic resources)

Services - SERVICES 201915th World Congress, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Electronic resources)

Web services - ICWS 201926th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Electronic resources)

Cloud computing - CLOUD 201912th International Conference, held as part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019 : proceedings / by: (Electronic resources)

Reuse in the big data era18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019 : proceedings / by: (Electronic resources)

Data mining and big data4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26-30, 2019 : proceedings / by: (Electronic resources)

Emerging technologies in computingsecond International Conference, iCETiC 2019, London, UK, August 19-20, 2019 : proceedings / by: (Electronic resources)

Computer aided verification31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.Part II / by: (Electronic resources)

Embedded computer systemsarchitectures, modeling, and simulation : 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019 : proceedings / by: (Electronic resources)

Flexible query answering systems13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019 : proceedings / by: (Electronic resources)

Ad-Hoc, mobile, and wireless networks18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1-3, 2019 : proceedings / by: (Electronic resources)

Model checking software26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: (Electronic resources)

Tests and proofs13th International Conference, TAP 2019, held as part of the third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019 : proceedings / by: (Electronic resources)

Fundamentals of software engineering8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019 : revised selected papers / by: (Electronic resources)

From reactive systems to cyber-physical systemsessays dedicated to Scott A. Smolka on the occasion of his 65th birthday / by: (Electronic resources)

Software engineering and methodology for emerging domains16th 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: (Electronic resources)

Advanced informatics for computing researchthird International Conference, ICAICR 2019, Shimla, India, June 15-16, 2019 : revised selected papers.Part II / by: (Electronic resources)

Information technologies and mathematical modellingqueueing theory and applications : 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26-30, 2019 : revised selected papers / by: (Electronic resources)

Service-oriented computing17th International Conference, ICSOC 2019, Toulouse, France, October 28-31, 2019 : proceedings / by: (Electronic resources)

Runtime verification19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019 : proceedings / by: (Electronic resources)

Computing and software sciencestate of the art and perspectives / by: (Electronic resources)

Financial cryptography and data security23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18-22, 2019 : revised selected papers / by: (Electronic resources)

Transactions on large-scale data- and knowledge-centered systems XLII by: (Electronic resources)

Mathematics of program construction13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019 : proceedings / by: (Electronic resources)

Computer networks25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018 : proceedings / by: (Electronic resources)

Information and communication technologies in education, research, and industrial applications13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017 : revised selected papers / by: (Electronic resources)

Big data analytics6th International Conference, BDA 2018, Warangal, India, December 18-21, 2018 : proceedings / by: (Electronic resources)

Computer performance engineering15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018 : proceedings / by: (Electronic resources)

Distributed computing and internet technology14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11-13, 2018 : proceedings / by: (Electronic resources)

Modelling foundations and applications14th European Conference, ECMFA 2018, held as part of STAF 2018, Toulouse, France, June 26-28, 2018 : proceedings / by: (Language materials, printed)

New opportunities for software reuse17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018 : proceedings / by: (Electronic resources)

Programming languages and systems16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018 : proceedings / by: (Electronic resources)

Social computing and social mediatechnologies and analytics : 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)

Software engineering and formal methods16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / by: (Electronic resources)

Theory and practice of model transformation11th International Conference, ICMT 2018, held as part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings / by: (Electronic resources)

Verification and evaluation of computer and communication systems12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018 : proceedings / by: (Electronic resources)

Virtual reality and augmented reality15th EuroVR International Conference, EuroVR 2018, London, UK, October 22-23, 2018 : proceedings / by: (Electronic resources)

Web and wireless geographical information systems16th International Symposium, W2GIS 2018, A Coruna, Spain, May 21-22, 2018 : proceedings / by: (Electronic resources)

E-Business and telecommunications15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers / by: (Electronic resources)

Programming languages and systems17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019 : proceedings / by: (Electronic resources)

Product-focused software process improvement20th International Conference, PROFES 2019, Barcelona, Spain, November 27-29, 2019 : proceedings / by: (Electronic resources)

Verified softwaretheories, tools, and experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019 : revised selected papers / by: (Electronic resources)

Computer performance engineering16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers / by: (Electronic resources)

Service-oriented and cloud computing8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020 : proceedings / by: (Electronic resources)

Networking and computationtechnology, modeling and performance / by: (Electronic resources)

Mathematical foundations of system safety engineeringa road map for the future / by: (Electronic resources)

Strategic system assurance and business analytics by: (Electronic resources)

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: (Electronic resources)

Systems benchmarkingfor scientists and engineers / by: (Electronic resources)

Accountability and privacy in network security by: (Electronic resources)

Services - SERVICES 202016th World Congress, held as part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020 : proceedings / by: (Electronic resources)

Big data innovations and applications5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019 : proceedings / by: (Electronic resources)

Creativity in intelligent technologies and data sciencethird Conference, CIT&DS 2019, Volgograd, Russia, September 16-19, 2019 : proceedings.Part I / by: (Electronic resources)

Quality of information and communications technology12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019 : proceedings / by: (Electronic resources)

Systems, software and services process improvement26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18-20, 2019 : proceedings / by: (Electronic resources)

Automated deduction - CADE 2727th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019 : proceedings / by: (Electronic resources)

Automated reasoning with analytic tableaux and related methods28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019 : proceedings / by: (Electronic resources)

Big data analytics and knowledge discovery21st International Conference, DaWaK 2019, Linz, Austria, August 26-29, 2019 : proceedings / by: (Electronic resources)

Quantum technology and optimization problemsfirst International Workshop, QTOP 2019, Munich, Germany, March 18, 2019 : proceedings / by: (Electronic resources)

Reachability problems13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019 : proceedings / by: (Electronic resources)

Software architecture13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019 : proceedings / by: (Electronic resources)

Software engineering and formal methods17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : proceedings / by: (Electronic resources)

Software technologymethods and tools : 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019 : proceedings / by: (Electronic resources)

Structured object-oriented formal language and method8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018 : revised selected papers / by: (Electronic resources)

Advances in service-oriented and cloud computingWorkshops of ESOCC 2018, Como, Italy, September 12-14, 2018 : revised selected papers / by: (Electronic resources)

Communication technologies for vehicles15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16-17, 2020 : proceedings / by: (Electronic resources)

Modelling, analysis, and simulation of computer and telecommunication systems28th International Symposium, MASCOTS 2020, Nice, France, November 17-19, 2020 : revised selected papers / by: (Electronic resources)

Advances in interdisciplinary research in engineering and business management by: (Electronic resources)

Reliability and risk modeling of engineering systems by: (Electronic resources)

Cognitive radio-oriented wireless networks15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020 : proceedings / by: (Electronic resources)

Passive and active measurement22nd International Conference, PAM 2021, Virtual Event, March 29 - April 1, 2021 : proceedings / by: (Electronic resources)

Embedded software timingmethodology, analysis and practical tips with a focus on automotive / by: (Electronic resources)

Reinforcement learning aided performance optimization of feedback control systems by: (Electronic resources)

Digital health and medical analyticssecond International Conference, DHA 2020, Beijing, China, July 25, 2020 : revised selected papers / by: (Electronic resources)

Real-time C++efficient object-oriented and template microcontroller programming / by: (Electronic resources)

Performance evaluation and benchmarking12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020 : revised selected papers / by: (Electronic resources)

Principles of high-performance processor designfor high performance computing, deep neural networks and data science / by: (Electronic resources)

Performance engineering and stochastic modeling17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings / by: (Electronic resources)

Principles of parallel scientific computinga first guide to numerical concepts and programming methods / by: (Electronic resources)

Matrix and analytical methods for performance analysis of telecommunication systems by: (Electronic resources)

Machine learning, advances in computing, renewable energy and communicationproceedings of MARC 2020 / by: (Electronic resources)

Advancing resilient performance by: (Electronic resources)

Performance evaluation and benchmarking13th TPC Technology Conference, TPCTC 2021, Copenhagen, Denmark, August 20, 2021 : revised selected papers / by: (Electronic resources)

Data deduplication for high performance storage system by: (Electronic resources)

Data center networkingnetwork topologies and traffic management in large-scale data centers / by: (Electronic resources)

High performance computing and networkingselect proceedings of CHSN 2021 / by: (Electronic resources)

Services - SERVICES 202117th World Congress, held as part of the Services Conference Federation, SCF 2021, virtual event, December 10-14, 2021 : proceedings / by: (Electronic resources)

Robustness optimization for IoT topology by: (Electronic resources)

Strategy, planning and organization of test processesbasis for successful project execution in software testing / by: (Electronic resources)

Real-time systemsdesign principles for distributed embedded applications / by: (Electronic resources)

Bringing machine learning to software-defined networks by: (Electronic resources)

Edge intelligencefrom theory to practice / by: (Electronic resources)

Real-time simulation and hardware-in-the-loop testing using Typhoon HIL by: (Electronic resources)

Spatial data and intelligence4th International Conference, SpatialDI 2023, Nanchang, China, April 13-15, 2023 : proceedings / by: (Electronic resources)

Content distribution for mobile internet: a cloud-based approach by: (Electronic resources)

Handbook of biometric anti-spoofingpresentation attack detection and vulnerability assessment / by: (Electronic resources)

Parallel programmingfor multicore and cluster systems / by: (Electronic resources)

Machine learning, optimization, and data science8th International Workshop, LOD 2022, Certosa di Pontignano, Italy, September 18-22, 2022 : revised selected papers.Part II / by: (Electronic resources)

Blockchain scalability by: (Electronic resources)

Performance analysis of parallel applications for HPC by: (Electronic resources)

Metaverse - Metaverse 202319th International Conference, held as part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23-26, 2023 : proceedings / by: (Electronic resources)

Metrics for test reportinganalysis and reporting for effective test management / by: (Electronic resources)

Performance engineeringlearning through applications using JMT / by: (Electronic resources)

High performance computing, smart devices and networksselect proceedings of CHSN 2022 / by: (Electronic resources)

Tools for design, implementation and verification of emerging information technologies18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023 : proceedings / by: (Electronic resources)

Big data technologies and applications13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023 : proceedings / by: (Electronic resources)

Machine learning, optimization, and data science9th International Workshop, LOD 2023, Grasmere, UK, September 22-26, 2023 : revised selected papers.Part II / by: (Electronic resources)

Machine learning, optimization, and data science9th International Conference, LOD 2023, Grasmere, UK, September 22-26, 2023 : revised selected papers.Part I / by: (Electronic resources)

The Technology Acceptance Model30 years of TAM / by: (Electronic resources)

AI, data, and digitalizationfirst International Symposium, SAIDD 2023, Sogndal, Norway, May 9-10, 2023 : revised selected papers / by: (Electronic resources)

Smart grid and Internet of Things7th EAI International Conference, SGIoT 2023, TaiChung, Taiwan, November 18-19, 2023 : proceedings / by: (Electronic resources)

5G edge computingtechnologies, applications and future visions / by: (Electronic resources)

Spatial data and intelligence5th China Conference, SpatialDI 2024, Nanjing, China, April 25-27, 2024 : proceedings / by: (Electronic resources)

Frontiers of performability engineeringin honor of Prof. K.B. Misra / by: (Electronic resources)

High performance computing, smart devices and networksselect proceedings of CHSN 2023 / by: (Electronic resources)

Metaverse - METAVERSE 202420th International Conference, held as part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024 : proceedings / by: (Electronic resources)

Systems benchmarkingfor scientists and engineers / by: (Electronic resources)

Transactions on pattern languages of programming V by: (Electronic resources)

Visual object trackingan evaluation perspective / by: (Electronic resources)

Observability for legacy systemsmethods and solutions with opentelemetry and AIOps / by: (Electronic resources)

New kind of machine learning--cellular automata model by: (Electronic resources)