Search Results for Operating. - Narrowed by: SpringerLink (Online service)

Embedded and Real-Time Operating Systems

2024-09-20T04:10:32Z

Author Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number XX(520615.1)
Electronic Access https://doi.org/10.1007/978-3-031-28701-5
Format: Electronic Resources
Availability Online Library~1

Embedded Operating Systems A Practical Approach

2024-09-20T04:10:32Z

Author Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72977-0
Format: Electronic Resources
Availability Online Library~1

Interrupt Handling Schemes in Operating Systems

2024-09-20T04:10:32Z

Author Mejia-Alvarez, Pedro. author. Leyva-del-Foyo, Luis Eduardo. author. Diaz-Ramirez, Arnaldo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94493-7
Format: Electronic Resources
Availability Online Library~1

Embedded Operating Systems A Practical Approach

2024-09-20T04:10:32Z

Author Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-6603-0
Format: Electronic Resources
Availability Online Library~1

Formal Refinement for Operating System Kernels

2024-09-20T04:10:32Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-967-5
Format: Electronic Resources
Availability Online Library~1

Formal Models of Operating System Kernels

2024-09-20T04:10:32Z

Author Craig, Iain D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-718-3
Format: Electronic Resources
Availability Online Library~1

The SAGES Manual Operating Through the Endoscope

2024-09-20T04:10:32Z

Author Kroh, Matthew. editor. Docimo Jr., Salvatore. editor. El Djouzi, Sofiane. editor. Shada, Amber. editor. Reavis, Kevin M. editor.
Preferred Shelf Number XX(521615.1)
Electronic Access https://doi.org/10.1007/978-3-031-21044-0
Format: Electronic Resources
Availability Online Library~1

Expertise in the Operating Room Logistics, Fundamentals and Nuances

2024-09-20T04:10:32Z

Author Yaremchuk, Michael. editor. Serebrakian, Arman T. editor. Pickrell, Brent B. editor. Paniss, Julianna. editor. Bailin, Michael T. editor.
Preferred Shelf Number XX(521911.1)
Electronic Access https://doi.org/10.1007/978-3-031-30835-2
Format: Electronic Resources
Availability Online Library~1

Sociomaterial Practices in Medical Work An Ethnography in the Operating Room

2024-09-20T04:10:32Z

Author Bruni, Attila. author. SpringerLink (Online service)
Preferred Shelf Number XX(522118.1)
Electronic Access https://doi.org/10.1007/978-3-031-44804-1
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings

2024-09-20T04:10:32Z

Author Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520676.1)
Electronic Access https://doi.org/10.1007/978-3-031-34497-8
Format: Electronic Resources
Availability Online Library~1

OR 2.0 Context-Aware Operating Theaters and Machine Learning in Clinical Neuroimaging Second International Workshop, OR 2.0 2019, and Second International Workshop, MLCN 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings

2024-09-20T04:10:32Z

Author Zhou, Luping. editor. Sarikaya, Duygu. editor. (orcid)0000-0002-2083-4999 Kia, Seyed Mostafa. editor. (orcid)0000-0002-7128-814X Speidel, Stefanie. editor. (orcid)0000-0002-4590-1908 Malpani, Anand. editor. (orcid)0000-0001-9477-9403
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32695-1
Format: Electronic Resources
Availability Online Library~1

Operating Systems for Supercomputers and High Performance Computing

2024-09-20T04:10:32Z

Author Gerofi, Balazs. editor. Ishikawa, Yutaka. editor. Riesen, Rolf. editor. Wisniewski, Robert W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-6624-6
Format: Electronic Resources
Availability Online Library~1

OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, and Skin Image Analysis First International Workshop, OR 2.0 2018, 5th International Workshop, CARE 2018, 7th International Workshop, CLIP 2018, Third International Workshop, ISIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 and 20, 2018, Proceedings

2024-09-20T04:10:32Z

Author Stoyanov, Danail. editor. Taylor, Zeike. editor. Sarikaya, Duygu. editor. McLeod, Jonathan. editor. González Ballester, Miguel Angel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01201-4
Format: Electronic Resources
Availability Online Library~1

Imaging and Visualization in The Modern Operating Room A Comprehensive Guide for Physicians

2024-09-20T04:10:32Z

Author Fong, Yuman. editor. Giulianotti, Pier Cristoforo. editor. Lewis, Jason. editor. Groot Koerkamp, Bas. editor. Reiner, Thomas. editor.
Preferred Shelf Number XX(519356.1)
Electronic Access https://doi.org/10.1007/978-1-4939-2326-7
Format: Electronic Resources
Availability Online Library~1

Pediatric Sedation Outside of the Operating Room A Multispecialty International Collaboration

2024-09-20T04:10:32Z

Author Mason, Keira P. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519517.1)
Electronic Access https://doi.org/10.1007/978-1-4939-1390-9
Format: Electronic Resources
Availability Online Library~1

Design and Implementation of the MTX Operating System

2024-09-20T04:10:32Z

Author Wang, K. C. author. SpringerLink (Online service)
Preferred Shelf Number XX(518558.1)
Electronic Access https://doi.org/10.1007/978-3-319-17575-1
Format: Electronic Resources
Availability Online Library~1

Environmental Systems Studies A Macroscope for Understanding and Operating Spaceship Earth

2024-09-20T04:10:32Z

Author Imura, Hidefumi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335387.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54126-4
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012, Revised Selected Papers

2024-09-20T04:10:32Z

Author Borcea, Cristian. editor. Bellavista, Paolo. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. Schreiner, Florian. editor.
Preferred Shelf Number ONLINE(334259.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36660-4
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

2024-09-20T04:10:32Z

Author Venkatasubramanian, Nalini. editor. Getov, Vladimir. editor. Steglich, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30607-5
Format: Electronic Resources
Availability Online Library~1

Pediatric Sedation Outside of the Operating Room A Multispecialty International Collaboration

2024-09-20T04:10:32Z

Author Mason, Keira P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-09714-5
Format: Electronic Resources
Availability Online Library~1

Commercial-Industrial Cleaning, by Pressure-Washing, Hydro-Blasting and UHP-Jetting The Business Operating Model and How-To Manual for 450 Specific Applications

2024-09-20T04:10:32Z

Author Maasberg, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-835-5
Format: Electronic Resources
Availability Online Library~1

UNIX Operating System The Development Tutorial via UNIX Kernel Services

2024-09-20T04:10:32Z

Author Liu, Yukun. author. Yue, Yong. author. Guo, Liwei. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20432-6
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers

2024-09-20T04:10:32Z

Author Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17758-3
Format: Electronic Resources
Availability Online Library~1

MobileWireless Middleware, Operating Systems, and Applications Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009 Proceedings

2024-09-20T04:10:32Z

Author Bonnin, Jean-Marie. editor. Giannelli, Carlo. editor. Magedanz, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01802-2
Format: Electronic Resources
Availability Online Library~1

Mobile Wireless Middleware, Operating Systems, and Applications - Workshops Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers

2024-09-20T04:10:32Z

Author Hesselman, Cristian. editor. Giannelli, Carlo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03569-2
Format: Electronic Resources
Availability Online Library~1

Comparative Analyses of Operating Hours and Working Times in the European Union

2024-09-20T04:10:32Z

Author Smith, Mark. editor. Cette, Gilbert. editor. Bauer, Frank. editor. Delsen, Lei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-2185-7
Format: Electronic Resources
Availability Online Library~1

Advanced Materials and Structures for Extreme Operating Conditions

2024-09-20T04:10:32Z

Author Skrzypek, Jacek J. author. Ganczarski, Artur W. author. Egner, Halina. author. Rustichelli, Franco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74300-2
Format: Electronic Resources
Availability Online Library~1

Introduction to Operating System Design and Implementation The OSP 2 Approach

2024-09-20T04:10:32Z

Author Kifer, Michael. author. Smolka, Scott A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-843-6
Format: Electronic Resources
Availability Online Library~1

Operating Hours and Working Times A Survey of Capacity Utilisation and Employment in the European Union

2024-09-20T04:10:32Z

Author Delsen, Lei. editor. Bosworth, Derek. editor. Groß, Hermann. editor. Muñoz de Bustillo y Llorente, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-1760-7
Format: Electronic Resources
Availability Online Library~1

Colorectal Surgery Living Pathology in the Operating Room

2024-09-20T04:10:32Z

Author Killingback, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-36941-4
Format: Electronic Resources
Availability Online Library~1

Science and Technology of Semiconductor-On-Insulator Structures and Devices Operating in a Harsh Environment Proceedings of the NATO Advanced Research Workshop on Science and Technology of Semiconductor-On-Insulator Structures and Devices Operating in a Harsh Environment Kiev, Ukraine 26–30 April 2004

2024-09-20T04:10:32Z

Author Flandre, Denis. editor. Nazarov, Alexei N. editor. Hemment, Peter L.F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3013-4
Format: Electronic Resources
Availability Online Library~1

IoT Edge Solutions for Cognitive Buildings

2024-09-20T04:10:32Z

Author Cicirelli, Franco. editor. Guerrieri, Antonio. editor. Vinci, Andrea. editor. Spezzano, Giandomenico. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520175.1)
Electronic Access https://doi.org/10.1007/978-3-031-15160-6
Format: Electronic Resources
Availability Online Library~1

