Performance and Reliability.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation : = 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings by: (Language materials, printed)

Electronic value exchange = origins of the VISA electronic payment system / by: (Language materials, printed)

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

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

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

Energy minimization methods in computer vision and pattern recognition = 8th international conference, EMMCVPR 2011, St. Petersburg, Russia, July 25-27, 2011 : proceedings / by: (Language materials, printed)

Dependability of networked computer-based systems by: (Language materials, printed)

Predictive technology model for robust nanoelectronic design by: (Language materials, printed)

Distributed applications and interoperable systems = 11th IFIP WG 6.1 International Conference, DAIS 2011, Reykjavik, Iceland, June 6-9, 2011 : proceedings / by: (Language materials, printed)

Trustworthy internet by: (Language materials, printed)

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

Scalable information systems = 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009 : revised selected papers / by: (Language materials, printed)

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

Communication and networking = International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings / by: (Language materials, printed)

Services-oriented computing = 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009 : proceedings / by: (Language materials, printed)

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

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

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

Runtime verification = 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers / by: (Language materials, printed)

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

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

Integrated management of systems, services, processes and people in IT = 20th IFIP/IEEE international workshop on distributed systems : operations and mnagement, DSOM 2009, Venice, Italy, October 27-28, 2009 : proceedings / by: (Language materials, printed)

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

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

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

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

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

Recent advances in parallel virtual machine and message passing interface = 16th European PVM/MPI Users' Group Meeting, Helsinki, Finland, September 7-10, 2009 : proceedings / by: (Language materials, printed)

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

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

Energy minimization methods in computer vision and pattern recognition = 7th international conference, EMMCVPR 2009, Bonn, Germany, August 24-27, 2009 : proceedings / by: (Language materials, printed)

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

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

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

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

Resilient routing in communication networks by: (Language materials, printed)

Cloud computing and big data = second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015 : revised selected papers / by: (Language materials, printed)

Privacy and security for cloud computing by: (Language materials, printed)

Energy-efficient high performance computing = measurement and tuning / by: (Language materials, printed)

Requirements engineering and management for software development projects by: (Language materials, printed)

Design, analysis and test of logic circuits under uncertainty by: (Language materials, printed)

Computer engineering and technology = 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012 : revised selected papers / by: (Language materials, printed)

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

Fault-tolerant design by: (Language materials, printed)

Computer performance optimization = systems - applications - processes / by: (Language materials, printed)

Tools for high performance computing 2012 by: (Language materials, printed)

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

Energy minimization methods in computer vision and pattern recognition = 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013 : proceedings / by: (Language materials, printed)

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

Component-based software engineering = 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings / by: (Language materials, printed)

Computer security = ESORICS 2008 : 13th European Symposium on Research in Computer Security, Malaga, Spain, October 6-8, 2008 : proceedings / by: (Language materials, printed)

Runtime verification = 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers / by: (Language materials, printed)

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

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

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

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

Distributed applications and interoperable systems = 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012 : proceedings / by: (Language materials, printed)

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

Computer engineering and technology = 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013 : revised selected papers / by: (Language materials, printed)

Software reliability assessment with OR applications by: (Language materials, printed)

Guide to reliable distributed systems = building high-assurance applications and cloud-hosted services / by: (Language materials, printed)

Mobile lightweight wireless systems = third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011 : revised selected papers / by: (Language materials, printed)

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

Evolving OpenMP in an age of extreme parallelism = 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3 - 5, 2009 ; Proceedings / by: (Language materials, printed)

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

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

Optimum cooling of data centers = application of risk assessment and mitigation techniques / by: (Language materials, printed)

Cloud computing patterns = fundamentals to design, build, and manage cloud applications / by: (Language materials, printed)

Energy minimization methods in computer vision and pattern recognition = 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015 : proceedings / by: (Language materials, printed)

Software design for resilient computer systems by: (Language materials, printed)

The accidental SysAdmin handbook = a primer for early level IT professionals / by: (Language materials, printed)

Quality in the 21st century = perspectives from ASQ Feigenbaum Medal winners / by: (Language materials, printed)

High performance computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016 : proceedings / by: (Language materials, printed)

Seminal contributions to modelling and simulation = 30 years of the European Council of Modelling and Simulation / by: (Language materials, printed)

Advanced computer architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016 : proceedings / by: (Language materials, printed)

Understanding control flow = concurrent programming using [mu]C++ / by: (Language materials, printed)

Software for exascale computing - SPPEXA 2013-2015 by: (Language materials, printed)

Resource management for big data platforms = algorithms, modelling, and high-performance computing techniques / by: (Language materials, printed)

