Computer system failures.
Overview
| Works: | 281 works in 9 publications in 9 languages | |
|---|---|---|
Titles
Performance Engineering and Stochastic Modeling = 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9–10 and December 13–14, 2021, Proceedings /
by:
(Language materials, printed)
Embedded Software Timing = Methodology, Analysis and Practical Tips with a Focus on Automotive /
by:
(Language materials, printed)
Advances in Interdisciplinary Research in Engineering and Business Management
by:
(Language materials, printed)
Modelling, Analysis, and Simulation of Computer and Telecommunication Systems = 28th International Symposium, MASCOTS 2020, Nice, France, November 17–19, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking = 12th TPC Technology Conference, TPCTC 2020, Tokyo, Japan, August 31, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Cognitive Radio-Oriented Wireless Networks = 15th EAI International Conference, CrownCom 2020, Rome, Italy, November 25-26, 2020, Proceedings /
by:
(Language materials, printed)
Passive and Active Measurement = 22nd International Conference, PAM 2021, Virtual Event, March 29 – April 1, 2021, Proceedings /
by:
(Language materials, printed)
Principles of High-Performance Processor Design = For High Performance Computing, Deep Neural Networks and Data Science /
by:
(Language materials, printed)
Reinforcement Learning Aided Performance Optimization of Feedback Control Systems
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Digital Health and Medical Analytics = Second International Conference, DHA 2020, Beijing, China, July 25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 15th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2020, Bordeaux, France, November 16–17, 2020, Proceedings /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2018, Como, Italy, September 12–14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Services – SERVICES 2020 = 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings /
by:
(Language materials, printed)
Strategie, Planung und Organisation von Testprozessen = Basis für erfolgreiche Projektabwicklung im Softwaretest /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking for the Era of Cloud(s) = 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Computer Performance Engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Networking and Computation = Technology, Modeling and Performance /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Service-Oriented and Cloud Computing = 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28–30, 2020, Proceedings /
by:
(Language materials, printed)
Mathematical Foundations of System Safety Engineering = A Road Map for the Future /
by:
(Language materials, printed)
OpenMP = heterogenous execution and data movements : 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015 : proceedings /
by:
(Language materials, printed)
Business intelligence = 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015 : tutorial lectures /
by:
(Language materials, printed)
Healthcare interoperability standards compliance handbook = conformance and testing of healthcare data exchange standards /
by:
(Language materials, printed)
Machine learning, optimization, and big data = second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016 : revised selected papers /
by:
(Language materials, printed)
Enhancing software fault prediction with machine learning : = emerging research and opportunities /
by:
(Language materials, printed)
Enhancing software fault prediction with machine learning = emerging research and opportunities /
by:
(Language materials, printed)
Real-Time C++ = efficient object-oriented and template microcontroller programming /
by:
(Language materials, printed)
Autonomous control for a reliable internet of services = methods, models, approaches, techniques, algorithms, and tools /
by:
(Language materials, printed)
High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 10th International Conference, WASA 2015, Qufu, China, August 10-12, 2015, Proceedings /
by:
(Language materials, printed)
Passive and Active Measurement = 16th International Conference, PAM 2015, New York, NY, USA, March 19-20, 2015, Proceedings /
by:
(Language materials, printed)
Wireless Sensor Networks = 12th European Conference, EWSN 2015, Porto, Portugal, February 9-11, 2015, Proceedings /
by:
(Language materials, printed)
Energy Efficient Data Centers = Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Traffic Monitoring and Analysis = 7th International Workshop, TMA 2015, Barcelona, Spain, April 21-24, 2015. Proceedings /
by:
(Language materials, printed)
High Performance Computing for Computational Science -- VECPAR 2014 = 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015, Sousse, Tunisia, May 6-8, 2015. Proceedings /
by:
(Language materials, printed)
Computer Networks = 22nd International Conference, CN 2015, Brunów, Poland, June 16-19, 2015. Proceedings /
by:
(Language materials, printed)
OpenMP: Heterogenous Execution and Data Movements = 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
by:
(Language materials, printed)
Mobile Networks and Management = 7th International Conference, MONAMI 2015, Santander, Spain, September 16-18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Future Access Enablers for Ubiquitous and Intelligent Infrastructures = First International Conference, FABULOUS 2015, Ohrid, Republic of Macedonia, September 23-25, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Cloud Computing = 5th International Conference, CloudComp 2014, Guilin, China, October 19-21, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Supercomputing for Molecular Dynamics Simulations = Handling Multi-Trillion Particles in Nanofluidics /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing Workshops = Euro-Par 2015 International Workshops, Vienna, Austria, August 24-25, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Tools for High Performance Computing 2014 = Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
by:
(Language materials, printed)
Trustworthy Computing and Services = International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers /
by:
(Language materials, printed)
IT-Revision, IT-Audit und IT-Compliance = Neue Ansätze für die IT-Prüfung /
by:
(Language materials, printed)
Geo-Informatics in Resource Management and Sustainable Ecosystem = International Conference, GRMSE 2014, Ypsilanti, USA, October 3-5, 2014, Proceedings /
by:
(Language materials, printed)
Parallel Scientific Computing = Theory, Algorithms, and Applications of Mesh Based and Meshless Methods /
by:
(Language materials, printed)
Mobile Networks and Management = 6th International Conference, MONAMI 2014, Würzburg, Germany, September 22-26, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Collaborative Information Seeking = Best Practices, New Domains and New Thoughts /
by:
(Language materials, printed)
Advances in Wireless Sensor Networks = The 8th China Conference, CWSN 2014, Xi'an, China, October 31--November 2, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2015: Parallel Processing = 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings /
by:
(Language materials, printed)
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 5th International Workshop, PMBS 2014, New Orleans, LA, USA, November 16, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 15th International Conference, NEW2AN 2015, and 8th Conference, ruSMART 2015, St. Petersburg, Russia, August 26-28, 2015, Proceedings /
by:
(Language materials, printed)
Cloud Computing and Big Data = Second International Conference, CloudCom-Asia 2015, Huangshan, China, June 17-19, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Computer Performance Engineering = 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings /
by:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
by:
(Language materials, printed)
Performance Characterization and Benchmarking. Traditional to Big Data = 6th TPC Technology Conference, TPCTC 2014, Hangzhou, China, September 1--5, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling - Queueing Theory and Applications = 14th International Scientific Conference, ITMM 2015, named after A. F. Terpugov, Anzhero-Sudzhensk, Russia, November 18-22, 2015, Proceedings /
by:
(Language materials, printed)
Sustainable Transportation = Indicators, Frameworks, and Performance Management /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling: Queueing Theory and Applications = 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings /
by:
(Language materials, printed)
Wired/Wireless Internet Communications = 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings /
by:
(Language materials, printed)
Advanced Computer Architecture = 11th Conference, ACA 2016, Weihai, China, August 22-23, 2016, Proceedings /
by:
(Language materials, printed)
Web Services, Formal Methods, and Behavioral Types = 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Software Process Improvement and Capability Determination = 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 10th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2016, San Sebastián, Spain, June 6-7, 2016, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings /
by:
(Language materials, printed)
Advances in Data Mining. Applications and Theoretical Aspects = 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings /
by:
(Language materials, printed)
Cloud Computing = 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Personal Satellite Services. Next-Generation Satellite Networking and Communication Systems = 6th International Conference, PSATS 2014, Genoa, Italy, July 28–29, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 16th International Conference, NEW2AN 2016, and 9th Conference, ruSMART 2016, St. Petersburg, Russia, September 26-28, 2016, Proceedings /
by:
(Language materials, printed)
Critical Information Infrastructures Security = 9th International Conference, CRITIS 2014, Limassol, Cyprus, October 13-15, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Support Vector Machines and Perceptrons = Learning, Optimization, Classification, and Application to Social Networks /
by:
(Language materials, printed)
Oracle Solaris and Veritas Cluster : An Easy-build Guide = A try-at-home, practical guide to implementing Oracle/Solaris and Veritas clustering using a desktop or laptop /
by:
(Language materials, printed)
Distributed Applications and Interoperable Systems = 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings /
by:
(Language materials, printed)
Isochronous Wireless Network for Real-time Communication in Industrial Automation
by:
(Language materials, printed)
Guide to Software Development = Designing and Managing the Life Cycle /
by:
(Language materials, printed)
Business Intelligence = 5th European Summer School, eBISS 2015, Barcelona, Spain, July 5-10, 2015, Tutorial Lectures /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Distributed Computer and Communication Networks = 19th International Conference, DCCN 2016, Moscow, Russia, November 21-25, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(Language materials, printed)
Computer Networks = 23rd International Conference, CN 2016, Brunów, Poland, June 14-17, 2016, Proceedings /
by:
(Language materials, printed)
Geo-Informatics in Resource Management and Sustainable Ecosystem = Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers /
by:
(Language materials, printed)
The Accidental SysAdmin Handbook = A Primer for Early Level IT Professionals /
by:
(Language materials, printed)
Computer Engineering and Technology = 19th CCF Conference, NCCET 2015, Hefei, China, October 18-20, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Healthcare Interoperability Standards Compliance Handbook = Conformance and Testing of Healthcare Data Exchange Standards /
by:
(Language materials, printed)
Analytical and Stochastic Modelling Techniques and Applications = 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings /
by:
(Language materials, printed)
Quantitative Evaluation of Systems = 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
by:
(Language materials, printed)
OpenMP: Memory, Devices, and Tasks = 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Critical Information Infrastructures Security = 10th International Conference, CRITIS 2015, Berlin, Germany, October 5-7, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
(Language materials, printed)
Computer Performance Engineering = 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings /
by:
(Language materials, printed)
Passive and Active Measurement = 17th International Conference, PAM 2016, Heraklion, Greece, March 31 - April 1, 2016. Proceedings /
by:
(Language materials, printed)
Foundational and Practical Aspects of Resource Analysis = 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Machine Learning, Optimization, and Big Data = Second International Workshop, MOD 2016, Volterra, Italy, August 26-29, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things = 7th TPC Technology Conference, TPCTC 2015, Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected Papers /
by:
(Language materials, printed)
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Wireless Algorithms, Systems, and Applications = 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings /
by:
(Language materials, printed)
Verified Software. Theories, Tools, and Experiments = 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computer and Information Sciences = 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings /
by:
(Language materials, printed)
Big Data = 6th CCF Conference, Big Data 2018, Xi'an, China, October 11-13, 2018, Proceedings /
by:
(Language materials, printed)
Service-Oriented Computing – ICSOC 2017 Workshops = ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Advanced Information Systems Engineering = 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings /
by:
(Language materials, printed)
Formal Methods and Software Engineering = 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /
by:
(Language materials, printed)
Formal Methods = 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
by:
(Language materials, printed)
Wireless and Satellite Systems = 9th International Conference, WiSATS 2017, Oxford, UK, September 14-15, 2017, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings /
by:
(Language materials, printed)
NASA Formal Methods = 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
by:
(Language materials, printed)
Software Architecture = 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24–28, 2018, Proceedings /
by:
(Language materials, printed)
Wireless Internet = 10th International Conference, WiCON 2017, Tianjin, China, December 16-17, 2017, Proceedings /
by:
(Language materials, printed)
Ad-hoc, Mobile, and Wireless Networks = 17th International Conference on Ad Hoc Networks and Wireless, ADHOC-NOW 2018, Saint-Malo, France, September 5-7, 2018. Proceedings /
by:
(Language materials, printed)
Kronecker Modeling and Analysis of Multidimensional Markovian Systems
by:
(Language materials, printed)
Computer Performance Engineering = 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings /
by:
(Language materials, printed)
Symposium on Real-Time and Hybrid Systems = Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
by:
(Language materials, printed)
Metriken für das Testreporting = Analyse und Reporting für wirkungsvolles Testmanagement /
by:
(Language materials, printed)
Verification and Evaluation of Computer and Communication Systems = 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Virtual Reality and Augmented Reality = 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings /
by:
(Language materials, printed)
Static Analysis = 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings /
by:
(Language materials, printed)
New Opportunities for Software Reuse = 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Big Data Analytics and Knowledge Discovery = 20th International Conference, DaWaK 2018, Regensburg, Germany, September 3–6, 2018, Proceedings /
by:
(Language materials, printed)
Information Systems Security = 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings /
by:
(Language materials, printed)
Engineering Trustworthy Software Systems = Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures /
by:
(Language materials, printed)
Privacy Technologies and Policy = 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers /
by:
(Language materials, printed)
On the Move to Meaningful Internet Systems. OTM 2018 Conferences = Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Software Process Improvement and Capability Determination = 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings /
by:
(Language materials, printed)
Systems, Software and Services Process Improvement = 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /
by:
(Language materials, printed)
Greening Video Distribution Networks = Energy-Efficient Internet Video Delivery /
by:
(Language materials, printed)
Distributed Computing and Internet Technology = 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings /
by:
(Language materials, printed)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(Language materials, printed)
Tools and Methods of Program Analysis = 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Big Data Analytics = 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings /
by:
(Language materials, printed)
Graph Data Management = Fundamental Issues and Recent Developments /
by:
(Language materials, printed)
Advances in Databases and Information Systems = 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2–5, 2018, Proceedings /
by:
(Language materials, printed)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(Language materials, printed)
Information and Communication Technologies in Education, Research, and Industrial Applications = 13th International Conference, ICTERI 2017, Kyiv, Ukraine, May 15-18, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Foundations of Software Science and Computation Structures = 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Applications of Computing and Communication Technologies = First International Conference, ICACCT 2018, Delhi, India, March 9, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Principles of Security and Trust = 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings /
by:
(Language materials, printed)
Open Source Systems: Enterprise Software and Solutions = 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings /
by:
(Language materials, printed)
Internet of Things, Smart Spaces, and Next Generation Networks and Systems = 18th International Conference, NEW2AN 2018, and 11th Conference, ruSMART 2018, St. Petersburg, Russia, August 27–29, 2018, Proceedings /
by:
(Language materials, printed)
Wired/Wireless Internet Communications = 16th IFIP WG 6.2 International Conference, WWIC 2018, Boston, MA, USA, June 18–20, 2018, Proceedings /
by:
(Language materials, printed)
Lectures on Runtime Verification = Introductory and Advanced Topics /
by:
(Language materials, printed)
Image and Video Technology = 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part II /
by:
(Language materials, printed)
Communication Technologies for Vehicles = 13th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2018, Madrid, Spain, May 17-18, 2018, Proceedings /
by:
(Language materials, printed)
5G for Future Wireless Networks = First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings /
by:
(Language materials, printed)
Real-Time C++ = Efficient Object-Oriented and Template Microcontroller Programming /
by:
(Language materials, printed)
Mobile Internet Security = First International Symposium, MobiSec 2016, Taichung, Taiwan, July 14-15, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Web and Wireless Geographical Information Systems = 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings /
by:
(Language materials, printed)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
(Language materials, printed)
New Frontiers in Quantitative Methods in Informatics = 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Autonomous Control for a Reliable Internet of Services = Methods, Models, Approaches, Techniques, Algorithms, and Tools /
by:
(Language materials, printed)
Computer Networks = 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings /
by:
(Language materials, printed)
Modelling Foundations and Applications = 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
by:
(Language materials, printed)
Cloud Computing – CLOUD 2018 = 11th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
by:
(Language materials, printed)
Big Data – BigData 2018 = 7th International Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
by:
(Language materials, printed)
Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings /
by:
(Language materials, printed)
Services – SERVICES 2018 = 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings /
by:
(Language materials, printed)
Advances in Service-Oriented and Cloud Computing = Workshops of ESOCC 2016, Vienna, Austria, September 5–7, 2016, Revised Selected Papers /
by:
(Language materials, printed)
Wireless Internet = 9th International Conference, WICON 2016, Haikou, China, December 19-20, 2016, Proceedings /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking for the Analytics Era = 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Perspectives of System Informatics = 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Communications and Networking = 12th International Conference, ChinaCom 2017, Xi’an, China, October 10-12, 2017, Proceedings, Part I /
by:
(Language materials, printed)
Theory and Practice of Model Transformation = 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Communications and Networking = 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II /
by:
(Language materials, printed)
Communications and Networking = 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I /
by:
(Language materials, printed)
Software Technologies = 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Interactive Theorem Proving = 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
by:
(Language materials, printed)
Social Computing and Social Media. User Experience and Behavior = 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Handbook of Biometric Anti-Spoofing = Presentation Attack Detection /
by:
(Language materials, printed)
Cloud Computing – CLOUD 2019 = 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems = 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
(Language materials, printed)
Tests and Proofs = 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings /
by:
(Language materials, printed)
Embedded Computer Systems: Architectures, Modeling, and Simulation = 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings /
by:
(Language materials, printed)
Qualitätssicherung durch Softwaretests = Vorgehensweisen und Werkzeuge zum Testen von Java-Programmen /
by:
(Language materials, printed)
Intelligente Arbeitsvorbereitung auf Basis virtueller Werkzeugmaschinen
by:
(Language materials, printed)
Quantum Technology and Optimization Problems = First International Workshop, QTOP 2019, Munich, Germany, March 18, 2019, Proceedings /
by:
(Language materials, printed)
Computer Simulation Validation = Fundamental Concepts, Methodological Frameworks, and Philosophical Perspectives /
by:
(Language materials, printed)
Data Mining and Big Data = 4th International Conference, DMBD 2019, Chiang Mai, Thailand, July 26–30, 2019, Proceedings /
by:
(Language materials, printed)
Open Source Systems = 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings /
by:
(Language materials, printed)
Testmanagement und Softwaretest = Theoretische Grundlagen und praktische Umsetzung /
by:
(Language materials, printed)
Advanced Hybrid Information Processing = Second EAI International Conference, ADHIP 2018, Yiyang, China, October 5-6, 2018, Proceedings /
by:
(Language materials, printed)
E-Business and Telecommunications = 15th International Joint Conference, ICETE 2018, Porto, Portugal, July 26–28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Programming Languages and Systems = 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings /
by:
(Language materials, printed)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(Language materials, printed)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
(Language materials, printed)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Product-Focused Software Process Improvement = 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Queueing Theory and Network Applications = 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings /
by:
(Language materials, printed)
Big Data Innovations and Applications = 5th International Conference, Innovate-Data 2019, Istanbul, Turkey, August 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Big Data Analytics and Knowledge Discovery = 21st International Conference, DaWaK 2019, Linz, Austria, August 26–29, 2019, Proceedings /
by:
(Language materials, printed)
Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods = 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Reachability Problems = 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Mobile, Secure, and Programmable Networking = 4th International Conference, MSPN 2018, Paris, France, June 18-20, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Human Centered Computing = 4th International Conference, HCC 2018, Mérida, Mexico, December, 5–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(Language materials, printed)
IT-Revision, IT-Audit und IT-Compliance = Neue Ansätze für die IT-Prüfung /
by:
(Language materials, printed)
E-Business and Telecommunications = 14th International Joint Conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, Revised Selected Paper /
by:
(Language materials, printed)
Principles of Security and Trust = 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
(Language materials, printed)
Introduction to Queueing Systems with Telecommunication Applications
by:
(Language materials, printed)
Theory and Applications of Satisfiability Testing – SAT 2019 = 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Service-Oriented Computing = 17th International Conference, ICSOC 2019, Toulouse, France, October 28–31, 2019, Proceedings /
by:
(Language materials, printed)
Flexible Query Answering Systems = 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings /
by:
(Language materials, printed)
Quality of Information and Communications Technology = 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 5th Latin American Conference, CARLA 2018, Bucaramanga, Colombia, September 26–28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Data Quality and Trust in Big Data = 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12–15, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Formal Techniques for Distributed Objects, Components, and Systems = 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings /
by:
(Language materials, printed)
Structured Object-Oriented Formal Language and Method = 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Passive and Active Measurement = 20th International Conference, PAM 2019, Puerto Varas, Chile, March 27–29, 2019, Proceedings /
by:
(Language materials, printed)
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
(Language materials, printed)
Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings /
by:
(Language materials, printed)
Evaluation of Novel Approaches to Software Engineering = 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23–24, 2018, Revised Selected Papers /
by:
(Language materials, printed)
High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet /
by:
(Language materials, printed)
Fundamentals of Software Engineering = 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Big Scientific Data Benchmarks, Architecture, and Systems = First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
by:
(Language materials, printed)
Computational Intelligence, Communications, and Business Analytics = Second International Conference, CICBA 2018, Kalyani, India, July 27–28, 2018, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Software Engineering and Methodology for Emerging Domains = 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Fundamental Approaches to Software Engineering = 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings /
by:
(Language materials, printed)
Computing and Software Science = State of the Art and Perspectives /
by:
(Language materials, printed)
Ad-Hoc, Mobile, and Wireless Networks = 18th International Conference on Ad-Hoc Networks and Wireless, ADHOC-NOW 2019, Luxembourg, Luxembourg, October 1–3, 2019, Proceedings /
by:
(Language materials, printed)
Ubiquitous Communications and Network Computing = Second EAI International Conference, Bangalore, India, February 8–10, 2019, Proceedings /
by:
(Language materials, printed)
Emerging Technologies in Computing = Second International Conference, iCETiC 2019, London, UK, August 19–20, 2019, Proceedings /
by:
(Language materials, printed)
Services – SERVICES 2019 = 15th World Congress, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
by:
(Language materials, printed)
Performance Evaluation and Benchmarking for the Era of Artificial Intelligence = 10th TPC Technology Conference, TPCTC 2018, Rio de Janeiro, Brazil, August 27–31, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Financial Cryptography and Data Security = 23rd International Conference, FC 2019, Frigate Bay, St. Kitts and Nevis, February 18–22, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Web Services – ICWS 2019 = 26th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings /
by:
(Language materials, printed)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(Language materials, printed)
Artificial Intelligence Applications and Innovations = AIAI 2019 IFIP WG 12.5 International Workshops: MHDW and 5G-PINE 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings /
by:
(Language materials, printed)
Reuse in the Big Data Era = 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings /
by:
(Language materials, printed)
Information Technologies and Mathematical Modelling. Queueing Theory and Applications = 18th International Conference, ITMM 2019, Named after A.F. Terpugov, Saratov, Russia, June 26–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Fuzzy Logic and Applications = 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(Language materials, printed)
Information and Operational Technology Security Systems = First International Workshop, IOSec 2018, CIPSEC Project, Heraklion, Crete, Greece, September 13, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Advanced Informatics for Computing Research = Third International Conference, ICAICR 2019, Shimla, India, June 15–16, 2019, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Systems, Software and Services Process Improvement = 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings /
by:
(Language materials, printed)
Internet of Things. Information Processing in an Increasingly Connected World = First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
by:
(Language materials, printed)
Show more
Fewer
Subjects