Cognitive Security A System-Scientific Approach

2024-09-20T04:10:32Z

Author Huang, Linan. author. Zhu, Quanyan. author. SpringerLink (Online service)
Preferred Shelf Number XX(520429.1)
Electronic Access https://doi.org/10.1007/978-3-031-30709-6
Format: Electronic Resources
Availability Online Library~1

E-Business. Digital Empowerment for an Intelligent Future 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26-28, 2023, Proceedings, Part II

2024-09-20T04:10:32Z

Author Tu, Yiliu. editor. (orcid) Chi, Maomao. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520575.1)
Electronic Access https://doi.org/10.1007/978-3-031-32302-7
Format: Electronic Resources
Availability Online Library~1

Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

2024-09-20T04:10:32Z

Author Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520865.1)
Electronic Access https://doi.org/10.1007/978-3-031-32808-4
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems 36th International Conference, ARCS 2023, Athens, Greece, June 13-15, 2023, Proceedings

2024-09-20T04:10:32Z

Author Goumas, Georgios. editor. Tomforde, Sven. editor. Brehm, Jürgen. editor. Wildermann, Stefan. editor. Pionteck, Thilo. editor.
Preferred Shelf Number XX(520879.1)
Electronic Access https://doi.org/10.1007/978-3-031-42785-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2024-09-20T04:10:32Z

Author Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520889.1)
Electronic Access https://doi.org/10.1007/978-3-031-27481-7
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

2024-09-20T04:10:32Z

Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number XX(521137.1)
Electronic Access https://doi.org/10.1007/978-3-031-40953-0
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 19th International Symposium, ARC 2023, Cottbus, Germany, September 27-29, 2023, Proceedings

2024-09-20T04:10:32Z

Author Palumbo, Francesca. editor. Keramidas, Georgios. editor. Voros, Nikolaos. editor. Diniz, Pedro C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521144.1)
Electronic Access https://doi.org/10.1007/978-3-031-42921-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V

2024-09-20T04:10:32Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521247.1)
Electronic Access https://doi.org/10.1007/978-981-99-6495-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I

2024-09-20T04:10:32Z

Author Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number XX(521252.1)
Electronic Access https://doi.org/10.1007/978-981-99-6483-3
Format: Electronic Resources
Availability Online Library~1

Kidney Transplantation Step-by-Step Surgical Techniques

2024-09-20T04:10:32Z

Author Baranski, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number XX(521479.1)
Electronic Access https://doi.org/10.1007/978-3-030-75886-8
Format: Electronic Resources
Availability Online Library~1

The High-risk Surgical Patient

2024-09-20T04:10:32Z

Author Aseni, Paolo. editor. Grande, Antonino Massimiliano. editor. Leppäniemi, Ari. editor. Chiara, Osvaldo. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521568.1)
Electronic Access https://doi.org/10.1007/978-3-031-17273-1
Format: Electronic Resources
Availability Online Library~1

Expeditionary Surgery at Sea A Practical Approach

2024-09-20T04:10:32Z

Author Tadlock, Matthew D. editor. Hernandez, Amy A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521621.1)
Electronic Access https://doi.org/10.1007/978-3-031-21893-4
Format: Electronic Resources
Availability Online Library~1

Neonatal Anesthesia

2024-09-20T04:10:32Z

Author Lerman, Jerrold. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521684.1)
Electronic Access https://doi.org/10.1007/978-3-031-25358-4
Format: Electronic Resources
Availability Online Library~1

Imaging and Technology in Urology

2024-09-20T04:10:32Z

Author Tolofari, Sotonye. editor. Moon, Dora. editor. Starmer, Benjamin. editor. Payne, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521791.1)
Electronic Access https://doi.org/10.1007/978-3-031-26058-2
Format: Electronic Resources
Availability Online Library~1

The New Science of Medicine & Management A Comprehensive, Case-Based Guide for Clinical Leaders

2024-09-20T04:10:32Z

Author Chilingerian, Jon A. editor. Shobeiri, S. Abbas. editor. Talamini, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521855.1)
Electronic Access https://doi.org/10.1007/978-3-031-26510-5
Format: Electronic Resources
Availability Online Library~1

Global Surgery How to Work and Teach in Low- and Middle-Income Countries

2024-09-20T04:10:32Z

Author Hardy, Mark A. editor. Hochman, Beth R. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521856.1)
Electronic Access https://doi.org/10.1007/978-3-031-28127-3
Format: Electronic Resources
Availability Online Library~1

Global Neurosurgery A Reflection from a Life in the Field

2024-09-20T04:10:32Z

Author Dempsey, Robert J. author. SpringerLink (Online service)
Preferred Shelf Number XX(521908.1)
Electronic Access https://doi.org/10.1007/978-3-031-41049-9
Format: Electronic Resources
Availability Online Library~1

Pediatric Robotic Surgery

2024-09-20T04:10:32Z

Author Shu, Qiang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521969.1)
Electronic Access https://doi.org/10.1007/978-981-19-9693-1
Format: Electronic Resources
Availability Online Library~1

Fluorescence-Guided Surgery From Lab to Operation Room

2024-09-20T04:10:32Z

Author Ishizawa, Takeaki. editor. SpringerLink (Online service)
Preferred Shelf Number XX(522025.1)
Electronic Access https://doi.org/10.1007/978-981-19-7372-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Anesthesiology

2024-09-20T04:10:32Z

Author Xia, Ming. editor. Jiang, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number XX(522075.1)
Electronic Access https://doi.org/10.1007/978-981-99-5925-9
Format: Electronic Resources
Availability Online Library~1

Monitoring Tools for Setting up the Hospital Project Initial Planning, Building and Equipment

2024-09-20T04:10:32Z

Author Garg, Ajay. author. SpringerLink (Online service)
Preferred Shelf Number XX(522107.1)
Electronic Access https://doi.org/10.1007/978-981-99-6203-7
Format: Electronic Resources
Availability Online Library~1

The Funnel: From the Skull Base to the Sacrum New Trends, Technologies and Strategies

2024-09-20T04:10:32Z

Author Visocchi, Massimiliano. editor. SpringerLink (Online service)
Preferred Shelf Number XX(522139.1)
Electronic Access https://doi.org/10.1007/978-3-031-36084-8
Format: Electronic Resources
Availability Online Library~1

Surgical Treatment of Chronic Constrictive Pericarditis

2024-09-20T04:10:32Z

Author Chowdhury, Ujjwal K. author. Sankhyan, Lakshmi Kumari. author. SpringerLink (Online service)
Preferred Shelf Number XX(522143.1)
Electronic Access https://doi.org/10.1007/978-981-99-5808-5
Format: Electronic Resources
Availability Online Library~1

Lasers in Dentistry-Current Concepts

2024-09-20T04:10:32Z

Author Coluzzi, Donald J. editor. Parker, Steven P. A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(522164.1)
Electronic Access https://doi.org/10.1007/978-3-031-43338-2
Format: Electronic Resources
Availability Online Library~1

Computer Science - CACIC 2022 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3-6, 2022, Revised Selected Papers

2024-09-20T04:10:32Z

Author Pesado, Patricia. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520411.1)
Electronic Access https://doi.org/10.1007/978-3-031-34147-2
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Cybersecurity Applications

2024-09-20T04:10:32Z

Author Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520552.1)
Electronic Access https://doi.org/10.1007/978-3-031-09640-2
Format: Electronic Resources
Availability Online Library~1

Analysis, Estimations, and Applications of Embedded Systems 6th IFIP TC 10 International Embedded Systems Symposium, IESS 2019, Friedrichshafen, Germany, September 9-11, 2019, Revised Selected Papers

2024-09-20T04:10:32Z

Author Wehrmeister, Marco A. editor. Kreutz, Márcio. editor. Götz, Marcelo. editor. Henkler, Stefan. editor. Pimentel, Andy D. editor.
Preferred Shelf Number XX(520563.1)
Electronic Access https://doi.org/10.1007/978-3-031-26500-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers

2024-09-20T04:10:32Z

