Search Results for Software engineering - Narrowed by: 2012

Experimentation in Software Engineering

2026-06-14T18:34:56Z

Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29044-2
Format: Electronic Resources
Availability Online Library~1

Software and Network Engineering

2026-06-14T18:34:56Z

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

Software engineering : the current practices

2026-06-14T18:34:56Z

Author Rajlich, Vaclav.
Preferred Shelf Number QA76.758 R36 2012
Format: Books
Availability Beytepe Library~1

Handbook of software engineering & knowledge engineering

2026-06-14T18:34:56Z

Author Chang, Shi Kuo, 1944- ed.
Preferred Shelf Number QA 76.758 H36 2001- V.2
Format: Books
Availability Beytepe Library~1

Software Engineering Research,Management and Applications 2011

2026-06-14T18:34:56Z

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

Software Engineering Research, Management and Applications 2012

2026-06-14T18:34:56Z

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

Knowledge-based software engineering proceedings of the tenth Joint Conference on Knowledge-Based Software Engineering

2026-06-14T18:34:56Z

Author Joint Conference on Knowledge-Based Software Engineering (10th : 2012 : Rhodes (Island), Greece) Virvou, Maria. Matsuura, Saeko. IOS Press.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=489951
Format: Electronic Resources
Availability Online Library~1

Social software engineering : development and collaboration with social networking

2026-06-14T18:34:56Z

Author Keyes, Jessica, 1950, author.
Preferred Shelf Number QA76.758 .K479 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software Engineering and Knowledge Engineering: Theory and Practice Volume 1

2026-06-14T18:34:56Z

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

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

2026-06-14T18:34:56Z

Author Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28166-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Knowledge Engineering: Theory and Practice Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012)

2026-06-14T18:34:56Z

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

Computer- Aided Design in Power Engineering Application of Software Tools

2026-06-14T18:34:56Z

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

Agile Processes in Software Engineering and Extreme Programming 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012. Proceedings

2026-06-14T18:34:56Z

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

Software Service and Application Engineering Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday

2026-06-14T18:34:56Z

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

Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

2026-06-14T18:34:56Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
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

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

A Short Course in Computational Science and Engineering C++, Java and Octave Numerical Programming with Free Software Tools

2026-06-14T18:34:56Z

Author Yevick, David.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-06-14T18:34:56Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format: Electronic Resources
Availability Online Library~1

Case study research in software engineering guidelines and examples

2026-06-14T18:34:56Z

Author Runeson, Per, 1966-
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=818522 John Wiley http://dx.doi.org/10.1002/9781118181034 http://swb.eblib.com/patron/FullRecord.aspx?p=818522
Format: Electronic Resources
Availability Online Library~1

Computer, network, software, and hardware engineering with applications

2026-06-14T18:34:56Z

Author Shneidewind, Norman.
Preferred Shelf Number TK7885 S2564 2012
Format: Books
Availability Beytepe Library~1

Managing Humans Biting and Humorous Tales of a Software Engineering Manager

2026-06-14T18:34:56Z

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

Software Engineering and Knowledge Engineering: Theory and Practice Volume 2

2026-06-14T18:34:56Z

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

Advances in Multimedia, Software Engineering and Computing Vol.2 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

2026-06-14T18:34:56Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25986-9
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia, Software Engineering and Computing Vol.1 Proceedings of the 2011 MSEC International Conference on Multimedia, Software Engineering and Computing, November 26–27, Wuhan, China

2026-06-14T18:34:56Z

Author Jin, David. editor. Lin, Sally. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25989-0
Format: Electronic Resources
Availability Online Library~1

Advances in Software Engineering Techniques 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers

2026-06-14T18:34:56Z

Author Szmuc, Tomasz. editor. Szpyrka, Marcin. editor. Zendulka, Jaroslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28038-2
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 18th International Working Conference, REFSQ 2012, Essen, Germany, March 19-22, 2012. Proceedings

2026-06-14T18:34:56Z

Author Regnell, Björn. editor. Damian, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28714-5
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Sloane, Anthony. editor. Aßmann, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28830-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2026-06-14T18:34:56Z

Author Lara, Juan. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28872-2
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29320-7
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised Selected Papers

2026-06-14T18:34:56Z

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

Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings

2026-06-14T18:34:56Z

Author Eleftherakis, George. editor. Hinchey, Mike. editor. Holcombe, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33826-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings

2026-06-14T18:34:56Z

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

Human-Centered Software Engineering 4th International Conference, HCSE 2012, Toulouse, France, October 29-31, 2012. Proceedings

2026-06-14T18:34:56Z

Author Winckler, Marco. editor. Forbrig, Peter. editor. Bernhaupt, Regina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34347-6
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kim, Tai-hoon. editor. Ramos, Carlos. editor. Kim, Haeng-kon. editor. Kiumi, Akingbehin. editor. Mohammed, Sabah. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35267-6
Format: Electronic Resources
Availability Online Library~1

Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures

2026-06-14T18:34:56Z

Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25231-0
Format: Electronic Resources
Availability Online Library~1

Enterprise software architecture and design entities, services, and resources

2026-06-14T18:34:56Z

Author Duggan, Dominic.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/9781118180518 http://site.ebrary.com/lib/alltitles/Doc?id=10529323
Format: Electronic Resources
Availability Online Library~1

Oracle database performance and scalability : a quantitative approach

2026-06-14T18:34:56Z

Author Liu, Henry H.
Preferred Shelf Number QA76.9.D3 L5945 2012
Format: Books
Availability Beytepe Library~1

Software Process Definition and Management

2026-06-14T18:34:56Z

Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Electronic Resources
Availability Online Library~1

Building enterprise systems with ODP : an introduction to open distributed processing

2026-06-14T18:34:56Z

Author Linington, Peter F., author.
Preferred Shelf Number QA76.9 .D5 L56 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Tcl/Tk a developer's guide

2026-06-14T18:34:56Z

Author Flynt, Clif.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123847171
Format: Electronic Resources
Availability Online Library~1

