Search Results for Software engineering. - Narrowed by: 2010

Collaborative Software Engineering

2024-11-14T11:05:30Z

Author Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10294-3
Format: Electronic Resources
Availability Online Library~1

Handbook of software engineering & knowledge engineering

2024-11-14T11:05:30Z

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

Applied software product line engineering

2024-11-14T11:05:30Z

Author Kang, Kyo C. Sugumaran, Vijayan, 1960- Park, Sooyong.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Software engineering : principles and practice

2024-11-14T11:05:30Z

Author Jawadekar, W. S. (Waman S.)
Preferred Shelf Number QA76.758 J39 2010
Format: Books
Availability Beytepe Library~1

Software engineering : a practitioner's approach

2024-11-14T11:05:30Z

Author Pressman, Roger S.
Preferred Shelf Number QA76.758 P75 2010
Format: Books
Availability Beytepe Library~1

Usability Engineering kompakt Benutzbare Software gezielt entwickeln

2024-11-14T11:05:30Z

Author Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2329-0
Format: Electronic Resources
Availability Online Library~1

Innovations in Computing Sciences and Software Engineering

2024-11-14T11:05:30Z

Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-9112-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research, Management and Applications 2010

2024-11-14T11:05:30Z

Author Lee, Roger. editor. Ormandjieva, Olga. editor. Abran, Alain. editor. Constantinides, Constantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13273-5
Format: Electronic Resources
Availability Online Library~1

Object-oriented software engineering : using UML, patterns, and Java

2024-11-14T11:05:30Z

Author Bruegge, Bernd. Dutoit, Allen H.
Preferred Shelf Number QA76.758 B785 2014
Format: Books
Availability Beytepe Library~1

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

2024-11-14T11:05:30Z

Author Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11747-3
Format: Electronic Resources
Availability Online Library~1

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12107-4
Format: Electronic Resources
Availability Online Library~1

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

2024-11-14T11:05:30Z

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

Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings

2024-11-14T11:05:30Z

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

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

2024-11-14T11:05:30Z

Author Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15543-7
Format: Electronic Resources
Availability Online Library~1

Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16488-0
Format: Electronic Resources
Availability Online Library~1

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

Author Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16496-5
Format: Electronic Resources
Availability Online Library~1

Modeling in Event-B system and software engineering

2024-11-14T11:05:30Z

Author Abrial, Jean-Raymond.
Preferred Shelf Number ONLINE
Electronic Access EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: Electronic Resources
Availability Online Library~1

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

2024-11-14T11:05:30Z

Author Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16901-4
Format: Electronic Resources
Availability Online Library~1

Advances in Software Engineering International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17578-7
Format: Electronic Resources
Availability Online Library~1

Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

2024-11-14T11:05:30Z

Author Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2487-7
Format: Electronic Resources
Availability Online Library~1

Automotive Software Engineering Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen

2024-11-14T11:05:30Z

Author Schäuffele, Jörg. author. Zurawka, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9368-0
Format: Electronic Resources
Availability Online Library~1

Advanced Lectures on Software Engineering LASER Summer School 2007/2008

2024-11-14T11:05:30Z

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

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings

2024-11-14T11:05:30Z

Author Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13054-0
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings

2024-11-14T11:05:30Z

Author Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13238-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2010

2024-11-14T11:05:30Z

Author Lee, Roger. editor. Ma, Jixin. editor. Bacon, Liz. editor. Du, Wencai. editor. Petridis, Miltos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13265-0
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings

2024-11-14T11:05:30Z

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

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

2024-11-14T11:05:30Z

Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14335-9
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14819-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

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-11623-0
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-11-14T11:05:30Z

Author Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12029-9
Format: Electronic Resources
Availability Online Library~1

Advanced Techniques in Computing Sciences and Software Engineering

2024-11-14T11:05:30Z

Author Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3660-5
Format: Electronic Resources
Availability Online Library~1

Trustworthy compilers

2024-11-14T11:05:30Z

Author Safonov, V. O. (Vladimir Olegovich)
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?bookid=35179 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=485634 John Wiley http://dx.doi.org/10.1002/9780470593387 http://site.ebrary.com/lib/alltitles/Doc?id=10366446
Format: Electronic Resources
Availability Online Library~1

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

2024-11-14T11:05:30Z

Author Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105417
Format: Electronic Resources
Availability Online Library~1

MATLAB software for the code excited linear prediction algorithm the Federal Standard, 1016

2024-11-14T11:05:30Z

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

Python 3 - Intensivkurs Projekte erfolgreich realisieren

2024-11-14T11:05:30Z

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

Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA

2024-11-14T11:05:30Z

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

Digitale Hardware/Software-Systeme Spezifikation und Verifikation

2024-11-14T11:05:30Z

Author Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05356-6
Format: Electronic Resources
Availability Online Library~1

Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme

2024-11-14T11:05:30Z

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

Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen

2024-11-14T11:05:30Z

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

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11797-8
Format: Electronic Resources
Availability Online Library~1

Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Pentikousis, Kostas. editor. Blume, Oliver. editor. Agüero Calvo, Ramón. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11817-3
Format: Electronic Resources
Availability Online Library~1

Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources

2024-11-14T11:05:30Z

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

Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

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

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2024-11-14T11:05:30Z

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

Information Systems, Technology and Management 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings

2024-11-14T11:05:30Z

Author Prasad, Sushil K. editor. Vin, Harrick M. editor. Sahni, Sartaj. editor. Jaiswal, Mahadeo P. editor. Thipakorn, Bundit. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12035-0
Format: Electronic Resources
Availability Online Library~1

Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11659-9
Format: Electronic Resources
Availability Online Library~1

Access Networks 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Hei, Xiao Jun. editor. Cheung, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11664-3
Format: Electronic Resources
Availability Online Library~1

Der Computer - Mein Lebenswerk

2024-11-14T11:05:30Z

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

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 15-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12104-3
Format: Electronic Resources
Availability Online Library~1

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings

2024-11-14T11:05:30Z

Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12113-5
Format: Electronic Resources
Availability Online Library~1

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings

2024-11-14T11:05:30Z

Author Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12133-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12156-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12165-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III

2024-11-14T11:05:30Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12179-1
Format: Electronic Resources
Availability Online Library~1

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers

2024-11-14T11:05:30Z

Author Rinderle-Ma, Stefanie. editor. Sadiq, Shazia. editor. Leymann, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12186-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV

2024-11-14T11:05:30Z

Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12189-0
Format: Electronic Resources
Availability Online Library~1

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 26-27, 2010. Proceedings

2024-11-14T11:05:30Z

Author Das, Vinu V. editor. Vijayakumar, R. editor. Debnath, Narayan C. editor. Stephen, Janahanlal. editor. Meghanathan, Natarajan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12214-9
Format: Electronic Resources
Availability Online Library~1

Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

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

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

Author Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12242-2
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings

2024-11-14T11:05:30Z

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

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

2024-11-14T11:05:30Z

Author Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12267-5
Format: Electronic Resources
Availability Online Library~1

Search Computing Challenges and Directions

2024-11-14T11:05:30Z

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

Agile Prozesse: Von XP über Scrum bis MAP

2024-11-14T11:05:30Z

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

Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings

2024-11-14T11:05:30Z

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

E-Infrastructures and E-Services on Developing Countries First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings

2024-11-14T11:05:30Z

Author Villafiorita, Adolfo. editor. Saint-Paul, Regis. editor. Zorer, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12701-4
Format: Electronic Resources
Availability Online Library~1

Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers

2024-11-14T11:05:30Z

Author McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. Maudet, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12805-9
Format: Electronic Resources
Availability Online Library~1

Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12808-0
Format: Electronic Resources
Availability Online Library~1

NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Crovella, Mark. editor. Feeney, Laura Marie. editor. Rubenstein, Dan. editor. Raghavan, S. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12963-6
Format: Electronic Resources
Availability Online Library~1

Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

2024-11-14T11:05:30Z

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

Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers

2024-11-14T11:05:30Z

Author Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13553-8
Format: Electronic Resources
Availability Online Library~1

Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings

2024-11-14T11:05:30Z

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

Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings

2024-11-14T11:05:30Z

Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13568-2
Format: Electronic Resources
Availability Online Library~1

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2024-11-14T11:05:30Z

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

Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13595-8
Format: Electronic Resources
Availability Online Library~1

Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Tyrväinen, Pasi. editor. Jansen, Slinger. editor. Cusumano, Michael A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13633-7
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2024-11-14T11:05:30Z

Author Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13645-0
Format: Electronic Resources
Availability Online Library~1

Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13651-1
Format: Electronic Resources
Availability Online Library~1

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings

2024-11-14T11:05:30Z

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

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2024-11-14T11:05:30Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Electronic Resources
Availability Online Library~1

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

2024-11-14T11:05:30Z

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

Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings

2024-11-14T11:05:30Z

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

Aging Friendly Technology for Health and Independence 8th International Conference on Smart Homes and Health Telematics, ICOST 2010, Seoul, Korea, June 22-24, 2010. Proceedings

2024-11-14T11:05:30Z

Author Lee, Yeunsook. editor. Bien, Z. Zenn. editor. Mokhtari, Mounir. editor. Kim, Jeong Tai. editor. Park, Mignon. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13778-5
Format: Electronic Resources
Availability Online Library~1

Research into Practice – Reality and Gaps 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

2024-11-14T11:05:30Z

Author Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13821-8
Format: Electronic Resources
Availability Online Library~1

Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14122-5
Format: Electronic Resources
Availability Online Library~1

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

Author Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14162-1
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings

2024-11-14T11:05:30Z

Author Özcan, Abdulkadir. 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-14171-3
Format: Electronic Resources
Availability Online Library~1

Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings

2024-11-14T11:05:30Z

Author Meghanathan, Natarajan. editor. Boumerdassi, Selma. 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-14493-6
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

2024-11-14T11:05:30Z

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

Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach

2024-11-14T11:05:30Z

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

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

2024-11-14T11:05:30Z

Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14553-7
Format: Electronic Resources
Availability Online Library~1

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14654-1
Format: Electronic Resources
Availability Online Library~1

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

2024-11-14T11:05:30Z

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

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

2024-11-14T11:05:30Z

Author Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15228-3
Format: Electronic Resources
Availability Online Library~1

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15234-4
Format: Electronic Resources
Availability Online Library~1

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-11-14T11:05:30Z

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

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

2024-11-14T11:05:30Z

Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15297-9
Format: Electronic Resources
Availability Online Library~1

Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings

2024-11-14T11:05:30Z

Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15323-5
Format: Electronic Resources
Availability Online Library~1

Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

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

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15349-5
Format: Electronic Resources
Availability Online Library~1

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings

2024-11-14T11:05:30Z

Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15375-4
Format: Electronic Resources
Availability Online Library~1

Global Sourcing of Information Technology and Business Processes 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

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

Multiple Access Communications Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings

2024-11-14T11:05:30Z

Author Vinel, Alexey. editor. Bellalta, Boris. editor. Sacchi, Claudio. editor. Lyakhov, Andrey. editor. Telek, Miklós. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15428-7
Format: Electronic Resources
Availability Online Library~1

Communications: Wireless in Developing Countries and Networks of the Future Third IFIP TC 6 International Conference, WCITD 2010 and IFIP TC 6 International Conference, NF 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Pont, Ana. editor. Pujolle, Guy. editor. Raghavan, S. V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15476-8
Format: Electronic Resources
Availability Online Library~1

Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings

2024-11-14T11:05:30Z

Author Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15485-0
Format: Electronic Resources
Availability Online Library~1

Enterprise Architecture, Integration and Interoperability IFIP TC 5 International Conference, EAI2N 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Bernus, Peter. editor. Doumeingts, Guy. editor. Fox, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15509-3
Format: Electronic Resources
Availability Online Library~1

Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings

2024-11-14T11:05:30Z

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

Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15582-6
Format: Electronic Resources
Availability Online Library~1

Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

2024-11-14T11:05:30Z

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

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

2024-11-14T11:05:30Z

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

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

2024-11-14T11:05:30Z

Author Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15618-2
Format: Electronic Resources
Availability Online Library~1

Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

Author Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15640-3
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

2024-11-14T11:05:30Z

Author Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15643-4
Format: Electronic Resources
Availability Online Library~1

Recent Advances in the Message Passing Interface 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Keller, Rainer. editor. Gabriel, Edgar. editor. Resch, Michael. editor. Dongarra, Jack. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15646-5
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings

2024-11-14T11:05:30Z

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

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

2024-11-14T11:05:30Z

Author Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15666-3
Format: Electronic Resources
Availability Online Library~1

Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15672-4
Format: Electronic Resources
Availability Online Library~1

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15675-5
Format: Electronic Resources
Availability Online Library~1

Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings

2024-11-14T11:05:30Z

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

Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15684-7
Format: Electronic Resources
Availability Online Library~1

Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

2024-11-14T11:05:30Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15784-4
Format: Electronic Resources
Availability Online Library~1

Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Vadakkepat, Prahlad. editor. Kim, Jong-Hwan. editor. Jesse, Norbert. editor. Mamun, Abdullah Al. editor. Kiong, Tan Kok. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15810-0
Format: Electronic Resources
Availability Online Library~1

Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

Author Qiu, Guoping. editor. Lam, Kin Man. editor. Kiya, Hitoshi. editor. Xue, Xiang-Yang. editor. Kuo, C.-C. Jay. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15702-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings

2024-11-14T11:05:30Z

Author Allbeck, Jan. editor. Badler, Norman. editor. Bickmore, Timothy. editor. Pelachaud, Catherine. editor. Safonova, Alla. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15892-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

2024-11-14T11:05:30Z

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

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

2024-11-14T11:05:30Z

Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15928-2
Format: Electronic Resources
Availability Online Library~1

Collaborative Networks for a Sustainable World 11th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2010, St. Etienne, France, October 11-13, 2010. Proceedings

2024-11-14T11:05:30Z

Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15961-9
Format: Electronic Resources
Availability Online Library~1

Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings

2024-11-14T11:05:30Z

Author Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15995-4
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings

2024-11-14T11:05:30Z

Author Dolev, Shlomi. editor. Cobb, Jorge. editor. Fischer, Michael. editor. Yung, Moti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16023-3
Format: Electronic Resources
Availability Online Library~1

Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings

2024-11-14T11:05:30Z

Author Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16054-7
Format: Electronic Resources
Availability Online Library~1

Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2024-11-14T11:05:30Z

Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16373-9
Format: Electronic Resources
Availability Online Library~1

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

