Search Results for System. - Narrowed by: Computer science.

Embedded System Design

2025-12-24T23:27:29Z

Author Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30087-2
Format: Electronic Resources
Availability Online Library~1

Continuous System Simulation

2025-12-24T23:27:29Z

Author Cellier, François E. author. Kofman, Ernesto. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-30260-3
Format: Electronic Resources
Availability Online Library~1

Pro Python System Administration

2025-12-24T23:27:29Z

Author Sileika, Rytis. author. Parkes, Duncan. editor. Lowman, Michelle. editor. Andres, Clay. editor. Anglin, Steve. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2606-2
Format: Electronic Resources
Availability Online Library~1

Pro Linux System Administration

2025-12-24T23:27:29Z

Author Turnbull, James. author. Lieverdink, Peter. author. Matotek, Dennis. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1913-2
Format: Electronic Resources
Availability Online Library~1

Improvements in System Safety

2025-12-24T23:27:29Z

Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-100-8
Format: Electronic Resources
Availability Online Library~1

Industrial Deployment of System Engineering Methods

2025-12-24T23:27:29Z

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

Power System Modelling and Scripting

2025-12-24T23:27:29Z

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

Debugging at the Electronic System Level

2025-12-24T23:27:29Z

Author Rogin, Frank. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9255-7
Format: Electronic Resources
Availability Online Library~1

Automating Linux and Unix System Administration

2025-12-24T23:27:29Z

Author Campi, Nate. author. Bauer, Kirk. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1060-3
Format: Electronic Resources
Availability Online Library~1

Practical Ruby for System Administration

2025-12-24T23:27:29Z

Author Hamou, André Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0194-6
Format: Electronic Resources
Availability Online Library~1

Formal Refinement for Operating System Kernels

2025-12-24T23:27:29Z

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

2025-12-24T23:27:29Z

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

Pro Visual Studio 2005 Team System

2025-12-24T23:27:29Z

Author Levinson, Jeff. author. Nelson, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0171-7
Format: Electronic Resources
Availability Online Library~1

Computer Insecurity Risking the System

2025-12-24T23:27:29Z

Author Furnell, Steven. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-270-5
Format: Electronic Resources
Availability Online Library~1

System and Architecture Proceedings of CSI 2015

2025-12-24T23:27:29Z

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

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-24T23:27:29Z

Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330882.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: Electronic Resources
Availability Online Library~1

Complex Binary Number System Algorithms and Circuits

2025-12-24T23:27:29Z

Author Jamil, Tariq. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335470.1)
Electronic Access http://dx.doi.org/10.1007/978-81-322-0854-9
Format: Electronic Resources
Availability Online Library~1

Analyzing Computer System Performance with Perl::PDQ

2025-12-24T23:27:29Z

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

Ingredients for Successful System Level Design Methodology

2025-12-24T23:27:29Z

Author Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources
Availability Online Library~1

Workflow in the 2007 Microsoft Office System

2025-12-24T23:27:29Z

Author Mann, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-0323-0
Format: Electronic Resources
Availability Online Library~1

Modelling and Simulation Exploring Dynamic System Behaviour

2025-12-24T23:27:29Z

Author Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-622-3
Format: Electronic Resources
Availability Online Library~1

Embedded System Design: Topics, Techniques and Trends

2025-12-24T23:27:29Z

Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Dömer, Rainer. editor. Gerstlauer, Andreas. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-72258-0
Format: Electronic Resources
Availability Online Library~1

Role Competency Matrix A Step-By-Step Guide to an Objective Competency Management System

2025-12-24T23:27:29Z

Author Kuruba, Mahesh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-7972-7
Format: Electronic Resources
Availability Online Library~1

Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks

2025-12-24T23:27:29Z

Author Usman, Muhammad. author. Muthukkumarasamy, Vallipuram. author. Wu, Xin-Wen. author. Khanum, Surraya. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-7467-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport System in Smart Cities Aspects and Challenges of Vehicular Networks and Cloud

2025-12-24T23:27:29Z

Author I. Meneguette, Rodolfo. author. E. De Grande, Robson. author. A. F. Loureiro, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93332-0
Format: Electronic Resources
Availability Online Library~1

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers

2025-12-24T23:27:29Z

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

Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

2025-12-24T23:27:29Z

Author Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831 Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74313-4
Format: Electronic Resources
Availability Online Library~1

Brain-Machine Interface Closed-loop Bidirectional System Design

2025-12-24T23:27:29Z

Author Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67940-2
Format: Electronic Resources
Availability Online Library~1

Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016

2025-12-24T23:27:29Z

Author Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62920-9
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

2025-12-24T23:27:29Z

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

Formal System Verification State-of the-Art and Future Trends

2025-12-24T23:27:29Z

Author Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57685-5
Format: Electronic Resources
Availability Online Library~1

Modeling and Control of Hybrid Propulsion System for Ground Vehicles

2025-12-24T23:27:29Z

Author Zou, Yuan. author. Li, Junqiu. author. Hu, Xiaosong. author. Chamaillard, Yann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-53673-5
Format: Electronic Resources
Availability Online Library~1

Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.

2025-12-24T23:27:29Z

Author Aarno, Daniel. Engblom, Jakob.
Preferred Shelf Number ONLINE(355554.1)
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128007259
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

2025-12-24T23:27:29Z

Author Amyot, Daniel. editor. Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Mussbacher, Gunter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11743-0
Format: Electronic Resources
Availability Online Library~1

Network and System Security 8th International Conference, NSS 2014, Xi'an, China, October 15-17, 2014. Proceedings

2025-12-24T23:27:29Z

