Search Results for - Narrowed by: Springer E-Book Collection - Operating systems (Computers). - Computer science.

Handbook of Model Checking

2024-05-14T06:57:27Z

Yazar Clarke, Edmund M. editor.
https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2024-05-14T06:57:27Z

Yazar Mishra, Anurag. editor.
https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources

Computer Engineering and Technology 21st CCF Conference, NCCET 2017, Xiamen, China, August 16–18, 2017, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Xu, Weixia. editor.
https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2018 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Berekovic, Mladen. editor.
https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources

Transactions on Computational Science XXXIII

2024-05-14T06:57:27Z

Yazar Gavrilova, Marina L. editor.
https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources

Trends in Functional Programming 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Wang, Meng. editor.
https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Itsykson, Vladimir. editor.
https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources

Systems Programming in Unix/Linux

2024-05-14T06:57:27Z

Yazar Wang, K.C. author.
https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources

Theory and Practice of Model Transformation 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Rensink, Arend. editor. (orcid)0000-0002-1714-6319
https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

2024-05-14T06:57:27Z

Yazar Vaidya, Jaideep. editor.
https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428
https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources

Coordination Models and Languages 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings

2024-05-14T06:57:27Z

Yazar Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251
https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2024-05-14T06:57:27Z

Yazar Jahanshahi, Mohsen. author.
https://doi.org/10.1007/978-3-319-78473-1
Format: Electronic Resources

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Pires, Luís Ferreira. editor.
https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources

Internet and Distributed Computing Systems 10th International Conference, IDCS 2017, Mana Island, Fiji, December 11-13, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Fortino, Giancarlo. editor.
https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources

Interrupt Handling Schemes in Operating Systems

2024-05-14T06:57:27Z

Yazar Mejia-Alvarez, Pedro. author.
https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources

The Student Supercomputer Challenge Guide From Supercomputing Competition to the Next HPC Generation

2024-05-14T06:57:27Z

Yazar ASC Community. author.
https://doi.org/10.1007/978-981-10-3731-3
Format: Electronic Resources

System and Architecture Proceedings of CSI 2015

2024-05-14T06:57:27Z

Yazar Muttoo, Sunil Kumar. editor.
https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Li, Chao. editor.
https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources

Parallel Computational Technologies 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources

Cyber Security Cryptography and Machine Learning Second International Symposium, CSCML 2018, Beer Sheva, Israel, June 21–22, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Dinur, Itai. editor.
https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX Special Issue on Database- and Expert-Systems Applications

2024-05-14T06:57:27Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources

Research in Attacks, Intrusions, and Defenses 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Bailey, Michael. editor.
https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources

Euro-Par 2017: Parallel Processing Workshops Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Heras, Dora B. editor.
https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources

Image Analysis and Recognition 15th International Conference, ICIAR 2018, Póvoa de Varzim, Portugal, June 27–29, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Campilho, Aurélio. editor.
https://doi.org/10.1007/978-3-319-93000-8
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Baier, Christel. editor.
https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources

Closing the Gap Between Practice and Research in Industrial Engineering

2024-05-14T06:57:27Z

Yazar Viles, Elisabeth. editor.
https://doi.org/10.1007/978-3-319-58409-6
Format: Electronic Resources

Detection of Intrusions and Malware, and Vulnerability Assessment 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Giuffrida, Cristiano. editor.
https://doi.org/10.1007/978-3-319-93411-2
Format: Electronic Resources

Dependable Multicore Architectures at Nanoscale

2024-05-14T06:57:27Z

Yazar Ottavi, Marco. editor.
https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources

High Performance Computing 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings

2024-05-14T06:57:27Z

Yazar Yokota, Rio. editor. (orcid)0000-0001-7573-7873
https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources

Low-Power Design and Power-Aware Verification

2024-05-14T06:57:27Z

Yazar Khondkar, Progyna. author.
https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Menzies, Tim. editor. (orcid)0000-0002-5040-3196
https://doi.org/10.1007/978-3-319-66299-2
Format: Electronic Resources

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV Special Issue on Consistency and Inconsistency in Data-Centric Applications

2024-05-14T06:57:27Z

Yazar Hameurlain, Abdelkader. editor.
https://doi.org/10.1007/978-3-662-55947-5
Format: Electronic Resources

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-67630-2
Format: Electronic Resources

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Guerra, Esther. editor. (orcid)0000-0002-2818-2278
https://doi.org/10.1007/978-3-319-61473-1
Format: Electronic Resources

Brain Informatics International Conference, BI 2017, Beijing, China, November 16-18, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Zeng, Yi. editor.
https://doi.org/10.1007/978-3-319-70772-3
Format: Electronic Resources

High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Kunkel, Julian M. editor.
https://doi.org/10.1007/978-3-319-58667-0
Format: Electronic Resources

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Dou, Yong. editor.
https://doi.org/10.1007/978-3-319-67952-5
Format: Electronic Resources

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Spirakis, Paul. editor.
https://doi.org/10.1007/978-3-319-69084-1
Format: Electronic Resources

Languages and Compilers for Parallel Computing 29th International Workshop, LCPC 2016, Rochester, NY, USA, September 28-30, 2016, Revised Papers

2024-05-14T06:57:27Z

Yazar Ding, Chen. editor.
https://doi.org/10.1007/978-3-319-52709-3
Format: Electronic Resources

Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Blieberger, Johann. editor.
https://doi.org/10.1007/978-3-319-60588-3
Format: Electronic Resources