Author Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520703.1)
Electronic Access https://doi.org/10.1007/978-3-031-45728-9
Format: Electronic Resources
Availability Online Library~1

Smart Technologies for Sustainable and Resilient Ecosystems 3rd EAI International Conference, Edge-IoT 2022, and 4th EAI International Conference, SmartGov 2022, Virtual Events, November 16-18, 2022, Proceedings

2024-09-20T04:10:32Z

Author Lopes, Sérgio Ivan. editor. Fraga-Lamas, Paula. editor. Fernándes-Camáres, Tiago M. editor. Dawadi, Babu R. editor. Rawat, Danda B. editor.
Preferred Shelf Number XX(520774.1)
Electronic Access https://doi.org/10.1007/978-3-031-35982-8
Format: Electronic Resources
Availability Online Library~1

Mastering Endo-Laparoscopic and Thoracoscopic Surgery ELSA Manual

2024-09-20T04:10:32Z

Author Lomanto, Davide. editor. Chen, William Tzu-Liang. editor. Fuentes, Marilou B. editor. SpringerLink (Online service)
Preferred Shelf Number XX(521422.1)
Electronic Access https://doi.org/10.1007/978-981-19-3755-2
Format: Electronic Resources
Availability Online Library~1

Distributed Computing by Mobile Entities Current Research in Moving and Computing

2024-09-20T04:10:32Z

Author Flocchini, Paola. editor. Prencipe, Giuseppe. editor. Santoro, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-11072-7
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 16th IFIP WG 10.3 International Conference, NPC 2019, Hohhot, China, August 23–24, 2019, Proceedings

2024-09-20T04:10:32Z

Author Tang, Xiaoxin. editor. Chen, Quan. editor. Bose, Pradip. editor. Zheng, Weiming. editor. Gaudiot, Jean-Luc. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30709-7
Format: Electronic Resources
Availability Online Library~1

Supercomputing 10th International Conference on Supercomputing in Mexico, ISUM 2019, Monterrey, Mexico, March 25–29, 2019, Revised Selected Papers

2024-09-20T04:10:32Z

Author Torres, Moisés. editor. (orcid)0000-0003-4877-3443 Klapp, Jaime. editor. (orcid)0000-0003-1828-9183 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-38043-4
Format: Electronic Resources
Availability Online Library~1

Biomimetic and Biohybrid Systems 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings

2024-09-20T04:10:32Z

Author Martinez-Hernandez, Uriel. editor. (orcid)0000-0002-9922-7912 Vouloutsi, Vasiliki. editor. (orcid)0000-0001-6425-1026 Mura, Anna. editor. Mangan, Michael. editor. (orcid)0000-0002-0293-8874 Asada, Minoru. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24741-6
Format: Electronic Resources
Availability Online Library~1

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

2024-09-20T04:10:32Z

Author Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18506-0
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design 10th International Workshop, COSADE 2019, Darmstadt, Germany, April 3–5, 2019, Proceedings

2024-09-20T04:10:32Z

Author Polian, Ilia. editor. (orcid)0000-0002-6563-2725 Stöttinger, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16350-1
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author MacIntyre, John. editor. Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X Iliadis, Lazaros. editor. Pimenidis, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-19909-8
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers

2024-09-20T04:10:32Z

Author Maniatakos, Michail. editor. (orcid)0000-0001-6899-0651 Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Sonza Reorda, Matteo. editor. (orcid)0000-0003-2899-7669 Ugurdag, H. Fatih. editor. (orcid)0000-0002-6256-0850 Monteiro, José. editor. (orcid)0000-0003-0603-2268
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15663-3
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Strous, Leon. editor. Cerf, Vinton G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-15651-0
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2018: Parallel Processing Workshops Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers

2024-09-20T04:10:32Z

Author Mencagli, Gabriele. editor. B. Heras, Dora. editor. Cardellini, Valeria. editor. Casalicchio, Emiliano. editor. Jeannot, Emmanuel. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-10549-5
Format: Electronic Resources
Availability Online Library~1

Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings

2024-09-20T04:10:32Z

Author Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17227-5
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 16th International Conference, GECON 2019, Leeds, UK, September 17–19, 2019, Proceedings

2024-09-20T04:10:32Z

Author Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 Agmon Ben-Yehuda, Orna. editor. (orcid)0000-0002-6699-8999 Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36027-6
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings

2024-09-20T04:10:32Z

Author Yew, Pen-Chung. editor. Stenström, Per. editor. (orcid)0000-0002-7441-8245 Wu, Junjie. editor. Gong, Xiaoli. editor. Li, Tao. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29611-7
Format: Electronic Resources
Availability Online Library~1

Creativity in Intelligent Technologies and Data Science Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II

2024-09-20T04:10:32Z

Author Kravets, Alla G. editor. (orcid)0000-0003-1675-8652 Groumpos, Peter P. editor. (orcid)0000-0002-0110-2696 Shcherbakov, Maxim. editor. (orcid)0000-0001-7173-4499 Kultsova, Marina. editor. (orcid)0000-0002-2584-431X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-29750-3
Format: Electronic Resources
Availability Online Library~1

OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings

2024-09-20T04:10:32Z

Author Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28596-8
Format: Electronic Resources
Availability Online Library~1

Transactions on High-Performance Embedded Architectures and Compilers V

2024-09-20T04:10:32Z

Author Silvano, Cristina. editor. (orcid)0000-0003-1668-0883 Bertels, Koen. editor. (orcid)0000-0001-9310-4885 Schulte, Michael. editor. (orcid)0000-0002-0213-4155 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58834-5
Format: Electronic Resources
Availability Online Library~1

Information Processing in Medical Imaging 26th International Conference, IPMI 2019, Hong Kong, China, June 2–7, 2019, Proceedings

2024-09-20T04:10:32Z

Author Chung, Albert C. S. editor. (orcid)0000-0003-4400-9261 Gee, James C. editor. (orcid)0000-0002-2258-0187 Yushkevich, Paul A. editor. (orcid)0000-0001-8543-4016 Bao, Siqi. editor. (orcid)0000-0003-3885-125X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20351-1
Format: Electronic Resources
Availability Online Library~1

Searchable Storage in Cloud Computing

2024-09-20T04:10:32Z

Author Hua, Yu. author. Liu, Xue. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2721-6
Format: Electronic Resources
Availability Online Library~1

High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet

2024-09-20T04:10:32Z

Author Kołodziej, Joanna. editor. (orcid)0000-0002-5181-8713 González-Vélez, Horacio. editor. (orcid)0000-0003-0241-6053 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16272-6
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

2024-09-20T04:10:32Z

Author Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580 Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22397-7
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2019 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings

2024-09-20T04:10:32Z

Author Schoeberl, Martin. editor. Hochberger, Christian. editor. Uhrig, Sascha. editor. Brehm, Jürgen. editor. Pionteck, Thilo. editor. (orcid)0000-0001-6518-1226
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-18656-2
Format: Electronic Resources
Availability Online Library~1

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

2024-09-20T04:10:32Z

Author Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Aderholdt, Ferrol. editor. (orcid)0000-0002-4208-6493 Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04918-8
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings

2024-09-20T04:10:32Z

Author Censor-Hillel, Keren. editor. Flammini, Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24922-9
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

2024-09-20T04:10:32Z

Author Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-35225-7
Format: Electronic Resources
Availability Online Library~1

Supercomputing 5th Russian Supercomputing Days, RuSCDays 2019, Moscow, Russia, September 23–24, 2019, Revised Selected Papers

2024-09-20T04:10:32Z

Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-36592-9
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers

2024-09-20T04:10:32Z

Author Bombieri, Nicola. editor. Pravadelli, Graziano. editor. Fujita, Masahiro. editor. Austin, Todd. editor. Reis, Ricardo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23425-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence XXVIII

2024-09-20T04:10:32Z

Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. van den Herik, Jaap. editor. Rocha, Ana Paula. editor. (orcid)0000-0002-8129-9758 Filipe, Joaquim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78301-7
Format: Electronic Resources
Availability Online Library~1

Advanced Maintenance Policies for Shock and Damage Models

2024-09-20T04:10:32Z

Author Zhao, Xufeng. author. Nakagawa, Toshio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-70456-2
Format: Electronic Resources
Availability Online Library~1

Software Fault Detection and Correction: Modeling and Applications

2024-09-20T04:10:32Z

Author Peng, Rui. author. Li, Yan-Fu. author. Liu, Yu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1162-8
Format: Electronic Resources
Availability Online Library~1

System and Architecture Proceedings of CSI 2015

2024-09-20T04:10:32Z