Analysis of the MPEG-1 layer III (MP3) algorithm using MATLAB

2026-06-14T18:34:56Z

Author Thiagarajan, Jayaraman Jayaraman. Spanias, Andreas.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440470
Format: Electronic Resources
Availability Online Library~1

The ScrumMaster study guide

2026-06-14T18:34:56Z

Author Schiel, James., author.
Preferred Shelf Number QA76.76 .D47 S2956 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Information security management handbook

2026-06-14T18:34:56Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Applied semantic web technologies

2026-06-14T18:34:56Z

Author Sugumaran, Vijayan, 1960- Gulla, Jon Atle.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=392571
Format: Electronic Resources
Availability Online Library~1

Embedded systems and wireless technology

2026-06-14T18:34:56Z

Author Aquino Santos, Raul, 1965- Block, Arthur Edwards, 1957-
Preferred Shelf Number TK5105.77 .E43 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Systems engineering and architecting : creating formal requirements

2026-06-14T18:34:56Z

Author Bellagamba, Laurence., author.
Preferred Shelf Number TA168 .B376 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software project management : a process-driven approach

2026-06-14T18:34:56Z

Author Ahmed, Ashfaque., author.
Preferred Shelf Number QA76.76 .D47 A3965 2012
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

2026-06-14T18:34:56Z

Author Chivers, Ian. author. Sleightholme, Jane. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-233-9
Format: Electronic Resources
Availability Online Library~1

Expert F# 3.0

2026-06-14T18:34:56Z

Author Syme, Don. author. Granicz, Adam. author. Cisternino, Antonio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4651-0
Format: Electronic Resources
Availability Online Library~1

Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code

2026-06-14T18:34:56Z

Author Blunden, Bill. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-5108-8
Format: Electronic Resources
Availability Online Library~1

Software and Systems Traceability

2026-06-14T18:34:56Z

Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Electronic Resources
Availability Online Library~1

Guide to Software Development Designing and Managing the Life Cycle

2026-06-14T18:34:56Z

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

Patterns, Programming and Everything

2026-06-14T18:34:56Z

Author Breitman, Karin K. editor. Horspool, R. Nigel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2350-7
Format: Electronic Resources
Availability Online Library~1

Foundational Java Key Elements and Practical Programming

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

Doing Design Ethnography

2026-06-14T18:34:56Z

Author Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: Electronic Resources
Availability Online Library~1

Guide to Scientific Computing in C++

2026-06-14T18:34:56Z

Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2736-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability V Shaping Enterprise Interoperability in the Future Internet

2026-06-14T18:34:56Z

Author Poler, Raúl. editor. Doumeingts, Guy. editor. Katzy, Bernhard. editor. Chalmeta, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2819-9
Format: Electronic Resources
Availability Online Library~1

The Design of Cloud Workflow Systems

2026-06-14T18:34:56Z

Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Electronic Resources
Availability Online Library~1

Applied Ontology Engineering in Cloud Services, Networks and Management Systems

2026-06-14T18:34:56Z

Author Serrano Orozco, J. Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-2236-5
Format: Electronic Resources
Availability Online Library~1

Recht ex machina Formalisierung des Rechts im Internet der Dienste

2026-06-14T18:34:56Z

Author Raabe, Oliver. author. Wacker, Richard. author. Oberle, Daniel. author. Baumann, Christian. author. Funk, Christian. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17671-5
Format: Electronic Resources
Availability Online Library~1

Abgründe der Informatik Geheimnisse und Gemeinheiten

2026-06-14T18:34:56Z

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

Earth System Modelling - Volume 3 Coupling Software and Strategies

2026-06-14T18:34:56Z

Author Valcke, Sophie. author. Redler, René. author. Budich, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23360-9
Format: Electronic Resources
Availability Online Library~1

BOINC Hochleistungsrechnen mit Berkeley Open Infrastructure for Network Computing

2026-06-14T18:34:56Z

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

Network Hacks - Intensivkurs Angriff und Verteidigung mit Python

2026-06-14T18:34:56Z

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

Computer Architecture ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Varbanescu, Ana Lucia. editor. Molnos, Anca. editor. Nieuwpoort, Rob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24322-6
Format: Electronic Resources
Availability Online Library~1

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

2026-06-14T18:34:56Z

Author Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1926-2
Format: Electronic Resources
Availability Online Library~1

Computer Science and its Applications CSA 2012

2026-06-14T18:34:56Z

Author Yeo, Sang-Soo. editor. Pan, Yi. editor. Lee, Yang Sun. editor. Chang, Hang Bae. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-5699-1
Format: Electronic Resources
Availability Online Library~1

Code Generation with Templates

2026-06-14T18:34:56Z

Author Arnoldus, Jeroen. author. van den Brand, Mark. author. Serebrenik, A. author. Brunekreef, J.J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-56-5
Format: Electronic Resources
Availability Online Library~1

Beyond redundancy how geographic redundancy can improve service availability and reliability of computer-based systems

2026-06-14T18:34:56Z

Author Bauer, Eric. Adams, Randee. Eustace, Dan.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047598
Format: Electronic Resources
Availability Online Library~1

Service Virtualization Reality is Overrated

2026-06-14T18:34:56Z

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

Distributed, Embedded and Real-time Java Systems

2026-06-14T18:34:56Z

Author Higuera-Toledano, M. Teresa. editor. Wellings, Andy J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8158-5
Format: Electronic Resources
Availability Online Library~1

Automated Configuration Problem Solving

2026-06-14T18:34:56Z

Author Petrie, Charles J. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-4532-6
Format: Electronic Resources
Availability Online Library~1

Pervasive Linux Basistechnologien, Softwareentwicklung, Werkzeuge

2026-06-14T18:34:56Z

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

Foundations of Algebraic Specification and Formal Software Development

2026-06-14T18:34:56Z

Author Sannella, Donald. author. Tarlecki, Andrzej. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17336-3
Format: Electronic Resources
Availability Online Library~1

Design Thinking Research Studying Co-Creation in Practice

2026-06-14T18:34:56Z