Author Au, Man Ho. editor. Carminati, Barbara. editor. Kuo, C.-C. Jay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11698-3
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: From Algorithms to Circuits and System-on-Chip Design 20th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2012, Santa Cruz, CA, USA, October 7-10, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Burg, Andreas. editor. Coṣkun, Ayṣe. editor. Guthaus, Matthew. editor. Katkoori, Srinivas. editor. Reis, Ricardo. editor.
Preferred Shelf Number ONLINE(335188.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45073-0
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334111.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36062-6
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012. Revised Selected Papers

2025-12-24T23:27:29Z

Author Haugen, Øystein. editor. Reed, Rick. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334282.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36757-1
Format: Electronic Resources
Availability Online Library~1

Network and System Security 7th International Conference, NSS 2013, Madrid, Spain, June 3-4, 2013. Proceedings

2025-12-24T23:27:29Z

Author Lopez, Javier. editor. Huang, Xinyi. editor. Sandhu, Ravi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334638.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38631-2
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings

2025-12-24T23:27:29Z

Author Klusch, Matthias. editor. Thimm, Matthias. editor. Paprzycki, Marcin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335001.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40776-5
Format: Electronic Resources
Availability Online Library~1

The Monte Carlo Simulation Method for System Reliability and Risk Analysis

2025-12-24T23:27:29Z

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

CAN System Engineering From Theory to Practical Applications

2025-12-24T23:27:29Z

Author Lawrenz, Wolfhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331227.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5613-0
Format: Electronic Resources
Availability Online Library~1

System-Level Validation High-Level Modeling and Directed Test Generation Techniques

2025-12-24T23:27:29Z

Author Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331265.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: Electronic Resources
Availability Online Library~1

Estimating Spoken Dialog System Quality with User Models

2025-12-24T23:27:29Z

Author Engelbrecht, Klaus-Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333452.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-31591-6
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334136.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36157-9
Format: Electronic Resources
Availability Online Library~1

IT-Risikomanagement mit System Praxisorientiertes Management von Informationssicherheits- und IT-Risiken

2025-12-24T23:27:29Z

Author Königs, Hans-Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338328.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2165-2
Format: Electronic Resources
Availability Online Library~1

IT-Projektmanagement als kybernetisches System Intelligente Entscheidungsfindung in der Projektführung durch Feedback

2025-12-24T23:27:29Z

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

Disruptive Logic Architectures and Technologies From Device to System Level

2025-12-24T23:27:29Z

Author Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: Electronic Resources
Availability Online Library~1

Business System Management and Engineering From Open Issues to Applications

2025-12-24T23:27:29Z

Author Ardagna, Claudio A. editor. Damiani, Ernesto. editor. Maciaszek, Leszek A. editor. Missikoff, Michele. editor. Parkin, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32439-0
Format: Electronic Resources
Availability Online Library~1

SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

2025-12-24T23:27:29Z

Author Molter, H. Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-658-00397-5
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Security, Control and System Engineering International Conferences, SecTech, CA, CES3 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2025-12-24T23:27:29Z

Author Kim, Tai-hoon. editor. Stoica, Adrian. editor. Fang, Wai-chi. editor. Vasilakos, Thanos. editor. Villalba, Javier García. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35264-5
Format: Electronic Resources
Availability Online Library~1

Incomplete Information System and Rough Set Theory Models and Attribute Reductions

2025-12-24T23:27:29Z

Author Yang, Xibei. author. Yang, Jingyu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25935-7
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 10th German Conference, MATES 2012, Trier, Germany, October 10-12, 2012. Proceedings

2025-12-24T23:27:29Z

Author Timm, Ingo J. editor. Guttmann, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33690-4
Format: Electronic Resources
Availability Online Library~1

Network and System Security 6th International Conference, NSS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings

2025-12-24T23:27:29Z

Author Xu, Li. editor. Bertino, Elisa. editor. Mu, Yi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34601-9
Format: Electronic Resources
Availability Online Library~1

Introduction to Open Core Protocol Fastpath to System-on-Chip Design

2025-12-24T23:27:29Z

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

System Specification and Design Languages Selected Contributions from FDL 2010

2025-12-24T23:27:29Z

Author Kaźmierski, Tom J. editor. Morawiec, Adam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1427-8
Format: Electronic Resources
Availability Online Library~1

SDL 2011: Integrating System and Software Modeling 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers

2025-12-24T23:27:29Z

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

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I

2025-12-24T23:27:29Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34381-0
Format: Electronic Resources
Availability Online Library~1

System Simulation and Scientific Computing International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II

2025-12-24T23:27:29Z

Author Xiao, Tianyuan. editor. Zhang, Lin. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34396-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent System VII COIN 2011 International Workshops, COIN@AAMAS 2011, Taipei, Taiwan, May 3, 2011, COIN@WI-IAT 2011, Lyon, France, August 22, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Cranefield, Stephen. editor. Riemsdijk, M. Birna. editor. Vázquez-Salceda, Javier. editor. Noriega, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35545-5
Format: Electronic Resources
Availability Online Library~1

Electronic System Level Design An Open-Source Approach

2025-12-24T23:27:29Z

Author Rigo, Sandro. editor. Azevedo, Rodolfo. editor. Santos, Luiz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9940-3
Format: Electronic Resources
Availability Online Library~1

Electronic Value Exchange Origins of the VISA Electronic Payment System

2025-12-24T23:27:29Z

Author Stearns, David L. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-139-4
Format: Electronic Resources
Availability Online Library~1

Self-Learning Speaker Identification A System for Enhanced Speech Recognition

2025-12-24T23:27:29Z

Author Herbig, Tobias. author. Gerl, Franz. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19899-1
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2025-12-24T23:27:29Z

Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17752-1
Format: Electronic Resources
Availability Online Library~1

UNIX Operating System The Development Tutorial via UNIX Kernel Services

2025-12-24T23:27:29Z

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

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2025-12-24T23:27:29Z

Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Electronic Resources
Availability Online Library~1

Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings

2025-12-24T23:27:29Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-26010-0
Format: Electronic Resources
Availability Online Library~1

IT-Notfallmanagement mit System Notfälle bei der Informationsverarbeitung sicher beherrschen

2025-12-24T23:27:29Z

Author Klett, Gerhard. author. Schröder, Klaus-Werner. author. Kersten, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-8226-4
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011. Proceedings

2025-12-24T23:27:29Z

Author Klügl, Franziska. editor. Ossowski, Sascha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24603-6
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

2025-12-24T23:27:29Z

Author Kraemer, Frank Alexander. editor. Herrmann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21652-7
Format: Electronic Resources
Availability Online Library~1

Web Information System Engineering – WISE 2011 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings

2025-12-24T23:27:29Z

Author Bouguettaya, Athman. editor. Hauswirth, Manfred. editor. Liu, Ling. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24434-6
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010, Proceedings, Part II

2025-12-24T23:27:29Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15597-0
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part III

2025-12-24T23:27:29Z

Author Li, Kang. editor. Jia, Li. editor. Sun, Xin. editor. Fei, Minrui. editor. Irwin, George W. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15615-1
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, Deptember 17-20, 2010, Proceedings, Part I

2025-12-24T23:27:29Z

Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15621-2
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part I

2025-12-24T23:27:29Z

Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15853-7
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Intelligent Computing International Conference on Life System Modeling and Simulation, LSMS 2010, and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2010, Wuxi, China, September 17-20, 2010. Proceedings, Part II

2025-12-24T23:27:29Z

Author Li, Kang. editor. Li, Xin. editor. Ma, Shiwei. editor. Irwin, George W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15859-9
Format: Electronic Resources
Availability Online Library~1

Queueing Theory for Telecommunications Discrete Time Modelling of a Single Node System

2025-12-24T23:27:29Z

Author Alfa, Attahiru Sule. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7314-6
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers

2025-12-24T23:27:29Z

Author Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11802-9
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

2025-12-24T23:27:29Z

Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16178-0
Format: Electronic Resources
Availability Online Library~1

Handbuch Unternehmenssicherheit Umfassendes Sicherheits-, Kontinuitätsund Risikomanagement mit System

2025-12-24T23:27:29Z

Author Müller, Klaus-Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9772-5
Format: Electronic Resources
Availability Online Library~1

Pro Visual Studio Team System Application Lifecycle Management

2025-12-24T23:27:29Z

Author Rossberg, Joachim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-1079-5
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers

2025-12-24T23:27:29Z

Author Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-95948-9
Format: Electronic Resources
Availability Online Library~1

Learning by Playing. Game-based Education System Design and Development 4th International Conference on E-Learning and Games, Edutainment 2009, Banff, Canada, August 9-11, 2009. Proceedings

2025-12-24T23:27:29Z

Author Chang, Maiga. editor. Kuo, Rita. editor. Kinshuk. editor. Chen, Gwo-Dong. editor. Hirose, Michitaka. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-03364-3
Format: Electronic Resources
Availability Online Library~1

IT-Risiko-Management mit System Von den Grundlagen bis zur Realisierung – Ein praxisorientierter Leitfaden

2025-12-24T23:27:29Z

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

Multiagent System Technologies 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings

2025-12-24T23:27:29Z

Author Braubach, Lars. editor. Hoek, Wiebe. editor. Petta, Paolo. editor. Pokahr, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04143-3
Format: Electronic Resources
Availability Online Library~1

Geometric Algebra: An Algebraic System for Computer Games and Animation

2025-12-24T23:27:29Z

Author Vince, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84882-379-2
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization 23rd IFIP TC 7 Conference, Cracow, Poland, July 23-27, 2007, Revised Selected Papers

2025-12-24T23:27:29Z

Author Korytowski, Adam. editor. Malanowski, Kazimierz. editor. Mitkowski, Wojciech. editor. Szymkat, Maciej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04802-9
Format: Electronic Resources
Availability Online Library~1

Biometric System and Data Analysis Design, Evaluation, and Data Mining

2025-12-24T23:27:29Z

Author Dunstone, Ted. editor. Yager, Neil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-77627-9
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Advanced Topics on Systems on a Chip A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA

2025-12-24T23:27:29Z

Author Hasler, Paul. editor. Mooney, Vincent. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-89558-1
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Embedded System Design using Microcontrollers

2025-12-24T23:27:29Z

Author Parab, Jivan S. author. Shinde, Santosh A. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8393-8
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings

2025-12-24T23:27:29Z

Author Bergmann, Ralph. editor. Lindemann, Gabriela. editor. Kirn, Stefan. editor. Pěchouček, Michal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87805-6
Format: Electronic Resources
Availability Online Library~1

IT-Sicherheit mit System Sicherheitspyramide — Sicherheits-, Kontinuitäts- und Risikomanagement — Normen und Practices — SOA und Softwareentwicklung

2025-12-24T23:27:29Z

Author Müller, Klaus-Rainer. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9432-8
Format: Electronic Resources
Availability Online Library~1

Adaptive Cooperation between Driver and Assistant System Improving Road Safety

2025-12-24T23:27:29Z

Author Holzmann, Frédéric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74474-0
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Research Trends in VLSI and Systems on Chip Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France

2025-12-24T23:27:29Z

Author Micheli, Giovanni. editor. Mir, Salvador. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-74909-9
Format: Electronic Resources
Availability Online Library~1

Making Grids Work Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments 12-13 June 2007, Heraklion, Crete, Greece

2025-12-24T23:27:29Z

Author Danelutto, Marco. author. Fragopoulou, Paraskevi. author. Getov, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-78448-9
Format: Electronic Resources
Availability Online Library~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2025-12-24T23:27:29Z

Author Nurmi, Jari. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Electronic Resources
Availability Online Library~1

Co-design for System Acceleration A Quantitative Approach

2025-12-24T23:27:29Z

Author Nedjah, Nadia. author. Mourelle, Luiza De Macedo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5546-1
Format: Electronic Resources
Availability Online Library~1

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2025-12-24T23:27:29Z

Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

2025-12-24T23:27:29Z

Author Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74442-9
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Computational Intelligence and Applications International Conference on Life System Modeling and Simulation, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2025-12-24T23:27:29Z

Author Li, Kang. editor. Fei, Minrui. editor. Irwin, George William. editor. Ma, Shiwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74769-7
Format: Electronic Resources
Availability Online Library~1

Life System Modeling and Simulation International Conference, LSMS 2007, Shanghai, China, September 14-17, 2007. Proceedings

2025-12-24T23:27:29Z

Author Li, Kang. editor. Li, Xin. editor. Irwin, George William. editor. He, Gusen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74771-0
Format: Electronic Resources
Availability Online Library~1

Vlsi-Soc: From Systems To Silicon Proceedings of IFIP TC 10, WG 10.5, Thirteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2005), October 17-19, 2005, Perth, Australia