Author Muttoo, Sunil Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-8533-8
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Li, Chao. editor. Wu, Junjie. editor. (orcid)0000-0001-5951-8988 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2423-9
Format: Electronic Resources
Availability Online Library~1

Guide to Vulnerability Analysis for Computer Networks and Systems An Artificial Intelligence Approach

2024-09-20T04:10:32Z

Author Parkinson, Simon. editor. (orcid)0000-0002-1747-9914 Crampton, Andrew. editor. (orcid)0000-0002-4635-9102 Hill, Richard. editor. (orcid)0000-0003-0105-7730 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92624-7
Format: Electronic Resources
Availability Online Library~1

Greening Video Distribution Networks Energy-Efficient Internet Video Delivery

2024-09-20T04:10:32Z

Author Popescu, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71718-0
Format: Electronic Resources
Availability Online Library~1

Cloud Computing and Service Science 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers

2024-09-20T04:10:32Z

Author Ferguson, Donald. editor. Muñoz, Víctor Méndez. editor. Cardoso, Jorge. editor. Helfert, Markus. editor. Pahl, Claus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94959-8
Format: Electronic Resources
Availability Online Library~1

Data and Energy Integrated Communication Networks A Brief Introduction

2024-09-20T04:10:32Z

Author Hu, Jie. author. Yang, Kun. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-0116-2
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Pires, Luís Ferreira. editor. Hammoudi, Slimane. editor. Selic, Bran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94764-8
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Wang, Meng. editor. Owens, Scott. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89719-6
Format: Electronic Resources
Availability Online Library~1

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-09-20T04:10:32Z

Author Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428 Juckeland, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74896-2
Format: Electronic Resources
Availability Online Library~1

Services – SERVICES 2018 14th World Congress, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25–30, 2018, Proceedings

2024-09-20T04:10:32Z

Author Yang, Alvin. editor. Kantamneni, Siva. editor. (orcid)0000-0002-5729-2898 Li, Ying. editor. Dico, Awel. editor. Chen, Xiangang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94472-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

2024-09-20T04:10:32Z

Author Jarvis, Stephen. editor. Wright, Steven. editor. Hammond, Simon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72971-8
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Technology 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers

2024-09-20T04:10:32Z

Author Bi, Yuanguo. editor. Chen, Gang. editor. Deng, Qingxu. editor. Wang, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-1026-3
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Sun, Yu. editor. Falco, Joe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94568-2
Format: Electronic Resources
Availability Online Library~1

Search-Based Software Engineering 10th International Symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, Proceedings

2024-09-20T04:10:32Z

Author Colanzi, Thelma Elita. editor. (orcid)0000-0001-9761-1999 McMinn, Phil. editor. (orcid)0000-0001-9137-7433 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99241-9
Format: Electronic Resources
Availability Online Library~1

Structural Information and Communication Complexity 25th International Colloquium, SIROCCO 2018, Ma'ale HaHamisha, Israel, June 18-21, 2018, Revised Selected Papers

2024-09-20T04:10:32Z

Author Lotker, Zvi. editor. Patt-Shamir, Boaz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01325-7
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science XXXIII

2024-09-20T04:10:32Z

Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58039-4
Format: Electronic Resources
Availability Online Library~1

Crossbar-Based Interconnection Networks Blocking, Scalability, and Reliability

2024-09-20T04:10:32Z

Author Jahanshahi, Mohsen. author. Bistouni, Fathollah. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78473-1
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05051-1
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

2024-09-20T04:10:32Z

Author Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05677-3
Format: Electronic Resources
Availability Online Library~1

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVII

2024-09-20T04:10:32Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-57932-9
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings

2024-09-20T04:10:32Z

Author Izumi, Taisuke. editor. Kuznetsov, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03232-6
Format: Electronic Resources
Availability Online Library~1

Silicon Photonics & High Performance Computing Proceedings of CSI 2015

2024-09-20T04:10:32Z

Author Mishra, Anurag. editor. Basu, Anirban. editor. Tyagi, Vipin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7656-5
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhang, Chengyi. editor. Zhu, Zhenzhen. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7844-6
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author ASC Community. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-3731-3
Format: Electronic Resources
Availability Online Library~1

The Hardware Trojan War Attacks, Myths, and Defenses

2024-09-20T04:10:32Z

Author Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68511-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2024-09-20T04:10:32Z

Author Clarke, Edmund M. editor. Henzinger, Thomas A. editor. Veith, Helmut. editor. Bloem, Roderick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10575-8
Format: Electronic Resources
Availability Online Library~1

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-09-20T04:10:32Z

Author Baier, Christel. editor. Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92612-4
Format: Electronic Resources
Availability Online Library~1

High-level Estimation and Exploration of Reliability for Multi-Processor System-on-Chip

2024-09-20T04:10:32Z

Author Wang, Zheng. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-1073-6
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Heras, Dora B. editor. Bougé, Luc. editor. Mencagli, Gabriele. editor. Jeannot, Emmanuel. editor. Sakellariou, Rizos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75178-8
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Keyes, David. editor. Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92040-5
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Dinur, Itai. editor. Dolev, Shlomi. editor. Lodha, Sachin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94147-9
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Hameurlain, Abdelkader. editor. Wagner, Roland. editor. Benslimane, Djamal. editor. (orcid)0000-0001-5700-8060 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Grosky, William I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58415-6
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Bailey, Michael. editor. Holz, Thorsten. editor. (orcid)0000-0002-2783-1264 Stamatogiannakis, Manolis. editor. (orcid)0000-0002-5527-8726 Ioannidis, Sotiris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00470-5
Format: Electronic Resources
Availability Online Library~1

Systems Programming in Unix/Linux

2024-09-20T04:10:32Z

Author Wang, K.C. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92429-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency XIII

2024-09-20T04:10:32Z

Author Koutny, Maciej. editor. Kristensen, Lars Michael. editor. Penczek, Wojciech. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58381-4
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99673-8
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Fortino, Giancarlo. editor. Ali, A.B.M. Shawkat. editor. Pathan, Mukaddim. editor. Guerrieri, Antonio. editor. Di Fatta, Giuseppe. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97795-9
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 16th International Conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, Proceedings

2024-09-20T04:10:32Z

Author Pahl, Claus. editor. Vukovic, Maja. editor. Yin, Jianwei. editor. Yu, Qi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03596-9
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Itsykson, Vladimir. editor. Scedrov, Andre. editor. Zakharov, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71734-0
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Berekovic, Mladen. editor. Buchty, Rainer. editor. Hamann, Heiko. editor. Koch, Dirk. editor. Pionteck, Thilo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77610-1
Format: Electronic Resources
Availability Online Library~1

Performance gaps of machines A process oriented approach

2024-09-20T04:10:32Z

Author Nüßer, Wilhelm. author. Steckel, Thilo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56446-2
Format: Electronic Resources
Availability Online Library~1

Safety-Critical Electrical Drives Topologies, Reliability, Performance

2024-09-20T04:10:32Z

Author Bolvashenkov, Igor. author. Herzog, Hans-Georg. author. Frenkel, Ilia. author. Khvatskin, Lev. author. Lisnianski, Anatoly. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89969-5
Format: Electronic Resources
Availability Online Library~1

System Dependability Evaluation Including S-dependency and Uncertainty Model-Driven Dependability Analyses

2024-09-20T04:10:32Z

Author Kochs, Hans-Dieter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64991-7
Format: Electronic Resources
Availability Online Library~1

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-09-20T04:10:32Z

Author Di Marzo Serugendo, Giovanna. editor. (orcid)0000-0001-5048-5251 Loreti, Michele. editor. (orcid)0000-0003-3061-863X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92408-3
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings

2024-09-20T04:10:32Z

Author Bonomi, Silvia. editor. Rivière, Etienne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93767-0
Format: Electronic Resources
Availability Online Library~1

5G Wireless Systems Simulation and Evaluation Techniques

2024-09-20T04:10:32Z

Author Yang, Yang. author. Xu, Jing. author. Shi, Guang. author. Wang, Cheng-Xiang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61869-2
Format: Electronic Resources
Availability Online Library~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings

2024-09-20T04:10:32Z

Author van Hoeve, Willem-Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93031-2
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Campilho, Aurélio. editor. Karray, Fakhri. editor. (orcid)0000-0002-4217-1372 ter Haar Romeny, Bart. editor. (orcid)0000-0003-3442-3207 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93000-8
Format: Electronic Resources
Availability Online Library~1

Supercomputing Frontiers 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

2024-09-20T04:10:32Z