Author Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21643-5
Format: Electronic Resources
Availability Online Library~1

Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring

2026-06-14T18:34:56Z

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

Automated Solution of Differential Equations by the Finite Element Method The FEniCS Book

2026-06-14T18:34:56Z

Author Logg, Anders. editor. Mardal, Kent-Andre. editor. Wells, Garth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23099-8
Format: Electronic Resources
Availability Online Library~1

From the Web to the Grid and Beyond Computing Paradigms Driven by High-Energy Physics

2026-06-14T18:34:56Z

Author Brun, René. editor. Carminati, Federico. editor. Galli Carminati, Giuliana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23157-5
Format: Electronic Resources
Availability Online Library~1

Informationstechnologie für Ingenieure

2026-06-14T18:34:56Z

Author Eigner, Martin. author. Gerhardt, Florian. author. Gilz, Torsten. author. Mogo Nem, Fabrice. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24893-1
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Computer Science and Engineering Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II

2026-06-14T18:34:56Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27308-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science and Information Technology. Computer Science and Information Technology Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III

2026-06-14T18:34:56Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27317-9
Format: Electronic Resources
Availability Online Library~1

Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Mödersheim, Sebastian. editor. Palamidessi, Catuscia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27375-9
Format: Electronic Resources
Availability Online Library~1

Applied Parallel and Scientific Computing 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part II

2026-06-14T18:34:56Z

Author Jónasson, Kristján. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28145-7
Format: Electronic Resources
Availability Online Library~1

Wireless Sensor Networks 9th European Conference, EWSN 2012, Trento, Italy, February 15-17, 2012. Proceedings

2026-06-14T18:34:56Z

Author Picco, Gian Pietro. editor. Heinzelman, Wendi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28169-3
Format: Electronic Resources
Availability Online Library~1

Agile Service Development Combining Adaptive Methods and Flexible Solutions

2026-06-14T18:34:56Z

Author Lankhorst, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28188-4
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

2026-06-14T18:34:56Z

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

Exploring Services Science Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012. Proceedings

2026-06-14T18:34:56Z

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

Technological Innovation for Value Creation Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Camarinha-Matos, Luis M. editor. Shahamatnia, Ehsan. editor. Nunes, Gonçalo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28255-3
Format: Electronic Resources
Availability Online Library~1

Building a National Distributed e-Infrastructure–PL-Grid Scientific and Technical Achievements

2026-06-14T18:34:56Z

Author Bubak, Marian. editor. Szepieniec, Tomasz. editor. Wiatr, Kazimierz. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28267-6
Format: Electronic Resources
Availability Online Library~1

Web Information Systems and Technologies 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Filipe, Joaquim. editor. Cordeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28082-5
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I

2026-06-14T18:34:56Z

Author Daniel, Florian. editor. Barkaoui, Kamel. editor. Dustdar, Schahram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28108-2
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Agile Management Leadership in an Agile Environment

2026-06-14T18:34:56Z

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

Relationale Datenbanken und SQL in Theorie und Praxis

2026-06-14T18:34:56Z

Author Unterstein, Michael. author. Matthiessen, Günter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28986-6
Format: Electronic Resources
Availability Online Library~1

Resilience Assessment and Evaluation of Computing Systems

2026-06-14T18:34:56Z

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

Transactions on Petri Nets and Other Models of Concurrency V

2026-06-14T18:34:56Z

Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Kleijn, Jetty. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29072-5
Format: Electronic Resources
Availability Online Library~1

agendaCPS Integrierte Forschungsagenda Cyber-Physical Systems

2026-06-14T18:34:56Z

Author Geisberger, Eva. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29099-2
Format: Electronic Resources
Availability Online Library~1

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

2026-06-14T18:34:56Z

Author Sakama, Chiaki. editor. Sardina, Sebastian. editor. Vasconcelos, Wamberto. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29113-5
Format: Electronic Resources
Availability Online Library~1

S-BPM ONE – Scientific Research 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012. Proceedings

2026-06-14T18:34:56Z

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

Protocol Engineering

2026-06-14T18:34:56Z

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

Mobile and Ubiquitous Systems: Computing, Networking, and Services 7th International ICST Conference, MobiQuitous 2010, Sydeny, Australia, December 6-9, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Sénac, Patrick. editor. Ott, Max. editor. Seneviratne, Aruna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29154-8
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

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

2026-06-14T18:34:56Z

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

IS Olympics: Information Systems in a Diverse World CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers

2026-06-14T18:34:56Z

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

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

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

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings

2026-06-14T18:34:56Z

Author Schrijvers, Tom. editor. Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29822-6
Format: Electronic Resources
Availability Online Library~1

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

2026-06-14T18:34:56Z

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

Web Services and Formal Methods 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Carbone, Marco. editor. Petit, Jean-Marc. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29834-9
Format: Electronic Resources
Availability Online Library~1

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Khurshid, Sarfraz. editor. Sen, Koushik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29860-8
Format: Electronic Resources
Availability Online Library~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2026-06-14T18:34:56Z

Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Electronic Resources
Availability Online Library~1

Formal Concept Analysis 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings

2026-06-14T18:34:56Z

Author Domenach, Florent. editor. Ignatov, Dmitry I. editor. Poelmans, Jonas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29892-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Zhang, Runtong. editor. Zhang, Juliang. editor. Zhang, Zhenji. editor. Filipe, Joaquim. editor. Cordeiro, José. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29958-2
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2012 Workshops International IFIP TC 6 Workshops, ETICS, HetsNets, and CompNets, Held at NETWORKING 2012, Prague, Czech Republic, May 25, 2012. Proceedings

2026-06-14T18:34:56Z

Author Becvar, Zdenek. editor. Bestak, Robert. editor. Kencl, Lukas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30039-4
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part I

2026-06-14T18:34:56Z

Author Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30045-5
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2012 11th International IFIP TC 6 Networking Conference, Prague, Czech Republic, May 21-25, 2012, Proceedings, Part II

2026-06-14T18:34:56Z