2025-12-24T23:27:29Z

Author Reis, Ricardo. editor. Osseiran, Adam. editor. Pfleiderer, Hans-Joerg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73661-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Operating System Design and Implementation The OSP 2 Approach

2025-12-24T23:27:29Z

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

FotoWare Color Factory System installieren – Funktionen optimal nutzen

2025-12-24T23:27:29Z

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

Multiagent System Technologies 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007. Proceedings

2025-12-24T23:27:29Z

Author Petta, Paolo. editor. Müller, Jörg P. editor. Klusch, Matthias. editor. Georgeff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74949-3
Format: Electronic Resources
Availability Online Library~1

Active Conceptual Modeling of Learning Next Generation Learning-Base System Development

2025-12-24T23:27:29Z

Author Chen, Peter P. editor. Wong, Leah Y. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77503-4
Format: Electronic Resources
Availability Online Library~1

Reliable Face Recognition Methods System Design, Impementation and Evaluation

2025-12-24T23:27:29Z

Author Wechsler, Harry. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-38464-1
Format: Electronic Resources
Availability Online Library~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2025-12-24T23:27:29Z

Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings

2025-12-24T23:27:29Z

Author Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11872283
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings

2025-12-24T23:27:29Z

Author Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11847083
Format: Electronic Resources
Availability Online Library~1

IT-Risiko-Management mit System Von den Grundlagen bis zur Realisierung — Ein praxisorientierter Leitfaden

2025-12-24T23:27:29Z

Author Königs, Hans-Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9062-7
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization Proceedings of the 22nd IFIP TC7 Conference held from July 18–22, 2005, in Turin, Italy

2025-12-24T23:27:29Z

Author Ceragioli, F. editor. Dontchev, A. editor. Futura, H. editor. Marti, K. editor. Pandolfi, L. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-33006-2
Format: Electronic Resources
Availability Online Library~1

VLSI-SOC: From Systems to Chips IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1–3, 2003, Darmstadt, Germany

2025-12-24T23:27:29Z

Author Glesner, Manfred. editor. Reis, Ricardo. editor. Indrusiak, Leandro. editor. Mooney, Vincent. editor. Eveking, Hans. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-33403-3
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Economics The Economy as a Complex Dynamic System

2025-12-24T23:27:29Z

Author Bruun, Charlotte. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-37249-0
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

2025-12-24T23:27:29Z

Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11951148
Format: Electronic Resources
Availability Online Library~1

The Past and Future of Information Systems: 1976–2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21–23, 2006, Santiago, Chile

2025-12-24T23:27:29Z

Author Avison, David. editor. Elliot, Steve. editor. Krogstie, John. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-34732-5
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructures at Risk Securing the European Electric Power System

2025-12-24T23:27:29Z

Author Gheorghe, A.V. editor. Masera, M. editor. Weijnen, M. editor. Vries, De L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-4364-3
Format: Electronic Resources
Availability Online Library~1

VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search