Author Yokota, Rio. editor. (orcid)0000-0001-7573-7873 Wu, Weigang. editor. (orcid)0000-0002-4714-7021 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69953-0
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Giuffrida, Cristiano. editor. Bardin, Sébastien. editor. Blanc, Gregory. editor. (orcid)0000-0001-8150-6617 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93411-2
Format: Electronic Resources
Availability Online Library~1

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-09-20T04:10:32Z

Author Rensink, Arend. editor. (orcid)0000-0002-1714-6319 Sánchez Cuadrado, Jesús. editor. (orcid)0000-0001-9755-5616 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93317-7
Format: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2024-09-20T04:10:32Z

Author Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources
Availability Online Library~1

Closing the Gap Between Practice and Research in Industrial Engineering

2024-09-20T04:10:32Z

Author Viles, Elisabeth. editor. Ormazábal, Marta. editor. Lleó, Alvaro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58409-6
Format: Electronic Resources
Availability Online Library~1

Dependable Multicore Architectures at Nanoscale

2024-09-20T04:10:32Z

Author Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54422-9
Format: Electronic Resources
Availability Online Library~1

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

2024-09-20T04:10:32Z

Author Trappl, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518563.1)
Electronic Access https://doi.org/10.1007/978-3-319-21548-8
Format: Electronic Resources
Availability Online Library~1

Advances in Enterprise Engineering IX 5th Enterprise Engineering Working Conference, EEWC 2015, Prague, Czech Republic, June 15-19, 2015, Proceedings

2024-09-20T04:10:32Z

Author Aveiro, David. editor. Pergl, Robert. editor. Valenta, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518564.1)
Electronic Access https://doi.org/10.1007/978-3-319-19297-0
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Image Analysis 7th Iberian Conference, IbPRIA 2015, Santiago de Compostela, Spain, June 17-19, 2015, Proceedings

2024-09-20T04:10:32Z

Author Paredes, Roberto. editor. Cardoso, Jaime S. editor. Pardo, Xosé M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519035.1)
Electronic Access https://doi.org/10.1007/978-3-319-19390-8
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Machine Intelligence 6th International Conference, PReMI 2015, Warsaw, Poland, June 30 - July 3, 2015, Proceedings

2024-09-20T04:10:32Z

Author Kryszkiewicz, Marzena. editor. Bandyopadhyay, Sanghamitra. editor. Rybinski, Henryk. editor. Pal, Sankar K. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519185.1)
Electronic Access https://doi.org/10.1007/978-3-319-19941-2
Format: Electronic Resources
Availability Online Library~1

Pediatric and Congenital Cardiac Care Volume 2: Quality Improvement and Patient Safety

2024-09-20T04:10:32Z

Author Barach, Paul R. editor. Jacobs, Jeffery P. editor. Lipshultz, Steven E. editor. Laussen, Peter C. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519396.1)
Electronic Access https://doi.org/10.1007/978-1-4471-6566-8
Format: Electronic Resources
Availability Online Library~1

Basic Clinical Anesthesia

2024-09-20T04:10:32Z

Author Sikka, Paul K. editor. Beaman, Shawn T. editor. Street, James A. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519420.1)
Electronic Access https://doi.org/10.1007/978-1-4939-1737-2
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Biometrics

2024-09-20T04:10:32Z

Author Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518417.1)
Electronic Access https://doi.org/10.1007/978-1-4899-7488-4
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2014, Beijing, China, November 28-29, 2014, Revised Selected papers

2024-09-20T04:10:32Z

Author Yueming, Lu. editor. Xu, Wu. editor. Xi, Zhang. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518531.1)
Electronic Access https://doi.org/10.1007/978-3-662-47401-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II

2024-09-20T04:10:32Z

Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.
Preferred Shelf Number XX(519299.1)
Electronic Access https://doi.org/10.1007/978-3-319-19369-4
Format: Electronic Resources
Availability Online Library~1

Neonatal Anesthesia

2024-09-20T04:10:32Z

Author Lerman, Jerrold. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519372.1)
Electronic Access https://doi.org/10.1007/978-1-4419-6041-2
Format: Electronic Resources
Availability Online Library~1

Atlas of Knee Arthroscopy

2024-09-20T04:10:32Z

Author Prejbeanu, Radu. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519621.1)
Electronic Access https://doi.org/10.1007/978-1-4471-6593-4
Format: Electronic Resources
Availability Online Library~1

Minimally Invasive Bariatric Surgery

2024-09-20T04:10:32Z

Author Brethauer, Stacy A. editor. Schauer, Philip R. editor. Schirmer, Bruce D. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519523.1)
Electronic Access https://doi.org/10.1007/978-1-4939-1637-5
Format: Electronic Resources
Availability Online Library~1

Ethical Issues in Anesthesiology and Surgery

2024-09-20T04:10:32Z

Author Jericho, Barbara G. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519759.1)
Electronic Access https://doi.org/10.1007/978-3-319-15949-2
Format: Electronic Resources
Availability Online Library~1

Advanced Techniques in Minimally Invasive and Robotic Colorectal Surgery

2024-09-20T04:10:32Z

Author Bardakcioglu, Ovunc. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519771.1)
Electronic Access https://doi.org/10.1007/978-1-4899-7531-7
Format: Electronic Resources
Availability Online Library~1

Technological Advances in Surgery, Trauma and Critical Care

2024-09-20T04:10:32Z

Author Latifi, Rifat. editor. Rhee, Peter. editor. Gruessner, Rainer W.G. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519905.1)
Electronic Access https://doi.org/10.1007/978-1-4939-2671-8
Format: Electronic Resources
Availability Online Library~1

Minimally Invasive Coloproctology Advances in Techniques and Technology

2024-09-20T04:10:32Z

Author Meng, William C S. editor. Cheung, Hester Y S. editor. Lam, David T Y. editor. Ng, Simon S M. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519921.1)
Electronic Access https://doi.org/10.1007/978-3-319-19698-5
Format: Electronic Resources
Availability Online Library~1

Posttraumatic Stress Disorder and Related Diseases in Combat Veterans

2024-09-20T04:10:32Z

Author Ritchie, Elspeth Cameron. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519922.1)
Electronic Access https://doi.org/10.1007/978-3-319-22985-0
Format: Electronic Resources
Availability Online Library~1

Simple and Complex Fractures of the Humerus A Guide to Assessment and Treatment

2024-09-20T04:10:32Z

Author Castoldi, Filippo. editor. Blonna, Davide. editor. Assom, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519928.1)
Electronic Access https://doi.org/10.1007/978-88-470-5307-6
Format: Electronic Resources
Availability Online Library~1

Handbook on Data Centers

2024-09-20T04:10:32Z

Author Khan, Samee U. editor. Zomaya, Albert Y. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518461.1)
Electronic Access https://doi.org/10.1007/978-1-4939-2092-1
Format: Electronic Resources
Availability Online Library~1

Industrial Engineering, Management Science and Applications 2015

2024-09-20T04:10:32Z

Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)
Preferred Shelf Number XX(518706.1)
Electronic Access https://doi.org/10.1007/978-3-662-47200-2
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings

2024-09-20T04:10:32Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519198.1)
Electronic Access https://doi.org/10.1007/978-3-319-24132-6
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43779-7
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04891-8
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Badger, Julia M. editor. Rozier, Kristin Yvonne. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06200-6
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 12th International Conference, WWIC 2014, Paris, France, May 26-28, 2014, Revised Selected Papers

2024-09-20T04:10:32Z

Author Mellouk, Abdelhamid. editor. Fowler, Scott. editor. Daachi, Boubaker. editor. Hoceini, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-13174-0
Format: Electronic Resources
Availability Online Library~1

Serialization and Persistent Objects Turning Data Structures into Efficient Databases

2024-09-20T04:10:32Z

Author Soukup, Jiri. author. Macháček, Petr. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39323-5
Format: Electronic Resources
Availability Online Library~1

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-09-20T04:10:32Z

Author Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54807-9
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10329-7
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44917-2
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Silva, Fernando. editor. Dutra, Inês. editor. Santos Costa, Vitor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09873-9
Format: Electronic Resources
Availability Online Library~1

Recent Trends in the Condition Monitoring of Transformers Theory, Implementation and Analysis

2024-09-20T04:10:32Z

Author Chakravorti, Sivaji. author. Dey, Debangshu. author. Chatterjee, Biswendu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331216.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5550-8
Format: Electronic Resources
Availability Online Library~1

Concise Guide to Databases A Practical Introduction

2024-09-20T04:10:32Z

Author Lake, Peter. author. Crowther, Paul. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331224.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5601-7
Format: Electronic Resources
Availability Online Library~1

Challenges in Mechanics of Time-Dependent Materials and Processes in Conventional and Multifunctional Materials, Volume 2 Proceedings of the 2012 Annual Conference on Experimental and Applied Mechanics