Author Bestak, Robert. editor. Kencl, Lukas. editor. Li, Li Erran. editor. Widmer, Joerg. editor. Yin, Hao. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30054-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Global Computing 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

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

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India. Volume 2

2026-06-14T18:34:56Z

Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30111-7
Format: Electronic Resources
Availability Online Library~1

Advances in Computer Science, Engineering & Applications Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1

2026-06-14T18:34:56Z

Author Wyld, David C. editor. Zizka, Jan. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30157-5
Format: Electronic Resources
Availability Online Library~1

A Primer on Scientific Programming with Python

2026-06-14T18:34:56Z

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

Game Theory for Networks 2nd International ICST Conference, GAMENETS 2011, Shanghai, China, April 16-18, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Jain, Rahul. editor. Kannan, Rajgopal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30373-9
Format: Electronic Resources
Availability Online Library~1

Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25–27, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Tomkos, Ioannis. editor. Bouras, Christos J. editor. Ellinas, Georgios. editor. Demestichas, Panagiotis. editor. Sinha, Prasun. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30376-0
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Mobile Multimedia Communications 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Atzori, Luigi. editor. Delgado, Jaime. editor. Giusto, Daniele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30419-4
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Pentikousis, Kostas. editor. Aguiar, Rui. editor. Sargento, Susana. editor. Agüero, Ramón. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30422-4
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings

2026-06-14T18:34:56Z

Author Mas, Antonia. editor. Mesquida, Antoni. editor. Rout, Terry. editor. O’Connor, Rory V. editor. Dorling, Alec. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30439-2
Format: Electronic Resources
Availability Online Library~1

Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

2026-06-14T18:34:56Z

Author Brucker, Achim D. editor. Julliand, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30473-6
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Hu, Zhenjiang. editor. Lara, Juan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30476-7
Format: Electronic Resources
Availability Online Library~1

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I

2026-06-14T18:34:56Z

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

Objects, Models, Components, Patterns 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings

2026-06-14T18:34:56Z

Author Furia, Carlo A. editor. Nanz, Sebastian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30561-0
Format: Electronic Resources
Availability Online Library~1

Software Composition 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

2026-06-14T18:34:56Z

Author Gschwind, Thomas. editor. Paoli, Flavio. editor. Gruhn, Volker. editor. Book, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30564-1
Format: Electronic Resources
Availability Online Library~1

Networked Digital Technologies 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II

2026-06-14T18:34:56Z

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

Reliable Software Technologies – Ada-Europe 2012 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings

2026-06-14T18:34:56Z

Author Brorsson, Mats. editor. Pinho, Luís Miguel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30598-6
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings

2026-06-14T18:34:56Z

Author Koucheryavy, Yevgeni. editor. Mamatas, Lefteris. editor. Matta, Ibrahim. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30630-3
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Scientific Workflows Programming, Optimization, and Synthesis with ASKALON and AWDL

2026-06-14T18:34:56Z

Author Qin, Jun. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30715-7
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

2026-06-14T18:34:56Z

Author Derrick, John. editor. Gnesi, Stefania. editor. Latella, Diego. editor. Treharne, Helen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30729-4
Format: Electronic Resources
Availability Online Library~1

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

2026-06-14T18:34:56Z

Author Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30743-0
Format: Electronic Resources
Availability Online Library~1

Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings

2026-06-14T18:34:56Z

Author Cusumano, Michael A. editor. Iyer, Bala. editor. Venkatraman, N. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30746-1
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Impact Analysis of Solutions for Chronic Disease Prevention and Management 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings

2026-06-14T18:34:56Z

Author Donnelly, Mark. editor. Paggetti, Cristiano. editor. Nugent, Chris. editor. Mokhtari, Mounir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30779-9
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

2026-06-14T18:34:56Z

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

Formal Techniques for Distributed Systems Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

Coordination Models and Languages 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings

2026-06-14T18:34:56Z

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

Mobile and Ubiquitous Systems: Computing, Networking, and Services 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

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

Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31037-9
Format: Electronic Resources
Availability Online Library~1

ECOOP 2012 – Object-Oriented Programming 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings

2026-06-14T18:34:56Z

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

Product-Focused Software Process Improvement 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings

2026-06-14T18:34:56Z

Author Dieste, Oscar. editor. Jedlitschka, Andreas. editor. Juristo, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31063-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bajec, Marko. editor. Eder, Johann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31069-0
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bider, Ilia. editor. Halpin, Terry. editor. Krogstie, John. editor. Nurcan, Selmin. editor. Proper, Erik. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31072-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II

2026-06-14T18:34:56Z

Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31075-1
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Ralyté, Jolita. editor. Franch, Xavier. editor. Brinkkemper, Sjaak. editor. Wrycza, Stanislaw. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31095-9
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

2026-06-14T18:34:56Z

Author Gibbons, Jeremy. editor. Nogueira, Pablo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31113-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I

2026-06-14T18:34:56Z

Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31125-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV

2026-06-14T18:34:56Z

Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31128-4
Format: Electronic Resources
Availability Online Library~1

Application and Theory of Petri Nets 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Haddad, Serge. editor. Pomello, Lucia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31131-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2012 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III

2026-06-14T18:34:56Z

Author Murgante, Beniamino. editor. Gervasi, Osvaldo. editor. Misra, Sanjay. editor. Nedjah, Nadia. editor. Rocha, Ana Maria A. C. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31137-6
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

2026-06-14T18:34:56Z

Author Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31199-4
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Image and Signal Processing 5th International Conference, ICISP 2012, Agadir, Morocco, June 28-30, 2012. Proceedings

2026-06-14T18:34:56Z

Author Elmoataz, Abderrahim. editor. Mammass, Driss. editor. Lezoray, Olivier. editor. Nouboud, Fathallah. editor. Aboutajdine, Driss. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31254-0
Format: Electronic Resources
Availability Online Library~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31365-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

2026-06-14T18:34:56Z

Author Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31424-7
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I

2026-06-14T18:34:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31464-3
Format: Electronic Resources
Availability Online Library~1

Modelling Foundations and Applications 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings

2026-06-14T18:34:56Z