High performance computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19-23, 2016 : revised selected papers / by: (Language materials, printed)

Pro SQL Server Always On Availability Groups by: (Language materials, printed)

Instruction level parallelism by: (Language materials, printed)

Sustained simulation performance 2016 = proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / by: (Language materials, printed)

Practical information security management = a complete guide to planning and implementation / by: (Language materials, printed)

Beginning WSO2 ESB by: (Language materials, printed)

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

Tools for high performance computing 2016 = proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany / by: (Language materials, printed)

Cloud computing = principles,systems and applications / by: (Language materials, printed)

Recurrent neural networks for short-term load forecasting = an overview and comparative analysis / by: (Language materials, printed)

Trusted computing and information security = 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017 : proceedings / by: (Language materials, printed)

Pro continuous delivery = with Jenkins 2.0 / by: (Language materials, printed)

Handbook of large-scale distributed computing in smart healthcare by: (Language materials, printed)

Concise guide to formal methods = theory, fundamentals and industry applications / by: (Language materials, printed)

QoS prediction in cloud and service computing = approaches and applications / by: (Language materials, printed)

Android continuous integration = build-deploy-test automation for Android mobile apps / by: (Language materials, printed)

Network traffic anomaly detection and prevention = concepts, techniques, and tools / by: (Language materials, printed)

Crossbar-based interconnection networks = blocking, scalability, and reliability / by: (Language materials, printed)

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

Handbook of model checking by: (Language materials, printed)

Safety-critical electrical drives = topologies, reliability, performance / by: (Language materials, printed)

Data and energy integrated communication networks = a brief introduction / by: (Language materials, printed)

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

Guide to vulnerability analysis for computer networks and systems = an artificial intelligence approach / by: (Language materials, printed)

Software fault detection and correction = modeling and applications / by: (Language materials, printed)

High performance computing = 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18-22, 2017 : proceedings / by: (Language materials, printed)

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

Aviation system risks and safety by: (Language materials, printed)

Testbeds and research infrastructures for the development of networks and communities = 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016 : revised selected papers / by: (Language materials, printed)

Troubleshooting iOS = solving iPhone and iPad problems / by: (Language materials, printed)

Energy Minimization Methods in Computer Vision and Pattern Recognition = 10th International Conference, EMMCVPR 2015, Hong Kong, China, January 13-16, 2015. Proceedings / by: (Language materials, printed)

Fehlerbaumanalyse in Theorie und Praxis = Grundlagen und Anwendung der Methode / by: (Language materials, printed)

Trustworthy Computing and Services = International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers / by: (Language materials, printed)

Die Formalisierte Terminologie der Verlässlichkeit Technischer Systeme by: (Language materials, printed)

Resilient Routing in Communication Networks by: (Language materials, printed)

IT-Revision, IT-Audit und IT-Compliance = Neue Ansätze für die IT-Prüfung / by: (Language materials, printed)

Maintenance Overtime Policies in Reliability Theory = Models with Random Working Cycles / by: (Language materials, printed)

Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers / by: (Language materials, printed)

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

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

Cloud Computing and Big Data = Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers / by: (Language materials, printed)

Resilient Computer System Design by: (Language materials, printed)

Fault-Tolerance Techniques for High-Performance Computing by: (Language materials, printed)

Advanced Computer Architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings / by: (Language materials, printed)

Practical Information Security Management = A Complete Guide to Planning and Implementation / by: (Language materials, printed)

Instruction Level Parallelism by: (Language materials, printed)

High Performance Computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings / by: (Language materials, printed)

Resource Management for Big Data Platforms = Algorithms, Modelling, and High-Performance Computing Techniques / by: (Language materials, printed)

Sustained Simulation Performance 2016 = Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 / by: (Language materials, printed)

Software for Exascale Computing - SPPEXA 2013-2015 by: (Language materials, printed)

Pro SQL Server Always On Availability Groups by: (Language materials, printed)

Understanding Control Flow = Concurrent Programming Using μC++ / by: (Language materials, printed)

Beginning WSO2 ESB by: (Language materials, printed)

Seminal Contributions to Modelling and Simulation = 30 Years of the European Council of Modelling and Simulation / by: (Language materials, printed)

Notfallmanagement in Kommunikationsnetzen by: (Language materials, printed)

Quality in the 21st Century = Perspectives from ASQ Feigenbaum Medal Winners / by: (Language materials, printed)

The Accidental SysAdmin Handbook = A Primer for Early Level IT Professionals / by: (Language materials, printed)

Mathematische Algorithmen und Computer-Performance kompakt by: (Language materials, printed)

Software Design for Resilient Computer Systems by: (Language materials, printed)