2024-11-14T11:05:30Z

Author Trujillo, Juan. editor. Dobbie, Gillian. editor. Kangassalo, Hannu. editor. Hartmann, Sven. editor. Kirchberg, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16385-2
Format: Electronic Resources
Availability Online Library~1

ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

Author Quintela Varajão, João Eduardo. editor. Cruz-Cunha, Maria Manuela. editor. Putnik, Goran D. editor. Trigo, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16402-6
Format: Electronic Resources
Availability Online Library~1

Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings

2024-11-14T11:05:30Z

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

ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

Author Quintela Varajão, João Eduardo. editor. Cruz-Cunha, Maria Manuela. editor. Putnik, Goran D. editor. Trigo, António. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16419-4
Format: Electronic Resources
Availability Online Library~1

Knowledge Engineering and Management by the Masses 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Cimiano, Philipp. editor. Pinto, H. Sofia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16438-5
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

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

Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings

2024-11-14T11:05:30Z

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

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16527-6
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16530-6
Format: Electronic Resources
Availability Online Library~1

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

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

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

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

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

2024-11-14T11:05:30Z

Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16573-3
Format: Electronic Resources
Availability Online Library~1

Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings

2024-11-14T11:05:30Z

Author Xie, Bing. editor. Branke, Juergen. editor. Sadjadi, S. Masoud. editor. Zhang, Daqing. editor. Zhou, Xingshe. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16576-4
Format: Electronic Resources
Availability Online Library~1

Programmieren in C

2024-11-14T11:05:30Z

Author Klima, Robert. author. Selberherr, Siegfried. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7091-0393-7
Format: Electronic Resources
Availability Online Library~1

Grundkurs Programmieren mit Delphi Systematisch programmieren lernen mit Turbo Delphi 2006, Delphi 7 und vielen anderen Delphi-Versionen

2024-11-14T11:05:30Z

Author Matthäus, Wolf-Gert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9358-1
Format: Electronic Resources
Availability Online Library~1

Grundkurs Datenbankentwurf Eine beispielorientierte Einführung für Studenten und Praktiker

2024-11-14T11:05:30Z

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

Algorithmen kompakt und verständlich Lösungsstrategien am Computer

2024-11-14T11:05:30Z

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

Java-Grundkurs für Wirtschaftsinformatiker Die Grundlagen verstehen – Objektorientierte Programmierung – Fortgeschrittene Konzepte kennenlernen – Betriebswirtschaftlich orientierte Beispiele

2024-11-14T11:05:30Z

Author Deck, Klaus-Georg. author. Neuendorf, Herbert. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9652-0
Format: Electronic Resources
Availability Online Library~1

Eingebettete Systeme Systemgrundlagen und Entwicklung eingebetteter Software

2024-11-14T11:05:30Z

Author Berns, Karsten. author. Bernd, Schürmann. author. Trapp, Mario. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8348-9661-2
Format: Electronic Resources
Availability Online Library~1

Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D

2024-11-14T11:05:30Z

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

UML in logistischen Prozessen Graphische Sprache zur Modellierung der Systeme

2024-11-14T11:05:30Z

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

Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien

2024-11-14T11:05:30Z

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

Masterkurs Client/Server-Programmierung mit Java Anwendungen entwickeln mit Standard-Technologien: JDBC, UDP, TCP, HTTP, XML-RPC, RMI, JMS und JAX-WS

2024-11-14T11:05:30Z

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

Grundkurs JAVA Von den Grundlagen bis zu Datenbankund Netzanwendungen

2024-11-14T11:05:30Z

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

Innovation in China the Chinese software industry

2024-11-14T11:05:30Z

Author Jui, Shang-Ling.
Preferred Shelf Number ONLINE
Electronic Access Click here to view
Format: Electronic Resources
Availability Online Library~1

Socio-technical networks science and engineering design

2024-11-14T11:05:30Z

Author Hu, Fei. Mostashari, Ali. Xie, Jiang.
Preferred Shelf Number ONLINE
Electronic Access Distributed by publisher. Purchase or institutional license may be required for access.
Format: Electronic Resources
Availability Online Library~1

Software metrics and software metrology

2024-11-14T11:05:30Z

Author Abran, Alain, 1949-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381791
Format: Electronic Resources
Availability Online Library~1

The computer boys take over computers, programmers, and the politics of technical expertise

2024-11-14T11:05:30Z

Author Ensmenger, Nathan, 1972-
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480
Format: Electronic Resources
Availability Online Library~1

Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010

2024-11-14T11:05:30Z

Author Shin, Sung Y. editor. Gantenbein, Rex. editor. Kuo, Tei-Wei. editor. Hong, Jiman. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-0348-0031-0
Format: Electronic Resources
Availability Online Library~1

Simula Research Laboratory by Thinking Constantly about it

2024-11-14T11:05:30Z

Author Tveito, Aslak. editor. Bruaset, Are Magnus. editor. Lysne, Olav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01156-6
Format: Electronic Resources
Availability Online Library~1