Author Vallecillo, Antonio. editor. Tolvanen, Juha-Pekka. editor. Kindler, Ekkart. editor. Störrle, Harald. editor. Kolovos, Dimitris. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31491-9
Format: Electronic Resources
Availability Online Library~1

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

2026-06-14T18:34:56Z

Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31494-0
Format: Electronic Resources
Availability Online Library~1

Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II

2026-06-14T18:34:56Z

Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31500-8
Format: Electronic Resources
Availability Online Library~1

Ad-hoc, Mobile, and Wireless Networks 11th International Conference, ADHOC-NOW 2012, Belgrade, Serbia, July 9-11, 2012. Proceedings

2026-06-14T18:34:56Z

Author Li, Xiang-Yang. editor. Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31638-8
Format: Electronic Resources
Availability Online Library~1

Web Engineering 12th International Conference, ICWE 2012, Berlin, Germany, July 23-27, 2012. Proceedings

2026-06-14T18:34:56Z

Author Brambilla, Marco. editor. Tokuda, Takehiro. editor. Tolksdorf, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31753-8
Format: Electronic Resources
Availability Online Library~1

Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

2026-06-14T18:34:56Z

Author Donaldson, Alastair. editor. Parker, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31759-0
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Gurov, Dilian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31762-0
Format: Electronic Resources
Availability Online Library~1

Virtual and Networked Organizations, Emergent Technologies and Tools First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Putnik, Goran D. editor. Cruz-Cunha, Maria Manuela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31800-9
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

2026-06-14T18:34:56Z

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

Service-Oriented Computing - ICSOC 2011 Workshops ICSOC 2011, International Workshops WESOA, NFPSLAM-SOC, and Satellite Events, Paphos, Cyprus, December 5-8, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Pallis, George. editor. Jmaiel, Mohamed. editor. Charfi, Anis. editor. Graupner, Sven. editor. Karabulut, Yücel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31875-7
Format: Electronic Resources
Availability Online Library~1

Programming Multi-Agent Systems 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Dennis, Louise. editor. Boissier, Olivier. editor. Bordini, Rafael H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31915-0
Format: Electronic Resources
Availability Online Library~1

Speech, Sound and Music Processing: Embracing Research in India 8th International Symposium, CMMR 2011, 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Ystad, Sølvi. editor. Aramaki, Mitsuko. editor. Kronland-Martinet, Richard. editor. Jensen, Kristoffer. editor. Mohanty, Sanghamitra. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31980-8
Format: Electronic Resources
Availability Online Library~1

RoboCup 2011: Robot Soccer World Cup XV

2026-06-14T18:34:56Z

Author Röfer, Thomas. editor. Mayer, N. Michael. editor. Savage, Jesus. editor. Saranlı, Uluc̨. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32060-6
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence VII

2026-06-14T18:34:56Z

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

Central European Functional Programming School 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Zsók, Viktória. editor. Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32096-5
Format: Electronic Resources
Availability Online Library~1

Software Testing in the Cloud Migration and Execution

2026-06-14T18:34:56Z

Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32122-1
Format: Electronic Resources
Availability Online Library~1

Generic and Indexed Programming International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures

2026-06-14T18:34:56Z

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

Logic-Based Program Synthesis and Transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Vidal, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32211-2
Format: Electronic Resources
Availability Online Library~1

Mobile Computing, Applications, and Services Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Zhang, Joy Ying. editor. Wilkiewicz, Jarek. editor. Nahapetian, Ani. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32320-1
Format: Electronic Resources
Availability Online Library~1

Agents for Educational Games and Simulations International Workshop, AEGS 2011, Taipei, Taiwan, May 2, 2011. Revised Papers

2026-06-14T18:34:56Z

Author Beer, Martin. editor. Brom, Cyril. editor. Dignum, Frank. editor. Soo, Von-Wun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32326-3
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

2026-06-14T18:34:56Z

Author Beringer, Lennart. editor. Felty, Amy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32347-8
Format: Electronic Resources
Availability Online Library~1

Business System Management and Engineering From Open Issues to Applications

2026-06-14T18:34:56Z

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

Formal Methods for Industrial Critical Systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings

2026-06-14T18:34:56Z

Author Stoelinga, Mariëlle. editor. Pinger, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32469-7
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

2026-06-14T18:34:56Z

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

Signal Processing and Information Technology First International Joint Conference, SPIT 2011 and IPC 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Das, Vinu V. editor. Ariwa, Ezendu. editor. Rahayu, Syarifah Bahiyah. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32573-1
Format: Electronic Resources
Availability Online Library~1

ICT as Key Technology against Global Warming Second International Conference, ICT-GLOW 2012, Vienna, Austria, September 6, 2012. Proceedings

2026-06-14T18:34:56Z

Author Auweter, Axel. editor. Kranzlmüller, Dieter. editor. Tahamtan, Amirreza. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32606-6
Format: Electronic Resources
Availability Online Library~1

Bio-Inspired Models of Network, Information, and Computing Systems 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Suzuki, Junichi. editor. Nakano, Tadashi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32615-8
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

2026-06-14T18:34:56Z

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

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

2026-06-14T18:34:56Z

Author Lee, Geuk. editor. Howard, Daniel. editor. Kang, Jeong Jin. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32645-5
Format: Electronic Resources
Availability Online Library~1

Uncertainty Quantification in Scientific Computing 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Dienstfrey, Andrew M. editor. Boisvert, Ronald F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32677-6
Format: Electronic Resources
Availability Online Library~1

Rules on the Web: Research and Applications 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bikakis, Antonis. editor. Giurca, Adrian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32689-9
Format: Electronic Resources
Availability Online Library~1

Convergence and Hybrid Information Technology 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings

2026-06-14T18:34:56Z

Author Lee, Geuk. editor. Howard, Daniel. editor. Ślęzak, Dominik. editor. Hong, You Sik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32692-9
Format: Electronic Resources
Availability Online Library~1

PRIMA 2012: Principles and Practice of Multi-Agent Systems 15th International Conference, Kuching, Sarawak, Malaysia, September 3-7, 2012. Proceedings