2024-09-20T04:10:32Z

Author Antoun, Bonnie. editor. Qi, H. Jerry. editor. Hall, Richard. editor. Tandon, G.P. editor. Lu, Hongbing. editor.
Preferred Shelf Number ONLINE(331459.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4241-7
Format: Electronic Resources
Availability Online Library~1

Handbook of Neuroevolution Through Erlang

2024-09-20T04:10:32Z

Author Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331512.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Reflections, Challenges and New Directions

2024-09-20T04:10:32Z

Author Pooley, Rob. editor. Coady, Jennifer. editor. Schneider, Christoph. editor. Linger, Henry. editor. Barry, Chris. editor.
Preferred Shelf Number ONLINE(331631.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4951-5
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2024-09-20T04:10:32Z

Author Chemuturi, Murali. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331756.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-5377-2
Format: Electronic Resources
Availability Online Library~1

Finding Source Code on the Web for Remix and Reuse

2024-09-20T04:10:32Z

Author Sim, Susan Elliott. editor. Gallardo-Valencia, Rosalva E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332071.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-6596-6
Format: Electronic Resources
Availability Online Library~1

Sustainable Web Ecosystem Design

2024-09-20T04:10:32Z

Author O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332331.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources
Availability Online Library~1

Polishing of Diamond Materials Mechanisms, Modeling and Implementation

2024-09-20T04:10:32Z

Author Chen, Yiqing. author. Zhang, Liangchi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332581.1)
Electronic Access http://dx.doi.org/10.1007/978-1-84996-408-1
Format: Electronic Resources
Availability Online Library~1

Scala Design Patterns Patterns for Practical Reuse and Design

2024-09-20T04:10:32Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332904.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources
Availability Online Library~1

Trusted Systems 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

2024-09-20T04:10:32Z

Author Bloem, Roderick. editor. Lipp, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332976.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03491-1
Format: Electronic Resources
Availability Online Library~1

Silicone Composite Insulators Materials, Design, Applications

2024-09-20T04:10:32Z

Author O. Papailiou, Konstantin. author. Schmuck, Frank. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-15320-4
Format: Electronic Resources
Availability Online Library~1

Protection of Materials and Structures From the Space Environment

2024-09-20T04:10:32Z

Author Kleiman, Jacob. editor. Tagawa, Masahito. editor. Kimoto, Yugo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333304.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30229-9
Format: Electronic Resources
Availability Online Library~1

Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers

2024-09-20T04:10:32Z

Author Cordeiro, José. editor. Virvou, Maria. editor. Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333246.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29578-2
Format: Electronic Resources
Availability Online Library~1

The Software Industry Economic Principles, Strategies, Perspectives

2024-09-20T04:10:32Z

Author Buxmann, Peter. author. Diefenbach, Heiner. author. Hess, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333443.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31510-7
Format: Electronic Resources
Availability Online Library~1

Surface- and Groundwater Quality Changes in Periods of Water Scarcity

2024-09-20T04:10:32Z

Author Gregor, Miloš. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333547.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32244-0
Format: Electronic Resources
Availability Online Library~1

High Interstitial Stainless Austenitic Steels

2024-09-20T04:10:32Z

Author Berns, Hans. author. Gavriljuk, Valentin. author. Riedner, Sascha. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333741.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33701-7
Format: Electronic Resources
Availability Online Library~1

Laser Drilling Practical Applications

2024-09-20T04:10:32Z

Author Yilbas, Bekir Sami. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333914.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34982-9
Format: Electronic Resources
Availability Online Library~1

Trustworthy Computing and Services International Conference, ISCTCS 2012, Beijing, China, May 28 – June 2, 2012, Revised Selected Papers

2024-09-20T04:10:32Z

Author Yuan, Yuyu. editor. Wu, Xu. editor. Lu, Yueming. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334049.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35795-4
Format: Electronic Resources
Availability Online Library~1

Assurances for Self-Adaptive Systems Principles, Models, and Techniques

2024-09-20T04:10:32Z

Author Cámara, Javier. editor. Lemos, Rogério. editor. Ghezzi, Carlo. editor. Lopes, Antónia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334156.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36249-1
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2013 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings

2024-09-20T04:10:32Z

Author Kubátová, Hana. editor. Hochberger, Christian. editor. Daněk, Martin. editor. Sick, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334200.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36424-2
Format: Electronic Resources
Availability Online Library~1

Passive and Active Measurement 14th International Conference, PAM 2013, Hong Kong, China, March 18-19, 2013. Proceedings

2024-09-20T04:10:32Z

Author Roughan, Matthew. editor. Chang, Rocky. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334223.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36516-4
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2024-09-20T04:10:32Z

Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334236.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources
Availability Online Library~1

Laser Surface Processing and Model Studies

2024-09-20T04:10:32Z

Author Yilbas, Bekir Sami. author. Shuja, Shahzada Zaman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334251.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36629-1
Format: Electronic Resources
Availability Online Library~1

Innovation and Future of Enterprise Information Systems ERP Future 2012 Conference, Salzburg, Austria, November 2012, Revised Papers

2024-09-20T04:10:32Z

Author Piazolo, Felix. editor. Felderer, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334344.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37021-2
Format: Electronic Resources
Availability Online Library~1

Compiler Construction 22nd International Conference, CC 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2024-09-20T04:10:32Z

Author Jhala, Ranjit. editor. Bosschere, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334353.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37051-9
Format: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing 8th International Conference, GPC 2013 and Colocated Workshops, Seoul, Korea, May 9-11, 2013. Proceedings

2024-09-20T04:10:32Z

Author Park, James J. (Jong Hyuk). editor. Arabnia, Hamid R. editor. Kim, Cheonshik. editor. Shi, Weisong. editor. Gil, Joon-Min. editor.
Preferred Shelf Number ONLINE(334517.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38027-3
Format: Electronic Resources
Availability Online Library~1

Smart Grid Security First International Workshop, SmartGridSec 2012, Berlin, Germany, December 3, 2012, Revised Selected Papers

2024-09-20T04:10:32Z

Author Cuellar, Jorge. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334518.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38030-3
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

2024-09-20T04:10:32Z

Author Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38088-4
Format: Electronic Resources
Availability Online Library~1

Supercomputing 28th International Supercomputing Conference, ISC 2013, Leipzig, Germany, June 16-20, 2013. Proceedings

2024-09-20T04:10:32Z

Author Kunkel, Julian Martin. editor. Ludwig, Thomas. editor. Meuer, Hans Werner. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334662.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38750-0
Format: Electronic Resources
Availability Online Library~1

Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings

2024-09-20T04:10:32Z

Author Favaro, John. editor. Morisio, Maurizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334706.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38977-1
Format: Electronic Resources
Availability Online Library~1

Energy Efficiency in Large Scale Distributed Systems COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers

2024-09-20T04:10:32Z

Author Pierson, Jean-Marc. editor. Da Costa, Georges. editor. Dittmann, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334960.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40517-4
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings

2024-09-20T04:10:32Z

Author Hsu, Ching-Hsien. editor. Li, Xiaoming. editor. Shi, Xuanhua. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335013.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40820-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2024-09-20T04:10:32Z

Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources
Availability Online Library~1

Ada 2012 Rationale The Language, The Standard Libraries

2024-09-20T04:10:32Z

Author Barnes, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335195.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45210-9
Format: Electronic Resources
Availability Online Library~1

Advanced Parallel Processing Technologies 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers

2024-09-20T04:10:32Z

Author Wu, Chenggang. editor. Cohen, Albert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335206.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45293-2
Format: Electronic Resources
Availability Online Library~1

Ada 2012 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/2012 (E)

2024-09-20T04:10:32Z

Author Taft, S. Tucker. editor. Duff, Robert A. editor. Brukardt, Randall L. editor. Ploedereder, Erhard. editor. Leroy, Pascal. editor.
Preferred Shelf Number ONLINE(335216.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45419-6
Format: Electronic Resources
Availability Online Library~1

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project

2024-09-20T04:10:32Z

Author Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335577.1)
Electronic Access http://dx.doi.org/10.1007/978-88-470-2772-5
Format: Electronic Resources
Availability Online Library~1

Linux-Unix-Kurzreferenz Für Anwender, Entwickler und Systemadministratoren

2024-09-20T04:10:32Z

Author Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337116.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34724-5
Format: Electronic Resources
Availability Online Library~1

Finite Element Method in Machining Processes

2024-09-20T04:10:32Z

Author Markopoulos, Angelos P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330954.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4330-7
Format: Electronic Resources
Availability Online Library~1

An Introduction to Network Programming with Java Java 7 Compatible

2024-09-20T04:10:32Z

Author Graba, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331180.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5254-5
Format: Electronic Resources
Availability Online Library~1

Fault-Tolerant Design

2024-09-20T04:10:32Z

Author Dubrova, Elena. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331297.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2113-9
Format: Electronic Resources
Availability Online Library~1

Computer Simulation of Thermal Plant Operations

2024-09-20T04:10:32Z

Author O'Kelly, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331461.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4256-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the FISITA 2012 World Automotive Congress Volume 1: Advanced Internal Combustion Engines (I).

2024-09-20T04:10:32Z

Author SAE-China. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333765.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33841-0
Format: Electronic Resources
Availability Online Library~1

Robust Data Mining

2024-09-20T04:10:32Z

Author Xanthopoulos, Petros. author. Pardalos, Panos M. author. Trafalis, Theodore B. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330861.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9878-1
Format: Electronic Resources
Availability Online Library~1

Materials for Nuclear Plants From Safe Design to Residual Life Assessments

2024-09-20T04:10:32Z

Author Hoffelner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330890.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2915-8
Format: Electronic Resources
Availability Online Library~1

Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming Analysis, Simulation and Engineering Applications

2024-09-20T04:10:32Z

Author Hu, Ping. author. Ma, Ning. author. Liu, Li-zhong. author. Zhu, Yi-guo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330905.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4099-3
Format: Electronic Resources
Availability Online Library~1

Privacy and Security for Cloud Computing

2024-09-20T04:10:32Z

Author Pearson, Siani. editor. Yee, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330926.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4189-1
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient High Performance Computing Measurement and Tuning

2024-09-20T04:10:32Z

Author Laros III, James H. author. Pedretti, Kevin. author. Kelly, Suzanne M. author. Shu, Wei. author. Ferreira, Kurt. author.
Preferred Shelf Number ONLINE(330991.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4492-2
Format: Electronic Resources
Availability Online Library~1

Control Performance Management in Industrial Automation Assessment, Diagnosis and Improvement of Control Loop Performance

2024-09-20T04:10:32Z

Author Jelali, Mohieddine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331006.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4546-2
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2024-09-20T04:10:32Z

Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331115.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Electronic Resources
Availability Online Library~1

Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift

2024-09-20T04:10:32Z

Author Paule, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332822.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00966-7
Format: Electronic Resources
Availability Online Library~1

Laser Forming and Welding Processes

2024-09-20T04:10:32Z

Author Yilbas, Bekir Sami. author. Akhtar, Sohail. author. Shuja, Shahzada Zaman. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332824.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-00981-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

2024-09-20T04:10:32Z

Author Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332921.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02444-8
Format: Electronic Resources
Availability Online Library~1

Mechanics of Wood Machining

2024-09-20T04:10:32Z

Author Csanády, Etele. author. Magoss, Endre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333279.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29955-1
Format: Electronic Resources
Availability Online Library~1

Computer Performance Optimization Systems - Applications - Processes

2024-09-20T04:10:32Z

Author Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333281.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-29971-1
Format: Electronic Resources
Availability Online Library~1

Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundations

2024-09-20T04:10:32Z

Author Raynal, Michel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333514.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32027-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Cryptography with Maple

2024-09-20T04:10:32Z

Author Gómez Pardo, José Luis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333533.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32166-5
Format: Electronic Resources
Availability Online Library~1

Industrial Deployment of System Engineering Methods

2024-09-20T04:10:32Z

Author Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333675.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33170-1
Format: Electronic Resources
Availability Online Library~1

Basics of Cutting and Abrasive Processes

2024-09-20T04:10:32Z

Author Toenshoff, Hans Kurt. author. Denkena, Berend. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333687.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33257-9
Format: Electronic Resources
Availability Online Library~1

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-09-20T04:10:32Z

Author Reisig, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-33278-4
Format: Electronic Resources
Availability Online Library~1

Laser Shock Processing of FCC Metals Mechanical Properties and Micro-structural Strengthening Mechanism

2024-09-20T04:10:32Z

Author Zhang, Yongkang. author. Lu, Jinzhong. author. Luo, Kaiyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334027.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35674-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2024-09-20T04:10:32Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers

2024-09-20T04:10:32Z

Author Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334071.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35867-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

2024-09-20T04:10:32Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334077.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35887-6
Format: Electronic Resources
Availability Online Library~1

Facing the Multicore-Challenge III Aspects of New Paradigms and Technologies in Parallel Computing

2024-09-20T04:10:32Z

Author Keller, Rainer. editor. Kramer, David. editor. Weiss, Jan-Philipp. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334079.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35893-7
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers

2024-09-20T04:10:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Preferred Shelf Number ONLINE(334080.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35898-2
Format: Electronic Resources
Availability Online Library~1

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers

2024-09-20T04:10:32Z

Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334096.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35992-7
Format: Electronic Resources
Availability Online Library~1

Topics in Cryptology – CT-RSA 2013 The Cryptographers’ Track at the RSA Conference 2013, San Francisco,CA, USA, February 25-March 1, 2013. Proceedings

2024-09-20T04:10:32Z

Author Dawson, Ed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334122.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36095-4
Format: Electronic Resources
Availability Online Library~1

Manufacturing Processes 4 Forming

2024-09-20T04:10:32Z

Author Klocke, Fritz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334287.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36772-4
Format: Electronic Resources
Availability Online Library~1

Aliasing in Object-Oriented Programming. Types, Analysis and Verification

2024-09-20T04:10:32Z

Author Clarke, Dave. editor. Noble, James. editor. Wrigstad, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334327.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36946-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers

2024-09-20T04:10:32Z

Author Caragiannis, Ioannis. editor. Alexander, Michael. editor. Badia, Rosa Maria. editor. Cannataro, Mario. editor. Costan, Alexandru. editor.
Preferred Shelf Number ONLINE(334328.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36949-0
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2012

2024-09-20T04:10:32Z

Author Cheptsov, Alexey. editor. Brinkmann, Steffen. editor. Gracia, José. editor. Resch, Michael M. editor. Nagel, Wolfgang E. editor.
Preferred Shelf Number ONLINE(334411.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37349-7
Format: Electronic Resources
Availability Online Library~1

Languages and Compilers for Parallel Computing 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers

2024-09-20T04:10:32Z

Author Kasahara, Hironori. editor. Kimura, Keiji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334469.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37658-0
Format: Electronic Resources
Availability Online Library~1

Web Dynpro ABAP for Practitioners

2024-09-20T04:10:32Z

Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334566.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38247-5
Format: Electronic Resources
Availability Online Library~1

Drilling of Polymer-Matrix Composites

2024-09-20T04:10:32Z

Author Krishnaraj, Vijayan. author. Zitoune, Redouane. author. Davim, J. Paulo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334586.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38345-8
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communication 11th International Conference, WWIC 2013, St. Petersburg, Russia, June 5-7, 2013. Proceedings

2024-09-20T04:10:32Z

Author Tsaoussidis, Vassilis. editor. Kassler, Andreas J. editor. Koucheryavy, Yevgeni. editor. Mellouk, Abdelhamid. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334594.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38401-1
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2024-09-20T04:10:32Z

Author Nicola, Rocco. editor. Julien, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334610.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38493-6
Format: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings

2024-09-20T04:10:32Z

Author Lourenço, João M. editor. Farchi, Eitan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334870.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39955-8
Format: Electronic Resources
Availability Online Library~1

Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings

2024-09-20T04:10:32Z

Author Malyshkin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334871.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39958-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2013 Parallel Processing 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings

2024-09-20T04:10:32Z

Author Wolf, Felix. editor. Mohr, Bernd. editor. Mey, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334882.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40047-6
Format: Electronic Resources
Availability Online Library~1

Energy Minimization Methods in Computer Vision and Pattern Recognition 9th International Conference, EMMCVPR 2013, Lund, Sweden, August 19-21, 2013. Proceedings

2024-09-20T04:10:32Z

Author Heyden, Anders. editor. Kahl, Fredrik. editor. Olsson, Carl. editor. Oskarsson, Magnus. editor. Tai, Xue-Cheng. editor.
Preferred Shelf Number ONLINE(334939.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40395-8
Format: Electronic Resources
Availability Online Library~1

Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers

2024-09-20T04:10:32Z

Author Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Preferred Shelf Number ONLINE(335131.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41635-4
Format: Electronic Resources
Availability Online Library~1

Design, Analysis and Test of Logic Circuits Under Uncertainty

2024-09-20T04:10:32Z

Author Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335669.1)
Electronic Access http://dx.doi.org/10.1007/978-90-481-9644-9
Format: Electronic Resources
Availability Online Library~1

Mechanical Properties of Materials

2024-09-20T04:10:32Z

Author Pelleg, Joshua. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335750.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4342-7
Format: Electronic Resources
Availability Online Library~1

IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011

2024-09-20T04:10:32Z

Author Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335821.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-4786-9
Format: Electronic Resources
Availability Online Library~1

Melt Rheology and its Applications in the Plastics Industry

2024-09-20T04:10:32Z

Author Dealy, John M. author. Wang, Jian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336234.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-6395-1
Format: Electronic Resources
Availability Online Library~1

Proceedings of the Institute of Industrial Engineers Asian Conference 2013

2024-09-20T04:10:32Z

Author Lin, Yi-Kuei. editor. Tsao, Yu-Chung. editor. Lin, Shi-Woei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336519.1)
Electronic Access http://dx.doi.org/10.1007/978-981-4451-98-7
Format: Electronic Resources
Availability Online Library~1

Materials Selection and Design

2024-09-20T04:10:32Z

Author Maleque, Md Abdul. author. Salit, Mohd Sapuan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336521.1)
Electronic Access http://dx.doi.org/10.1007/978-981-4560-38-2
Format: Electronic Resources
Availability Online Library~1

Keine Angst vor Linux/Unix Ein Lehrbuch für Linux- und Unix-Anwender

2024-09-20T04:10:32Z

Author Wolfinger, Christine. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337045.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-32079-8
Format: Electronic Resources
Availability Online Library~1

Grundkurs Betriebssysteme Architekturen, Betriebsmittelverwaltung, Synchronisation, Prozesskommunikation

2024-09-20T04:10:32Z

Author Mandl, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338350.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2301-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Science, Engineering and Management 6th International Conference, KSEM 2013, Dalian, China, August 10-12, 2013. Proceedings

2024-09-20T04:10:32Z

Author Wang, Mingzheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334849.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39787-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers

2024-09-20T04:10:32Z

Author Aichernig, Bernhard K. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25271-6
Format: Electronic Resources
Availability Online Library~1

Search Based Software Engineering 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings

2024-09-20T04:10:32Z

Author Fraser, Gordon. editor. Teixeira de Souza, Jerffeson. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33119-0
Format: Electronic Resources
Availability Online Library~1

Research in Attacks, Intrusions, and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012. Proceedings

2024-09-20T04:10:32Z

Author Balzarotti, Davide. editor. Stolfo, Salvatore J. editor. Cova, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33338-5
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Chessa, Stefano. editor. Knauth, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33533-4
Format: Electronic Resources
Availability Online Library~1

Computer Network Security 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

2024-09-20T04:10:32Z

Author Kotenko, Igor. editor. Skormin, Victor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33704-8
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers

2024-09-20T04:10:32Z

Author Korakis, Thanasis. editor. Zink, Michael. editor. Ott, Maximilian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35576-9
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing 9th IFIP International Conference, NPC 2012, Gwangju, Korea, September 6-8, 2012. Proceedings

2024-09-20T04:10:32Z

Author Park, James J. editor. Zomaya, Albert. editor. Yeo, Sang-Soo. editor. Sahni, Sartaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35606-3
Format: Electronic Resources
Availability Online Library~1

Test and Diagnosis for Small-Delay Defects

2024-09-20T04:10:32Z

Author Tehranipoor, Mohammad. author. Peng, Ke. author. Chakrabarty, Krishnendu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8297-1
Format: Electronic Resources
Availability Online Library~1

Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services

2024-09-20T04:10:32Z

Author Birman, Kenneth P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2416-0
Format: Electronic Resources
Availability Online Library~1

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

2024-09-20T04:10:32Z

Author Czernohous, Christoph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68426-8
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management and Autonomous Spontaneus Security 6th International Workshop, DPM 2011, and 4th International Workshop, SETOP 2011, Leuven, Belgium, September 15-16, 2011, Revised Selected Papers

2024-09-20T04:10:32Z

Author Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cuppens-Boulahia, Nora. editor. Capitani di Vimercati, Sabrina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28879-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

2024-09-20T04:10:32Z

Author Goodloe, Alwyn E. editor. Person, Suzette. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28891-3
Format: Electronic Resources
Availability Online Library~1

Dependable Networks and Services 6th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2012, Luxembourg, Luxembourg, June 4-8, 2012. Proceedings

2024-09-20T04:10:32Z

Author Sadre, Ramin. editor. Novotný, Jiří. editor. Čeleda, Pavel. editor. Waldburger, Martin. editor. Stiller, Burkhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30633-4
Format: Electronic Resources
Availability Online Library~1

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

2024-09-20T04:10:32Z

Author Brunst, Holger. editor. Müller, Matthias S. editor. Nagel, Wolfgang E. editor. Resch, Michael M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31476-6
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 7th International ICST Conference, SecureComm 2011, London, UK, September 7-9, 2011, Revised Selected Papers

2024-09-20T04:10:32Z

Author Rajarajan, Muttukrishnan. editor. Piper, Fred. editor. Wang, Haining. editor. Kesidis, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31909-9
Format: Electronic Resources
Availability Online Library~1

Performance-Optimierung Systeme, Anwendungen, Geschäftsprozesse

2024-09-20T04:10:32Z

Author Osterhage, Wolfgang W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17190-1
Format: Electronic Resources
Availability Online Library~1

Architecture of Computing Systems – ARCS 2012 25th International Conference, Munich, Germany, February 28 - March 2, 2012. Proceedings

2024-09-20T04:10:32Z

Author Herkersdorf, Andreas. editor. Römer, Kay. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28293-5
Format: Electronic Resources
Availability Online Library~1

Mobile Lightweight Wireless Systems Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers

2024-09-20T04:10:32Z

Author Ser, Javier. editor. Jorswieck, Eduard Axel. editor. Miguez, Joaquin. editor. Matinmikko, Marja. editor. Palomar, Daniel P. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29479-2
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings

2024-09-20T04:10:32Z

Author Li, Ruixuan. editor. Cao, Jiannong. editor. Bourgeois, Julien. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30767-6
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2024-09-20T04:10:32Z

Author Göschka, Karl Michael. editor. Haridi, Seif. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30823-9
Format: Electronic Resources
Availability Online Library~1

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings

2024-09-20T04:10:32Z

Author Pankratius, Victor. editor. Philippsen, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31202-1
Format: Electronic Resources
Availability Online Library~1

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

2024-09-20T04:10:32Z

Author Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32770-4
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

2024-09-20T04:10:32Z

Author Kaklamanis, Christos. editor. Papatheodorou, Theodore. editor. Spirakis, Paul G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32820-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2024-09-20T04:10:32Z

Author Avgeriou, Paris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33176-3
Format: Electronic Resources
Availability Online Library~1

Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings

2024-09-20T04:10:32Z

Author Takagi, Tsuyoshi. editor. Wang, Guilin. editor. Qin, Zhiguang. editor. Jiang, Shaoquan. editor. Yu, Yong. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33272-2
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

2024-09-20T04:10:32Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34026-0
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

2024-09-20T04:10:32Z

Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34032-1
Format: Electronic Resources
Availability Online Library~1

Model-Based Software Performance Analysis

2024-09-20T04:10:32Z

Author Cortellessa, Vittorio. author. Di Marco, Antinisca. author. Inverardi, Paola. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13621-4
Format: Electronic Resources
Availability Online Library~1

Introduction to Reliable and Secure Distributed Programming

2024-09-20T04:10:32Z

Author Cachin, Christian. author. Guerraoui, Rachid. author. Rodrigues, Luís. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15260-3
Format: Electronic Resources
Availability Online Library~1

Data Privacy Management and Autonomous Spontaneous Security 5th International Workshop, DPM 2010 and 3rd International Workshop, SETOP 2010, Athens, Greece, September 23, 2010, Revised Selected Papers

2024-09-20T04:10:32Z

Author Garcia-Alfaro, Joaquin. editor. Navarro-Arribas, Guillermo. editor. Cavalli, Ana. editor. Leneutre, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19348-4
Format: Electronic Resources
Availability Online Library~1

Selected Areas in Cryptography 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers

2024-09-20T04:10:32Z

Author Biryukov, Alex. editor. Gong, Guang. editor. Stinson, Douglas R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19574-7
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

2024-09-20T04:10:32Z

Author Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20398-5
Format: Electronic Resources
Availability Online Library~1

Access Networks 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010, Revised Selected Papers

2024-09-20T04:10:32Z

Author Szabó, Róbert. editor. Zhu, Hua. editor. Imre, Sándor. editor. Chaparadza, Ranganai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20931-4
Format: Electronic Resources
Availability Online Library~1