Business Process Technology A Unified View on Business Processes, Workflows and Enterprise Applications

2024-11-14T11:05:30Z

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

HPC@Green IT Green High Performance Computing Methods

2024-11-14T11:05:30Z

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

sicher & mobil Sicherheit in der drahtlosen Kommunikation

2024-11-14T11:05:30Z

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

Computational Methods in Chemical Engineering with Maple

2024-11-14T11:05:30Z

Author White, Ralph E. author. Subramanian, Venkat R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04311-6
Format: Electronic Resources
Availability Online Library~1

Relationale und postrelationale Datenbanken

2024-11-14T11:05:30Z

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

Das C++ Kompendium STL, Objektfabriken, Exceptions

2024-11-14T11:05:30Z

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

Rewriting Logic and Its Applications 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

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

Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II

2024-11-14T11:05:30Z

Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16339-5
Format: Electronic Resources
Availability Online Library~1

Advances in Production Management Systems. New Challenges, New Approaches IFIP WG 5.7 International Conference, APMS 2009, Bordeaux, France, September 21-23, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Vallespir, Bruno. editor. Alix, Thècle. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16358-6
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings

2024-11-14T11:05:30Z

Author Maglio, Paul P. editor. Weske, Mathias. editor. Yang, Jian. editor. Fantinato, Marcelo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17358-5
Format: Electronic Resources
Availability Online Library~1

Graph Transformations and Model-Driven Engineering Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday

2024-11-14T11:05:30Z

Author Engels, Gregor. editor. Lewerentz, Claus. editor. Schäfer, Wilhelm. editor. Schürr, Andy. editor. Westfechtel, Bernhard. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17322-6
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings

2024-11-14T11:05:30Z

Author Ruyter, Boris. editor. Wichert, Reiner. editor. Keyson, David V. editor. Markopoulos, Panos. editor. Streitz, Norbert. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16917-5
Format: Electronic Resources
Availability Online Library~1

On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16934-2
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Science X Special Issue on Security in Computing, Part I

2024-11-14T11:05:30Z

Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17499-5
Format: Electronic Resources
Availability Online Library~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17511-4
Format: Electronic Resources
Availability Online Library~1

Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Marron, Pedro J. editor. Voigt, Thiemo. editor. Corke, Peter. editor. Mottola, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17520-6
Format: Electronic Resources
Availability Online Library~1

Sanskrit Computational Linguistics 4th International Symposium, New Delhi, India, December 10-12, 2010. Proceedings

2024-11-14T11:05:30Z

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

Future Generation Information Technology Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17569-5
Format: Electronic Resources
Availability Online Library~1

Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings

2024-11-14T11:05:30Z

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

Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part I

2024-11-14T11:05:30Z

Author Kim, Tai-hoon. editor. Chang, Alan Chin-Chen. editor. Li, MingChu. editor. Rong, Chunming. editor. Patrikakis, Charalampos Z. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17587-9
Format: Electronic Resources
Availability Online Library~1

Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems

2024-11-14T11:05:30Z

Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17599-2
Format: Electronic Resources
Availability Online Library~1

Communication and Networking International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part II

2024-11-14T11:05:30Z

Author Kim, Tai-hoon. editor. Vasilakos, Thanos. editor. Sakurai, Kouichi. editor. Xiao, Yang. editor. Zhao, Gansen. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17604-3
Format: Electronic Resources
Availability Online Library~1

Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17625-8
Format: Electronic Resources
Availability Online Library~1

U- and E-Service, Science and Technology International Conference UNESST 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Park, Byungjoo. editor. Kang, Byeong-Ho. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17644-9
Format: Electronic Resources
Availability Online Library~1

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17653-1
Format: Electronic Resources
Availability Online Library~1

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures

2024-11-14T11:05:30Z

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

Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

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

The Semantic Web – ISWC 2010 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II

2024-11-14T11:05:30Z

Author Patel-Schneider, Peter F. editor. Pan, Yue. editor. Hitzler, Pascal. editor. Mika, Peter. editor. Zhang, Lei. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17749-1
Format: Electronic Resources
Availability Online Library~1

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

2024-11-14T11:05:30Z

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

Computerlinguistik und Sprachtechnologie Eine Einführung

2024-11-14T11:05:30Z

Author Carstensen, Kai-Uwe. editor. Ebert, Christian. editor. Ebert, Cornelia. editor. Jekat, Susanne J. editor. Klabunde, Ralf. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2224-8
Format: Electronic Resources
Availability Online Library~1

Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung

2024-11-14T11:05:30Z

Author Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8274-2526-3
Format: Electronic Resources
Availability Online Library~1

Service-orientierte Architekturen mit Web Services Konzepte – Standards – Praxis

2024-11-14T11:05:30Z

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

Objektorientierte Programmierung spielend gelernt mit dem Java-Hamster-Modell