2026-06-14T18:34:56Z

Author Rahwan, Iyad. editor. Wobcke, Wayne. editor. Sen, Sandip. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32729-2
Format: Electronic Resources
Availability Online Library~1

E-Voting and Identity Third International Conference, VoteID 2011, Tallinn, Estonia, September 28-30, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Kiayias, Aggelos. editor. Lipmaa, Helger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32747-6
Format: Electronic Resources
Availability Online Library~1

FM 2012: Formal Methods 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

2026-06-14T18:34:56Z

Author Giannakopoulou, Dimitra. editor. Méry, Dominique. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32759-9
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

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

Collaborative Networks in the Internet of Services 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012. Proceedings

2026-06-14T18:34:56Z

Author Camarinha-Matos, Luis M. editor. Xu, Lai. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32775-9
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

2026-06-14T18:34:56Z

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

2026-06-14T18:34:56Z

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

Business Process Management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings

2026-06-14T18:34:56Z

Author Barros, Alistair. editor. Gal, Avigdor. editor. Kindler, Ekkart. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32885-5
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

2026-06-14T18:34:56Z

Author Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32897-8
Format: Electronic Resources
Availability Online Library~1

Datalog in Academia and Industry Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings

2026-06-14T18:34:56Z

Author Barceló, Pablo. editor. Pichler, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32925-8
Format: Electronic Resources
Availability Online Library~1

CONCUR 2012 – Concurrency Theory 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings

2026-06-14T18:34:56Z

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

Theoretical Aspects of Computing – ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings

2026-06-14T18:34:56Z

Author Roychoudhury, Abhik. editor. D’Souza, Meenakshi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32943-2
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part II

2026-06-14T18:34:56Z

Author Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33065-0
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings

2026-06-14T18:34:56Z

Author Sinderen, Marten. editor. Johnson, Pontus. editor. Xu, Xiaofei. editor. Doumeingts, Guy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33068-1
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 12th International Conference, ICA3PP 2012, Fukuoka, Japan, September 4-7, 2012, Proceedings, Part I

2026-06-14T18:34:56Z

Author Xiang, Yang. editor. Stojmenovic, Ivan. editor. Apduhan, Bernady O. editor. Wang, Guojun. editor. Nakano, Koji. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33078-0
Format: Electronic Resources
Availability Online Library~1

Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

2026-06-14T18:34:56Z

Author Miné, Antoine. editor. Schmidt, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33125-1
Format: Electronic Resources
Availability Online Library~1

Computer Security – ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings

2026-06-14T18:34:56Z

Author Foresti, Sara. editor. Yung, Moti. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33167-1
Format: Electronic Resources
Availability Online Library~1

Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings

2026-06-14T18:34:56Z

Author Jurdziński, Marcin. editor. Ničković, Dejan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33365-1
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

2026-06-14T18:34:56Z

Author Chakraborty, Supratik. editor. Mukund, Madhavan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33386-6
Format: Electronic Resources
Availability Online Library~1

Computer Information Systems and Industrial Management 11th IFIP TC 8 International Conference, CISIM 2012, Venice, Italy, September 26-28, 2012. Proceedings

2026-06-14T18:34:56Z

Author Cortesi, Agostino. editor. Chaki, Nabendu. editor. Saeed, Khalid. editor. Wierzchoń, Sławomir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33260-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods: Foundations and Applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings

2026-06-14T18:34:56Z

Author Gheyi, Rohit. editor. Naumann, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33296-8
Format: Electronic Resources
Availability Online Library~1

Information and Software Technologies 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings

2026-06-14T18:34:56Z

Author Skersys, Tomas. editor. Butleris, Rimantas. editor. Butkiene, Rita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33308-8
Format: Electronic Resources
Availability Online Library~1

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kahl, Wolfram. editor. Griffin, Timothy G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33314-9
Format: Electronic Resources
Availability Online Library~1

Multiple Access Communications 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bellalta, Boris. editor. Vinel, Alexey. editor. Jonsson, Magnus. editor. Barcelo, Jaume. editor. Maslennikov, Roman. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34976-8
Format: Electronic Resources
Availability Online Library~1

Web Information Systems Engineering - WISE 2012 13th International Conference, Paphos, Cyprus, November 28-30, 2012. Proceedings

2026-06-14T18:34:56Z

Author Wang, X. Sean. editor. Cruz, Isabel. editor. Delis, Alex. editor. Huang, Guangyan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35063-4
Format: Electronic Resources
Availability Online Library~1

Model-Based Engineering of Embedded Systems The SPES 2020 Methodology

2026-06-14T18:34:56Z

Author Pohl, Klaus. editor. Hönninger, Harald. editor. Achatz, Reinhold. editor. Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34614-9
Format: Electronic Resources
Availability Online Library~1

Middleware 2012 ACM/IFIP/USENIX 13th International Middleware Conference, Montreal, QC, Canada, December 3-7, 2012. Proceedings

2026-06-14T18:34:56Z

Author Narasimhan, Priya. editor. Triantafillou, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35170-9
Format: Electronic Resources
Availability Online Library~1

The Semantic Web – ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II

2026-06-14T18:34:56Z

Author Cudré-Mauroux, Philippe. editor. Heflin, Jeff. editor. Sirin, Evren. editor. Tudorache, Tania. editor. Euzenat, Jérôme. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35173-0
Format: Electronic Resources
Availability Online Library~1

Transactions on Petri Nets and Other Models of Concurrency VI

2026-06-14T18:34:56Z

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

Advances in Multimedia Information Processing – PCM 2012 13th Pacific-Rim Conference on Multimedia, Singapore, December 4-6, 2012. Proceedings

2026-06-14T18:34:56Z

Author Lin, Weisi. editor. Xu, Dong. editor. Ho, Anthony. editor. Wu, Jianxin. editor. He, Ying. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34778-8
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Hähnle, Reiner. editor. Knoop, Jens. editor. Margaria, Tiziana. editor. Schreiner, Dietmar. editor. Steffen, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34781-8
Format: Electronic Resources
Availability Online Library~1

