Search Results for - Narrowed by: Electronic Library - 2010 - Computer science. - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092010$0025092010$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?
2024-08-31T01:54:55Z
Computerlinguistik und Sprachtechnologie Eine Einführung
ent://SD_ILS/0/SD_ILS:198706
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Carstensen, Kai-Uwe. editor. Ebert, Christian. editor. Ebert, Cornelia. editor. Jekat, Susanne J. editor. Klabunde, Ralf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2224-8">http://dx.doi.org/10.1007/978-3-8274-2224-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Computing Sciences and Software Engineering
ent://SD_ILS/0/SD_ILS:205401
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9112-3">http://dx.doi.org/10.1007/978-90-481-9112-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Event-Driven Architecture Softwarearchitektur für ereignisgesteuerte Geschäftsprozesse
ent://SD_ILS/0/SD_ILS:190321
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bruns, Ralf. author. Dunkel, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02439-9">http://dx.doi.org/10.1007/978-3-642-02439-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
sicher & mobil Sicherheit in der drahtlosen Kommunikation
ent://SD_ILS/0/SD_ILS:190513
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Osterhage, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03083-3">http://dx.doi.org/10.1007/978-3-642-03083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Test-Driven Development An Empirical Evaluation of Agile Practice
ent://SD_ILS/0/SD_ILS:190899
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Madeyski, Lech. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04288-1">http://dx.doi.org/10.1007/978-3-642-04288-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kompendium semantische Netze Konzepte, Technologie, Modellierung
ent://SD_ILS/0/SD_ILS:190908
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Reichenberger, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04315-4">http://dx.doi.org/10.1007/978-3-642-04315-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informationsverarbeitung in Versicherungsunternehmen
ent://SD_ILS/0/SD_ILS:190911
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Aschenbrenner, Michael. editor. Dicke, Ralph. editor. Karnarski, Bertel. editor. Schweiggert, Franz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04321-5">http://dx.doi.org/10.1007/978-3-642-04321-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python 3 - Intensivkurs Projekte erfolgreich realisieren
ent://SD_ILS/0/SD_ILS:190926
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pilgrim, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04377-2">http://dx.doi.org/10.1007/978-3-642-04377-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA
ent://SD_ILS/0/SD_ILS:191023
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Draht, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04674-2">http://dx.doi.org/10.1007/978-3-642-04674-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Das C++ Kompendium STL, Objektfabriken, Exceptions
ent://SD_ILS/0/SD_ILS:191058
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Brands, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04787-9">http://dx.doi.org/10.1007/978-3-642-04787-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmierung mit LEGO Mindstorms NXT Robotersysteme, Entwurfsmethodik, Algorithmen
ent://SD_ILS/0/SD_ILS:191281
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Berns, Karsten. author. Schmidt, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05470-9">http://dx.doi.org/10.1007/978-3-642-05470-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative Software Engineering
ent://SD_ILS/0/SD_ILS:191326
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Mistrík, Ivan. editor. Grundy, John. editor. Hoek, André. editor. Whitehead, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10294-3">http://dx.doi.org/10.1007/978-3-642-10294-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191698
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pnueli, Amir. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11486-1">http://dx.doi.org/10.1007/978-3-642-11486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191704
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Carro, Manuel. editor. Peña, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11503-5">http://dx.doi.org/10.1007/978-3-642-11503-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ent://SD_ILS/0/SD_ILS:191706
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11512-7">http://dx.doi.org/10.1007/978-3-642-11512-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191650
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Barthe, Gilles. editor. Hermenegildo, Manuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11319-2">http://dx.doi.org/10.1007/978-3-642-11319-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid Resource Management On-demand Provisioning, Advance Reservation, and Capacity Planning of Grid Resources
ent://SD_ILS/0/SD_ILS:191728
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Siddiqui, Mumtaz. author. Fahringer, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11579-0">http://dx.doi.org/10.1007/978-3-642-11579-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191743
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Arbab, Farhad. editor. Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11623-0">http://dx.doi.org/10.1007/978-3-642-11623-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology 6th International Conference, ICDCIT 2010, Bhubaneswar, India, February 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191754
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Janowski, Tomasz. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11659-9">http://dx.doi.org/10.1007/978-3-642-11659-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Access Networks 4th International Conference, AccessNets 2009, Hong Kong, China, November 1-3, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191755
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hei, Xiao Jun. editor. Cheung, Lawrence. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11664-3">http://dx.doi.org/10.1007/978-3-642-11664-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:191664
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Baldoni, Matteo. editor. Bentahar, Jamal. editor. Riemsdijk, M. Birna. editor. Lloyd, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11355-0">http://dx.doi.org/10.1007/978-3-642-11355-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191780
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zheng, Jun. editor. Mao, Shiwen. editor. Midkiff, Scott F. editor. Zhu, Hua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11723-7">http://dx.doi.org/10.1007/978-3-642-11723-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Communication and Quantum Networking First International Conference, QuantumComm 2009, Naples, Italy, October 26-30, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191783
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Sergienko, Alexander. editor. Pascazio, Saverio. editor. Villoresi, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11731-2">http://dx.doi.org/10.1007/978-3-642-11731-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Argumentation in Multi-Agent Systems 6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:192116
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author McBurney, Peter. editor. Rahwan, Iyad. editor. Parsons, Simon. editor. Maudet, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12805-9">http://dx.doi.org/10.1007/978-3-642-12805-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinspired Models of Network, Information, and Computing Systems 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192117
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Altman, Eitan. editor. Carrera, Iacopo. editor. El-Azouzi, Rachid. editor. Hart, Emma. editor. Hayel, Yezekael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12808-0">http://dx.doi.org/10.1007/978-3-642-12808-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2010 9th International IFIP TC 6 Networking Conference, Chennai, India, May 11-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192169
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Crovella, Mark. editor. Feeney, Laura Marie. editor. Rubenstein, Dan. editor. Raghavan, S. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12963-6">http://dx.doi.org/10.1007/978-3-642-12963-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192502
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Vitek, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13953-6">http://dx.doi.org/10.1007/978-3-642-13953-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192510
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Fraser, Gordon. editor. Gargantini, Angelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13977-2">http://dx.doi.org/10.1007/978-3-642-13977-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192513
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Stiller, Burkhard. editor. Turck, Filip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13986-4">http://dx.doi.org/10.1007/978-3-642-13986-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing in Computer-Assisted Interventions First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192421
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Navab, Nassir. editor. Jannin, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13711-2">http://dx.doi.org/10.1007/978-3-642-13711-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192445
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lee, Yeunsook. editor. Bien, Z. Zenn. editor. Mokhtari, Mounir. editor. Kim, Jeong Tai. editor. Park, Mignon. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13778-5">http://dx.doi.org/10.1007/978-3-642-13778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192450
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ali Babar, M. editor. Vierimaa, Matias. editor. Oivo, Markku. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13792-1">http://dx.doi.org/10.1007/978-3-642-13792-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192460
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Heineman, George T. editor. Kofron, Jan. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13821-8">http://dx.doi.org/10.1007/978-3-642-13821-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2010 – Object-Oriented Programming 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192552
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author D’Hondt, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14107-2">http://dx.doi.org/10.1007/978-3-642-14107-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2009 – Parallel Processing Workshops HPPC, HeteroPar, PROPER, ROIA, UNICORE, VHPC, Delft, The Netherlands, August 25-28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192557
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lin, Hai-Xiang. editor. Alexander, Michael. editor. Forsell, Martti. editor. Knüpfer, Andreas. editor. Prodan, Radu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14122-5">http://dx.doi.org/10.1007/978-3-642-14122-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:192566
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Abramsky, Samson. editor. Gavoille, Cyril. editor. Kirchner, Claude. editor. Meyer auf der Heide, Friedhelm. editor. Spirakis, Paul G. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14162-1">http://dx.doi.org/10.1007/978-3-642-14162-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Wireless and Mobile Networks Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192569
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Özcan, Abdulkadir. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14171-3">http://dx.doi.org/10.1007/978-3-642-14171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192572
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192574
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wieringa, Roel. editor. Persson, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14192-8">http://dx.doi.org/10.1007/978-3-642-14192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192603
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Aloni, Maria. editor. Bastiaanse, Harald. editor. Jager, Tikitu. editor. Schulz, Katrin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14287-1">http://dx.doi.org/10.1007/978-3-642-14287-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:192605
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zavoral, Filip. editor. Yaghob, Jakub. editor. Pichappan, Pit. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14292-5">http://dx.doi.org/10.1007/978-3-642-14292-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192606
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Touili, Tayssir. editor. Cook, Byron. editor. Jackson, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14295-6">http://dx.doi.org/10.1007/978-3-642-14295-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked Digital Technologies Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:192609
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zavoral, Filip. editor. Yaghob, Jakub. editor. Pichappan, Pit. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14306-9">http://dx.doi.org/10.1007/978-3-642-14306-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:192618
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192622
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Münch, Jürgen. editor. Yang, Ye. editor. Schäfer, Wilhelm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14347-2">http://dx.doi.org/10.1007/978-3-642-14347-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 4th International Workshop, CRITIS 2009, Bonn, Germany, September 30 - October 2, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192634
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Rome, Erich. editor. Bloomfield, Robin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14379-3">http://dx.doi.org/10.1007/978-3-642-14379-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009. Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:192638
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14390-8">http://dx.doi.org/10.1007/978-3-642-14390-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:192642
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Karczewski, Konrad. editor. Wasniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14403-5">http://dx.doi.org/10.1007/978-3-642-14403-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Organizing Architectures First International Workshop, SOAR 2009, Cambridge, UK, September 14, 2009, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:192645
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Weyns, Danny. editor. Malek, Sam. editor. Lemos, Rogério. editor. Andersson, Jesper. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14412-7">http://dx.doi.org/10.1007/978-3-642-14412-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Discovery Second International Workshop, RED 2009, Lyon, France, August 28, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:192646
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lacroix, Zoé. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14415-8">http://dx.doi.org/10.1007/978-3-642-14415-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192661
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Laneve, Cosimo. editor. Su, Jianwen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14458-5">http://dx.doi.org/10.1007/978-3-642-14458-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Network Security and Applications Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192667
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Meghanathan, Natarajan. editor. Boumerdassi, Selma. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14478-3">http://dx.doi.org/10.1007/978-3-642-14478-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192779
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Maciaszek, Leszek A. editor. González-Pérez, César. editor. Jablonski, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14819-4">http://dx.doi.org/10.1007/978-3-642-14819-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithm Engineering Bridging the Gap between Algorithm Theory and Practice
ent://SD_ILS/0/SD_ILS:192794
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Müller-Hannemann, Matthias. editor. Schirra, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14866-8">http://dx.doi.org/10.1007/978-3-642-14866-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192894
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dawar, Anuj. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15205-4">http://dx.doi.org/10.1007/978-3-642-15205-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme
ent://SD_ILS/0/SD_ILS:192807
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Broy, Manfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14901-6">http://dx.doi.org/10.1007/978-3-642-14901-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
ent://SD_ILS/0/SD_ILS:192902
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15228-3">http://dx.doi.org/10.1007/978-3-642-15228-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192906
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Calude, Cristian S. editor. Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15240-5">http://dx.doi.org/10.1007/978-3-642-15240-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192858
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Leavens, Gary T. editor. O’Hearn, Peter. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15057-9">http://dx.doi.org/10.1007/978-3-642-15057-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management in Grid and Peer-to-Peer Systems Third International Conference, Globe 2010, Bilbao, Spain, September 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192863
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hameurlain, Abdelkader. editor. Morvan, Franck. editor. Tjoa, A Min. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15108-8">http://dx.doi.org/10.1007/978-3-642-15108-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192865
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Babar, Muhammad Ali. editor. Gorton, Ian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15114-9">http://dx.doi.org/10.1007/978-3-642-15114-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192935
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Eekelen, Marko. editor. Shkaravska, Olha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15331-0">http://dx.doi.org/10.1007/978-3-642-15331-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192941
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kučera, Antonín. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15349-5">http://dx.doi.org/10.1007/978-3-642-15349-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192949
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gastin, Paul. editor. Laroussinie, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15375-4">http://dx.doi.org/10.1007/978-3-642-15375-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Sourcing of Information Technology and Business Processes 4th Global Sourcing Workshop 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192963
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15417-1">http://dx.doi.org/10.1007/978-3-642-15417-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiple Access Communications Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192966
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Vinel, Alexey. editor. Bellalta, Boris. editor. Sacchi, Claudio. editor. Lyakhov, Andrey. editor. Telek, Miklós. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15428-7">http://dx.doi.org/10.1007/978-3-642-15428-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192981
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pont, Ana. editor. Pujolle, Guy. editor. Raghavan, S. V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15476-8">http://dx.doi.org/10.1007/978-3-642-15476-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192984
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15485-0">http://dx.doi.org/10.1007/978-3-642-15485-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192991
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bernus, Peter. editor. Doumeingts, Guy. editor. Fox, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15509-3">http://dx.doi.org/10.1007/978-3-642-15509-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Lines: Going Beyond 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193015
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bosch, Jan. editor. Lee, Jaejoon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15579-6">http://dx.doi.org/10.1007/978-3-642-15579-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Software – ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193016
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Fukuda, Komei. editor. Hoeven, Joris van der. editor. Joswig, Michael. editor. Takayama, Nobuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15582-6">http://dx.doi.org/10.1007/978-3-642-15582-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193017
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15585-7">http://dx.doi.org/10.1007/978-3-642-15585-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193021
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Li, Kang. editor. Fei, Minrui. editor. Jia, Li. editor. Irwin, George W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15597-0">http://dx.doi.org/10.1007/978-3-642-15597-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193028
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hull, Richard. editor. Mendling, Jan. editor. Tai, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15618-2">http://dx.doi.org/10.1007/978-3-642-15618-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthly Global Computing 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193036
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wirsing, Martin. editor. Hofmann, Martin. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15640-3">http://dx.doi.org/10.1007/978-3-642-15640-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193037
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bouajjani, Ahmed. editor. Chin, Wei-Ngan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15643-4">http://dx.doi.org/10.1007/978-3-642-15643-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Advances in the Message Passing Interface 17th European MPI Users’ Group Meeting, EuroMPI 2010, Stuttgart, Germany, September 12-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193038
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Keller, Rainer. editor. Gabriel, Edgar. editor. Resch, Michael. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15646-5">http://dx.doi.org/10.1007/978-3-642-15646-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193040
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Schoitsch, Erwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15651-9">http://dx.doi.org/10.1007/978-3-642-15651-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193045
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15666-3">http://dx.doi.org/10.1007/978-3-642-15666-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing IFIP International Conference, NPC 2010, Zhengzhou, China, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193047
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ding, Chen. editor. Shao, Zhiyuan. editor. Zheng, Ran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15672-4">http://dx.doi.org/10.1007/978-3-642-15672-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193048
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Janhunen, Tomi. editor. Niemelä, Ilkka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15675-5">http://dx.doi.org/10.1007/978-3-642-15675-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 7th International Workshop, GECON 2010, Ischia, Italy, August 31, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193050
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Altmann, Jörn. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15681-6">http://dx.doi.org/10.1007/978-3-642-15681-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies 7th International XML Database Symposium, XSym 2010, Singapore, September 17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193051
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lee, Mong Li. editor. Yu, Jeffrey Xu. editor. Bellahsène, Zohra. editor. Unland, Rainer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15684-7">http://dx.doi.org/10.1007/978-3-642-15684-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Multimedia Information Processing - PCM 2010 11th Pacific Rim Conference on Multimedia, Shanghai, China, September 21-24, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193057
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Qiu, Guoping. editor. Lam, Kin Man. editor. Kiya, Hitoshi. editor. Xue, Xiang-Yang. editor. Kuo, C.-C. Jay. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15702-8">http://dx.doi.org/10.1007/978-3-642-15702-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration and Technology 16th International Conference, CRIWG 2010, Maastricht, The Netherlands, September 20-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193061
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kolfschoten, Gwendolyn. editor. Herrmann, Thomas. editor. Lukosch, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15714-1">http://dx.doi.org/10.1007/978-3-642-15714-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193077
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lynch, Nancy A. editor. Shvartsman, Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15763-9">http://dx.doi.org/10.1007/978-3-642-15763-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193083
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Bononi, Luciano. editor. Cortellessa, Vittorio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15784-4">http://dx.doi.org/10.1007/978-3-642-15784-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trends in Intelligent Robotics 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193092
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Vadakkepat, Prahlad. editor. Kim, Jong-Hwan. editor. Jesse, Norbert. editor. Mamun, Abdullah Al. editor. Kiong, Tan Kok. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15810-0">http://dx.doi.org/10.1007/978-3-642-15810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Virtual Agents 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193119
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Allbeck, Jan. editor. Badler, Norman. editor. Bickmore, Timothy. editor. Pelachaud, Catherine. editor. Safonova, Alla. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15892-6">http://dx.doi.org/10.1007/978-3-642-15892-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193121
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kowalewski, Stefan. editor. Roveri, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15898-8">http://dx.doi.org/10.1007/978-3-642-15898-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
S-BPM ONE – Setting the Stage for Subject-Oriented Business Process Management First International Workshop, Karlsruhe, Germany, October 22, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193126
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Buchwald, Hagen. editor. Fleischmann, Albert. editor. Seese, Detlef. editor. Stary, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15915-2">http://dx.doi.org/10.1007/978-3-642-15915-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193127
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15918-3">http://dx.doi.org/10.1007/978-3-642-15918-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193130
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ehrig, Hartmut. editor. Rensink, Arend. editor. Rozenberg, Grzegorz. editor. Schürr, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15928-2">http://dx.doi.org/10.1007/978-3-642-15928-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193140
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Camarinha-Matos, Luis M. editor. Boucher, Xavier. editor. Afsarmanesh, Hamideh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15961-9">http://dx.doi.org/10.1007/978-3-642-15961-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Latent Variable Analysis and Signal Separation 9th International Conference, LVA/ICA 2010, St. Malo, France, September 27-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193152
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Vigneron, Vincent. editor. Zarzoso, Vicente. editor. Moreau, Eric. editor. Gribonval, Rémi. editor. Vincent, Emmanuel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15995-4">http://dx.doi.org/10.1007/978-3-642-15995-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193160
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dolev, Shlomi. editor. Cobb, Jorge. editor. Fischer, Michael. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16023-3">http://dx.doi.org/10.1007/978-3-642-16023-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Metaheuristics 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193169
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Blesa, María J. editor. Blum, Christian. editor. Raidl, Günther. editor. Roli, Andrea. editor. Sampels, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16054-7">http://dx.doi.org/10.1007/978-3-642-16054-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2010 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193275
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Parsons, Jeffrey. editor. Saeki, Motoshi. editor. Shoval, Peretz. editor. Woo, Carson. editor. Wand, Yair. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16373-9">http://dx.doi.org/10.1007/978-3-642-16373-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193279
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Trujillo, Juan. editor. Dobbie, Gillian. editor. Kangassalo, Hannu. editor. Hartmann, Sven. editor. Kirchberg, Markus. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16385-2">http://dx.doi.org/10.1007/978-3-642-16385-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193284
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Quintela Varajão, João Eduardo. editor. Cruz-Cunha, Maria Manuela. editor. Putnik, Goran D. editor. Trigo, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16402-6">http://dx.doi.org/10.1007/978-3-642-16402-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193287
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16416-3">http://dx.doi.org/10.1007/978-3-642-16416-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ENTERprise Information Systems International Conference, CENTERIS 2010, Viana do Castelo, Portugal, October 20-22, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193288
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Quintela Varajão, João Eduardo. editor. Cruz-Cunha, Maria Manuela. editor. Putnik, Goran D. editor. Trigo, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16419-4">http://dx.doi.org/10.1007/978-3-642-16419-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Management by the Masses 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193295
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Cimiano, Philipp. editor. Pinto, H. Sofia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16438-5">http://dx.doi.org/10.1007/978-3-642-16438-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:193440
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dix, Jürgen. editor. Fisher, Michael. editor. Novák, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16867-3">http://dx.doi.org/10.1007/978-3-642-16867-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193452
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dong, Jin Song. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16901-4">http://dx.doi.org/10.1007/978-3-642-16901-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193623
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17511-4">http://dx.doi.org/10.1007/978-3-642-17511-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-World Wireless Sensor Networks 4th International Workshop, REALWSN 2010, Colombo, Sri Lanka, December 16-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193626
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Marron, Pedro J. editor. Voigt, Thiemo. editor. Corke, Peter. editor. Mottola, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17520-6">http://dx.doi.org/10.1007/978-3-642-17520-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Generation Information Technology Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193641
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kim, Tai-hoon. editor. Lee, Young-hoon. editor. Kang, Byeong-Ho. editor. Ślęzak, Dominik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17569-5">http://dx.doi.org/10.1007/978-3-642-17569-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet and Network Economics 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193642
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Saberi, Amin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17572-5">http://dx.doi.org/10.1007/978-3-642-17572-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193644
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kim, Tai-hoon. editor. Kim, Haeng-Kon. editor. Khan, Muhammad Khurram. editor. Kiumi, Akingbehin. editor. Fang, Wai-chi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17578-7">http://dx.doi.org/10.1007/978-3-642-17578-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193646
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kim, Tai-hoon. editor. Chang, Alan Chin-Chen. editor. Li, MingChu. editor. Rong, Chunming. editor. Patrikakis, Charalampos Z. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17587-9">http://dx.doi.org/10.1007/978-3-642-17587-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Research Challenges and Solutions for the Future Internet S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems
ent://SD_ILS/0/SD_ILS:193650
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Papazoglou, Mike P. editor. Pohl, Klaus. editor. Parkin, Michael. editor. Metzger, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17599-2">http://dx.doi.org/10.1007/978-3-642-17599-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193651
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kim, Tai-hoon. editor. Vasilakos, Thanos. editor. Sakurai, Kouichi. editor. Xiao, Yang. editor. Zhao, Gansen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17604-3">http://dx.doi.org/10.1007/978-3-642-17604-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193658
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17625-8">http://dx.doi.org/10.1007/978-3-642-17625-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193664
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kim, Tai-hoon. editor. Ma, Jianhua. editor. Fang, Wai-chi. editor. Park, Byungjoo. editor. Kang, Byeong-Ho. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17644-9">http://dx.doi.org/10.1007/978-3-642-17644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193667
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lu, Chenyang. editor. Masuzawa, Toshimitsu. editor. Mosbah, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17653-1">http://dx.doi.org/10.1007/978-3-642-17653-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193677
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Horváth, Zoltán. editor. Plasmeijer, Rinus. editor. Zsók, Viktória. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17685-2">http://dx.doi.org/10.1007/978-3-642-17685-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards a Service-Based Internet Third European Conference, ServiceWave 2010, Ghent, Belgium, December 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193680
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nitto, Elisabetta. editor. Yahyapour, Ramin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17694-4">http://dx.doi.org/10.1007/978-3-642-17694-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web – ISWC 2010 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:193695
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Patel-Schneider, Peter F. editor. Pan, Yue. editor. Hitzler, Pascal. editor. Mika, Peter. editor. Zhang, Lei. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17749-1">http://dx.doi.org/10.1007/978-3-642-17749-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Wireless Middleware, Operating Systems, and Applications Third International Conference, Mobilware 2010, Chicago, IL, USA, June 30 - July 2, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193698
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Cai, Ying. editor. Magedanz, Thomas. editor. Li, Minglu. editor. Xia, Jinchun. editor. Giannelli, Carlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17758-3">http://dx.doi.org/10.1007/978-3-642-17758-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency IV
ent://SD_ILS/0/SD_ILS:193833
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Jensen, Kurt. editor. Donatelli, Susanna. editor. Koutny, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-18222-8">http://dx.doi.org/10.1007/978-3-642-18222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmieren in C
ent://SD_ILS/0/SD_ILS:197735
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Klima, Robert. author. Selberherr, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-0393-7">http://dx.doi.org/10.1007/978-3-7091-0393-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Visual Information Communication
ent://SD_ILS/0/SD_ILS:171929
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Huang, Mao Lin. editor. Nguyen, Quang Vinh. editor. Zhang, Kang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-0312-9">http://dx.doi.org/10.1007/978-1-4419-0312-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software for Digital Forensics
ent://SD_ILS/0/SD_ILS:172432
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Huebner, Ewa. editor. Zanero, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-5803-7">http://dx.doi.org/10.1007/978-1-4419-5803-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managed Grids and Cloud Systems in the Asia-Pacific Research Community
ent://SD_ILS/0/SD_ILS:172604
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lin, Simon C. editor. Yen, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6469-4">http://dx.doi.org/10.1007/978-1-4419-6469-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composing Software Components A Software-testing Perspective
ent://SD_ILS/0/SD_ILS:172786
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hamlet, Dick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: State of the Art and New Directions
ent://SD_ILS/0/SD_ILS:176054
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thriving Systems Theory and Metaphor-Driven Modeling
ent://SD_ILS/0/SD_ILS:176215
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Waguespack, Leslie J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-302-2">http://dx.doi.org/10.1007/978-1-84996-302-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tabletops - Horizontal Interactive Displays
ent://SD_ILS/0/SD_ILS:176160
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Müller-Tomfelde, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84996-113-4">http://dx.doi.org/10.1007/978-1-84996-113-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Verification of Multi-agent Systems
ent://SD_ILS/0/SD_ILS:172741
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dastani, Mehdi. editor. Hindriks, Koen V. editor. Meyer, John-Jules Charles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture-Based Design of Multi-Agent Systems
ent://SD_ILS/0/SD_ILS:189871
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Weyns, Danny. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01064-4">http://dx.doi.org/10.1007/978-3-642-01064-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HPC@Green IT Green High Performance Computing Methods
ent://SD_ILS/0/SD_ILS:190122
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gruber, Ralf. author. Keller, Vincent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01789-6">http://dx.doi.org/10.1007/978-3-642-01789-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Technology A Unified View on Business Processes, Workflows and Enterprise Applications
ent://SD_ILS/0/SD_ILS:190049
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01588-5">http://dx.doi.org/10.1007/978-3-642-01588-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intentional Perspectives on Information Systems Engineering
ent://SD_ILS/0/SD_ILS:192028
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nurcan, Selmin. editor. Salinesi, Camille. editor. Souveyet, Carine. editor. Ralyté, Jolita. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12544-7">http://dx.doi.org/10.1007/978-3-642-12544-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192036
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Choppy, Christine. editor. Sokolsky, Oleg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12566-9">http://dx.doi.org/10.1007/978-3-642-12566-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Software Development Current Research and Future Directions
ent://SD_ILS/0/SD_ILS:192038
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dingsøyr, Torgeir. editor. Dybå, Tore. editor. Moe, Nils Brede. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12575-1">http://dx.doi.org/10.1007/978-3-642-12575-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192043
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Schreye, Danny. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12592-8">http://dx.doi.org/10.1007/978-3-642-12592-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Computing, Applications, and Services First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192048
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Phan, Thomas. editor. Montanari, Rebecca. editor. Zerfos, Petros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12607-9">http://dx.doi.org/10.1007/978-3-642-12607-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing First International Conference, CloudComp 2009 Munich, Germany, October 19–21, 2009 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192059
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Avresky, Dimiter R. editor. Diaz, Michel. editor. Bode, Arndt. editor. Ciciani, Bruno. editor. Dekel, Eliezer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12636-9">http://dx.doi.org/10.1007/978-3-642-12636-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192203
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Sillitti, Alberto. editor. Martin, Angela. editor. Wang, Xiaofeng. editor. Whitworth, Elizabeth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13054-0">http://dx.doi.org/10.1007/978-3-642-13054-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing 5th International Conference, GPC 2010, Hualien, Taiwan, May 10-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192208
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bellavista, Paolo. editor. Chang, Ruay-Shiung. editor. Chao, Han-Chieh. editor. Lin, Shin-Feng. editor. Sloot, Peter M. A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13067-0">http://dx.doi.org/10.1007/978-3-642-13067-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing Systems and Applications 23rd International Symposium, HPCS 2009, Kingston, ON, Canada, June 14-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192067
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Mewhort, Douglas J. K. editor. Cann, Natalie M. editor. Slater, Gary W. editor. Naughton, Thomas J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12659-8">http://dx.doi.org/10.1007/978-3-642-12659-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192272
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13244-5">http://dx.doi.org/10.1007/978-3-642-13244-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wired/Wireless Internet Communications 8th International Conference, WWIC 2010, Luleå, Sweden, June 1-3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192296
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Osipov, Evgeny. editor. Kassler, Andreas. editor. Bohnert, Thomas Michael. editor. Masip-Bruin, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13315-2">http://dx.doi.org/10.1007/978-3-642-13315-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192298
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bolduc, Claude. editor. Desharnais, Jules. editor. Ktari, Béchir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13321-3">http://dx.doi.org/10.1007/978-3-642-13321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
ent://SD_ILS/0/SD_ILS:192302
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13335-0">http://dx.doi.org/10.1007/978-3-642-13335-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computer Science and Information Technology Second International Conference, AST 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192306
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Tomar, G. S. editor. Chang, Ruay-Shiung. editor. Gervasi, Osvaldo. editor. Kim, Tai-hoon. editor. Bandyopadhyay, Samir Kumar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13346-6">http://dx.doi.org/10.1007/978-3-642-13346-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192326
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Clarke, Dave. editor. Agha, Gul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13414-2">http://dx.doi.org/10.1007/978-3-642-13414-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192342
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hatcliff, John. editor. Zucca, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13464-7">http://dx.doi.org/10.1007/978-3-642-13464-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-Hoc, Mobile and Wireless Networks 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192768
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nikolaidis, Ioanis. editor. Wu, Kui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14785-2">http://dx.doi.org/10.1007/978-3-642-14785-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence First International Joint Conference, AmI 2010, Malaga, Spain, November 10-12, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193459
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ruyter, Boris. editor. Wichert, Reiner. editor. Keyson, David V. editor. Markopoulos, Panos. editor. Streitz, Norbert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16917-5">http://dx.doi.org/10.1007/978-3-642-16917-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193579
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Maglio, Paul P. editor. Weske, Mathias. editor. Yang, Jian. editor. Fantinato, Marcelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17358-5">http://dx.doi.org/10.1007/978-3-642-17358-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Active Data Management to Event-Based Systems and More Papers in Honor of Alejandro Buchmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:193535
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Sachs, Kai. editor. Petrov, Ilia. editor. Guerrero, Pablo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17226-7">http://dx.doi.org/10.1007/978-3-642-17226-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems VII
ent://SD_ILS/0/SD_ILS:193541
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Casimiro, Antonio. editor. Lemos, Rogério. editor. Gacek, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17245-8">http://dx.doi.org/10.1007/978-3-642-17245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Usability Engineering kompakt Benutzbare Software gezielt entwickeln
ent://SD_ILS/0/SD_ILS:198738
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Richter, Michael. author. Flückiger, Markus D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2329-0">http://dx.doi.org/10.1007/978-3-8274-2329-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Best Practice Software-Engineering Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen
ent://SD_ILS/0/SD_ILS:198764
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Schatten, Alexander. author. Demolsky, Markus. author. Winkler, Dietmar. author. Biffl, Stefan. author. Gostischa-Franta, Erik. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2487-7">http://dx.doi.org/10.1007/978-3-8274-2487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Patterns kompakt Entwurfsmuster für effektive Software-Entwicklung
ent://SD_ILS/0/SD_ILS:198768
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Eilebrecht, Karl. author. Starke, Gernot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2526-3">http://dx.doi.org/10.1007/978-3-8274-2526-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-orientierte Architekturen mit Web Services Konzepte – Standards – Praxis
ent://SD_ILS/0/SD_ILS:198770
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Melzer, Ingo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8274-2550-8">http://dx.doi.org/10.1007/978-3-8274-2550-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmen und Problemlösungen mit C++ Von der Diskreten Mathematik zum fertigen Programm – Lern- und Arbeitsbuch für Informatiker und Mathematiker
ent://SD_ILS/0/SD_ILS:199502
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Logofătu, Doina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9382-6">http://dx.doi.org/10.1007/978-3-8348-9382-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objektorientierte Programmierung spielend gelernt mit dem Java-Hamster-Modell
ent://SD_ILS/0/SD_ILS:199469
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Boles, Dietrich. author. Boles, Cornelia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9349-9">http://dx.doi.org/10.1007/978-3-8348-9349-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Computergrafik mit Java Die Grundlagen verstehen und einfach umsetzen mit Java 3D
ent://SD_ILS/0/SD_ILS:199788
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Klawonn, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9679-7">http://dx.doi.org/10.1007/978-3-8348-9679-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML in logistischen Prozessen Graphische Sprache zur Modellierung der Systeme
ent://SD_ILS/0/SD_ILS:199805
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Czuchra, Waldemar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9698-8">http://dx.doi.org/10.1007/978-3-8348-9698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petrinetze Modellierungstechnik, Analysemethoden, Fallstudien
ent://SD_ILS/0/SD_ILS:199815
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9708-4">http://dx.doi.org/10.1007/978-3-8348-9708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Masterkurs Client/Server-Programmierung mit Java Anwendungen entwickeln mit Standard-Technologien: JDBC, UDP, TCP, HTTP, XML-RPC, RMI, JMS und JAX-WS
ent://SD_ILS/0/SD_ILS:199831
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Abts, Dietmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9724-4">http://dx.doi.org/10.1007/978-3-8348-9724-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Process Algebraic Approach to Software Architecture Design
ent://SD_ILS/0/SD_ILS:175768
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable and Autonomous Computational Science International Conference, RACS 2010, Atlanta, GA, USA, October 27-30, 2010
ent://SD_ILS/0/SD_ILS:176710
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Shin, Sung Y. editor. Gantenbein, Rex. editor. Kuo, Tei-Wei. editor. Hong, Jiman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-0348-0031-0">http://dx.doi.org/10.1007/978-3-0348-0031-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security for Web Services and Service-Oriented Architectures
ent://SD_ILS/0/SD_ILS:188902
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bertino, Elisa. author. Martino, Lorenzo. author. Paci, Federica. author. Squicciarini, Anna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-87742-4">http://dx.doi.org/10.1007/978-3-540-87742-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
QVT - Operational Mappings Modellierung mit der Query Views Transformation
ent://SD_ILS/0/SD_ILS:189425
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nolte, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92293-3">http://dx.doi.org/10.1007/978-3-540-92293-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strategic IT Management A Toolkit for Enterprise Architecture Management
ent://SD_ILS/0/SD_ILS:191135
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hanschke, Inge. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05034-3">http://dx.doi.org/10.1007/978-3-642-05034-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relationale und postrelationale Datenbanken
ent://SD_ILS/0/SD_ILS:191205
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Meier, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05256-9">http://dx.doi.org/10.1007/978-3-642-05256-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitale Hardware/Software-Systeme Spezifikation und Verifikation
ent://SD_ILS/0/SD_ILS:191239
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Haubelt, Christian. author. Teich, Jürgen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05356-6">http://dx.doi.org/10.1007/978-3-642-05356-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements-Engineering systematisch Modellbildung für softwaregestützte Systeme
ent://SD_ILS/0/SD_ILS:191240
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Partsch, Helmuth A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05358-0">http://dx.doi.org/10.1007/978-3-642-05358-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Dynpro ABAP for Practitioners
ent://SD_ILS/0/SD_ILS:191672
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gellert, Ulrich. author. Cristea, Ana Daniela. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11385-7">http://dx.doi.org/10.1007/978-3-642-11385-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools for High Performance Computing 2009 Proceedings of the 3rd International Workshop on Parallel Tools for High Performance Computing, September 2009, ZIH, Dresden
ent://SD_ILS/0/SD_ILS:191631
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Müller, Matthias S. editor. Resch, Michael M. editor. Schulz, Alexander. editor. Nagel, Wolfgang E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11261-4">http://dx.doi.org/10.1007/978-3-642-11261-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 23-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191633
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Leeuwen, Jan. editor. Muscholl, Anca. editor. Peleg, David. editor. Pokorný, Jaroslav. editor. Rumpe, Bernhard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11266-9">http://dx.doi.org/10.1007/978-3-642-11266-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomedical Engineering Systems and Technologies International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191779
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Fred, Ana. editor. Filipe, Joaquim. editor. Gamboa, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11721-3">http://dx.doi.org/10.1007/978-3-642-11721-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191784
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Doulamis, Anastasios. editor. Mambretti, Joe. editor. Tomkos, Ioannis. editor. Varvarigou, Theodora. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11733-6">http://dx.doi.org/10.1007/978-3-642-11733-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191790
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11747-3">http://dx.doi.org/10.1007/978-3-642-11747-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191800
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11797-8">http://dx.doi.org/10.1007/978-3-642-11797-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191807
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pentikousis, Kostas. editor. Blume, Oliver. editor. Agüero Calvo, Ramón. editor. Papavassiliou, Symeon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11817-3">http://dx.doi.org/10.1007/978-3-642-11817-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Applications Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191815
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zhang, Wu. editor. Chen, Zhangxin. editor. Douglas, Craig C. editor. Tong, Weiqin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11842-5">http://dx.doi.org/10.1007/978-3-642-11842-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191824
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Komninos, Nikos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11870-8">http://dx.doi.org/10.1007/978-3-642-11870-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2009: Robot Soccer World Cup XIII
ent://SD_ILS/0/SD_ILS:191826
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11876-0">http://dx.doi.org/10.1007/978-3-642-11876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems
ent://SD_ILS/0/SD_ILS:191827
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Puppis, Gabriele. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11881-4">http://dx.doi.org/10.1007/978-3-642-11881-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks 7th European Conference, EWSN 2010, Coimbra, Portugal, February 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191836
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Silva, Jorge Sá. editor. Krishnamachari, Bhaskar. editor. Boavida, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11917-0">http://dx.doi.org/10.1007/978-3-642-11917-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191841
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Schmid, Ute. editor. Kitzelmann, Emanuel. editor. Plasmeijer, Rinus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11931-6">http://dx.doi.org/10.1007/978-3-642-11931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2010 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191846
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Müller-Schloer, Christian. editor. Karl, Wolfgang. editor. Yehia, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11950-7">http://dx.doi.org/10.1007/978-3-642-11950-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191847
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gordon, Andrew D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11957-6">http://dx.doi.org/10.1007/978-3-642-11957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191850
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gupta, Rajiv. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11970-5">http://dx.doi.org/10.1007/978-3-642-11970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191856
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Escobar, Santiago. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11999-6">http://dx.doi.org/10.1007/978-3-642-11999-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191857
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12002-2">http://dx.doi.org/10.1007/978-3-642-12002-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IEC 61131-3: Programming Industrial Automation Systems Concepts and Programming Languages, Requirements for Programming Systems, Decision-Making Aids
ent://SD_ILS/0/SD_ILS:191861
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author John, Karl Heinz. author. Tiegelkamp, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12015-2">http://dx.doi.org/10.1007/978-3-642-12015-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:191866
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Rosenblum, David S. editor. Taentzer, Gabriele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12029-9">http://dx.doi.org/10.1007/978-3-642-12029-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:191867
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ong, Luke. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12032-9">http://dx.doi.org/10.1007/978-3-642-12032-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems, Technology and Management 4th International Conference, ICISTM 2010, Bangkok, Thailand, March 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191868
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Prasad, Sushil K. editor. Vin, Harrick M. editor. Sahni, Sartaj. editor. Jaiswal, Mahadeo P. editor. Thipakorn, Bundit. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12035-0">http://dx.doi.org/10.1007/978-3-642-12035-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Der Computer - Mein Lebenswerk
ent://SD_ILS/0/SD_ILS:191886
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zuse, Konrad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12096-1">http://dx.doi.org/10.1007/978-3-642-12096-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:191889
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Müller-Clostermann, Bruno. editor. Echtle, Klaus. editor. Rathgeb, Erwin P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12104-3">http://dx.doi.org/10.1007/978-3-642-12104-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191890
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Brand, Mark. editor. Gašević, Dragan. editor. Gray, Jeff. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12107-4">http://dx.doi.org/10.1007/978-3-642-12107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:191892
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12113-5">http://dx.doi.org/10.1007/978-3-642-12113-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191898
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Sirisuk, Phaophak. editor. Morgan, Fearghal. editor. El-Ghazawi, Tarek. editor. Amano, Hideharu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12133-3">http://dx.doi.org/10.1007/978-3-642-12133-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:191906
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12156-2">http://dx.doi.org/10.1007/978-3-642-12156-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:191909
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12165-4">http://dx.doi.org/10.1007/978-3-642-12165-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:191914
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12179-1">http://dx.doi.org/10.1007/978-3-642-12179-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009. Revised Papers
ent://SD_ILS/0/SD_ILS:191916
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Rinderle-Ma, Stefanie. editor. Sadiq, Shazia. editor. Leymann, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12186-9">http://dx.doi.org/10.1007/978-3-642-12186-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:191917
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Taniar, David. editor. Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. Pardede, Eric. editor. Apduhan, Bernady O. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12189-0">http://dx.doi.org/10.1007/978-3-642-12189-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:191925
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Das, Vinu V. editor. Vijayakumar, R. editor. Debnath, Narayan C. editor. Stephen, Janahanlal. editor. Meghanathan, Natarajan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12214-9">http://dx.doi.org/10.1007/978-3-642-12214-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture III Third IFIP TC 12 International Conference, CCTA 2009, Beijing, China, October 14-17, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191927
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Li, Daoliang. editor. Zhao, Chunjiang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12220-0">http://dx.doi.org/10.1007/978-3-642-12220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:191933
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Chio, Cecilia. editor. Brabazon, Anthony. editor. Caro, Gianni A. editor. Ebner, Marc. editor. Farooq, Muddassar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12242-2">http://dx.doi.org/10.1007/978-3-642-12242-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191936
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Blume, Matthias. editor. Kobayashi, Naoki. editor. Vidal, Germán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12251-4">http://dx.doi.org/10.1007/978-3-642-12251-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Infrastructures and E-Services on Developing Countries First International ICST Conference, AFRICOM 2009, Maputo, Mozambique, December 3-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:192082
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Villafiorita, Adolfo. editor. Saint-Paul, Regis. editor. Zorer, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12701-4">http://dx.doi.org/10.1007/978-3-642-12701-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agility Across Time and Space Implementing Agile Methods in Global Software Projects
ent://SD_ILS/0/SD_ILS:191998
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Šmite, Darja. editor. Moe, Nils Brede. editor. Ågerfalk, Pär J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12442-6">http://dx.doi.org/10.1007/978-3-642-12442-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:191939
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ghosh, Sudipto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12261-3">http://dx.doi.org/10.1007/978-3-642-12261-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:191941
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12267-5">http://dx.doi.org/10.1007/978-3-642-12267-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Computing Challenges and Directions
ent://SD_ILS/0/SD_ILS:191954
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ceri, Stefano. editor. Brambilla, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12310-8">http://dx.doi.org/10.1007/978-3-642-12310-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Passive and Active Measurement 11th International Conference, PAM 2010, Zurich, Switzerland, April 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:191961
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Krishnamurthy, Arvind. editor. Plattner, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12334-4">http://dx.doi.org/10.1007/978-3-642-12334-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Lectures on Software Engineering LASER Summer School 2007/2008
ent://SD_ILS/0/SD_ILS:192186
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Müller, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13010-6">http://dx.doi.org/10.1007/978-3-642-13010-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing 8th International Conference, Pervasive 2010, Helsinki, Finland, May 17-20, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192065
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Floréen, Patrik. editor. Krüger, Antonio. editor. Spasojevic, Mirjana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12654-3">http://dx.doi.org/10.1007/978-3-642-12654-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192217
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pernici, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13094-6">http://dx.doi.org/10.1007/978-3-642-13094-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings. Part I
ent://SD_ILS/0/SD_ILS:192228
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13119-6">http://dx.doi.org/10.1007/978-3-642-13119-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II
ent://SD_ILS/0/SD_ILS:192235
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hsu, Ching-Hsien. editor. Yang, Laurence T. editor. Park, Jong Hyuk. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13136-3">http://dx.doi.org/10.1007/978-3-642-13136-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings
ent://SD_ILS/0/SD_ILS:192265
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Sato, Mitsuhisa. editor. Hanawa, Toshihiro. editor. Müller, Matthias S. editor. Chapman, Barbara M. editor. Supinski, Bronis R. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13217-9">http://dx.doi.org/10.1007/978-3-642-13217-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 13th International Symposium, CBSE 2010, Prague, Czech Republic, June 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192270
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Grunske, Lars. editor. Reussner, Ralf. editor. Plasil, Frantisek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13238-4">http://dx.doi.org/10.1007/978-3-642-13238-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologiey – Ada-Europe 2010 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192372
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Real, Jorge. editor. Vardanega, Tullio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13550-7">http://dx.doi.org/10.1007/978-3-642-13550-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent-Based Simulation X International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192373
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Tosto, Gennaro. editor. Dyke Parunak, H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13553-8">http://dx.doi.org/10.1007/978-3-642-13553-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Critical Systems First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings
ent://SD_ILS/0/SD_ILS:192374
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Giese, Holger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13556-9">http://dx.doi.org/10.1007/978-3-642-13556-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analytical and Stochastic Modeling Techniques and Applications 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192378
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Al-Begain, Khalid. editor. Fiems, Dieter. editor. Knottenbelt, William J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13568-2">http://dx.doi.org/10.1007/978-3-642-13568-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Foundations and Applications 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192385
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kühne, Thomas. editor. Selic, Bran. editor. Gervais, Marie-Pierre. editor. Terrier, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13595-8">http://dx.doi.org/10.1007/978-3-642-13595-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business First International Conference, ICSOB 2010, Jyväskylä, Finland, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192398
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Tyrväinen, Pasi. editor. Jansen, Slinger. editor. Cusumano, Michael A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13633-7">http://dx.doi.org/10.1007/978-3-642-13633-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 10th IFIP WG 6.1 International Conference, DAIS 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192402
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Eliassen, Frank. editor. Kapitza, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13645-0">http://dx.doi.org/10.1007/978-3-642-13645-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing in Sensor Systems 6th IEEE International Conference, DCOSS 2010, Santa Barbara, CA, USA, June 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192404
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Rajaraman, Rajmohan. editor. Moscibroda, Thomas. editor. Dunkels, Adam. editor. Scaglione, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13651-1">http://dx.doi.org/10.1007/978-3-642-13651-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192412
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lilius, Johan. editor. Penczek, Wojciech. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13675-7">http://dx.doi.org/10.1007/978-3-642-13675-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192413
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192417
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Tratt, Laurence. editor. Gogolla, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13688-7">http://dx.doi.org/10.1007/978-3-642-13688-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192447
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nordio, Martin. editor. Joseph, Mathai. editor. Meyer, Bertrand. editor. Terekhov, Andrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13784-6">http://dx.doi.org/10.1007/978-3-642-13784-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Multimedia Networking Third International Workshop, FMN 2010, Kraków, Poland, June 17-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192449
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zeadally, Sherali. editor. Cerqueira, Eduardo. editor. Curado, Marília. editor. Leszczuk, Mikołaj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13789-1">http://dx.doi.org/10.1007/978-3-642-13789-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192532
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Baudry, Benoît. editor. Wohlstadter, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14046-4">http://dx.doi.org/10.1007/978-3-642-14046-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192534
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kaufmann, Matt. editor. Paulson, Lawrence C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14052-5">http://dx.doi.org/10.1007/978-3-642-14052-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:192538
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14064-8">http://dx.doi.org/10.1007/978-3-642-14064-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Haptics: Generating and Perceiving Tangible Sensations International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192542
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Kappers, Astrid M. L. editor. Erp, Jan B. F. editor. Bergmann Tiest, Wouter M. editor. Helm, Frans C. T. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14075-4">http://dx.doi.org/10.1007/978-3-642-14075-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Networks and Communications International Conferences, NeCoM 2010, WiMoN 2010, WeST 2010, Chennai, India, July 23-25, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192672
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Meghanathan, Natarajan. editor. Boumerdassi, Selma. editor. Chaki, Nabendu. editor. Nagamalai, Dhinaharan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14493-6">http://dx.doi.org/10.1007/978-3-642-14493-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192682
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Butterfield, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14521-6">http://dx.doi.org/10.1007/978-3-642-14521-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Specification and Verification of Declarative Open Interaction Models A Logic-Based Approach
ent://SD_ILS/0/SD_ILS:192688
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Montali, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14538-4">http://dx.doi.org/10.1007/978-3-642-14538-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192693
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lee, Der-Tsai. editor. Chen, Danny Z. editor. Ying, Shi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14553-7">http://dx.doi.org/10.1007/978-3-642-14553-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192725
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pandurangan, Gopal. editor. Anil Kumar, V. S. editor. Ming, Gu. editor. Liu, Yunhao. editor. Li, Yingshu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14654-1">http://dx.doi.org/10.1007/978-3-642-14654-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:192787
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Braubach, Lars. editor. Briot, Jean-Pierre. editor. Thangarajah, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14843-9">http://dx.doi.org/10.1007/978-3-642-14843-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192803
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Balandin, Sergey. editor. Dunaytsev, Roman. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14891-0">http://dx.doi.org/10.1007/978-3-642-14891-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192904
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Hinchey, Mike. editor. Kleinjohann, Bernd. editor. Kleinjohann, Lisa. editor. Lindsay, Peter A. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15234-4">http://dx.doi.org/10.1007/978-3-642-15234-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192821
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Boursas, Latifa. editor. Carlson, Mark. editor. Jin, Hai. editor. Sibilla, Michelle. editor. Wold, Kes. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14944-3">http://dx.doi.org/10.1007/978-3-642-14944-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Internet - FIS 2009 Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009
ent://SD_ILS/0/SD_ILS:192825
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zseby, Tanja. editor. Savola, Reijo. editor. Pistore, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14956-6">http://dx.doi.org/10.1007/978-3-642-14956-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:192827
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Padget, Julian. editor. Artikis, Alexander. editor. Vasconcelos, Wamberto. editor. Stathis, Kostas. editor. Silva, Viviane Torres. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14962-7">http://dx.doi.org/10.1007/978-3-642-14962-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192832
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dix, Jürgen. editor. Leite, João. editor. Governatori, Guido. editor. Jamroga, Wojtek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14977-1">http://dx.doi.org/10.1007/978-3-642-14977-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:192849
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Blass, Andreas. editor. Dershowitz, Nachum. editor. Reisig, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15025-8">http://dx.doi.org/10.1007/978-3-642-15025-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence I
ent://SD_ILS/0/SD_ILS:192852
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15034-0">http://dx.doi.org/10.1007/978-3-642-15034-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192925
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Chatterjee, Krishnendu. editor. Henzinger, Thomas A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15297-9">http://dx.doi.org/10.1007/978-3-642-15297-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evolvable Systems: From Biology to Hardware 9th International Conference, ICES 2010, York, UK, September 6-8, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192933
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Tempesti, Gianluca. editor. Tyrrell, Andy M. editor. Miller, Julian F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15323-5">http://dx.doi.org/10.1007/978-3-642-15323-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193173
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16066-0">http://dx.doi.org/10.1007/978-3-642-16066-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development VII A Common Case Study for Aspect-Oriented Modeling
ent://SD_ILS/0/SD_ILS:193180
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Katz, Shmuel. editor. Mezini, Mira. editor. Kienzle, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16086-8">http://dx.doi.org/10.1007/978-3-642-16086-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Objects and Databases Third International Conference, ICOODB 2010, Frankfurt/Main, Germany, September 28-30, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193182
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dearle, Alan. editor. Zicari, Roberto V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16092-9">http://dx.doi.org/10.1007/978-3-642-16092-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193194
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16129-2">http://dx.doi.org/10.1007/978-3-642-16129-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops International Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193195
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dan, Asit. editor. Gittler, Frédéric. editor. Toumani, Farouk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16132-2">http://dx.doi.org/10.1007/978-3-642-16132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193199
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Petriu, Dorina C. editor. Rouquette, Nicolas. editor. Haugen, Øystein. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16145-2">http://dx.doi.org/10.1007/978-3-642-16145-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Privacy in Communication Networks 6th Iternational ICST Conference, SecureComm 2010, Singapore, September 7-9, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193205
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Jajodia, Sushil. editor. Zhou, Jianying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16161-2">http://dx.doi.org/10.1007/978-3-642-16161-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193206
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Pol, Jaco. editor. Weber, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16164-3">http://dx.doi.org/10.1007/978-3-642-16164-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193207
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16167-4">http://dx.doi.org/10.1007/978-3-642-16167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193211
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dix, Jürgen. editor. Witteveen, Cees. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16178-0">http://dx.doi.org/10.1007/978-3-642-16178-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193232
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16242-8">http://dx.doi.org/10.1007/978-3-642-16242-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193240
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Méry, Dominique. editor. Merz, Stephan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16265-7">http://dx.doi.org/10.1007/978-3-642-16265-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193246
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Cellary, Wojciech. editor. Estevez, Elsa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16283-1">http://dx.doi.org/10.1007/978-3-642-16283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193248
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Dean, Mike. editor. Hall, John. editor. Rotolo, Antonino. editor. Tabet, Said. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16289-3">http://dx.doi.org/10.1007/978-3-642-16289-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193255
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16310-4">http://dx.doi.org/10.1007/978-3-642-16310-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Computing and Applications International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193264
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Zhu, Rongbo. editor. Zhang, Yanchun. editor. Liu, Baoxiang. editor. Liu, Chunfeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16339-5">http://dx.doi.org/10.1007/978-3-642-16339-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193270
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Vallespir, Bruno. editor. Alix, Thècle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16358-6">http://dx.doi.org/10.1007/978-3-642-16358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centred Software Engineering Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193312
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Bernhaupt, Regina. editor. Forbrig, Peter. editor. Gulliksen, Jan. editor. Lárusdóttir, Marta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16488-0">http://dx.doi.org/10.1007/978-3-642-16488-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193317
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16505-4">http://dx.doi.org/10.1007/978-3-642-16505-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Information Systems and Mining International Conference, WISM 2010, Sanya, China, October 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193321
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wang, Fu Lee. editor. Gong, Zhiguo. editor. Luo, Xiangfeng. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16515-3">http://dx.doi.org/10.1007/978-3-642-16515-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:193325
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16527-6">http://dx.doi.org/10.1007/978-3-642-16527-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:193326
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Wang, Fu Lee. editor. Deng, Hepu. editor. Gao, Yang. editor. Lei, Jingsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16530-6">http://dx.doi.org/10.1007/978-3-642-16530-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193335
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16558-0">http://dx.doi.org/10.1007/978-3-642-16558-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193336
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16561-0">http://dx.doi.org/10.1007/978-3-642-16561-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193340
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic and Trusted Computing 7th International Conference, ATC 2010, Xi’an, China, October 26-29, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193341
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Xie, Bing. editor. Branke, Juergen. editor. Sadjadi, S. Masoud. editor. Zhang, Daqing. editor. Zhou, Xingshe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16576-4">http://dx.doi.org/10.1007/978-3-642-16576-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Smart Internet Current Research and Future Applications
ent://SD_ILS/0/SD_ILS:193349
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Chignell, Mark. editor. Cordy, James. editor. Ng, Joanna. editor. Yesha, Yelena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16599-3">http://dx.doi.org/10.1007/978-3-642-16599-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193354
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Barringer, Howard. editor. Falcone, Ylies. editor. Finkbeiner, Bernd. editor. Havelund, Klaus. editor. Lee, Insup. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16612-9">http://dx.doi.org/10.1007/978-3-642-16612-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Lightweight Wireless Systems Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193365
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Chatzimisios, Periklis. editor. Verikoukis, Christos. editor. Santamaría, Ignacio. editor. Laddomada, Massimiliano. editor. Hoffmann, Oliver. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16644-0">http://dx.doi.org/10.1007/978-3-642-16644-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193377
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Qin, Shengchao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16690-7">http://dx.doi.org/10.1007/978-3-642-16690-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Information Technology 4th International Conference, IAIT 2010, Bangkok, Thailand, November 4-5, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193380
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Papasratorn, Borworn. editor. Lavangnananda, Kittichai. editor. Chutimaskul, Wichian. editor. Vanijja, Vajirasak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16699-0">http://dx.doi.org/10.1007/978-3-642-16699-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Radio Frequency Identification: Security and Privacy Issues 6th International Workshop, RFIDSec 2010, Istanbul, Turkey, June 8-9, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193421
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ors Yalcin, Siddika Berna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16822-2">http://dx.doi.org/10.1007/978-3-642-16822-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193426
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Brennan, Rob. editor. Fleck, Joel. editor. Meer, Sven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16836-9">http://dx.doi.org/10.1007/978-3-642-16836-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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 II
ent://SD_ILS/0/SD_ILS:193472
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16949-6">http://dx.doi.org/10.1007/978-3-642-16949-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Middleware 2010 ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193474
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gupta, Indranil. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16955-7">http://dx.doi.org/10.1007/978-3-642-16955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:193476
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Meersman, Robert. editor. Dillon, Tharam. editor. Herrero, Pilar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16961-8">http://dx.doi.org/10.1007/978-3-642-16961-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Sensing and Context 5th European Conference, EuroSSC 2010, Passau, Germany, November 14-16, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193483
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Lukowicz, Paul. editor. Kunze, Kai. editor. Kortuem, Gerd. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16982-3">http://dx.doi.org/10.1007/978-3-642-16982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Current Trends in Web Engineering 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193484
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Daniel, Florian. editor. Facca, Federico Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16985-4">http://dx.doi.org/10.1007/978-3-642-16985-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithms for Sensor Systems 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193485
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Scheideler, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16988-5">http://dx.doi.org/10.1007/978-3-642-16988-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193496
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Hallerstede, Stefan. editor. Leuschel, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17071-3">http://dx.doi.org/10.1007/978-3-642-17071-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence II
ent://SD_ILS/0/SD_ILS:193507
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Nguyen, Ngoc Thanh. editor. Kowalczyk, Ryszard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17155-0">http://dx.doi.org/10.1007/978-3-642-17155-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193511
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ueda, Kazunori. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17164-2">http://dx.doi.org/10.1007/978-3-642-17164-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:193514
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17172-7">http://dx.doi.org/10.1007/978-3-642-17172-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social Robotics Second International Conference on Social Robotics, ICSR 2010, Singapore, November 23-24, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193542
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Ge, Shuzhi Sam. editor. Li, Haizhou. editor. Cabibihan, John-John. editor. Tan, Yeow Kee. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17248-9">http://dx.doi.org/10.1007/978-3-642-17248-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science X Special Issue on Security in Computing, Part I
ent://SD_ILS/0/SD_ILS:193619
2024-08-31T01:54:55Z
2024-08-31T01:54:55Z
Author Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Moreno, Edward David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17499-5">http://dx.doi.org/10.1007/978-3-642-17499-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>