2024-11-14T11:05:30Z

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

Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker

2024-11-14T11:05:30Z

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

Agile Software Development Best Practices for Large Software Development Projects

2024-11-14T11:05:30Z

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

Advances in Enterprise Engineering IV 6th International Workshop, CIAO! 2010, held at DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings

2024-11-14T11:05:30Z

Author Albani, Antonia. editor. Dietz, Jan L. G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13048-9
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Proceedings

2024-11-14T11:05:30Z

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-13051-9
Format: Electronic Resources
Availability Online Library~1

Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings

2024-11-14T11:05:30Z

Author Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13067-0
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings

2024-11-14T11:05:30Z

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

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I

2024-11-14T11:05:30Z

Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13119-6
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II

2024-11-14T11:05:30Z

Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13136-3
Format: Electronic Resources
Availability Online Library~1

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings

2024-11-14T11:05:30Z

Author Sato, Mitsuhisa. editor. Hanawa, Toshihiro. editor. Müller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13217-9
Format: Electronic Resources
Availability Online Library~1

Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings

2024-11-14T11:05:30Z

Author Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13244-5
Format: Electronic Resources
Availability Online Library~1

Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings

2024-11-14T11:05:30Z

Author Osipov, Evgeny. editor. Kassler, Andreas. editor. Bohnert, Thomas Michael. editor. Masip-Bruin, Xavier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13315-2
Format: Electronic Resources
Availability Online Library~1

Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13321-3
Format: Electronic Resources
Availability Online Library~1

Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

2024-11-14T11:05:30Z

Author Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13335-0
Format: Electronic Resources
Availability Online Library~1

Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings

2024-11-14T11:05:30Z

Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13346-6
Format: Electronic Resources
Availability Online Library~1

Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

2024-11-14T11:05:30Z

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

Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings

2024-11-14T11:05:30Z

Author Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. Leszczuk, Mikołaj. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13789-1
Format: Electronic Resources
Availability Online Library~1

Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13792-1
Format: Electronic Resources
Availability Online Library~1

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings

2024-11-14T11:05:30Z

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

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings

2024-11-14T11:05:30Z

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

Mechanisms for Autonomous Management of Networks and Services 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings

2024-11-14T11:05:30Z

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

Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

2024-11-14T11:05:30Z

Author Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14046-4
Format: Electronic Resources
Availability Online Library~1

Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kaufmann, Matt. editor. Paulson, Lawrence C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14052-5
Format: Electronic Resources
Availability Online Library~1

Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I

2024-11-14T11:05:30Z

Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14064-8
Format: Electronic Resources
Availability Online Library~1

Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14075-4
Format: Electronic Resources
Availability Online Library~1

ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings

2024-11-14T11:05:30Z

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

Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

2024-11-14T11:05:30Z

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

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14287-1
Format: Electronic Resources
Availability Online Library~1

Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I

2024-11-14T11:05:30Z

Author Zavoral, Filip. editor. Yaghob, Jakub. editor. Pichappan, Pit. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14292-5
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings

2024-11-14T11:05:30Z

Author Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14295-6
Format: Electronic Resources
Availability Online Library~1

Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II

2024-11-14T11:05:30Z

Author Zavoral, Filip. editor. Yaghob, Jakub. editor. Pichappan, Pit. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14306-9
Format: Electronic Resources
Availability Online Library~1

Exploring Services Science First International Conference , IESS 2010, Geneva, Switzerland, February 17-19, 2010. Revised Papers

2024-11-14T11:05:30Z

Author Morin, Jean-Henry. editor. Ralyté, Jolita. editor. Snene, Mehdi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14319-9
Format: Electronic Resources
Availability Online Library~1

New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

2024-11-14T11:05:30Z

Author Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14347-2
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers

2024-11-14T11:05:30Z

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

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I

2024-11-14T11:05:30Z

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

Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II

2024-11-14T11:05:30Z

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

Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers

2024-11-14T11:05:30Z

Author Weyns, Danny. editor. Malek, Sam. editor. Lemos, Rogério. editor. Andersson, Jesper. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14412-7
Format: Electronic Resources
Availability Online Library~1

Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers

2024-11-14T11:05:30Z

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

Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

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

Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings

2024-11-14T11:05:30Z

Author Meghanathan, Natarajan. editor. Boumerdassi, Selma. 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-14478-3
Format: Electronic Resources
Availability Online Library~1

Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings

2024-11-14T11:05:30Z

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

Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14843-9
Format: Electronic Resources
Availability Online Library~1

Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice

2024-11-14T11:05:30Z

Author Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14866-8
Format: Electronic Resources
Availability Online Library~1

Scandinavian Information Systems Research First Scandinavian Conference on Information Systems, SCIS 2010, Rebild, Denmark, August 20-22, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kautz, Karlheinz. editor. Nielsen, Peter Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14874-3
Format: Electronic Resources
Availability Online Library~1