Multi-Agent Systems 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Cossentino, Massimo. editor. Kaisers, Michael. editor. Tuyls, Karl. editor. Weiss, Gerhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34799-3
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012. Proceedings

2026-06-14T18:34:56Z

Author Xiang, Yang. editor. Pathan, Mukaddim. editor. Tao, Xiaohui. editor. Wang, Hua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34883-9
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings

2026-06-14T18:34:56Z

Author Paternò, Fabio. editor. Ruyter, Boris. editor. Markopoulos, Panos. editor. Santoro, Carmen. editor. Loenen, Evert. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34898-3
Format: Electronic Resources
Availability Online Library~1

Ubiquitous Computing and Ambient Intelligence 6th International Conference, UCAmI 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bravo, José. editor. López-de-Ipiña, Diego. editor. Moya, Francisco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35377-2
Format: Electronic Resources
Availability Online Library~1

Swarm, Evolutionary, and Memetic Computing Third International Conference, SEMCCO 2012, Bhubaneswar, India, December 20-22, 2012. Proceedings

2026-06-14T18:34:56Z

Author Panigrahi, Bijaya Ketan. editor. Das, Swagatam. editor. Suganthan, Ponnuthurai Nagaratnam. editor. Nanda, Pradipta Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35380-2
Format: Electronic Resources
Availability Online Library~1

Ambient Assisted Living and Home Care 4th International Workshop, IWAAL 2012, Vitoria-Gasteiz, Spain, December 3-5, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bravo, José. editor. Hervás, Ramón. editor. Rodríguez, Marcela. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35395-6
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings

2026-06-14T18:34:56Z

Author Baldoni, Roberto. editor. Flocchini, Paola. editor. Binoy, Ravindran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35476-2
Format: Electronic Resources
Availability Online Library~1

Artificial General Intelligence 5th International Conference, AGI 2012, Oxford, UK, December 8-11, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bach, Joscha. editor. Goertzel, Ben. editor. Iklé, Matthew. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35506-6
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

2026-06-14T18:34:56Z

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

Transactions on Aspect-Oriented Software Development IX

2026-06-14T18:34:56Z

Author Leavens, Gary T. editor. Chiba, Shigeru. editor. Haupt, Michael. editor. Ostermann, Klaus. editor. Wohlstadter, Eric. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35551-6
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

2026-06-14T18:34:56Z

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

Future Generation Information Technology 4th International Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Fang, Wai-chi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35585-1
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Communication, Networking, and Digital Contents International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kim, Tai-hoon. editor. Ko, Dae-sik. editor. Vasilakos, Thanos. editor. Stoica, Adrian. editor. Abawajy, Jemal. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35594-3
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Graphics, Grid Computing, and Industrial Environment International Conferences, GDC, IESH and CGAG 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kim, Tai-hoon. editor. Cho, Hyun-seob. editor. Gervasi, Osvaldo. editor. Yau, Stephen S. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35600-1
Format: Electronic Resources
Availability Online Library~1

Computer Applications for Database, Education, and Ubiquitous Computing International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Zhang, Yanchun. editor. Cuzzocrea, Alfredo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35603-2
Format: Electronic Resources
Availability Online Library~1

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

2026-06-14T18:34:56Z

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

Current Trends in Web Engineering ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012, Revised Selected Papers

2026-06-14T18:34:56Z

Author Grossniklaus, Michael. editor. Wimmer, Manuel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35623-0
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Arbab, Farhad. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35743-5
Format: Electronic Resources
Availability Online Library~1

Tools for Practical Software Verification LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

2026-06-14T18:34:56Z

Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35746-6
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management. Towards Knowledge-Rich Enterprises IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers

2026-06-14T18:34:56Z

Author Rivest, Louis. editor. Bouras, Abdelaziz. editor. Louhichi, Borhen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35758-9
Format: Electronic Resources
Availability Online Library~1

Smart Energy Von der reaktiven Kundenverwaltung zum proaktiven Kundenmanagement

2026-06-14T18:34:56Z

Author Aichele, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-1981-9
Format: Electronic Resources
Availability Online Library~1

Einführung in die Programmierung mit LOGO Lehrbuch für Unterricht und Selbststudium

2026-06-14T18:34:56Z

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

Praktische Informatik - Eine Einführung Lehr- und Arbeitsbuch mit Tafelbildern

2026-06-14T18:34:56Z

Author Büchel, Gregor. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2283-3
Format: Electronic Resources
Availability Online Library~1

Formale Grundlagen der Programmierung

2026-06-14T18:34:56Z

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

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

2026-06-14T18:34:56Z

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

Webseiten-Programmierung Sprachen, Werkzeuge, Entwicklung

2026-06-14T18:34:56Z

Author Pomaska, Günter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2485-1
Format: Electronic Resources
Availability Online Library~1

Anwendungsentwicklung für Intelligente Umgebungen im Web Engineering

2026-06-14T18:34:56Z

Author Heil, Andreas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-2551-3
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

2026-06-14T18:34:56Z

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

Computer, Informatics, Cybernetics and Applications Proceedings of the CICA 2011

2026-06-14T18:34:56Z

Author He, Xingui. editor. Hua, Ertian. editor. Lin, Yun. editor. Liu, Xiaozhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1839-5
Format: Electronic Resources
Availability Online Library~1

Harnessing VLSI System Design with EDA Tools

2026-06-14T18:34:56Z

Author Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1864-7
Format: Electronic Resources
Availability Online Library~1

The Future of EU Agricultural Markets by AGMEMOD

2026-06-14T18:34:56Z

Author Chantreuil, Frédéric. editor. Hanrahan, Kevin. editor. Leeuwen, Myrna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2291-0
Format: Electronic Resources
Availability Online Library~1

Computer Science and Convergence CSA 2011 & WCC 2011 Proceedings

2026-06-14T18:34:56Z