2025-12-24T23:27:29Z

Author Frintrop, Simone. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11682110
Format: Electronic Resources
Availability Online Library~1

Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005

2025-12-24T23:27:29Z

Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b139109
Format: Electronic Resources
Availability Online Library~1

System-level Test and Validation of Hardware/Software Systems

2025-12-24T23:27:29Z

Author Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-145-8
Format: Electronic Resources
Availability Online Library~1

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

2025-12-24T23:27:29Z

Author Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105884
Format: Electronic Resources
Availability Online Library~1

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings

2025-12-24T23:27:29Z

Author Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11550648
Format: Electronic Resources
Availability Online Library~1

Economic Analysis of Information System Investment in Banking Industry

2025-12-24T23:27:29Z

Author Ukai, Yasuharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138968
Format: Electronic Resources
Availability Online Library~1

System-Level Design Techniques for Energy-Efficient Embedded Systems

2025-12-24T23:27:29Z

Author Schmitz, Marcus T. author. Al-Hashimi, Bashir M. author. Eles, Petru. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106642
Format: Electronic Resources
Availability Online Library~1

System Modeling and Optimization Proceedings of the 21st IFIP TC7 Conference held in July 21st–25th, 2003, Sophia Antipolis, France

2025-12-24T23:27:29Z

Author Cagnol, John. editor. Zolésio, Jean-Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b101574
Format: Electronic Resources
Availability Online Library~1

System Level Design of Reconfigurable Systems-on-Chip

2025-12-24T23:27:29Z

Author Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136832
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005. Proceedings

2025-12-24T23:27:29Z

Author Paliouras, Vassilis. editor. Vounckx, Johan. editor. Verkest, Diederik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11556930
Format: Electronic Resources
Availability Online Library~1

GPU Solutions to Multi-scale Problems in Science and Engineering

2025-12-24T23:27:29Z