Smart Spaces and Next Generation Wired/Wireless Networking Third Conference on Smart Spaces, ruSMART 2010, and 10th International Conference, NEW2AN 2010, St. Petersburg, Russia, August 23-25, 2010. Proceedings

2024-11-14T11:05:30Z

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

Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme

2024-11-14T11:05:30Z

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

Systems and Virtualization Management. Standards and the Cloud Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Boursas, Latifa. editor. Carlson, Mark. editor. Jin, Hai. editor. Sibilla, Michelle. editor. Wold, Kes. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14944-3
Format: Electronic Resources
Availability Online Library~1

Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

2024-11-14T11:05:30Z

Author Zseby, Tanja. editor. Savola, Reijo. editor. Pistore, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14956-6
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions and Norms in Agent Systems V COIN 2009 International Workshops. COIN@AAMAS 2009, Budapest, Hungary, May 2009, COIN@IJCAI 2009, Pasadena, USA, July 2009, COIN@MALLOW 2009, Turin, Italy, September 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Padget, Julian. editor. Artikis, Alexander. editor. Vasconcelos, Wamberto. editor. Stathis, Kostas. editor. Silva, Viviane Torres. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14962-7
Format: Electronic Resources
Availability Online Library~1

Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

2024-11-14T11:05:30Z

Author Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14977-1
Format: Electronic Resources
Availability Online Library~1

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

2024-11-14T11:05:30Z

Author Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15025-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Computational Collective Intelligence I

2024-11-14T11:05:30Z

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

Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

2024-11-14T11:05:30Z

Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15057-9
Format: Electronic Resources
Availability Online Library~1

Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings

2024-11-14T11:05:30Z

Author Hameurlain, Abdelkader. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15108-8
Format: Electronic Resources
Availability Online Library~1

Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

2024-11-14T11:05:30Z

Author Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15114-9
Format: Electronic Resources
Availability Online Library~1

Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Lynch, Nancy A. editor. Shvartsman, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15763-9
Format: Electronic Resources
Availability Online Library~1

Collaboration and Technology 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Kolfschoten, Gwendolyn. editor. Herrmann, Thomas. editor. Lukosch, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15714-1
Format: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 6th International Workshop, EOMAS 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Selected Papers

2024-11-14T11:05:30Z

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

S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15915-2
Format: Electronic Resources
Availability Online Library~1

Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings

2024-11-14T11:05:30Z

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

Intentional Perspectives on Information Systems Engineering

2024-11-14T11:05:30Z

Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12544-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers

2024-11-14T11:05:30Z

Author Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12566-9
Format: Electronic Resources
Availability Online Library~1

Agile Software Development Current Research and Future Directions

2024-11-14T11:05:30Z

Author Dingsøyr, Torgeir. editor. Dybå, Tore. editor. Moe, Nils Brede. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12575-1
Format: Electronic Resources
Availability Online Library~1

Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers

2024-11-14T11:05:30Z

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

Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Phan, Thomas. editor. Montanari, Rebecca. editor. Zerfos, Petros. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12607-9
Format: Electronic Resources
Availability Online Library~1

Cloud Computing First International Conference, CloudComp 2009 Munich, Germany, October 19–21, 2009 Revised Selected Papers

2024-11-14T11:05:30Z

Author Avresky, Dimiter R. editor. Diaz, Michel. editor. Bode, Arndt. editor. Ciciani, Bruno. editor. Dekel, Eliezer. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12636-9
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings

2024-11-14T11:05:30Z

Author Floréen, Patrik. editor. Krüger, Antonio. editor. Spasojevic, Mirjana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12654-3
Format: Electronic Resources
Availability Online Library~1

High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Mewhort, Douglas J. K. editor. Cann, Natalie M. editor. Slater, Gary W. editor. Naughton, Thomas J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12659-8
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings

2024-11-14T11:05:30Z

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

Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling

2024-11-14T11:05:30Z

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

Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings

2024-11-14T11:05:30Z

Author Dearle, Alan. editor. Zicari, Roberto V. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16092-9
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II

2024-11-14T11:05:30Z

Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16129-2
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers

2024-11-14T11:05:30Z

Author Dan, Asit. editor. Gittler, Frédéric. editor. Toumani, Farouk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16132-2
Format: Electronic Resources
Availability Online Library~1

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I

2024-11-14T11:05:30Z

Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16145-2
Format: Electronic Resources
Availability Online Library~1

Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings

2024-11-14T11:05:30Z

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

Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

2024-11-14T11:05:30Z

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

Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings

2024-11-14T11:05:30Z

Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16167-4
Format: Electronic Resources
Availability Online Library~1

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

2024-11-14T11:05:30Z

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

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2024-11-14T11:05:30Z

Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

2024-11-14T11:05:30Z

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

Software Services for e-World 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings

2024-11-14T11:05:30Z

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

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings

2024-11-14T11:05:30Z

Author Dean, Mike. editor. Hall, John. editor. Rotolo, Antonino. editor. Tabet, Said. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16289-3
Format: Electronic Resources
Availability Online Library~1

Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