Detection of Intrusions and Malware, and Vulnerability Assessment 14th International Conference, DIMVA 2017, Bonn, Germany, July 6-7, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Polychronakis, Michalis. editor.
https://doi.org/10.1007/978-3-319-60876-1
Format: Electronic Resources

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

2024-05-14T06:57:27Z

Yazar Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448
https://doi.org/10.1007/978-3-319-66176-6
Format: Electronic Resources

Task Scheduling for Multi-core and Parallel Architectures Challenges, Solutions and Perspectives

2024-05-14T06:57:27Z

Yazar Chen, Quan. author.
https://doi.org/10.1007/978-981-10-6238-4
Format: Electronic Resources

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications

2024-05-14T06:57:27Z

Yazar O'Regan, Gerard. author.
https://doi.org/10.1007/978-3-319-64021-1
Format: Electronic Resources

Privately and Publicly Verifiable Computing Techniques A Survey

2024-05-14T06:57:27Z

Yazar Demirel, Denise. author.
https://doi.org/10.1007/978-3-319-53798-6
Format: Electronic Resources

HCNA Networking Study Guide

2024-05-14T06:57:27Z

Yazar Huawei Technologies Co., Ltd. editor.
http://dx.doi.org/10.1007/978-981-10-1554-0
Format: Electronic Resources

NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings

2024-05-14T06:57:27Z

Yazar Rayadurgam, Sanjai. editor.
http://dx.doi.org/10.1007/978-3-319-40648-0
Format: Electronic Resources

Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Shen, Xipeng. editor.
http://dx.doi.org/10.1007/978-3-319-29778-1
Format: Electronic Resources

Analytical and Stochastic Modelling Techniques and Applications 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings

2024-05-14T06:57:27Z

Yazar Wittevrongel, Sabine. editor.
http://dx.doi.org/10.1007/978-3-319-43904-4
Format: Electronic Resources

Transactions on Modularity and Composition I

2024-05-14T06:57:27Z

Yazar Chiba, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-319-46969-0
Format: Electronic Resources

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

2024-05-14T06:57:27Z

Yazar Träff, Jesper Larsson. editor.
http://dx.doi.org/10.1007/978-3-662-48096-0
Format: Electronic Resources

Trusted Systems 6th International Conference, INTRUST 2014, Beijing, China, December 16-17, 2014, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Yung, Moti. editor.
http://dx.doi.org/10.1007/978-3-319-27998-5
Format: Electronic Resources

Design and Implementation of the MTX Operating System

2024-05-14T06:57:27Z

Yazar Wang, K. C. author.
http://dx.doi.org/10.1007/978-3-319-17575-1
Format: Electronic Resources

NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

2024-05-14T06:57:27Z

Yazar Havelund, Klaus. editor.
http://dx.doi.org/10.1007/978-3-319-17524-9
Format: Electronic Resources

Advanced Parallel Processing Technologies 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings

2024-05-14T06:57:27Z

Yazar Chen, Yunji. editor.
http://dx.doi.org/10.1007/978-3-319-23216-4
Format: Electronic Resources

Quality-aware Scheduling for Key-value Data Stores

2024-05-14T06:57:27Z

Yazar Xu, Chen. author.
http://dx.doi.org/10.1007/978-3-662-47306-1
Format: Electronic Resources

In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Jagatheesan, Arun. editor.
http://dx.doi.org/10.1007/978-3-319-13960-9
Format: Electronic Resources

Languages and Compilers for Parallel Computing 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Brodman, James. editor.
http://dx.doi.org/10.1007/978-3-319-17473-0
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings

2024-05-14T06:57:27Z

Yazar Pinho, Luís Miguel Pinho. editor.
http://dx.doi.org/10.1007/978-3-319-16086-3
Format: Electronic Resources

Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-05-14T06:57:27Z

Yazar Cohen, Albert. editor.
http://dx.doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources

Architecture of Computing Systems – ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings

2024-05-14T06:57:27Z

Yazar Maehle, Erik. editor.
http://dx.doi.org/10.1007/978-3-319-04891-8
Format: Electronic Resources

Serialization and Persistent Objects Turning Data Structures into Efficient Databases

2024-05-14T06:57:27Z

Yazar Soukup, Jiri. author.
http://dx.doi.org/10.1007/978-3-642-39323-5
Format: Electronic Resources

Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014. Proceedings

2024-05-14T06:57:27Z

Yazar Hsu, Ching-Hsien. editor.
http://dx.doi.org/10.1007/978-3-662-44917-2
Format: Electronic Resources

Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday

2024-05-14T06:57:27Z

Yazar Agha, Gul. editor.
http://dx.doi.org/10.1007/978-3-662-44471-9
Format: Electronic Resources

Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Desai, Narayan. editor.
http://dx.doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources

Embedded Operating Systems A Practical Approach

2024-05-14T06:57:27Z

Yazar Holt, Alan. author.
http://dx.doi.org/10.1007/978-1-4471-6603-0
Format: Electronic Resources

Smart Grid Security Second International Workshop, SmartGridSec 2014, Munich, Germany, February 26, 2014, Revised Selected Papers

2024-05-14T06:57:27Z

Yazar Cuellar, Jorge. editor.
http://dx.doi.org/10.1007/978-3-319-10329-7
Format: Electronic Resources

NASA Formal Methods 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings

2024-05-14T06:57:27Z

Yazar Badger, Julia M. editor.
http://dx.doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources

Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings

2024-05-14T06:57:27Z

Yazar Silva, Fernando. editor.
http://dx.doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014. Proceedings

2024-05-14T06:57:27Z

Yazar Mellouk, Abdelhamid. editor.
http://dx.doi.org/10.1007/978-3-319-13174-0
Format: Electronic Resources