High Performance Computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers / by: (Language materials, printed)

Advanced Maintenance Policies for Shock and Damage Models by: (Language materials, printed)

Software Fault Detection and Correction: Modeling and Applications by: (Language materials, printed)

Crossbar-Based Interconnection Networks = Blocking, Scalability, and Reliability / by: (Language materials, printed)

Greening Video Distribution Networks = Energy-Efficient Internet Video Delivery / by: (Language materials, printed)

Guide to Vulnerability Analysis for Computer Networks and Systems = An Artificial Intelligence Approach / by: (Language materials, printed)

Data and Energy Integrated Communication Networks = A Brief Introduction / by: (Language materials, printed)

Silicon Photonics & High Performance Computing = Proceedings of CSI 2015 / by: (Language materials, printed)

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

The Student Supercomputer Challenge Guide = From Supercomputing Competition to the Next HPC Generation / by: (Language materials, printed)

The Hardware Trojan War = Attacks, Myths, and Defenses / by: (Language materials, printed)

Performance gaps of machines = A process oriented approach / by: (Language materials, printed)

Safety-Critical Electrical Drives = Topologies, Reliability, Performance / by: (Language materials, printed)

System Dependability Evaluation Including S-dependency and Uncertainty = Model-Driven Dependability Analyses / by: (Language materials, printed)

Handbook of Model Checking by: (Language materials, printed)

Low-Power Design and Power-Aware Verification by: (Language materials, printed)

Schutz Kritischer Infrastrukturen im Verkehr = Security Engineering als ganzheitlicher Ansatz / by: (Language materials, printed)

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

Closing the Gap Between Practice and Research in Industrial Engineering by: (Language materials, printed)

Dependable Multicore Architectures at Nanoscale by: (Language materials, printed)

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip by: (Language materials, printed)

Tools for High Performance Computing 2017 = Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany / by: (Language materials, printed)

Test Generation of Crosstalk Delay Faults in VLSI Circuits by: (Language materials, printed)

IT-Revision, IT-Audit und IT-Compliance = Neue Ansätze für die IT-Prüfung / by: (Language materials, printed)

Aligning IT and Business = Fostering Organizational Performance, Employees' Commitment and Quality of Management Methods / by: (Language materials, printed)

System Performance and Management Analytics by: (Language materials, printed)

From Extractive to Abstractive Summarization: A Journey by: (Language materials, printed)

Next Generation and Advanced Network Reliability Analysis = Using Markov Models and Software Reliability Engineering / by: (Language materials, printed)

Transportation Systems = Managing Performance through Advanced Maintenance Engineering / by: (Language materials, printed)

Single-DC-Source Multilevel Inverters by: (Language materials, printed)

Formal Verification of Floating-Point Hardware Design = A Mathematical Approach / by: (Language materials, printed)

Aviation System Risks and Safety by: (Language materials, printed)

Power Systems Resilience = Modeling, Analysis and Practice / by: (Language materials, printed)

Advances in RAMS Engineering = In Honor of Professor Ajit Kumar Verma on His 60th Birthday / by: (Language materials, printed)

Reliable Communications within Cyber-Physical Systems Using the Internet (RC4CPS) by: (Language materials, printed)

Real-time Communication Protocols for Multi-hop Ad-hoc Networks = Wireless Networking in Production and Control Systems / by: (Language materials, printed)

Reliability and Statistical Computing = Modeling, Methods and Applications / by: (Language materials, printed)

ICICCT 2019 – System Reliability, Quality Control, Safety, Maintenance and Management = Applications to Electrical, Electronics and Computer Science and Engineering / by: (Language materials, printed)

Reliability, Safety and Hazard Assessment for Risk-Based Technologies = Proceedings of ICRESH 2019 / by: (Language materials, printed)

Software Design for Resilient Computer Systems by: (Language materials, printed)

Reliability and Risk Assessment in Engineering = Proceedings of INCRS 2018 / by: (Language materials, printed)

Computational Network Application Tools for Performance Management by: (Language materials, printed)

Guide to Disaster-Resilient Communication Networks by: (Language materials, printed)

Performance Management of Integrated Systems and its Applications in Software Engineering by: (Language materials, printed)

Advances in Reliability Analysis and its Applications by: (Language materials, printed)

Software for Exascale Computing - SPPEXA 2016-2019 by: (Language materials, printed)

Resource Management and Performance Analysis of Wireless Communication Networks by: (Language materials, printed)

Tools for High Performance Computing 2018 / 2019 = Proceedings of the 12th and of the 13th International Workshop on Parallel Tools for High Performance Computing, Stuttgart, Germany, September 2018, and Dresden, Germany, September 2019 / by: (Language materials, printed)