Search Results for - Narrowed by: E-Book - Electronic Library - 2005 - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026rt$003dfalse$00257C$00257C$00257CISBN$00257C$00257C$00257CISBN$0026ps$003d300$0026isd$003dtrue?
2024-08-21T21:38:17Z
Software Process Modeling
ent://SD_ILS/0/SD_ILS:165037
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Acuña, Silvia T. editor. Juristo, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104986">http://dx.doi.org/10.1007/b104986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture Description Languages IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165066
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Dissaux, Pierre. editor. Filali-Amine, Mamoun. editor. Michel, Pierre. editor. Vernadat, François. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106318">http://dx.doi.org/10.1007/b106318</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Software Process Model Handbook for Incorporating People’s Capabilities
ent://SD_ILS/0/SD_ILS:165143
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in E-Learning
ent://SD_ILS/0/SD_ILS:165224
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Weippl, Edgar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136702">http://dx.doi.org/10.1007/b136702</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Level Design of Reconfigurable Systems-on-Chip
ent://SD_ILS/0/SD_ILS:165227
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136832">http://dx.doi.org/10.1007/b136832</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Assembly Language Programming For Pentium and RISC Processors
ent://SD_ILS/0/SD_ILS:165340
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138691">http://dx.doi.org/10.1007/b138691</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Assembly Language Programming in Linux
ent://SD_ILS/0/SD_ILS:165240
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136895">http://dx.doi.org/10.1007/b136895</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Processing and Security Systems
ent://SD_ILS/0/SD_ILS:165266
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Saeed, Khalid. editor. Pejaś, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137371">http://dx.doi.org/10.1007/b137371</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Programming Languages, Platforms and Applications
ent://SD_ILS/0/SD_ILS:165269
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Integrated Approach to Software Engineering
ent://SD_ILS/0/SD_ILS:165473
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28132-0">http://dx.doi.org/10.1007/0-387-28132-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Real-Time Systems Predictability vs. Efficiency
ent://SD_ILS/0/SD_ILS:165478
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28147-9">http://dx.doi.org/10.1007/0-387-28147-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adapting Proofs-as-Programs The Curry-Howard Protocol
ent://SD_ILS/0/SD_ILS:165486
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28183-5">http://dx.doi.org/10.1007/0-387-28183-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Das C++ Kompendium STL, Objektfabriken, Exceptions
ent://SD_ILS/0/SD_ILS:181022
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Brands, Gilbert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138162">http://dx.doi.org/10.1007/b138162</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Testing with UML
ent://SD_ILS/0/SD_ILS:180937
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gross, Hans-Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138012">http://dx.doi.org/10.1007/b138012</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Best Practices in Software Measurement How to use metrics to improve project and process performance
ent://SD_ILS/0/SD_ILS:180938
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ebert, Christof. author. Bundschuh, Manfred. author. Dumke, Reiner. author. Schmietendorf, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138013">http://dx.doi.org/10.1007/b138013</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linux- und Open-Source-Strategien
ent://SD_ILS/0/SD_ILS:181098
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wichmann, Thorsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138350">http://dx.doi.org/10.1007/b138350</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modellierung mit UML Codegenerierung, Testfälle, Refactoring
ent://SD_ILS/0/SD_ILS:181106
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138365">http://dx.doi.org/10.1007/b138365</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ABAP/4 Programmiertechniken Trainingsbuch
ent://SD_ILS/0/SD_ILS:181128
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Winkler, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138418">http://dx.doi.org/10.1007/b138418</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Echtzeitsysteme Grundlagen, Funktionsweisen, Anwendungen
ent://SD_ILS/0/SD_ILS:181393
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wörn, Heinz. author. Brinkschulte, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139050">http://dx.doi.org/10.1007/b139050</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spiele effektiv programmieren mit VB.net und DirectX
ent://SD_ILS/0/SD_ILS:181210
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kettermann, Uwe. author. Rohde, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138630">http://dx.doi.org/10.1007/b138630</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linux-Systemadministration Grundlagen, Konzepte, Anwendung
ent://SD_ILS/0/SD_ILS:181224
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wolfinger, Christine. author. Gulbins, Jürgen. author. Hammer, Carsten. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138658">http://dx.doi.org/10.1007/b138658</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITIL Das IT-Servicemanagement Framework
ent://SD_ILS/0/SD_ILS:181234
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Köhler, Peter T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138674">http://dx.doi.org/10.1007/b138674</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
ent://SD_ILS/0/SD_ILS:181242
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138692">http://dx.doi.org/10.1007/b138692</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programmieren in Java 1.5 Ein kompaktes, interaktives Tutorial
ent://SD_ILS/0/SD_ILS:181480
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fischer, Gregor. author. Gudenberg, Jürgen Wolff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27549-5">http://dx.doi.org/10.1007/3-540-27549-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems - qualitätsorientierte Entwicklung
ent://SD_ILS/0/SD_ILS:181370
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bender, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138984">http://dx.doi.org/10.1007/b138984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Peer-to-Peer Systems III Third International Workshop, IPTPS 2004, La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182267
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Voelker, Geoffrey M. editor. Shenker, Scott. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104020">http://dx.doi.org/10.1007/b104020</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Mobile Information and Collaboration Systems Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182269
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Baresi, Luciano. editor. Dustdar, Schahram. editor. Gall, Harald C. editor. Matera, Maristella. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104023">http://dx.doi.org/10.1007/b104023</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Availability First International Service Availability Symposium, ISAS 2004, Munich, Germany, May 13-14, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182275
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Malek, Miroslaw. editor. Reitenspieß, Manfred. editor. Kaiser, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105309">http://dx.doi.org/10.1007/b105309</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing - HiPC 2004 11th International Conference, Bangalore, India, December 19-22, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182325
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bougé, Luc. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104576">http://dx.doi.org/10.1007/b104576</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182329
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Zhang, Jun. editor. He, Ji-Huan. editor. Fu, Yuxi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104566">http://dx.doi.org/10.1007/b104566</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Computing: Applications and Technologies 5th International Conference, PDCAT 2004, Singapore, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182331
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Liew, Kim-Meow. editor. Shen, Hong. editor. See, Simon. editor. Cai, Wentong. editor. Fan, Pingzhi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103538">http://dx.doi.org/10.1007/b103538</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182332
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Maher, Michael J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103476">http://dx.doi.org/10.1007/b103476</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing - IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182341
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sen, Arunabha. editor. Das, Nabanita. editor. Das, Sajal K. editor. Sinha, Bhabani P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104419">http://dx.doi.org/10.1007/b104419</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Biometric Person Authentication 5th Chinese Conference on Biometric Recognition, SINOBIOMETRICS 2004, Guangzhou, China, December 13-14, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182349
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Li, Stan Z. editor. Lai, Jianhuang. editor. Tan, Tieniu. editor. Feng, Guocan. editor. Wang, Yunhong. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104239">http://dx.doi.org/10.1007/b104239</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
ent://SD_ILS/0/SD_ILS:182354
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology First International Conference, ICDCIT 2004, Bhubaneswar, India, December 22-24, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182355
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ghosh, R. K. editor. Mohanty, Hrushikesha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104418">http://dx.doi.org/10.1007/b104418</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182357
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105205">http://dx.doi.org/10.1007/b105205</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers
ent://SD_ILS/0/SD_ILS:182359
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105497">http://dx.doi.org/10.1007/b105497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Information Technology 7th International Conference on Information Technology, CIT 2004, Hyderabad, India, December 20-23, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182360
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Das, Gautam. editor. Gulati, Ved Prakash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104585">http://dx.doi.org/10.1007/b104585</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications Second International Symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182363
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cao, Jiannong. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Lau, Francis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104574">http://dx.doi.org/10.1007/b104574</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182366
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105030">http://dx.doi.org/10.1007/b105030</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Service in Multiservice IP Networks Third International Workshop, QoS-IP 2005, Catania, Italy, February 2-4, 2004, Catania, Italy, February 2-4, 2004. Proceedings
ent://SD_ILS/0/SD_ILS:182370
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ajmone Marsan, Marco. editor. Bianchi, Giuseppe. editor. Listanti, Marco. editor. Meo, Michela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105169">http://dx.doi.org/10.1007/b105169</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182718
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137793">http://dx.doi.org/10.1007/b137793</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29–June 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182726
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gómez-Pérez, Asunción. editor. Euzenat, Jérôme. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136731">http://dx.doi.org/10.1007/b136731</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182735
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182737
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ciardo, Gianfranco. editor. Darondeau, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136988">http://dx.doi.org/10.1007/b136988</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Socionics Scalability of Complex Social Systems
ent://SD_ILS/0/SD_ILS:182780
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fischer, Klaus. editor. Florian, Michael. editor. Malsch, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11594116">http://dx.doi.org/10.1007/11594116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Development for Embedded Systems An Overview of Current Research Trends
ent://SD_ILS/0/SD_ILS:182781
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591962">http://dx.doi.org/10.1007/11591962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182754
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182783
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Pettersson, Paul. editor. Yi, Wang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603009">http://dx.doi.org/10.1007/11603009</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182756
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Higashino, Teruo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138689">http://dx.doi.org/10.1007/b138689</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Dependable Systems III
ent://SD_ILS/0/SD_ILS:182800
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lemos, Rogério. editor. Gacek, Cristina. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11556169">http://dx.doi.org/10.1007/11556169</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Management in a Connected World Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday
ent://SD_ILS/0/SD_ILS:182805
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Härder, Theo. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137346">http://dx.doi.org/10.1007/b137346</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182814
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Vardanega, Tullio. editor. Wellings, Andy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137344">http://dx.doi.org/10.1007/b137344</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Distributed Systems 5th International School and Symposium, ISSADS 2005, Guadalajara, Mexico, January 24-28, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182821
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ramos, Félix F. editor. Larios Rosillo, Victor. editor. Unger, Herwig. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11533962">http://dx.doi.org/10.1007/11533962</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing - EDCC 5 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183086
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cin, Mario. editor. Kaâniche, Mohamed. editor. Pataricza, András. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107276">http://dx.doi.org/10.1007/b107276</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
ent://SD_ILS/0/SD_ILS:183088
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182834
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Caires, Luís. editor. Italiano, Giuseppe F. editor. Monteiro, Luís. editor. Palamidessi, Catuscia. editor. Yung, Moti. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523468">http://dx.doi.org/10.1007/11523468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182846
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183026
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183031
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fiadeiro, José Luiz. editor. Mosses, Peter D. editor. Orejas, Fernando. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Human Computer Interaction and Interactive Systems Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183033
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bastide, Rémi. editor. Palanque, Philippe. editor. Roth, Jörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136790">http://dx.doi.org/10.1007/b136790</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Aspects in Organic and Pervasive Computing - ARCS 2005 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183039
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Beigl, Michael. editor. Lukowicz, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106632">http://dx.doi.org/10.1007/b106632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies Third International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183040
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bressan, Stéphane. editor. Ceri, Stefano. editor. Hunt, Ela. editor. Ives, Zachary G. editor. Bellahsène, Zohra. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11547273">http://dx.doi.org/10.1007/11547273</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183041
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Peled, Doron A. editor. Tsay, Yih-Kuen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562948">http://dx.doi.org/10.1007/11562948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183043
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hankin, Chris. editor. Siveroni, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11547662">http://dx.doi.org/10.1007/11547662</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182950
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Nieuwenhuis, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11532231">http://dx.doi.org/10.1007/11532231</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Middleware 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183046
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gschwind, Thomas. editor. Mascolo, Cecilia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107130">http://dx.doi.org/10.1007/b107130</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183047
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11555223">http://dx.doi.org/10.1007/11555223</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183048
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561347">http://dx.doi.org/10.1007/11561347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183051
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107194">http://dx.doi.org/10.1007/b107194</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183053
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sassone, Vladimiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106850">http://dx.doi.org/10.1007/b106850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
ent://SD_ILS/0/SD_ILS:183252
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Abdallah, Ali E. editor. Jones, Cliff B. editor. Sanders, Jeff W. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136154">http://dx.doi.org/10.1007/b136154</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid and Cooperative Computing - GCC 2005 4th International Conference, Beijing, China, November 30 - December 3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183264
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Zhuge, Hai. editor. Fox, Geoffrey C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590354">http://dx.doi.org/10.1007/11590354</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183268
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Dearle, Alan. editor. Eisenbach, Susan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590712">http://dx.doi.org/10.1007/11590712</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Agent-Based Applications, Platforms and Development Kits
ent://SD_ILS/0/SD_ILS:197862
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Unland, Rainer. editor. Calisti, Monique. editor. Klusch, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137512">http://dx.doi.org/10.1007/b137512</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontologies for Agents: Theory and Experiences
ent://SD_ILS/0/SD_ILS:197869
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Tamma, Valentina. editor. Cranefield, Stephen. editor. Finin, Timothy W. editor. Willmott, Steven. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-7643-7361-X">http://dx.doi.org/10.1007/3-7643-7361-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical support for CMMI-SW software project documentation using IEEE software engineering standards
ent://SD_ILS/0/SD_ILS:249834
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Land, Susan K. Walz, John W.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989122">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5989122</a>
IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5989122">http://ieeexplore.ieee.org/servlet/opac?bknumber=5989122</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constructing Correct Software
ent://SD_ILS/0/SD_ILS:175212
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cooke, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138515">http://dx.doi.org/10.1007/b138515</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creating Web-based Laboratories
ent://SD_ILS/0/SD_ILS:175221
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ko, C.C. author. Chen, Ben M. author. Chen, Jianping. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138627">http://dx.doi.org/10.1007/b138627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Validated Designs for Object-oriented Systems
ent://SD_ILS/0/SD_ILS:175237
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fitzgerald, John. author. Larsen, Peter Gorm. author. Mukherjee, Paul. author. Plat, Nico. author. Verhoef, Marcel. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138800">http://dx.doi.org/10.1007/b138800</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005
ent://SD_ILS/0/SD_ILS:175257
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Technische Informatik
ent://SD_ILS/0/SD_ILS:176835
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Schildt, Gerhard H. author. Kahn, Daniela. author. Kruegel, Christopher. author. Moerz, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138950">http://dx.doi.org/10.1007/b138950</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:180646
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Danos, Vincent. editor. Schachter, Vincent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107287">http://dx.doi.org/10.1007/b107287</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Prozessübergreifendes Projektmanagement Grundlagen erfolgreicher Projekte
ent://SD_ILS/0/SD_ILS:180746
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Versteegen, Gerhard. editor. Meier, Erich. editor. Hindel, Bernd. editor. Vlasan, Adriana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137555">http://dx.doi.org/10.1007/b137555</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Categories for Software Engineering
ent://SD_ILS/0/SD_ILS:181067
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fiadeiro, José Luiz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138249">http://dx.doi.org/10.1007/b138249</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Form-Oriented Analysis A New Methodology to Model Form-Based Applications
ent://SD_ILS/0/SD_ILS:181068
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Draheim, Dirk. author. Weber, Gerald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138252">http://dx.doi.org/10.1007/b138252</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Einführung in die Informatik Objektorientiert mit Java
ent://SD_ILS/0/SD_ILS:181070
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138253">http://dx.doi.org/10.1007/b138253</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
ent://SD_ILS/0/SD_ILS:181180
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Brause, Rüdiger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138377">http://dx.doi.org/10.1007/b138377</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Commercial-off-the-Shelf Components and Systems
ent://SD_ILS/0/SD_ILS:181188
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Beydeda, Sami. editor. Gruhn, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138567">http://dx.doi.org/10.1007/b138567</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
ent://SD_ILS/0/SD_ILS:181284
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138812">http://dx.doi.org/10.1007/b138812</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182671
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Baumeister, Hubert. editor. Marchesi, Michele. editor. Holcombe, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182668
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Nicola, Rocco. editor. Sangiorgi, Davide. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11580850">http://dx.doi.org/10.1007/11580850</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nonlinear Speech Modeling and Applications Advanced Lectures and Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182972
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Chollet, Gérard. editor. Esposito, Anna. editor. Faundez-Zanuy, Marcos. editor. Marinaro, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138975">http://dx.doi.org/10.1007/b138975</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World V 5th International Workshop, ESAW 2004, Toulouse, France, October 20-22, 2004. Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182973
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gleizes, Marie-Pierre. editor. Omicini, Andrea. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136158">http://dx.doi.org/10.1007/b136158</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in Applied Artificial Intelligence 18th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2005, Bari, Italy, June 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182979
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ali, Moonis. editor. Esposito, Floriana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137656">http://dx.doi.org/10.1007/b137656</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biomimetic Neural Learning for Intelligent Robots Intelligent Systems, Cognitive Robotics, and Neuroscience
ent://SD_ILS/0/SD_ILS:182982
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wermter, Stefan. editor. Palm, Günther. editor. Elshaw, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139051">http://dx.doi.org/10.1007/b139051</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182985
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Godefroid, Patrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537328">http://dx.doi.org/10.1007/11537328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems Methodologies and Applications
ent://SD_ILS/0/SD_ILS:182987
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Karageorgos, Anthony. editor. Nagpal, Radhika. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136984">http://dx.doi.org/10.1007/b136984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182989
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Peer-to-Peer Systems IV 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182992
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Castro, Miguel. editor. Renesse, Robbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558989">http://dx.doi.org/10.1007/11558989</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182931
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Roy, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106627">http://dx.doi.org/10.1007/b106627</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:182932
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106347">http://dx.doi.org/10.1007/b106347</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182934
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183000
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Leite, João. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. Yolum, pInar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136890">http://dx.doi.org/10.1007/b136890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing for Computational Science - VECPAR 2004 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:182940
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Daydé, Michel. editor. Dongarra, Jack. editor. Hernández, Vicente. editor. Palma, José M. L. M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106965">http://dx.doi.org/10.1007/b106965</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182948
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Liu, Zhiming. editor. Araki, Keijiro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107116">http://dx.doi.org/10.1007/b107116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems Design The ARTIST Roadmap for Research and Development
ent://SD_ILS/0/SD_ILS:183044
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106761">http://dx.doi.org/10.1007/b106761</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scientific Engineering of Distributed Java Applications 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182955
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Guelfi, Nicolas. editor. Reggio, Gianna. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106620">http://dx.doi.org/10.1007/b106620</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Functional Programming 5th International School, AFP 2004, Tartu, Estonia, August 14 – 21, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:182958
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Vene, Varmo. editor. Uustalu, Tarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11546382">http://dx.doi.org/10.1007/11546382</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182962
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182963
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Li, Xue. editor. Wang, Shuliang. editor. Dong, Zhao Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b11111">http://dx.doi.org/10.1007/b11111</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183055
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cerioli, Maura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107062">http://dx.doi.org/10.1007/b107062</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183056
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bodik, Rastislav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107108">http://dx.doi.org/10.1007/b107108</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis Foundations and Applications
ent://SD_ILS/0/SD_ILS:182967
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ganter, Bernhard. editor. Stumme, Gerd. editor. Wille, Rudolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31881-1">http://dx.doi.org/10.1007/978-3-540-31881-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183058
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sagiv, Mooly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107380">http://dx.doi.org/10.1007/b107380</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183068
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11563228">http://dx.doi.org/10.1007/11563228</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling Third International Conference, ICVS 2005, Strasbourg, France, November 30 - December 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183271
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Subsol, Gérard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11590361">http://dx.doi.org/10.1007/11590361</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technologies for Advanced Heterogeneous Networks First Asian Internet Engineering Conference, AINTEC 2005, Bangkok, Thailand, December 13-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183277
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cho, Kenjiro. editor. Jacquet, Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11599593">http://dx.doi.org/10.1007/11599593</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded and Ubiquitous Computing – EUC 2005 International Conference EUC 2005, Nagasaki, Japan, December 6-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183280
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Yang, Laurence T. editor. Amamiya, Makoto. editor. Liu, Zhen. editor. Guo, Minyi. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11596356">http://dx.doi.org/10.1007/11596356</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183286
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganá, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136278">http://dx.doi.org/10.1007/b136278</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183227
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Romijn, Judi. editor. Smith, Graeme. editor. Pol, Jaco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11589976">http://dx.doi.org/10.1007/11589976</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183233
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jin, Hai. editor. Reed, Daniel. editor. Jiang, Wenbin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11577188">http://dx.doi.org/10.1007/11577188</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183234
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575467">http://dx.doi.org/10.1007/11575467</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183237
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lau, Kung-Kiu. editor. Banach, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576280">http://dx.doi.org/10.1007/11576280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid Computing in Life Science First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183238
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Konagaya, Akihiko. editor. Satou, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106923">http://dx.doi.org/10.1007/b106923</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:183241
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106663">http://dx.doi.org/10.1007/b106663</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2004: Robot Soccer World Cup VIII
ent://SD_ILS/0/SD_ILS:183243
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106671">http://dx.doi.org/10.1007/b106671</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183247
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105887">http://dx.doi.org/10.1007/b105887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183249
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ganter, Bernhard. editor. Godin, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105806">http://dx.doi.org/10.1007/b105806</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183371
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Chakraborty, Goutam. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11604655">http://dx.doi.org/10.1007/11604655</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183255
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Morrison, Ron. editor. Oquendo, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136986">http://dx.doi.org/10.1007/b136986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Middleware 2005 ACM/IFIP/USENIX 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183256
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Alonso, Gustavo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11587552">http://dx.doi.org/10.1007/11587552</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 12th European Conference, EuroSPI 2005, Budapest, Hungary, November 9-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183258
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Richardson, Ita. editor. Abrahamsson, Pekka. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11586012">http://dx.doi.org/10.1007/11586012</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Adaptive Agents and Multi-Agent Systems II Adaptation and Multi-Agent Learning
ent://SD_ILS/0/SD_ILS:183261
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kudenko, Daniel. editor. Kazakov, Dimitar. editor. Alonso, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106974">http://dx.doi.org/10.1007/b106974</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183262
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106931">http://dx.doi.org/10.1007/b106931</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing – IWDC 2005 7th International Workshop, Kharagpur, India, December 27-30, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183370
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Pal, Ajit. editor. Kshemkalyani, Ajay D. editor. Kumar, Rajeev. editor. Gupta, Arobinda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603771">http://dx.doi.org/10.1007/11603771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Algorithms, Architectures and Applications for Reconfigurable Computing
ent://SD_ILS/0/SD_ILS:168817
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
ent://SD_ILS/0/SD_ILS:168883
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3381-8">http://dx.doi.org/10.1007/1-4020-3381-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004
ent://SD_ILS/0/SD_ILS:168920
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3532-2">http://dx.doi.org/10.1007/1-4020-3532-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interconnect-Centric Design for Advanced SoC and NoC
ent://SD_ILS/0/SD_ILS:170034
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b117241">http://dx.doi.org/10.1007/b117241</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
ent://SD_ILS/0/SD_ILS:170051
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b101185">http://dx.doi.org/10.1007/b101185</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Biometric Systems Technology, Design and Performance Evaluation
ent://SD_ILS/0/SD_ILS:175199
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138151">http://dx.doi.org/10.1007/b138151</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering
ent://SD_ILS/0/SD_ILS:175209
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hull, Elizabeth. author. Jackson, Kenneth. author. Dick, Jeremy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138335">http://dx.doi.org/10.1007/b138335</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life Models in Software
ent://SD_ILS/0/SD_ILS:175318
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Adamatzky, Andrew. editor. Komosinski, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-214-4">http://dx.doi.org/10.1007/1-84628-214-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Virtual Reality Systems The Structured Approach
ent://SD_ILS/0/SD_ILS:175329
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kim, Gerard Jounghyun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-230-0">http://dx.doi.org/10.1007/978-1-84628-230-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatik Aufgaben und Lösungen, Begleitbuch zu Blieberger et al.: Informatik
ent://SD_ILS/0/SD_ILS:176822
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kastner, Wolfgang. editor. Schildt, Gerhard-Helge. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138718">http://dx.doi.org/10.1007/b138718</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Secure Systems Development with UML
ent://SD_ILS/0/SD_ILS:180777
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jürjens, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137706">http://dx.doi.org/10.1007/b137706</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mambo Installation, Administration, Anwendung und Entwicklung
ent://SD_ILS/0/SD_ILS:181433
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Deutz, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27487-1">http://dx.doi.org/10.1007/3-540-27487-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Architecture at Work Modelling, Communication, and Analysis
ent://SD_ILS/0/SD_ILS:181447
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27505-3">http://dx.doi.org/10.1007/3-540-27505-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Softwareentwicklung eingebetteter Systeme Grundlagen, Modellierung, Qualitätssicherung
ent://SD_ILS/0/SD_ILS:181462
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Scholz, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27522-3">http://dx.doi.org/10.1007/3-540-27522-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JDF Process Integration, Technology, Product Description
ent://SD_ILS/0/SD_ILS:181466
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kühn, Wolfgang. author. Grell, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27528-2">http://dx.doi.org/10.1007/3-540-27528-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Business @ Print Internet-Based Services and Processes
ent://SD_ILS/0/SD_ILS:181467
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author König, Anne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27529-0">http://dx.doi.org/10.1007/3-540-27529-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering and Managing Software Requirements
ent://SD_ILS/0/SD_ILS:181690
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Aurum, Aybüke. editor. Wohlin, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28244-0">http://dx.doi.org/10.1007/3-540-28244-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Moderne C-Programmierung Kompendium und Referenz
ent://SD_ILS/0/SD_ILS:181795
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Schellong, Helmut O.B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28545-8">http://dx.doi.org/10.1007/3-540-28545-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Debian GNU/Linux Grundlagen, Installation, Administration und Anwendung
ent://SD_ILS/0/SD_ILS:181822
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ganten, Peter H. Alex, Wulf. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28623-3">http://dx.doi.org/10.1007/3-540-28623-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:181844
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Eymann, Torsten. editor. Klügl, Franziska. editor. Lamersdorf, Winfried. editor. Klusch, Matthias. editor. Huhns, Michael N. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11550648">http://dx.doi.org/10.1007/11550648</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:181846
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11550679">http://dx.doi.org/10.1007/11550679</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SAP für Java-Entwickler Konzepte, Schnittstellen, Technologien
ent://SD_ILS/0/SD_ILS:181892
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jeske, Till. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28892-9">http://dx.doi.org/10.1007/3-540-28892-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Line Engineering Foundations, Principles, and Techniques
ent://SD_ILS/0/SD_ILS:181893
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Pohl, Klaus. author. Böckle, Günter. author. Linden, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28901-1">http://dx.doi.org/10.1007/3-540-28901-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Echtzeitaspekte bei der Koordinierung Autonomer Systeme Fachtagung der GI-Fachgruppe Echtzeitsysteme und PEARL (EP) Boppard, 1./2. Dezember 2005
ent://SD_ILS/0/SD_ILS:182085
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Holleczek, Peter. editor. Vogel-Heuser, Birgit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29595-X">http://dx.doi.org/10.1007/3-540-29595-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182374
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Vojtáš, Peter. editor. Bieliková, Mária. editor. Charron-Bost, Bernadette. editor. Sýkora, Ondrej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105088">http://dx.doi.org/10.1007/b105088</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182375
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Odell, James. editor. Giorgini, Paolo. editor. Müller, Jörg P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105022">http://dx.doi.org/10.1007/b105022</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182376
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cousot, Radhia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105073">http://dx.doi.org/10.1007/b105073</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Networking. Convergence in Broadband and Mobile Networking International Conference, ICOIN 2005, Jeju Island, Korea, January 31- February 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182379
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kim, Cheeha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105584">http://dx.doi.org/10.1007/b105584</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182384
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105900">http://dx.doi.org/10.1007/b105900</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inconsistency Tolerance
ent://SD_ILS/0/SD_ILS:182393
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104925">http://dx.doi.org/10.1007/b104925</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering 5th International Conference, ICWE 2005, Sydney, Australia, July 27-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182669
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lowe, David. editor. Gaedke, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-31484-4">http://dx.doi.org/10.1007/978-3-540-31484-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Focused Software Process Improvement 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182796
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bomarius, Frank. editor. Komi-Sirviö, Seija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137178">http://dx.doi.org/10.1007/b137178</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182801
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11591191">http://dx.doi.org/10.1007/11591191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182887
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103251">http://dx.doi.org/10.1007/b103251</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML Modeling Languages and Applications < <UML> > 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182890
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jardim Nunes, Nuno. editor. Selic, Bran. editor. Rodrigues da Silva, Alberto. editor. Toval Alvarez, Ambrosio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106725">http://dx.doi.org/10.1007/b106725</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Modeling and Retrieval Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers
ent://SD_ILS/0/SD_ILS:182894
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wiil, Uffe Kock. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105507">http://dx.doi.org/10.1007/b105507</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Computing Systems Second International Symposium, UCS 2004, Tokyo, Japan, November 8-9, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182896
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Murakami, Hitomi. editor. Nakashima, Hideyuki. editor. Tokuda, Hideyuki. editor. Yasumura, Michiaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11526858">http://dx.doi.org/10.1007/11526858</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Applications 5th International Workshop, WISA 2004, Jeju Island, Korea, August 23-25, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182902
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lim, Chae Hoon. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b103174">http://dx.doi.org/10.1007/b103174</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182906
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11538097">http://dx.doi.org/10.1007/11538097</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182907
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11541868">http://dx.doi.org/10.1007/11541868</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182908
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Beckert, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554554">http://dx.doi.org/10.1007/11554554</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182909
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535409">http://dx.doi.org/10.1007/11535409</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182912
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535294">http://dx.doi.org/10.1007/11535294</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Shared Memory Parallel Programming with Open MP 5th International Workshop on Open MP Applications and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182918
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Chapman, Barbara M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105895">http://dx.doi.org/10.1007/b105895</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Databases, Information Systems, and Peer-to-Peer Computing Second International Workshop, DBISP2P 2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182924
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Ng, Wee Siong. editor. Ooi, Beng-Chin. editor. Ouksel, Aris M. editor. Sartori, Claudio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106971">http://dx.doi.org/10.1007/b106971</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:182933
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2005 Parallel Processing 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182998
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cunha, José C. editor. Medeiros, Pedro D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11549468">http://dx.doi.org/10.1007/11549468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Applications Security XIX 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183010
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jajodia, Sushil. editor. Wijesekera, Duminda. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11535706">http://dx.doi.org/10.1007/11535706</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures
ent://SD_ILS/0/SD_ILS:183012
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Boer, Frank S. editor. Bonsangue, Marcello M. editor. Graf, Susanne. editor. Roever, Willem-Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561163">http://dx.doi.org/10.1007/11561163</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183013
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11545262">http://dx.doi.org/10.1007/11545262</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UbiComp 2005: Ubiquitous Computing 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183014
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Beigl, Michael. editor. Intille, Stephen. editor. Rekimoto, Jun. editor. Tokuda, Hideyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11551201">http://dx.doi.org/10.1007/11551201</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182853
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Black, Andrew P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182857
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gramlich, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11559306">http://dx.doi.org/10.1007/11559306</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15 – 17, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182858
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Pěchouček, Michael. editor. Petta, Paolo. editor. Varga, László Zsolt. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11559221">http://dx.doi.org/10.1007/11559221</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182866
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11568421">http://dx.doi.org/10.1007/11568421</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML for SOC Design
ent://SD_ILS/0/SD_ILS:165177
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135980">http://dx.doi.org/10.1007/b135980</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Intelligence Through Data Mining
ent://SD_ILS/0/SD_ILS:165180
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Symeonidis, Andreas L. author. Mitkas, Pericles A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136000">http://dx.doi.org/10.1007/b136000</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
ent://SD_ILS/0/SD_ILS:165277
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137514">http://dx.doi.org/10.1007/b137514</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multimedia Introduction to Programming Using Java
ent://SD_ILS/0/SD_ILS:165306
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gries, David. author. Gries, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138328">http://dx.doi.org/10.1007/b138328</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
ent://SD_ILS/0/SD_ILS:165237
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Boulet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136935">http://dx.doi.org/10.1007/b136935</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to RISC Processors for Programmers and Engineers
ent://SD_ILS/0/SD_ILS:165374
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Dandamudi, Sivarama P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139084">http://dx.doi.org/10.1007/b139084</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
XML for Bioinformatics
ent://SD_ILS/0/SD_ILS:165380
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cerami, Ethan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27478-2">http://dx.doi.org/10.1007/0-387-27478-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Specification to Embedded Systems Application
ent://SD_ILS/0/SD_ILS:165390
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11523277">http://dx.doi.org/10.1007/11523277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems V
ent://SD_ILS/0/SD_ILS:168735
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Camp, Olivier. editor. Filipe, Joaquim B. L. editor. Hammoudi, Slimane. editor. Piattini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2673-0">http://dx.doi.org/10.1007/1-4020-2673-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Spring
ent://SD_ILS/0/SD_ILS:170709
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Harrop, Rob. author. Machacek, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0004-8">http://dx.doi.org/10.1007/978-1-4302-0004-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Painless Project Management with FogBugz
ent://SD_ILS/0/SD_ILS:170713
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gunderloy, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0008-6">http://dx.doi.org/10.1007/978-1-4302-0008-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning J2ME: From Novice to Professional
ent://SD_ILS/0/SD_ILS:170725
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Li, Sing. author. Knudsen, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0020-8">http://dx.doi.org/10.1007/978-1-4302-0020-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reverse Engineering of Object Oriented Code
ent://SD_ILS/0/SD_ILS:164976
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Tonella, Paolo. author. Potrich, Alessandra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b102522">http://dx.doi.org/10.1007/b102522</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
ent://SD_ILS/0/SD_ILS:165003
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104225">http://dx.doi.org/10.1007/b104225</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Horizons of Parallel and Distributed Computing
ent://SD_ILS/0/SD_ILS:165588
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Guo, Minyi. editor. Yang, Laurence Tianruo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28967-4">http://dx.doi.org/10.1007/0-387-28967-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual, Distributed and Flexible Organisations Studies in Organisational Semiotics
ent://SD_ILS/0/SD_ILS:168663
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Liu, Kecheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2162-3">http://dx.doi.org/10.1007/1-4020-2162-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AutoCAD 2006 VBA A Programmer’s Reference
ent://SD_ILS/0/SD_ILS:170774
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sutphin, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0069-7">http://dx.doi.org/10.1007/978-1-4302-0069-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro JSP 2
ent://SD_ILS/0/SD_ILS:170816
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Brown, Simon. author. Dalton, Sam. author. Jepp, Daniel. author. Johnson, David. author. Li, Sing. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0111-3">http://dx.doi.org/10.1007/978-1-4302-0111-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering — Integrating Usability in the Software Development Lifecycle
ent://SD_ILS/0/SD_ILS:169085
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Seffah, Ahmed. editor. Gulliksen, Jan. editor. Desmarais, Michel C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4113-6">http://dx.doi.org/10.1007/1-4020-4113-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Common Lisp
ent://SD_ILS/0/SD_ILS:170722
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Seibel, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0017-8">http://dx.doi.org/10.1007/978-1-4302-0017-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Databases with PostgreSQL From Novice to Professional
ent://SD_ILS/0/SD_ILS:170723
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Matthew, Neil. author. Stones, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0018-5">http://dx.doi.org/10.1007/978-1-4302-0018-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Oracle
ent://SD_ILS/0/SD_ILS:170724
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kyte, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0019-2">http://dx.doi.org/10.1007/978-1-4302-0019-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Shell Scripting Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:170729
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Johnson, Chris F. A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0024-6">http://dx.doi.org/10.1007/978-1-4302-0024-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Programmer’s Introduction to C# 2.0
ent://SD_ILS/0/SD_ILS:170740
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java Objects From Concepts to Code
ent://SD_ILS/0/SD_ILS:170741
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Barker, Jacquie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0036-9">http://dx.doi.org/10.1007/978-1-4302-0036-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Best Software Writing I
ent://SD_ILS/0/SD_ILS:170743
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Spolsky, Joel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0038-3">http://dx.doi.org/10.1007/978-1-4302-0038-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SharePoint 2003 User’s Guide
ent://SD_ILS/0/SD_ILS:170745
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bates, Seth. author. Smith, Tony. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0040-6">http://dx.doi.org/10.1007/978-1-4302-0040-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Hibernate 3
ent://SD_ILS/0/SD_ILS:170747
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Minter, Dave. author. Linwood, Jeff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0042-0">http://dx.doi.org/10.1007/978-1-4302-0042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro J2ME Polish Open Source Wireless Java Tools Suite
ent://SD_ILS/0/SD_ILS:170750
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Virkus, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0045-1">http://dx.doi.org/10.1007/978-1-4302-0045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Messaging Application Development Building and Extending Gaim
ent://SD_ILS/0/SD_ILS:170752
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Egan, Sean. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0047-5">http://dx.doi.org/10.1007/978-1-4302-0047-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Apache Beehive
ent://SD_ILS/0/SD_ILS:170757
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Mittal, Kunal. author. Kanchanavally, Srinivas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0052-9">http://dx.doi.org/10.1007/978-1-4302-0052-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro PHP Security
ent://SD_ILS/0/SD_ILS:170762
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Snyder, Chris. author. Southwell, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0057-4">http://dx.doi.org/10.1007/978-1-4302-0057-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Service-Oriented Smart Clients with .NET 2.0
ent://SD_ILS/0/SD_ILS:170763
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hashimi, Sayed Y. author. Steffan, Scott J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0058-1">http://dx.doi.org/10.1007/978-1-4302-0058-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Eclipse JST Plug-ins for J2EE Development
ent://SD_ILS/0/SD_ILS:170764
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Judd, Christopher M. author. Shittu, Hakeem. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0059-8">http://dx.doi.org/10.1007/978-1-4302-0059-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JDBC Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:170766
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Parsian, Mahmoud. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0061-1">http://dx.doi.org/10.1007/978-1-4302-0061-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of AOP for J2EE Development
ent://SD_ILS/0/SD_ILS:170768
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Pawlak, Renaud. author. Seinturier, Lionel. author. Retaillé, Jean-Philippe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0063-5">http://dx.doi.org/10.1007/978-1-4302-0063-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Domain Decomposition Methods — Algorithms and Theory
ent://SD_ILS/0/SD_ILS:180874
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Toselli, Andrea. author. Widlund, Olof B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137868">http://dx.doi.org/10.1007/b137868</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agentenorientierte Softwareentwicklung Methoden und Tools
ent://SD_ILS/0/SD_ILS:181003
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Weiß, Gerhard. author. Jakob, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138124">http://dx.doi.org/10.1007/b138124</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Component Development with Zope 3
ent://SD_ILS/0/SD_ILS:181389
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Weitershausen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139044">http://dx.doi.org/10.1007/b139044</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimieren von Requirements Management & Engineering Mit dem HOOD Capability Model
ent://SD_ILS/0/SD_ILS:181325
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hood, Colin. author. Wiebel, Rupert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138908">http://dx.doi.org/10.1007/b138908</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors
ent://SD_ILS/0/SD_ILS:181352
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Kurki-Suonio, Reino. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138956">http://dx.doi.org/10.1007/b138956</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supply Chain Management on Demand Strategies, Technologies, Applications
ent://SD_ILS/0/SD_ILS:181355
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author An, Chae. editor. Fromm, Hansjörg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138951">http://dx.doi.org/10.1007/b138951</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Design A Handbook on Modelling and Delivering Networked Education and Training
ent://SD_ILS/0/SD_ILS:181361
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138966">http://dx.doi.org/10.1007/b138966</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementing Distributed Systems with Java and CORBA
ent://SD_ILS/0/SD_ILS:181626
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Aleksy, Markus. author. Korthaus, Axel. author. Schader, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28047-2">http://dx.doi.org/10.1007/3-540-28047-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung
ent://SD_ILS/0/SD_ILS:181710
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28305-6">http://dx.doi.org/10.1007/3-540-28305-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen
ent://SD_ILS/0/SD_ILS:181645
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Zeeck, Achim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28086-3">http://dx.doi.org/10.1007/3-540-28086-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Software Development
ent://SD_ILS/0/SD_ILS:181802
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Beydeda, Sami. editor. Book, Matthias. editor. Gruhn, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28554-7">http://dx.doi.org/10.1007/3-540-28554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182479
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105317">http://dx.doi.org/10.1007/b105317</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183072
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135497">http://dx.doi.org/10.1007/b135497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183074
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135676">http://dx.doi.org/10.1007/b135676</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183075
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135596">http://dx.doi.org/10.1007/b135596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems
ent://SD_ILS/0/SD_ILS:183076
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Rust, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135629">http://dx.doi.org/10.1007/b135629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183078
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136149">http://dx.doi.org/10.1007/b136149</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-star Properties in Complex Information Systems Conceptual and Practical Foundations
ent://SD_ILS/0/SD_ILS:183081
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Babaoglu, Ozalp. editor. Jelasity, Márk. editor. Montresor, Alberto. editor. Fetzer, Christof. editor. Leonardi, Stefano. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136551">http://dx.doi.org/10.1007/b136551</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183084
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136094">http://dx.doi.org/10.1007/b136094</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Availability Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25 – 26, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183085
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Malek, Miroslaw. editor. Nett, Edgar. editor. Suri, Neeraj. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560333">http://dx.doi.org/10.1007/11560333</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182832
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138445">http://dx.doi.org/10.1007/b138445</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings
ent://SD_ILS/0/SD_ILS:183093
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11552222">http://dx.doi.org/10.1007/11552222</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183095
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11560548">http://dx.doi.org/10.1007/11560548</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183097
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137052">http://dx.doi.org/10.1007/b137052</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Third International Conference, PERVASIVE 2005, Munich, Germany, May 8-13, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183099
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gellersen, Hans -W. editor. Want, Roy. editor. Schmidt, Albrecht. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136550">http://dx.doi.org/10.1007/b136550</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183101
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sloot, Peter M. A. editor. Hoekstra, Alfons G. editor. Priol, Thierry. editor. Reinefeld, Alexander. editor. Bubak, Marian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137919">http://dx.doi.org/10.1007/b137919</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Testing of Reactive Systems Advanced Lectures
ent://SD_ILS/0/SD_ILS:183102
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137241">http://dx.doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183104
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Guelfi, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136153">http://dx.doi.org/10.1007/b136153</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183108
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136266">http://dx.doi.org/10.1007/b136266</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183109
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136269">http://dx.doi.org/10.1007/b136269</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications – ICCSA 2005 International Conference, Singapore, May 9-12, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183110
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Gervasi, Osvaldo. editor. Gavrilova, Marina L. editor. Kumar, Vipin. editor. Laganà, Antonio. editor. Lee, Heow Pueh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136271">http://dx.doi.org/10.1007/b136271</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Peer-to-Peer Systems and Applications
ent://SD_ILS/0/SD_ILS:183112
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Steinmetz, Ralf. editor. Wehrle, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11530657">http://dx.doi.org/10.1007/11530657</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183114
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Heineman, George T. editor. Crnkovic, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor. Szyperski, Clemens. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136248">http://dx.doi.org/10.1007/b136248</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183121
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Reussner, Ralf. editor. Mayer, Johannes. editor. Stafford, Judith A. editor. Overhage, Sven. editor. Becker, Steffen. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183122
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Briand, Lionel. editor. Williams, Clay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Product Lines 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183128
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Obbink, Henk. editor. Pohl, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11554844">http://dx.doi.org/10.1007/11554844</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling – ER 2005 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183132
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Delcambre, Lois. editor. Kop, Christian. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. Pastor, Oscar. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11568322">http://dx.doi.org/10.1007/11568322</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183135
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hobbs, Michael. editor. Goscinski, Andrzej M. editor. Zhou, Wanlei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11564621">http://dx.doi.org/10.1007/11564621</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183140
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Khendek, Ferhat. editor. Dssouli, Rachida. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136676">http://dx.doi.org/10.1007/b136676</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Communications First International Conference, HPCC 2005, Sorrento, Italy, September 21-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183142
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Yang, Laurence T. editor. Rana, Omer F. editor. Martino, Beniamino. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11557654">http://dx.doi.org/10.1007/11557654</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183147
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wang, Farn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11562436">http://dx.doi.org/10.1007/11562436</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences - ISCIS 2005 20th International Symposium, Istanbul, Turkey, October 26-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183148
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Yolum, pInar. editor. Güngör, Tunga. editor. Gürgen, Fikret. editor. Özturan, Can. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11569596">http://dx.doi.org/10.1007/11569596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-Hoc, Mobile, and Wireless Networks 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183149
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Syrotiuk, Violet R. editor. Chávez, Edgar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11561354">http://dx.doi.org/10.1007/11561354</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183154
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bozanis, Panayiotis. editor. Houstis, Elias N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11573036">http://dx.doi.org/10.1007/11573036</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183155
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11572329">http://dx.doi.org/10.1007/11572329</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture – Foundations and Applications First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183156
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Hartman, Alan. editor. Kreische, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11581741">http://dx.doi.org/10.1007/11581741</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications Third International Symposium, ISPA 2005, Nanjing, China, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183163
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Pan, Yi. editor. Chen, Daoxu. editor. Guo, Minyi. editor. Cao, Jiannong. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576235">http://dx.doi.org/10.1007/11576235</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183166
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Braun, Torsten. editor. Carle, Georg. editor. Koucheryavy, Yevgeni. editor. Tsaoussidis, Vassilis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136247">http://dx.doi.org/10.1007/b136247</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metainformatics International Symposium, MIS 2004, Salzburg, Austria, September 15-18, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183167
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Wiil, Uffe Kock. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138822">http://dx.doi.org/10.1007/b138822</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Parallel Processing Technologies 6th International Workshop, APPT 2005, Hong Kong, China, October 27-28, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183169
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Cao, Jiannong. editor. Nejdl, Wolfgang. editor. Xu, Ming. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11573937">http://dx.doi.org/10.1007/11573937</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183173
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136570">http://dx.doi.org/10.1007/b136570</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183175
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136571">http://dx.doi.org/10.1007/b136571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications - ISPA 2005 Workshops ISPA 2005 International Workshops, AEPP, ASTD, BIOS, GCIC, IADS, MASN, SGCA, and WISA, Nanjing, China, November 2-5, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183176
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Chen, Guihai. editor. Pan, Yi. editor. Guo, Minyi. editor. Lu, Jian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11576259">http://dx.doi.org/10.1007/11576259</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2005 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183179
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Sunderam, Vaidy S. editor. Albada, Geert Dick. editor. Sloot, Peter M. A. editor. Dongarra, Jack. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136575">http://dx.doi.org/10.1007/b136575</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Stabilizing Systems 7th International Symposium, SSS 2005, Barcelona, Spain, October 26-27, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183182
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Tixeuil, Sébastien. editor. Herman, Ted. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11577327">http://dx.doi.org/10.1007/11577327</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183187
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b107183">http://dx.doi.org/10.1007/b107183</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops OTM Confederated Internationl Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183191
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Meersman, Robert. editor. Tari, Zahir. editor. Herrero, Pilar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11575863">http://dx.doi.org/10.1007/11575863</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing - ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183279
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Benatallah, Boualem. editor. Casati, Fabio. editor. Traverso, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11596141">http://dx.doi.org/10.1007/11596141</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded and Ubiquitous Computing – EUC 2005 Workshops EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183281
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Enokido, Tomoya. editor. Yan, Lu. editor. Xiao, Bin. editor. Kim, Daeyoung. editor. Dai, Yuanshun. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11596042">http://dx.doi.org/10.1007/11596042</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183282
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11599555">http://dx.doi.org/10.1007/11599555</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Biometric Person Authentication International Wokshop on Biometric Recognition Systems, IWBRS 2005, Beijing, China, October 22-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183235
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Li, Stan Z. editor. Sun, Zhenan. editor. Tan, Tieniu. editor. Pankanti, Sharath. editor. Chollet, Gérard. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11569947">http://dx.doi.org/10.1007/11569947</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:183245
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Eijk, Rogier M. editor. Huget, Marc-Philippe. editor. Dignum, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106468">http://dx.doi.org/10.1007/b106468</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing – HiPC 2005 12th International Conference, Goa, India, December 18-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183369
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bader, David A. editor. Parashar, Manish. editor. Sridhar, Varadarajan. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11602569">http://dx.doi.org/10.1007/11602569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software requirements encapsulation, quality, and reuse
ent://SD_ILS/0/SD_ILS:284819
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Lutowski, Rick.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420031317">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strategic software engineering an interdisciplinary approach
ent://SD_ILS/0/SD_ILS:284771
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Deek, Fadi P. McHugh, James A., 1944- Eljabiri, Osama M.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420031119">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy systems through quantitative software engineering
ent://SD_ILS/0/SD_ILS:249437
2024-08-21T21:38:17Z
2024-08-21T21:38:17Z
Author Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898">http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>