Author Yuen, David A. editor. Wang, Long. editor. Chi, Xuebin. editor. Johnsson, Lennart. editor. Ge, Wei. editor.
Preferred Shelf Number ONLINE(333070.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-16405-7
Format: Electronic Resources
Availability Online Library~1

Advances in Reliability and Maintainability Methods and Engineering Applications Essays in Honor of Professor Hong-Zhong Huang on his 60th Birthday

2025-12-24T23:27:29Z

Author Liu, Yu. editor. Wang, Dong. editor. Mi, Jinhua. editor. Li, He. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28859-3
Format: Electronic Resources
Availability Online Library~1

Admissible Consensus and Consensualization for Singular Multi-agent Systems

2025-12-24T23:27:29Z

Author Xi, Jianxiang. author. Wang, Le. author. Yang, Xiaogang. author. Gao, Jiuan. author. Lu, Ruitao. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6990-4
Format: Electronic Resources
Availability Online Library~1

Handbook of Model-Based Systems Engineering

2025-12-24T23:27:29Z

Author Madni, Azad M. editor. Augustine, Norman. editor. Sievers, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-93582-5
Format: Electronic Resources
Availability Online Library~1

Terminological Dictionary of Automatic Control, Systems and Robotics

2025-12-24T23:27:29Z

Author Karba, Rihard. author. Kocijan, Juš. author. Bajd, Tadej. author. Žagar Karer, Mojca. author. Karer, Gorazd. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35755-8
Format: Electronic Resources
Availability Online Library~1

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26–27, 2019, Proceedings

2025-12-24T23:27:29Z

Author Bordeleau, Francis. editor. Sillitti, Alberto. editor. Meirelles, Paulo. editor. (orcid)0000-0002-8923-2814 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20883-7
Format: Electronic Resources
Availability Online Library~1

Big Scientific Data Benchmarks, Architecture, and Systems First Workshop, SDBA 2018, Beijing, China, June 12, 2018, Revised Selected Papers

2025-12-24T23:27:29Z

Author Ren, Rui. editor. Zheng, Chen. editor. Zhan, Jianfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-5910-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Methodology for Emerging Domains 16th National Conference, NASAC 2017, Harbin, China, November 4–5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23–25, 2018, Revised Selected Papers

2025-12-24T23:27:29Z

Author Li, Zheng. editor. (orcid)0000-0002-3938-7033 Jiang, He. editor. (orcid)0000-0001-8674-4948 Li, Ge. editor. Zhou, Minghui. editor. Li, Ming. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-15-0310-8
Format: Electronic Resources
Availability Online Library~1

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

2025-12-24T23:27:29Z

Author Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95582-7
Format: Electronic Resources
Availability Online Library~1

Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

2025-12-24T23:27:29Z

Author Feng, Xinyu. editor. Müller-Olm, Markus. editor. Yang, Zijiang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99933-3
Format: Electronic Resources
Availability Online Library~1

Logical Foundations of Cyber-Physical Systems

2025-12-24T23:27:29Z

Author Platzer, André. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63588-0
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation Proceedings of the AHFE 2017 International Conference on Human Factors in Sports, Injury Prevention and Outdoor Recreation, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2025-12-24T23:27:29Z

Author Ahram, Tareq. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60822-8
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings

2025-12-24T23:27:29Z

Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02768-1
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings

2025-12-24T23:27:29Z

Author Dutle, Aaron. editor. Muñoz, César. editor. Narkawicz, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-77935-5
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers

2025-12-24T23:27:29Z

Author Piskac, Ruzica. editor. Rümmer, Philipp. editor. (orcid)0000-0002-2733-7098 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03592-1
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing – ICSOC 2017 Workshops ASOCA, ISyCC, WESOACS, and Satellite Events, Málaga, Spain, November 13–16, 2017, Revised Selected Papers

2025-12-24T23:27:29Z

Author Braubach, Lars. editor. Murillo, Juan M. editor. (orcid)0000-0003-4961-4030 Kaviani, Nima. editor. Lama, Manuel. editor. (orcid)0000-0001-7195-6155 Burgueño, Loli. editor. (orcid)0000-0002-7779-8810
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91764-1
Format: Electronic Resources
Availability Online Library~1

New Opportunities for Software Reuse 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings

2025-12-24T23:27:29Z

Author Capilla, Rafael. editor. (orcid)0000-0002-6943-1285 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Cetina, Carlos. editor. (orcid)0000-0001-8542-5515 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90421-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-24T23:27:29Z

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

Advances in Physical Ergonomics and Human Factors Proceedings of the AHFE 2017 International Conference on Physical Ergonomics and Human Factors, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2025-12-24T23:27:29Z

Author Goonetilleke, Ravindra S. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60825-9
Format: Electronic Resources
Availability Online Library~1

Advances in Human Error, Reliability, Resilience, and Performance Proceedings of the AHFE 2017 International Conference on Human Error, Reliability, Resilience, and Performance, July 17–21,2017, The Westin Bonaventure Hotel,Los Angeles, California, USA

2025-12-24T23:27:29Z

Author Boring, Ronald Laurids. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60645-3
Format: Electronic Resources
Availability Online Library~1

Dependable Multicore Architectures at Nanoscale

2025-12-24T23:27:29Z

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

Software Technologies 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers

2025-12-24T23:27:29Z

Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93641-3
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries Proceedings of the AHFE 2017 International Conference on Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2025-12-24T23:27:29Z

Author Fechtelkotter, Paul. editor. Legatt, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60204-2
Format: Electronic Resources
Availability Online Library~1

Social Computing and Social Media. User Experience and Behavior 10th International Conference, SCSM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2025-12-24T23:27:29Z

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

Image and Video Technology 8th Pacific-Rim Symposium, PSIVT 2017, Wuhan, China, November 20-24, 2017, Revised Selected Papers

2025-12-24T23:27:29Z

Author Paul, Manoranjan. editor. Hitoshi, Carlos. editor. Huang, Qingming. editor. (orcid)0000-0002-9247-2763 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-75786-5
Format: Electronic Resources
Availability Online Library~1

Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2025-12-24T23:27:29Z

Author Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89722-6
Format: Electronic Resources
Availability Online Library~1

Advances in Safety Management and Human Factors Proceedings of the AHFE 2017 International Conference on Safety Management and Human Factors, July 17–21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2025-12-24T23:27:29Z

Author Arezes, Pedro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60525-8
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

2025-12-24T23:27:29Z

Author Balsamo, Simonetta. editor. Marin, Andrea. editor. Vicario, Enrico. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91632-3
Format: Electronic Resources
Availability Online Library~1

Handbook of Model Checking

2025-12-24T23:27:29Z

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

Computer Networks 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings

2025-12-24T23:27:29Z

Author Gaj, Piotr. editor. (orcid)0000-0002-2291-7341 Sawicki, Michał. editor. (orcid)0000-0002-4610-4249 Suchacka, Grażyna. editor. Kwiecień, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92459-5
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings

2025-12-24T23:27:29Z

Author Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952 Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92997-2
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers

2025-12-24T23:27:29Z

Author Damiani, Ernesto. editor. Spanoudakis, George. editor. Maciaszek, Leszek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94135-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 14th International Conference, ICDCIT 2018, Bhubaneswar, India, January 11–13, 2018, Proceedings

2025-12-24T23:27:29Z

Author Negi, Atul. editor. (orcid)0000-0001-5707-130X Bhatnagar, Raj. editor. Parida, Laxmi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-72344-0
Format: Electronic Resources
Availability Online Library~1

Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

2025-12-24T23:27:29Z

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

Ergonomics in Caring for People Proceedings of the International Conference on Humanizing Work and Work Environment 2015

2025-12-24T23:27:29Z

Author Ray, Gaur G. editor. Iqbal, Rauf. editor. Ganguli, Anindya K. editor. Khanzode, Vivek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4980-4
Format: Electronic Resources
Availability Online Library~1

Web and Wireless Geographical Information Systems 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings

2025-12-24T23:27:29Z

Author R. Luaces, Miguel. editor. Karimipour, Farid. editor. (orcid)0000-0001-6746-4174 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90053-7
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

2025-12-24T23:27:29Z

Author Gallagher, John P. editor. (orcid)0000-0001-6984-7419 Sulzmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90686-7
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

2025-12-24T23:27:29Z

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

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

2025-12-24T23:27:29Z

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

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

2025-12-24T23:27:29Z

Author Avigad, Jeremy. editor. Mahboubi, Assia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94821-8
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructures, Key Resources, Key Assets Risk, Vulnerability, Resilience, Fragility, and Perception Governance

2025-12-24T23:27:29Z

Author Gheorghe, Adrian V. author. Vamanu, Dan V. author. Katina, Polinpapilinho F. author. Pulfer, Roland. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-69224-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

2025-12-24T23:27:29Z

Author Johnsen, Einar Broch. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92970-5
Format: Electronic Resources
Availability Online Library~1

Graph Data Management Fundamental Issues and Recent Developments

2025-12-24T23:27:29Z

Author Fletcher, George. editor. Hidders, Jan. editor. Larriba-Pey, Josep Lluís. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-96193-4
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings

2025-12-24T23:27:29Z

Author Krogstie, John. editor. Reijers, Hajo A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91563-0
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

2025-12-24T23:27:29Z

Author Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02450-5
Format: Electronic Resources
Availability Online Library~1

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

2025-12-24T23:27:29Z

Author Jones, Cliff. editor. Wang, Ji. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01461-2
Format: Electronic Resources
Availability Online Library~1

Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

2025-12-24T23:27:29Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Bensalem, Saddek. editor. Bliudze, Simon. editor. (orcid)0000-0002-7900-5271 Monsuez, Bruno. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00359-3
Format: Electronic Resources
Availability Online Library~1

Virtual Reality and Augmented Reality 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings

2025-12-24T23:27:29Z

Author Bourdot, Patrick. editor. (orcid)0000-0003-2247-1930 Cobb, Sue. editor. (orcid)0000-0002-4600-6235 Interrante, Victoria. editor. (orcid)0000-0002-3313-6663 kato, Hirokazu. editor. Stricker, Didier. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01790-3
Format: Electronic Resources
Availability Online Library~1

Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

2025-12-24T23:27:29Z

Author Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99725-4
Format: Electronic Resources
Availability Online Library~1

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings

2025-12-24T23:27:29Z

Author Ganapathy, Vinod. editor. Jaeger, Trent. editor. Shyamasundar, R.K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05171-6
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2025-12-24T23:27:29Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources
Availability Online Library~1

Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers

2025-12-24T23:27:29Z

Author Medina, Manel. editor. Mitrakas, Andreas. editor. Rannenberg, Kai. editor. Schweighofer, Erich. editor. Tsouroulas, Nikolaos. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02547-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

2025-12-24T23:27:29Z

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

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

2025-12-24T23:27:29Z

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

Big Data Analytics 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings

2025-12-24T23:27:29Z

Author Mondal, Anirban. editor. Gupta, Himanshu. editor. Srivastava, Jaideep. editor. Reddy, P. Krishna. editor. Somayajulu, D.V.L.N. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-04780-1
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2025-12-24T23:27:29Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

Encyclopedia of Computational Neuroscience

2025-12-24T23:27:29Z

Author Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4614-6675-8
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings

2025-12-24T23:27:29Z

Author Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-11653-2
Format: Electronic Resources
Availability Online Library~1

Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers

2025-12-24T23:27:29Z

Author Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55149-9
Format: Electronic Resources
Availability Online Library~1

Advances in Artificial Life and Evolutionary Computation 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers

2025-12-24T23:27:29Z

Author Pizzuti, Clara. editor. (orcid)0000-0001-7297-7126 Spezzano, Giandomenico. editor. (orcid)0000-0002-2518-5510 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12745-3
Format: Electronic Resources
Availability Online Library~1

Traffic Monitoring and Analysis 6th International Workshop, TMA 2014, London, UK, April 14, 2014, Proceedings

2025-12-24T23:27:29Z

Author Dainotti, Alberto. editor. Mahanti, Anirban. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54999-1
Format: Electronic Resources
Availability Online Library~1

IT Quality Management

2025-12-24T23:27:29Z

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

Introduction to Software Quality

2025-12-24T23:27:29Z

Author O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-06106-1
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2013: Parallel Processing Workshops BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, UCHPC 2013, Aachen, Germany, August 26-30, 2013. Revised Selected Papers

2025-12-24T23:27:29Z

Author an Mey, Dieter. editor. Alexander, Michael. editor. Paolo, Bientinesi. editor. Cannataro, Mario. editor. Clauss, Carsten. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54420-0
Format: Electronic Resources
Availability Online Library~1

Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming

2025-12-24T23:27:29Z

Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333884.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-34688-0
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013. Proceedings

2025-12-24T23:27:29Z

Author Demeester, Piet. editor. Moerman, Ingrid. editor. Terzis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334263.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36672-7
Format: Electronic Resources
Availability Online Library~1

Selected Topics in Performance Evaluation and Benchmarking 4th TPC Technology Conference, TPCTC 2012, Istanbul, Turkey, August 27, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334274.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36727-4
Format: Electronic Resources
Availability Online Library~1

Communication Technologies for Vehicles 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings

2025-12-24T23:27:29Z

Author Berbineau, Marion. editor. Jonsson, Magnus. editor. Bonnin, Jean-Marie. editor. Cherkaoui, Soumaya. editor. Aguado, Marina. editor.
Preferred Shelf Number ONLINE(334508.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37974-1
Format: Electronic Resources
Availability Online Library~1

Green Communication and Networking Second International Conference, GreeNets 2012, Gandia, Spain, October 25-26, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Mauri, Jaime Lloret. editor. Rodrigues, Joel J. P. C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334509.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37977-2
Format: Electronic Resources
Availability Online Library~1

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334658.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38718-0
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 20th International Conference, ASMTA 2013, Ghent, Belgium, July 8-10, 2013. Proceedings

2025-12-24T23:27:29Z

Author Dudin, Alexander. editor. Turck, Koen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334797.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39408-9
Format: Electronic Resources
Availability Online Library~1

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

2025-12-24T23:27:29Z

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

Internet of Things, Smart Spaces, and Next Generation Networking 13th International Conference, NEW2AN 2013 and 6th Conference, ruSMART 2013, St. Petersburg, Russia, August 28-30, 2013. Proceedings

2025-12-24T23:27:29Z

Author Balandin, Sergey. editor. Andreev, Sergey. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334926.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40316-3
Format: Electronic Resources
Availability Online Library~1

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

2025-12-24T23:27:29Z

Author Moreira, Ana. editor. Schätz, Bernhard. editor. Gray, Jeff. editor. Vallecillo, Antonio. editor. Clarke, Peter. editor.
Preferred Shelf Number ONLINE(335120.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41533-3
Format: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II

2025-12-24T23:27:29Z

Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335148.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41908-9
Format: Electronic Resources
Availability Online Library~1

Geo-Informatics in Resource Management and Sustainable Ecosystem International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part I

2025-12-24T23:27:29Z

Author Bian, Fuling. editor. Xie, Yichun. editor. Cui, Xiaohui. editor. Zeng, Yixin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335179.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45025-9
Format: Electronic Resources
Availability Online Library~1

AsiaSim 2013 13th International Conference on Systems Simulation, Singapore, November 6-8, 2013. Proceedings

2025-12-24T23:27:29Z

Author Tan, Gary. editor. Yeo, Gee Kin. editor. Turner, Stephen John. editor. Teo, Yong Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335181.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45037-2
Format: Electronic Resources
Availability Online Library~1

Guide to Modeling and Simulation of Systems of Systems

2025-12-24T23:27:29Z

Author Zeigler, Bernard P. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330586.1)
Electronic Access http://dx.doi.org/10.1007/978-0-85729-865-2
Format: Electronic Resources
Availability Online Library~1

Stochastic Reliability and Maintenance Modeling Essays in Honor of Professor Shunji Osaki on his 70th Birthday

2025-12-24T23:27:29Z

Author Dohi, Tadashi. editor. Nakagawa, Toshio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331109.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4971-2
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2025-12-24T23:27:29Z

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

Cloud Computing Third International Conference, CloudComp 2012, Vienna, Austria, September 24-26, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Yousif, Mazin. editor. Schubert, Lutz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333002.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-03874-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-24T23:27:29Z

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

Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedings

2025-12-24T23:27:29Z

Author Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334093.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35980-4
Format: Electronic Resources
Availability Online Library~1

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

2025-12-24T23:27:29Z

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

Computer Performance Engineering 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Tribastone, Mirco. editor. Gilmore, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334290.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36781-6
Format: Electronic Resources
Availability Online Library~1

Data Traffic Monitoring and Analysis From Measurement, Classification, and Anomaly Detection to Quality of Experience

2025-12-24T23:27:29Z

Author Biersack, Ernst. editor. Callegari, Christian. editor. Matijasevic, Maja. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334291.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36784-7
Format: Electronic Resources
Availability Online Library~1

Applied Parallel and Scientific Computing 11th International Conference, PARA 2012, Helsinki, Finland, June 10-13, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Manninen, Pekka. editor. Öster, Per. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334296.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36803-5
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

2025-12-24T23:27:29Z

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

Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012, Heraklion, Crete, Greece, July 26-27, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Flegel, Ulrich. editor. Markatos, Evangelos. editor. Robertson, William. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334403.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37300-8
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2012, July and September 2012. Revised Selected Papers

2025-12-24T23:27:29Z

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

Parallel Programming for Multicore and Cluster Systems

2025-12-24T23:27:29Z

Author Rauber, Thomas. author. Rünger, Gudula. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334484.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37801-0
Format: Electronic Resources
Availability Online Library~1

Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings

2025-12-24T23:27:29Z

Author Cavallaro, Lorenzo. editor. Gollmann, Dieter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334616.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38530-8
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 13th IFIP WG 6.1 International Conference, DAIS 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings

2025-12-24T23:27:29Z

Author Dowling, Jim. editor. Taïani, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334618.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38541-4
Format: Electronic Resources
Availability Online Library~1

Software Product Quality Control

2025-12-24T23:27:29Z

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

Benchmarking Peer-to-Peer Systems Understanding Quality of Service in Large-Scale Distributed Systems

2025-12-24T23:27:29Z

Author Effelsberg, Wolfgang. editor. Steinmetz, Ralf. editor. Strufe, Thorsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334646.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38673-2
Format: Electronic Resources
Availability Online Library~1

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

2025-12-24T23:27:29Z

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

Detection of Intrusions and Malware, and Vulnerability Assessment 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings

2025-12-24T23:27:29Z

Author Rieck, Konrad. editor. Stewin, Patrick. editor. Seifert, Jean-Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334760.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39235-1
Format: Electronic Resources
Availability Online Library~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2025-12-24T23:27:29Z

Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE(334682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Electronic Resources
Availability Online Library~1

Computer Networks 20th International Conference, CN 2013, Lwówek Śląski, Poland, June 17-21, 2013. Proceedings

2025-12-24T23:27:29Z

Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334686.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38865-1
Format: Electronic Resources
Availability Online Library~1

Model-Driven Dependability Assessment of Software Systems

2025-12-24T23:27:29Z

Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334812.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 8th International Conference, WASA 2013, Zhangjiajie, China, August 7-10, 2013. Proceedings

2025-12-24T23:27:29Z

Author Ren, Kui. editor. Liu, Xue. editor. Liang, Weifa. editor. Xu, Ming. editor. Jia, Xiaohua. editor.
Preferred Shelf Number ONLINE(334838.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39701-1
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

2025-12-24T23:27:29Z

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

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

2025-12-24T23:27:29Z

Author Joshi, Kaustubh. editor. Siegle, Markus. editor. Stoelinga, Mariëlle. editor. D’Argenio, Pedro R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334907.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40196-1
Format: Electronic Resources
Availability Online Library~1

Mobile and Ubiquitous Systems: Computing, Networking, and Services 9th International Conference, MobiQuitous 2012, Beijing, China, December 12-14, 2012. Revised Selected Papers

2025-12-24T23:27:29Z

Author Zheng, Kan. editor. Li, Mo. editor. Jiang, Hongbo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334916.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40238-8
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

2025-12-24T23:27:29Z

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

OpenMP in the Era of Low Power Devices and Accelerators 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings

2025-12-24T23:27:29Z

Author Rendell, Alistair P. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334990.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40698-0
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings

2025-12-24T23:27:29Z

Author Balsamo, Maria Simonetta. editor. Knottenbelt, William J. editor. Marin, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334995.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40725-3
Format: Electronic Resources
Availability Online Library~1

Evaluating AAL Systems Through Competitive Benchmarking International Competitions and Final Workshop, EvAAL 2013, July and September 2013. Proceedings

2025-12-24T23:27:29Z

Author Botía, Juan A. editor. Álvarez-García, Juan Antonio. editor. Fujinami, Kaori. editor. Barsocchi, Paolo. editor. Riedel, Till. editor.
Preferred Shelf Number ONLINE(335047.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41043-7
Format: Electronic Resources
Availability Online Library~1

Mobile Schutzassistenz Grundlagen, Entwurfsmethodik, Gestaltanforderungen

2025-12-24T23:27:29Z

Author Breckenfelder, Christof. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(337705.1)
Electronic Access http://dx.doi.org/10.1007/978-3-658-01128-4
Format: Electronic Resources
Availability Online Library~1

Privacy and Security for Cloud Computing

2025-12-24T23:27:29Z

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

Guide to Cloud Computing Principles and Practice

2025-12-24T23:27:29Z

Author Hill, Richard. author. Hirsch, Laurie. author. Lake, Peter. author. Moshiri, Siavash. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331022.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4603-2
Format: Electronic Resources
Availability Online Library~1

The Secure Information Society Ethical, Legal and Political Challenges

2025-12-24T23:27:29Z

Author Krüger, Jörg. editor. Nickolay, Bertram. editor. Gaycken, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331051.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4763-3
Format: Electronic Resources
Availability Online Library~1

Web Proxy Cache Replacement Strategies Simulation, Implementation, and Performance Evaluation

2025-12-24T23:27:29Z

Author ElAarag, Hala. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331089.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4893-7
Format: Electronic Resources
Availability Online Library~1

Model-based Health Monitoring of Hybrid Systems

2025-12-24T23:27:29Z

Author Wang, Danwei. author. Yu, Ming. author. Low, Chang Boon. author. Arogeti, Shai. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332270.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7369-5
Format: Electronic Resources
Availability Online Library~1

From Fault Classification to Fault Tolerance for Multi-Agent Systems

2025-12-24T23:27:29Z

Author Potiron, Katia. author. El Fallah Seghrouchni, Amal. author. Taillibert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331127.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5046-6
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering and Management for Software Development Projects

2025-12-24T23:27:29Z

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

The Effects of Traffic Structure on Application and Network Performance

2025-12-24T23:27:29Z

Author Aikat, Jay. author. Jeffay, Kevin. author. Smith, F. Donelson. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331287.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1848-1
Format: Electronic Resources
Availability Online Library~1

Advances in Wireless Sensor Networks 6th China Conference, CWSN 2012, Huangshan, China, October 25-27, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Wang, Ruchuan. editor. Xiao, Fu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334157.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36252-1
Format: Electronic Resources
Availability Online Library~1

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

2025-12-24T23:27:29Z

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

Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen

2025-12-24T23:27:29Z

Author Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338309.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2068-6
Format: Electronic Resources
Availability Online Library~1

Testmanagement bei SAP-Projekten Erfolgreich Planen • Steuern • Reporten bei der Einführung von SAP-Banking

2025-12-24T23:27:29Z

Author Vivenzio, Alberto. author. Vivenzio, Domenico. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(338324.1)
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2142-3
Format: Electronic Resources
Availability Online Library~1

Guide to Software Development Designing and Managing the Life Cycle

2025-12-24T23:27:29Z

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

Service Placement in Ad Hoc Networks

2025-12-24T23:27:29Z

Author Wittenburg, Georg. author. Schiller, Jochen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2363-7
Format: Electronic Resources
Availability Online Library~1

Achieving Systems Safety Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

2025-12-24T23:27:29Z

Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2494-8
Format: Electronic Resources
Availability Online Library~1

Data Management in Cloud, Grid and P2P Systems 5th International Conference, Globe 2012, Vienna, Austria, September 5-6, 2012. Proceedings

2025-12-24T23:27:29Z

Author Hameurlain, Abdelkader. editor. Hussain, Farookh Khadeer. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32344-7
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

2025-12-24T23:27:29Z

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

Interoperable Electronic Safety Equipment Performance Requirements for Compatible and Interoperable Electronic Equipment for Emergency First Responders

2025-12-24T23:27:29Z

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

Embedded Technologies Vom Treiber bis zur Grafik-Anbindung

2025-12-24T23:27:29Z

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

Algorithms for Sensor Systems 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities, ALGOSENSORS 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Erlebach, Thomas. editor. Nikoletseas, Sotiris. editor. Orponen, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28209-6
Format: Electronic Resources
Availability Online Library~1

Traffic Monitoring and Analysis 4th International Workshop, TMA 2012, Vienna, Austria, March 12, 2012. Proceedings

2025-12-24T23:27:29Z

Author Pescapè, Antonio. editor. Salgarelli, Luca. editor. Dimitropoulos, Xenofontas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28534-9
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 8th International Workshop, GECON 2011, Paphos, Cyprus, December 5, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28675-9
Format: Electronic Resources
Availability Online Library~1

Semantic Web Services Advancement through Evaluation

2025-12-24T23:27:29Z

Author Blake, Brian. editor. Cabral, Liliana. editor. König-Ries, Birgitta. editor. Küster, Ulrich. editor. Martin, David. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28735-0
Format: Electronic Resources
Availability Online Library~1

Quality, Reliability, Security and Robustness in Heterogeneous Networks 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Houston, TX, USA, November 17-19, 2010, Revised Selected Papers

2025-12-24T23:27:29Z

Author Zhang, Xi. editor. Qiao, Daji. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29222-4
Format: Electronic Resources
Availability Online Library~1

Resilience Assessment and Evaluation of Computing Systems

2025-12-24T23:27:29Z

Author Wolter, Katinka. editor. Avritzer, Alberto. editor. Vieira, Marco. editor. van Moorsel, Aad. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29032-9
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part I

2025-12-24T23:27:29Z

Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29737-3
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2011: Parallel Processing Workshops CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29 – September 2, 2011, Revised Selected Papers, Part II

2025-12-24T23:27:29Z

Author Alexander, Michael. editor. D’Ambra, Pasqua. editor. Belloum, Adam. editor. Bosilca, George. editor. Cannataro, Mario. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29740-3
Format: Electronic Resources
Availability Online Library~1

Analytical and Stochastic Modeling Techniques and Applications 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings

2025-12-24T23:27:29Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Vincent, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30782-9
Format: Electronic Resources
Availability Online Library~1

OpenMP in a Heterogeneous World 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

2025-12-24T23:27:29Z

Author Chapman, Barbara M. editor. Massaioli, Federico. editor. Müller, Matthias S. editor. Rorro, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30961-8
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

2025-12-24T23:27:29Z

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

Computer Networks 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings

2025-12-24T23:27:29Z

Author Kwiecień, Andrzej. editor. Gaj, Piotr. editor. Stera, Piotr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31217-5
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

2025-12-24T23:27:29Z

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

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Peña, Ricardo. editor. Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32495-6
Format: Electronic Resources
Availability Online Library~1

Topics in Performance Evaluation, Measurement and Characterization Third TPC Technology Conference, TPCTC 2011, Seattle, WA, USA, August 29-September 3, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

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

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32778-0
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

2025-12-24T23:27:29Z

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

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

2025-12-24T23:27:29Z

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

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33681-2
Format: Electronic Resources
Availability Online Library~1

Telematics in the Transport Environment 12th International Conference on Transport Systems Telematics, TST 2012, Katowice-Ustroń, Poland, October 10–13, 2012. Selected Papers

2025-12-24T23:27:29Z

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

Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings

2025-12-24T23:27:29Z

Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-4-431-54216-2
Format: Electronic Resources
Availability Online Library~1

Ad Hoc Networks Third International ICST Conference, ADHOCNETS 2011, Paris, France, September 21-23, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Simplot-Ryl, David. editor. Dias de Amorim, Marcelo. editor. Giordano, Silvia. editor. Helmy, Ahmed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29096-1
Format: Electronic Resources
Availability Online Library~1

Testbeds and Research Infrastructure. Development of Networks and Communities 7th International ICST Conference,TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers

2025-12-24T23:27:29Z

Author Korakis, Thanasis. editor. Li, Hongbin. editor. Tran-Gia, Phuoc. editor. Park, Hong-Shik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29273-6
Format: Electronic Resources
Availability Online Library~1

Risk Management Technologies With Logic and Probabilistic Models

2025-12-24T23:27:29Z

Author Solozhentsev, E.D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-4288-8
Format: Electronic Resources
Availability Online Library~1

Performance Metrics for Haptic Interfaces

2025-12-24T23:27:29Z

Author Samur, Evren. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4225-6
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 7th International Conference, WASA 2012, Yellow Mountains, China, August 8-10, 2012. Proceedings

2025-12-24T23:27:29Z

Author Wang, Xinbing. editor. Zheng, Rong. editor. Jing, Tao. editor. Xing, Kai. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31869-6
Format: Electronic Resources
Availability Online Library~1

Energy Efficient Data Centers First International Workshop, E2DC 2012, Madrid, Spain, Mai 8, 2012, Revised Selected Papers

2025-12-24T23:27:29Z

Author Huusko, Jyrki. editor. Meer, Hermann. editor. Klingert, Sonja. editor. Somov, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33645-4
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

2025-12-24T23:27:29Z

Author France, Robert B. editor. Kazmeier, Jürgen. editor. Breu, Ruth. editor. Atkinson, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33666-9
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VI

2025-12-24T23:27:29Z

Author Jensen, Kurt. editor. Aalst, Wil M. editor. Ajmone Marsan, Marco. editor. Franceschinis, Giuliana. editor. Kleijn, Jetty. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35179-2
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 9th International Conference, GECON 2012, Berlin, Germany, November 27-28, 2012. Proceedings

2025-12-24T23:27:29Z

Author Vanmechelen, Kurt. editor. Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35194-5
Format: Electronic Resources
Availability Online Library~1

Network Computing and Information Security Second International Conference, NCIS 2012, Shanghai, China, December 7-9, 2012. Proceedings

2025-12-24T23:27:29Z

Author Lei, Jingsheng. editor. Wang, Fu Lee. editor. Li, Mo. editor. Luo, Yuan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35211-9
Format: Electronic Resources
Availability Online Library~1

Multimodal Interactive Pattern Recognition and Applications

2025-12-24T23:27:29Z

Author Toselli, Alejandro Héctor. author. Vidal, Enrique. author. Casacuberta, Francisco. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-479-1
Format: Electronic Resources
Availability Online Library~1

Sensing and Systems in Pervasive Computing Engineering Context Aware Systems

2025-12-24T23:27:29Z

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

Handbook of Mobile Ad Hoc Networks for Mobility Models

2025-12-24T23:27:29Z

Author Roy, Radhika Ranjan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6050-4
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Real-Time Systems International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers

2025-12-24T23:27:29Z

Author Giese, Holger. editor. Karsai, Gabor. editor. Lee, Edward. editor. Rumpe, Bernhard. editor. Schätz, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16277-0
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2025-12-24T23:27:29Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Model-Based Software Performance Analysis

2025-12-24T23:27:29Z

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

Performance Evaluation, Measurement and Characterization of Complex Systems Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

2025-12-24T23:27:29Z

Author Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18206-8
Format: Electronic Resources
Availability Online Library~1

New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud

2025-12-24T23:27:29Z

Author Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19294-4
Format: Electronic Resources
Availability Online Library~1

Traffic Monitoring and Analysis Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings

2025-12-24T23:27:29Z

Author Domingo-Pascual, Jordi. editor. Shavitt, Yuval. editor. Uhlig, Steve. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20305-3
Format: Electronic Resources
Availability Online Library~1

Information Security and Assurance International Conference, ISA 2011, Brno, Czech Republic, August 15-17, 2011. Proceedings

2025-12-24T23:27:29Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Robles, Rosslin John. editor. Balitanas, Maricel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23141-4
Format: Electronic Resources
Availability Online Library~1

Human Interface and the Management of Information. Interacting with Information Symposium on Human Interface 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

2025-12-24T23:27:29Z

Author Salvendy, Gavriel. editor. Smith, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21669-5
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers

2025-12-24T23:27:29Z

Author Xenakis, Christos. editor. Wolthusen, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21694-7
Format: Electronic Resources
Availability Online Library~1

Grids, Clouds and Virtualization

2025-12-24T23:27:29Z

Author Cafaro, Massimo. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-049-6
Format: Electronic Resources
Availability Online Library~1

Advances in Systems Safety Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

2025-12-24T23:27:29Z

Author Dale, Chris. editor. Anderson, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-133-2
Format: Electronic Resources
Availability Online Library~1