Author J. (Jong Hyuk) Park, James. editor. Chao, Han-Chieh. editor. S. Obaidat, Mohammad. editor. Kim, Jongsung. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2792-2
Format: Electronic Resources
Availability Online Library~1

Proceedings of the International Conference on IT Convergence and Security 2011

2026-06-14T18:34:56Z

Author Kim, Kuinam J. editor. Ahn, Seong Jin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2911-7
Format: Electronic Resources
Availability Online Library~1

Guide to FPGA Implementation of Arithmetic Functions

2026-06-14T18:34:56Z

Author Deschamps, Jean-Pierre. author. Sutter, Gustavo D. author. Cantó, Enrique. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-2987-2
Format: Electronic Resources
Availability Online Library~1

Solving enterprise applications performance puzzles queuing models to the rescue

2026-06-14T18:34:56Z

Author Grinshpan, L. A. (Leonid Abramovich) Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEEXplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168885
Format: Electronic Resources
Availability Online Library~1

Semantic web and model-driven engineering

2026-06-14T18:34:56Z

Author Parreiras, Fernando Silva. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6218883
Format: Electronic Resources
Availability Online Library~1

Arduino and Kinect Projects Design, Build, Blow Their Minds

2026-06-14T18:34:56Z

Author Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: Electronic Resources
Availability Online Library~1

Beginning Android ADK with Arduino

2026-06-14T18:34:56Z

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

Operational Semantics and Verification of Security Protocols

2026-06-14T18:34:56Z

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

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

2026-06-14T18:34:56Z

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

Herausforderungen durch Echtzeitbetrieb Echtzeit 2011

2026-06-14T18:34:56Z

Author Halang, Wolfgang A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24658-6
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

2026-06-14T18:34:56Z

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

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

2026-06-14T18:34:56Z

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

RFID. Security and Privacy 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Juels, Ari. editor. Paar, Christof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25286-0
Format: Electronic Resources
Availability Online Library~1

Elektrik/Elektronik-Architekturen im Kraftfahrzeug Modellierung und Bewertung von Echtzeitsystemen

2026-06-14T18:34:56Z

Author Streichert, Thilo. author. Traub, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25478-9
Format: Electronic Resources
Availability Online Library~1

Principles and Practice of Multi-Agent Systems 13th International Conference, PRIMA 2010, Kolkata, India, November 12-15, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Desai, Nirmit. editor. Liu, Alan. editor. Winikoff, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25920-3
Format: Electronic Resources
Availability Online Library~1

Mathematical and Engineering Methods in Computer Science 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Kotásek, Zdeněk. editor. Bouda, Jan. editor. Černá, Ivana. editor. Sekanina, Lukáš. editor. Vojnar, Tomáš. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25929-6
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bononi, Luciano. editor. Datta, Ajoy K. editor. Devismes, Stéphane. editor. Misra, Archan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25959-3
Format: Electronic Resources
Availability Online Library~1

Multimedia, Computer Graphics and Broadcasting International Conference, MulGraB 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, Part I

2026-06-14T18:34:56Z

Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Grosky, William I. editor. Pissinou, Niki. editor. Shih, Timothy K. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27204-2
Format: Electronic Resources
Availability Online Library~1

Software Quality. Process Automation in Software Development 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012. Proceedings

2026-06-14T18:34:56Z

Author Biffl, Stefan. editor. Winkler, Dietmar. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27213-4
Format: Electronic Resources
Availability Online Library~1

Resource Discovery Third International Workshop, RED 2010, Paris, France, November 5, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Lacroix, Zoé. editor. Vidal, María Esther. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27392-6
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

2026-06-14T18:34:56Z

Author Barbosa, Luís Soares. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27269-1
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part III

2026-06-14T18:34:56Z

Author Li, Daoliang. editor. Chen, Yingyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27275-2
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II

2026-06-14T18:34:56Z

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

Computer and Computing Technologies in Agriculture V 5th IFIP TC 5/SIG 5.1 Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part I

2026-06-14T18:34:56Z

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

Advances in Computer Science and Information Technology. Networks and Communications Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I

2026-06-14T18:34:56Z

Author Meghanathan, Natarajan. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27299-8
Format: Electronic Resources
Availability Online Library~1

Improving Software Testing Technical and Organizational Developments

2026-06-14T18:34:56Z

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

SOFSEM 2012: Theory and Practice of Computer Science 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings

2026-06-14T18:34:56Z

Author Bieliková, Mária. editor. Friedrich, Gerhard. editor. Gottlob, Georg. editor. Katzenbeisser, Stefan. editor. Turán, György. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27660-6
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

2026-06-14T18:34:56Z

Author Russo, Claudio. editor. Zhou, Neng-Fa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27694-1
Format: Electronic Resources
Availability Online Library~1

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

2026-06-14T18:34:56Z

Author Joshi, Rajeev. editor. Müller, Peter. editor. Podelski, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27705-4
Format: Electronic Resources
Availability Online Library~1

Data Engineering and Management Second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010. Revised Selected Papers

2026-06-14T18:34:56Z

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

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Garcia-Alfaro, Joaquin. editor. Lafourcade, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27901-0
Format: Electronic Resources
Availability Online Library~1

Grid and Pervasive Computing Workshops International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

Author Rautiainen, Mika. editor. Korhonen, Timo. editor. Mutafungwa, Edward. editor. Ovaska, Eila. editor. Katasonov, Artem. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27916-4
Format: Electronic Resources
Availability Online Library~1

The Correctness-by-Construction Approach to Programming

2026-06-14T18:34:56Z

Author Kourie, Derrick G. author. Watson, Bruce W. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27919-5
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

2026-06-14T18:34:56Z

Author Kuncak, Viktor. editor. Rybalchenko, Andrey. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-27940-9
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering Workshops, Doctoral Symposium, and Tutorials, Held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011. Revised Selected Papers

2026-06-14T18:34:56Z

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

Membrane Computing 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

2026-06-14T18:34:56Z

Author Gheorghe, Marian. editor. Păun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. Verlan, Sergey. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28024-5
Format: Electronic Resources
Availability Online Library~1