2024-11-14T11:05:30Z

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

Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings

2024-11-14T11:05:30Z

Author Papasratorn, Borworn. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16699-0
Format: Electronic Resources
Availability Online Library~1

Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings

2024-11-14T11:05:30Z

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

On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings

2024-11-14T11:05:30Z

Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16961-8
Format: Electronic Resources
Availability Online Library~1

Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings

2024-11-14T11:05:30Z

Author Harmsen, Frank. editor. Proper, Erik. editor. Schalkwijk, Frank. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16770-6
Format: Electronic Resources
Availability Online Library~1

Smart Sensing and Context 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings

2024-11-14T11:05:30Z

Author Lukowicz, Paul. editor. Kunze, Kai. editor. Kortuem, Gerd. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16982-3
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers

2024-11-14T11:05:30Z

Author Daniel, Florian. editor. Facca, Federico Michele. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16985-4
Format: Electronic Resources
Availability Online Library~1

Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings

2024-11-14T11:05:30Z

Author Proper, Erik. editor. Lankhorst, Marc M. editor. Schönherr, Marten. editor. Barjis, Joseph. editor. Overbeek, Sietse. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16819-2
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

2024-11-14T11:05:30Z

Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17071-3
Format: Electronic Resources
Availability Online Library~1

The Smart Internet Current Research and Future Applications

2024-11-14T11:05:30Z

Author Chignell, Mark. editor. Cordy, James. editor. Ng, Joanna. editor. Yesha, Yelena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16599-3
Format: Electronic Resources
Availability Online Library~1

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

2024-11-14T11:05:30Z

Author Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16612-9
Format: Electronic Resources
Availability Online Library~1

Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers

2024-11-14T11:05:30Z

Author Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16644-0
Format: Electronic Resources
Availability Online Library~1

Network Security

2024-11-14T11:05:30Z

Author Huang, Scott C.-H. editor. MacCallum, David. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-73821-5
Format: Electronic Resources
Availability Online Library~1

Information Systems Development Towards a Service Provision Society

2024-11-14T11:05:30Z

Author Papadopoulos, George Angelos. editor. Wojtkowski, Wita. editor. Wojtkowski, Gregory. editor. Wrycza, Stanislaw. editor. Zupancic, Jože. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b137171
Format: Electronic Resources
Availability Online Library~1

Visual Information Communication

2024-11-14T11:05:30Z

Author Huang, Mao Lin. editor. Nguyen, Quang Vinh. editor. Zhang, Kang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0312-9
Format: Electronic Resources
Availability Online Library~1

A Practical Introduction to Hardware/Software Codesign

2024-11-14T11:05:30Z

Author Schaumont, Patrick R. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6000-9
Format: Electronic Resources
Availability Online Library~1

Open Source Software for Digital Forensics

2024-11-14T11:05:30Z

Author Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-5803-7
Format: Electronic Resources
Availability Online Library~1

Managed Grids and Cloud Systems in the Asia-Pacific Research Community

2024-11-14T11:05:30Z

Author Lin, Simon C. editor. Yen, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6469-4
Format: Electronic Resources
Availability Online Library~1

Specification and Verification of Multi-agent Systems

2024-11-14T11:05:30Z

Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6984-2
Format: Electronic Resources
Availability Online Library~1

A Process Algebraic Approach to Software Architecture Design

2024-11-14T11:05:30Z

Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-223-4
Format: Electronic Resources
Availability Online Library~1

Tabletops - Horizontal Interactive Displays

2024-11-14T11:05:30Z

Author Müller-Tomfelde, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-113-4
Format: Electronic Resources
Availability Online Library~1

SystemC: From the Ground Up

2024-11-14T11:05:30Z

Author Black, David C. author. Donovan, Jack. author. Bunton, Bill. author. Keist, Anna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-69958-5
Format: Electronic Resources
Availability Online Library~1

Secure Integrated Circuits and Systems

2024-11-14T11:05:30Z

Author Verbauwhede, Ingrid M.R. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-71829-3
Format: Electronic Resources
Availability Online Library~1

Pro PHP Refactoring

2024-11-14T11:05:30Z

Author Trucchia, Francesco. author. Romei, Jacopo. author. Lowman, Michelle. editor. Andres, Clay. editor. Anglin, Steve. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2728-1
Format: Electronic Resources
Availability Online Library~1

Pro Python

2024-11-14T11:05:30Z

Author Alchin, Marty. author. Andres, Clay. editor. Anglin, Steve. editor. Beckner, Mark. editor. Buckingham, Ewan. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-2758-8
Format: Electronic Resources
Availability Online Library~1

Hardware Based Packet Classification for High Speed Internet Routers

2024-11-14T11:05:30Z

Author Meiners, Chad R. author. Liu, Alex X. author. Torng, Eric. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-6700-8
Format: Electronic Resources
Availability Online Library~1