Search Results for Software. - Narrowed by: SpringerLink (Online service) - English - 2006 - Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?
2024-08-23T08:07:36Z
Software Product Lines
ent://SD_ILS/0/SD_ILS:183676
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Käköla, Timo. editor. Duenas, Juan Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33253-4">http://dx.doi.org/10.1007/978-3-540-33253-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essential Software Architecture
ent://SD_ILS/0/SD_ILS:181836
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gorton, Ian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28714-0">http://dx.doi.org/10.1007/3-540-28714-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Software Construction
ent://SD_ILS/0/SD_ILS:175350
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-262-4">http://dx.doi.org/10.1007/1-84628-262-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Value-Based Software Engineering
ent://SD_ILS/0/SD_ILS:181971
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Biffl, Stefan. editor. Aurum, Aybüke. editor. Boehm, Barry. editor. Erdogmus, Hakan. editor. Grünbacher, Paul. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29263-2">http://dx.doi.org/10.1007/3-540-29263-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rationale Management in Software Engineering
ent://SD_ILS/0/SD_ILS:182501
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dutoit, Allen H. editor. McCall, Raymond. editor. Mistrík, Ivan. editor. Paech, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-30998-7">http://dx.doi.org/10.1007/978-3-540-30998-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 1 Abstraction and Modelling
ent://SD_ILS/0/SD_ILS:182582
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31288-9">http://dx.doi.org/10.1007/3-540-31288-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interoperability of Enterprise Software and Applications
ent://SD_ILS/0/SD_ILS:175277
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Konstantas, Dimitri. editor. Bourrières, Jean-Paul. editor. Léonard, Michel. editor. Boudjlida, Nacer. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-152-0">http://dx.doi.org/10.1007/1-84628-152-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid Computing: Software Environments and Tools
ent://SD_ILS/0/SD_ILS:175389
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Cunha, José C. editor. Rana, Omer F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-339-6">http://dx.doi.org/10.1007/1-84628-339-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Configuration Management Using Vesta
ent://SD_ILS/0/SD_ILS:165766
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-30852-4">http://dx.doi.org/10.1007/978-0-387-30852-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Software Factories in .NET
ent://SD_ILS/0/SD_ILS:170886
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Lenz, Gunther. author. Wienands, Christoph. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0181-6">http://dx.doi.org/10.1007/978-1-4302-0181-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Approaches to Software Quality
ent://SD_ILS/0/SD_ILS:175417
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-435-9">http://dx.doi.org/10.1007/1-84628-435-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development I
ent://SD_ILS/0/SD_ILS:183575
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11687061">http://dx.doi.org/10.1007/11687061</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontologies for Software Engineering and Software Technology
ent://SD_ILS/0/SD_ILS:184091
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Calero, Coral. editor. Ruiz, Francisco. editor. Piattini, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34518-3">http://dx.doi.org/10.1007/3-540-34518-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Aspect-Oriented Software Development II
ent://SD_ILS/0/SD_ILS:185149
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Rashid, Awais. editor. Aksit, Mehmet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11922827">http://dx.doi.org/10.1007/11922827</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying the Software Process Spectrum International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183388
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Li, Mingshu. editor. Boehm, Barry. editor. Osterweil, Leon J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11608035">http://dx.doi.org/10.1007/11608035</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183600
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183602
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11688839">http://dx.doi.org/10.1007/11688839</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183604
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183616
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183617
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Sestoft, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11693024">http://dx.doi.org/10.1007/11693024</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183621
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Valmari, Antti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691617">http://dx.doi.org/10.1007/11691617</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 2 Specification of Systems and Languages
ent://SD_ILS/0/SD_ILS:183656
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bjørner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-33193-3">http://dx.doi.org/10.1007/978-3-540-33193-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications
ent://SD_ILS/0/SD_ILS:183777
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11738817">http://dx.doi.org/10.1007/11738817</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 3 Domains, Requirements, and Software Design
ent://SD_ILS/0/SD_ILS:183791
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bjøner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183925
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Guelfi, Nicolas. editor. Savidis, Anthony. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent-Oriented Software Engineering VI 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183938
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Müller, Jörg P. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752660">http://dx.doi.org/10.1007/11752660</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183966
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Wang, Qing. editor. Pfahl, Dietmar. editor. Raffo, David M. editor. Wernick, Paul. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754305">http://dx.doi.org/10.1007/11754305</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184138
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Pinho, Luís Miguel. editor. González Harbour, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767077">http://dx.doi.org/10.1007/11767077</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184143
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Münch, Jürgen. editor. Vierimaa, Matias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767718">http://dx.doi.org/10.1007/11767718</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185759
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gruhn, Volker. editor. Oquendo, Flavio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11966104">http://dx.doi.org/10.1007/11966104</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research and Applications Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183192
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dosch, Walter. editor. Lee, Roger Y. editor. Wu, Chisu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11668855">http://dx.doi.org/10.1007/11668855</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183445
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
ent://SD_ILS/0/SD_ILS:184002
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184062
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184201
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
ent://SD_ILS/0/SD_ILS:184735
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-39538-5">http://dx.doi.org/10.1007/3-540-39538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:185399
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11949374">http://dx.doi.org/10.1007/11949374</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach
ent://SD_ILS/0/SD_ILS:165482
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28171-1">http://dx.doi.org/10.1007/0-387-28171-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy
ent://SD_ILS/0/SD_ILS:166014
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-34226-5">http://dx.doi.org/10.1007/0-387-34226-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Software Engineering: Expanding the Frontiers of Software Technology IFIP 19th World Computer Congress, First International Workshop on Advanced Software Engineering, August 25, 2006, Santiago, Chile
ent://SD_ILS/0/SD_ILS:166081
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Ochoa, Sergio F. editor. Roman, Gruia-Catalin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-34831-5">http://dx.doi.org/10.1007/978-0-387-34831-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05
ent://SD_ILS/0/SD_ILS:169414
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5263-4">http://dx.doi.org/10.1007/1-4020-5263-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184118
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Morisio, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11763864">http://dx.doi.org/10.1007/11763864</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Engineering 9th International Symposium, CBSE 2006, Västerås, Sweden, June 29 - July 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184281
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gorton, Ian. editor. Heineman, George T. editor. Crnković, Ivica. editor. Schmidt, Heinz W. editor. Stafford, Judith A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783565">http://dx.doi.org/10.1007/11783565</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184283
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Johnson, Michael. editor. Vene, Varmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11784180">http://dx.doi.org/10.1007/11784180</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program
ent://SD_ILS/0/SD_ILS:184443
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11808107">http://dx.doi.org/10.1007/11808107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Composition 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers
ent://SD_ILS/0/SD_ILS:184585
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Löwe, Welf. editor. Südholt, Mario. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11821946">http://dx.doi.org/10.1007/11821946</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184601
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Broy, Manfred. editor. Krüger, Ingolf H. editor. Meisinger, Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823063">http://dx.doi.org/10.1007/11823063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:184898
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11877028">http://dx.doi.org/10.1007/11877028</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures
ent://SD_ILS/0/SD_ILS:184907
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11889229">http://dx.doi.org/10.1007/11889229</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185017
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Liu, Zhiming. editor. He, Jifeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901433">http://dx.doi.org/10.1007/11901433</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Process Improvement 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185032
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Richardson, Ita. editor. Runeson, Per. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11908562">http://dx.doi.org/10.1007/11908562</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers
ent://SD_ILS/0/SD_ILS:185130
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185247
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies
ent://SD_ILS/0/SD_ILS:165431
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Zomaya, Albert Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27705-6">http://dx.doi.org/10.1007/0-387-27705-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Access Control Systems Security, Identity Management and Trust Models
ent://SD_ILS/0/SD_ILS:165433
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Benantar, Messaoud. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27716-1">http://dx.doi.org/10.1007/0-387-27716-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination of Large-Scale Multiagent Systems
ent://SD_ILS/0/SD_ILS:165454
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Scerri, Paul. editor. Vincent, Régis. editor. Mailler, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27972-5">http://dx.doi.org/10.1007/0-387-27972-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility
ent://SD_ILS/0/SD_ILS:182502
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Pernici, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31008-8">http://dx.doi.org/10.1007/3-540-31008-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python Scripting for Computational Science
ent://SD_ILS/0/SD_ILS:182573
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Langtangen, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-31269-2">http://dx.doi.org/10.1007/3-540-31269-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:182789
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11609773">http://dx.doi.org/10.1007/11609773</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:182831
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hentenryck, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11603023">http://dx.doi.org/10.1007/11603023</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent Engineering Theory and Applications in Enterprises
ent://SD_ILS/0/SD_ILS:183126
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Kirn, Stefan. editor. Herzog, Otthein. editor. Lockemann, Peter. editor. Spaniol, Otto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32062-8">http://dx.doi.org/10.1007/3-540-32062-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecture of Computing Systems - ARCS 2006 19th International Conference, Frankfurt/Main, Germany, March 13-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183499
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Grass, Werner. editor. Sick, Bernhard. editor. Waldschmidt, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11682127">http://dx.doi.org/10.1007/11682127</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Defence Applications of Multi-Agent Systems International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183516
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Thompson, Simon G. editor. Ghanea-Hercock, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11683704">http://dx.doi.org/10.1007/11683704</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Seventeen Provers of the World Foreword by Dana S. Scott
ent://SD_ILS/0/SD_ILS:183546
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11542384">http://dx.doi.org/10.1007/11542384</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183574
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11686699">http://dx.doi.org/10.1007/11686699</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
ent://SD_ILS/0/SD_ILS:183623
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11691792">http://dx.doi.org/10.1007/11691792</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Applications 6th International Workshop, WISA 2005, Jeju Island, Korea, August 22-24, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183638
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Song, Joo-Seok. editor. Kwon, Taekyoung. editor. Yung, Moti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11604938">http://dx.doi.org/10.1007/11604938</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183645
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers
ent://SD_ILS/0/SD_ILS:183707
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author MacCaull, Wendy. editor. Winter, Michael. editor. Düntsch, Ivo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734673">http://dx.doi.org/10.1007/11734673</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Self-Organising Systems Third International Workshop, ESOA 2005, Utrecht, The Netherlands, July 25, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183711
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Brueckner, Sven A. editor. Marzo Serugendo, Giovanna. editor. Hales, David. editor. Zambonelli, Franco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734697">http://dx.doi.org/10.1007/11734697</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183718
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Clark, John A. editor. Paige, Richard F. editor. Polack, Fiona A. C. editor. Brooke, Phillip J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11734666">http://dx.doi.org/10.1007/11734666</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183805
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Barthe, Gilles. editor. Grégoire, Benjamin. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11741060">http://dx.doi.org/10.1007/11741060</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Grid and Pervasive Computing First International Conference, GPC 2006, Taichung, Taiwan, May 3-5, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183842
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Chung, Yeh-Ching. editor. Moreira, José E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11745693">http://dx.doi.org/10.1007/11745693</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wired/Wireless Internet Communications 4th International Conference, WWIC 2006, Bern, Switzerland, May 10-12, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183910
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Braun, Torsten. editor. Carle, Georg. editor. Fahmy, Sonia. editor. Koucheryavy, Yevgeni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11750390">http://dx.doi.org/10.1007/11750390</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Music Modeling and Retrieval Third International Symposium, CMMR 2005, Pisa, Italy, September 26-28, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:183912
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Kronland-Martinet, Richard. editor. Voinier, Thierry. editor. Ystad, Sølvi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751069">http://dx.doi.org/10.1007/11751069</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing 4th International Conference, PERVASIVE 2006, Dublin, Ireland, May 7-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183867
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Fishkin, Kenneth P. editor. Schiele, Bernt. editor. Nixon, Paddy. editor. Quigley, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11748625">http://dx.doi.org/10.1007/11748625</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:183927
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751540">http://dx.doi.org/10.1007/11751540</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:183928
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751588">http://dx.doi.org/10.1007/11751588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:183929
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gavrilova, Marina. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751595">http://dx.doi.org/10.1007/11751595</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:183930
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751632">http://dx.doi.org/10.1007/11751632</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2006 International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:183931
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gavrilova, Marina L. editor. Gervasi, Osvaldo. editor. Kumar, Vipin. editor. Tan, C. J. Kenneth. editor. Taniar, David. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11751649">http://dx.doi.org/10.1007/11751649</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Processing and Applied Mathematics 6th International Conference, PPAM 2005, Poznań, Poland, September 11-14, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183950
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Meyer, Norbert. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752578">http://dx.doi.org/10.1007/11752578</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:183952
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11752707">http://dx.doi.org/10.1007/11752707</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183961
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754008">http://dx.doi.org/10.1007/11754008</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NETWORKING 2006. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 5th International IFIP-TC6 Networking Conference, Coimbra, Portugal, May 15-19, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183963
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11753810">http://dx.doi.org/10.1007/11753810</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination Models and Languages 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184146
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Ciancarini, Paolo. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767954">http://dx.doi.org/10.1007/11767954</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Petri Nets and Other Models of Concurrency - ICATPN 2006 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184148
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Donatelli, Susanna. editor. Thiagarajan, P. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767589">http://dx.doi.org/10.1007/11767589</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Managed Networks, Systems, and Services Second IEEE International Workshop, SelfMan 2006, Dublin, Ireland, June 16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184156
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Keller, Alexander. editor. Martin-Flatin, Jean-Philippe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11767886">http://dx.doi.org/10.1007/11767886</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Data Mining and Applications Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184482
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Li, Xue. editor. Zaïane, Osmar R. editor. Li, Zhan-huai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11811305">http://dx.doi.org/10.1007/11811305</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184493
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814771">http://dx.doi.org/10.1007/11814771</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Algorithms, Systems, and Applications First International Conference, WASA 2006, Xi’an, China, August 15-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184494
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Cheng, Xiuzhen. editor. Li, Wei. editor. Znati, Taieb. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814856">http://dx.doi.org/10.1007/11814856</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184502
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Misra, Jayadev. editor. Nipkow, Tobias. editor. Sekerinski, Emil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-Hoc, Mobile, and Wireless Networks 5th International Conference, ADHOC-NOW 2006, Ottawa, Canada, August 17-19, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184512
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Kunz, Thomas. editor. Ravi, S. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814764">http://dx.doi.org/10.1007/11814764</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184539
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Ball, Thomas. editor. Jones, Robert B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11817963">http://dx.doi.org/10.1007/11817963</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Topics in Exception Handling Techniques
ent://SD_ILS/0/SD_ILS:184545
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dony, Christophe. editor. Knudsen, Jørgen Lindskov. editor. Romanovsky, Alexander. editor. Tripathi, Anand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11818502">http://dx.doi.org/10.1007/11818502</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UbiComp 2006: Ubiquitous Computing 8th International Conference, UbiComp 2006 Orange County, CA, USA, September 17-21, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184745
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dourish, Paul. editor. Friday, Adrian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853565">http://dx.doi.org/10.1007/11853565</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184764
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11860990">http://dx.doi.org/10.1007/11860990</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184820
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Asarin, Eugene. editor. Bouyer, Patricia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11867340">http://dx.doi.org/10.1007/11867340</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Personal Wireless Communications IFIP TC6 11th International Conference, PWC 2006, Albacete, Spain, September 20-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184824
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Cuenca, Pedro. editor. Orozco-Barbosa, Luiz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11872153">http://dx.doi.org/10.1007/11872153</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Variations on Constants Flow Analysis of Sequential and Parallel Programs
ent://SD_ILS/0/SD_ILS:184841
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Müller-Olm, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11871743">http://dx.doi.org/10.1007/11871743</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 25th International Conference, SAFECOMP 2006, Gdansk, Poland, September 27-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184859
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Górski, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11875567">http://dx.doi.org/10.1007/11875567</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184863
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184972
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11894063">http://dx.doi.org/10.1007/11894063</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops ISPA 2006 International Workshops, FHPCN, XHPC, S-GRACE, GridGIS, HPC-GTP, PDCE, ParDMCom, WOMP, ISDF, and UPWN, Sorrento, Italy, December 4-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185279
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Min, Geyong. editor. Martino, Beniamino. editor. Yang, Laurence T. editor. Guo, Minyi. editor. Rünger, Gudula. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11942634">http://dx.doi.org/10.1007/11942634</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185308
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Shvartsman, Mariam Momenzadeh Alexander A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11945529">http://dx.doi.org/10.1007/11945529</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Middleware 2006 ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185425
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Steen, Maarten. editor. Henning, Michi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11925071">http://dx.doi.org/10.1007/11925071</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service Availability Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185562
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Penkler, Dave. editor. Reitenspiess, Manfred. editor. Tam, Francis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11955498">http://dx.doi.org/10.1007/11955498</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:185576
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11955757">http://dx.doi.org/10.1007/11955757</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:185665
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11961536">http://dx.doi.org/10.1007/11961536</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Concepts for Autonomic and Agent-Based Systems Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers
ent://SD_ILS/0/SD_ILS:185756
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hinchey, Michael G. editor. Rago, Patricia. editor. Rash, James L. editor. Rouff, Christopher A. editor. Sterritt, Roy. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11964995">http://dx.doi.org/10.1007/11964995</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks Third European Workshop, EWSN 2006, Zurich, Switzerland, February 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183201
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Römer, Kay. editor. Karl, Holger. editor. Mattern, Friedemann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11669463">http://dx.doi.org/10.1007/11669463</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture and Ontology Development
ent://SD_ILS/0/SD_ILS:183205
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gašević, Dragan. author. Djurić, Dragan. author. Devedžić, Vladan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32182-9">http://dx.doi.org/10.1007/3-540-32182-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Concept Analysis 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183210
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Missaoui, Rokia. editor. Schmidt, Jürg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11671404">http://dx.doi.org/10.1007/11671404</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2006: Theory and Practice of Computer Science 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183215
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Wiedermann, Jiří. editor. Tel, Gerard. editor. Pokorný, Jaroslav. editor. Bieliková, Mária. editor. Štuller, Július. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11611257">http://dx.doi.org/10.1007/11611257</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Multi-Agent Systems Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:183451
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bordini, Rafael H. editor. Dastani, Mehdi M. 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/11678823">http://dx.doi.org/10.1007/11678823</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Independent Component Analysis and Blind Signal Separation 6th International Conference, ICA 2006, Charleston, SC, USA, March 5-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183456
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Rosca, Justinian. editor. Erdogmus, Deniz. editor. Príncipe, José C. editor. Haykin, Simon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11679363">http://dx.doi.org/10.1007/11679363</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Event-Based Systems
ent://SD_ILS/0/SD_ILS:183464
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mühl, Gero. author. Fiege, Ludger. author. Pietzuch, Peter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32653-7">http://dx.doi.org/10.1007/3-540-32653-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
ent://SD_ILS/0/SD_ILS:183555
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bollig, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-32923-4">http://dx.doi.org/10.1007/3-540-32923-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183762
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Persuasive Technology First International Conference on Persuasive Technology for Human Well-Being, PERSUASIVE 2006, Eindhoven, The Netherlands, May 18-19, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183998
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author IJsselsteijn, Wijnand A. editor. Kort, Yvonne A. W. editor. Midden, Cees. editor. Eggen, Berry. editor. Hoven, Elise. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11755494">http://dx.doi.org/10.1007/11755494</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
ent://SD_ILS/0/SD_ILS:184009
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bräunl, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34319-9">http://dx.doi.org/10.1007/3-540-34319-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184035
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Alexandrov, Vassil N. 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/11758525">http://dx.doi.org/10.1007/11758525</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:184036
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Alexandrov, Vassil N. 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/11758532">http://dx.doi.org/10.1007/11758532</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:184037
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Alexandrov, Vassil N. 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/11758549">http://dx.doi.org/10.1007/11758549</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Teletraffic and Wired/Wireless Advanced Networking 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184055
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Koucheryavy, Yevgeni. editor. Harju, Jarmo. editor. Iversen, Villy B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11759355">http://dx.doi.org/10.1007/11759355</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
ent://SD_ILS/0/SD_ILS:184061
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dikenelli, Oğuz. editor. Gleizes, Marie-Pierre. editor. Ricci, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11759683">http://dx.doi.org/10.1007/11759683</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184185
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768869">http://dx.doi.org/10.1007/11768869</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184208
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11773887">http://dx.doi.org/10.1007/11773887</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184216
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11775331">http://dx.doi.org/10.1007/11775331</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184242
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11777830">http://dx.doi.org/10.1007/11777830</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2005: Robot Soccer World Cup IX
ent://SD_ILS/0/SD_ILS:184250
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bredenfeld, Ansgar. editor. Jacoff, Adam. editor. Noda, Itsuki. editor. Takahashi, Yasutake. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780519">http://dx.doi.org/10.1007/11780519</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Applied Artificial Intelligence 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2006, Annecy, France, June 27-30, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184255
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Ali, Moonis. editor. Dapoigny, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11779568">http://dx.doi.org/10.1007/11779568</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Information Technologies and Systems 6th International Conference, NGITS 2006, Kibbutz Shefayim, Israel, July 4-6, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184263
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Etzion, Opher. editor. Kuflik, Tsvi. editor. Motro, Amihai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11780991">http://dx.doi.org/10.1007/11780991</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184320
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786986">http://dx.doi.org/10.1007/11786986</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:184321
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bugliesi, Michele. editor. Preneel, Bart. editor. Sassone, Vladimiro. editor. Wegener, Ingo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11787006">http://dx.doi.org/10.1007/11787006</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Driven Architecture – Foundations and Applications Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184322
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Rensink, Arend. editor. Warmer, Jos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11787044">http://dx.doi.org/10.1007/11787044</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Distributed Systems 9th International Conference, OPODIS 2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184368
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Anderson, James H. editor. Prencipe, Giuseppe. editor. Wattenhofer, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11795490">http://dx.doi.org/10.1007/11795490</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Service Oriented Architectures Concepts, Challenges, Recommendations
ent://SD_ILS/0/SD_ILS:168980
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author McGovern, James. author. Sims, Oliver. author. Jain, Ashish. author. Little, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3705-8">http://dx.doi.org/10.1007/1-4020-3705-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Avatars at Work and Play Collaboration and Interaction in Shared Virtual Environments
ent://SD_ILS/0/SD_ILS:169032
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Schroeder, Ralph. editor. Axelsson, Ann-Sofie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3898-4">http://dx.doi.org/10.1007/1-4020-3898-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005
ent://SD_ILS/0/SD_ILS:169066
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hommel, G. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4043-1">http://dx.doi.org/10.1007/1-4020-4043-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro OpenSSH
ent://SD_ILS/0/SD_ILS:170781
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Stahnke, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0076-5">http://dx.doi.org/10.1007/978-1-4302-0076-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dynamics AX A Guide to Microsoft Axapta
ent://SD_ILS/0/SD_ILS:170783
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mourão, Luis X. B. author. Weiner, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0078-9">http://dx.doi.org/10.1007/978-1-4302-0078-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java EE 5 From Novice to Professional
ent://SD_ILS/0/SD_ILS:170789
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mukhar, Kevin. author. Zelenak, Chris. author. Weaver, James L. author. Crume, Jim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0084-0">http://dx.doi.org/10.1007/978-1-4302-0084-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to Building Java Robots
ent://SD_ILS/0/SD_ILS:170793
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Preston, Scott. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0088-8">http://dx.doi.org/10.1007/978-1-4302-0088-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Apache Ant
ent://SD_ILS/0/SD_ILS:170797
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Moodie, Matthew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0092-5">http://dx.doi.org/10.1007/978-1-4302-0092-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Oracle Database 10g RAC on Linux Installation, Administration, and Performance
ent://SD_ILS/0/SD_ILS:170915
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dyke, Julian. author. Shaw, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0214-1">http://dx.doi.org/10.1007/978-1-4302-0214-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to GCC
ent://SD_ILS/0/SD_ILS:170916
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hagen, William. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0219-6">http://dx.doi.org/10.1007/978-1-4302-0219-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Google Maps Applications with PHP and Ajax From Novice to Professional
ent://SD_ILS/0/SD_ILS:170917
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Purvis, Michael. author. Sambells, Jeffrey. author. Turner, Cameron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0224-0">http://dx.doi.org/10.1007/978-1-4302-0224-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Programming with Fortran
ent://SD_ILS/0/SD_ILS:175190
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Chivers, Ian D. author. Sleightholme, Jane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137984">http://dx.doi.org/10.1007/b137984</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
ent://SD_ILS/0/SD_ILS:175240
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Besnard, Denis. editor. Gacek, Cristina. editor. Jones, Cliff B. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138838">http://dx.doi.org/10.1007/b138838</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
ent://SD_ILS/0/SD_ILS:175378
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Roussos, George. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-321-3">http://dx.doi.org/10.1007/1-84628-321-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Virtual Machines
ent://SD_ILS/0/SD_ILS:175338
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Craig, Iain D. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-246-1">http://dx.doi.org/10.1007/978-1-84628-246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developments in Risk-based Approaches to Safety Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006
ent://SD_ILS/0/SD_ILS:175422
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
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/1-84628-447-3">http://dx.doi.org/10.1007/1-84628-447-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing Ambient Intelligence Proceedings of the First International Conference on Ambient Intelligence Developments (AmID’06)
ent://SD_ILS/0/SD_ILS:176400
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Maña, Antonio. author. Lotz, Volkmar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-2-287-47610-5">http://dx.doi.org/10.1007/978-2-287-47610-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184677
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Katsikas, Sokratis K. editor. López, Javier. editor. Backes, Michael. editor. Gritzalis, Stefanos. editor. Preneel, Bart. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11836810">http://dx.doi.org/10.1007/11836810</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic and Trusted Computing Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184694
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Yang, Laurence T. editor. Jin, Hai. editor. Ma, Jianhua. editor. Ungerer, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11839569">http://dx.doi.org/10.1007/11839569</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184696
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Database and XML Technologies 4th International XML Database Symposium, XSym 2006 Seoul, Korea, September 10-11, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184700
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Amer-Yahia, Sihem. editor. Bellahsène, Zohra. editor. Hunt, Ela. editor. Unland, Rainer. editor. Yu, Jeffrey Xu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841920">http://dx.doi.org/10.1007/11841920</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ambient Intelligence in Everyday Life Foreword by Emile Aarts
ent://SD_ILS/0/SD_ILS:184635
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Cai, Yang. editor. Abascal, Julio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11825890">http://dx.doi.org/10.1007/11825890</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Problem Solving from Nature - PPSN IX 9th International Conference, Reykjavik, Iceland, September 9-13, 2006, Proceedings
ent://SD_ILS/0/SD_ILS:184708
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Runarsson, Thomas Philip. editor. Beyer, Hans-Georg. editor. Burke, Edmund. editor. Merelo-Guervós, Juan J. editor. Whitley, L. Darrell. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11844297">http://dx.doi.org/10.1007/11844297</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing and Communications Second International Conference, HPCC 2006, Munich, Germany, September 13-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184722
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gerndt, Michael. editor. Kranzlmüller, Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11847366">http://dx.doi.org/10.1007/11847366</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184738
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11853107">http://dx.doi.org/10.1007/11853107</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184774
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11863649">http://dx.doi.org/10.1007/11863649</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Communication II International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers
ent://SD_ILS/0/SD_ILS:185372
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dignum, Frank P. M. editor. Eijk, Rogier M. editor. Flores, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68143-4">http://dx.doi.org/10.1007/978-3-540-68143-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing – ICSOC 2006 4th International Conference, Chicago, IL, USA, December 4-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185374
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dan, Asit. editor. Lamersdorf, Winfried. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11948148">http://dx.doi.org/10.1007/11948148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing - HiPC 2006 13th International Conference, Bangalore, India, December 18-21, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185330
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Robert, Yves. editor. Parashar, Manish. editor. Badrinath, Ramamurthy. editor. Prasanna, Viktor K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11945918">http://dx.doi.org/10.1007/11945918</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Processing and Applications 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185339
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Guo, Minyi. editor. Yang, Laurence T. editor. Martino, Beniamino. editor. Zima, Hans P. editor. Dongarra, Jack. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11946441">http://dx.doi.org/10.1007/11946441</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185370
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Chaudhuri, Soma. editor. Das, Samir R. editor. Paul, Himadri S. editor. Tirthapura, Srikanta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11947950">http://dx.doi.org/10.1007/11947950</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Computing and Internet Technology Third International Conference, ICDCIT 2006, Bhubaneswar, India, December 20-23, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185461
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Madria, Sanjay K. editor. Claypool, Kajal T. editor. Kannan, Rajgopal. editor. Uppuluri, Prem. editor. Gore, Manoj Madhava. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11951957">http://dx.doi.org/10.1007/11951957</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1
ent://SD_ILS/0/SD_ILS:185790
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Taft, S. Tucker. author. Duff, Robert A. author. Brukardt, Randall L. author. Ploedereder, Erhard. author. Leroy, Pascal. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69336-9">http://dx.doi.org/10.1007/978-3-540-69336-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions
ent://SD_ILS/0/SD_ILS:165765
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Nguyen, Duc Thai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-30851-2">http://dx.doi.org/10.1007/0-387-30851-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End User Development
ent://SD_ILS/0/SD_ILS:169458
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Lieberman, Henry. editor. Paternò, Fabio. editor. Wulf, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5386-X">http://dx.doi.org/10.1007/1-4020-5386-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Excel What-If Data Analysis Tools Getting Started with Goal Seek, Data Tables, Scenarios, and Solver
ent://SD_ILS/0/SD_ILS:170803
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Cornell, Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0098-7">http://dx.doi.org/10.1007/978-1-4302-0098-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Microsoft SharePoint Building Office 2003 Solutions
ent://SD_ILS/0/SD_ILS:170805
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hillier, Scot P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0100-7">http://dx.doi.org/10.1007/978-1-4302-0100-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building Online Communities with Drupal, phpBB, and WordPress
ent://SD_ILS/0/SD_ILS:170811
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Douglass, Robert T. author. Little, Mike. author. Smith, Jared W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0106-9">http://dx.doi.org/10.1007/978-1-4302-0106-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to ImageMagick
ent://SD_ILS/0/SD_ILS:170817
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Still, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0112-0">http://dx.doi.org/10.1007/978-1-4302-0112-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Micro-ISV From Vision to Reality
ent://SD_ILS/0/SD_ILS:170819
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Walsh, Bob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0114-4">http://dx.doi.org/10.1007/978-1-4302-0114-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Tester’s Guide to .NET Programming
ent://SD_ILS/0/SD_ILS:170821
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0116-8">http://dx.doi.org/10.1007/978-1-4302-0116-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Career Programmer Guerilla Tactics for an Imperfect World
ent://SD_ILS/0/SD_ILS:170824
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Duncan, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0119-9">http://dx.doi.org/10.1007/978-1-4302-0119-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Apache XML
ent://SD_ILS/0/SD_ILS:170871
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Sarang, Poornachandra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0166-3">http://dx.doi.org/10.1007/978-1-4302-0166-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Java EE 5 Performance Management and Optimization
ent://SD_ILS/0/SD_ILS:170875
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Haines, Steven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0170-0">http://dx.doi.org/10.1007/978-1-4302-0170-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to Stellent Content Server Development
ent://SD_ILS/0/SD_ILS:170883
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Huff, Brian “Bex”. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0178-6">http://dx.doi.org/10.1007/978-1-4302-0178-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Apache Struts From Novice to Professional
ent://SD_ILS/0/SD_ILS:170834
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Doray, Arnold. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0129-8">http://dx.doi.org/10.1007/978-1-4302-0129-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AdvancED ActionScript Components Mastering the Flash Component Architecture
ent://SD_ILS/0/SD_ILS:170835
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Donatis, Antonio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0130-4">http://dx.doi.org/10.1007/978-1-4302-0130-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert Spring MVC and Web Flow
ent://SD_ILS/0/SD_ILS:170838
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Ladd, Seth. author. Davison, Darren. author. Devijver, Steven. author. Yates, Colin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0133-5">http://dx.doi.org/10.1007/978-1-4302-0133-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning GIMP From Novice to Professional
ent://SD_ILS/0/SD_ILS:170840
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Peck, Akkana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0135-9">http://dx.doi.org/10.1007/978-1-4302-0135-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Ubuntu Linux From Novice to Professional
ent://SD_ILS/0/SD_ILS:170842
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Thomas, Keir. author. Gilmore, Jason. editor. Anglin, Steve. editor. Appleman, Dan. editor. Buckingham, Ewan. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0137-3">http://dx.doi.org/10.1007/978-1-4302-0137-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Java for ABAP Programmers
ent://SD_ILS/0/SD_ILS:170845
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Rooney, Alistair. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0140-3">http://dx.doi.org/10.1007/978-1-4302-0140-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Excel Pivot Tables Recipe Book A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:170846
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dalgleisch, Debra. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0141-0">http://dx.doi.org/10.1007/978-1-4302-0141-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning POJOs From Novice to Professional
ent://SD_ILS/0/SD_ILS:170847
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Sam-Bodden, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0142-7">http://dx.doi.org/10.1007/978-1-4302-0142-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical .NET for Financial Markets
ent://SD_ILS/0/SD_ILS:170852
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Shetty, Yogesh. author. Jayaswal, Samir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0147-2">http://dx.doi.org/10.1007/978-1-4302-0147-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creating Client Extranets with SharePoint 2003
ent://SD_ILS/0/SD_ILS:170855
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gerow, Mark E. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0150-2">http://dx.doi.org/10.1007/978-1-4302-0150-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems
ent://SD_ILS/0/SD_ILS:175386
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-336-1">http://dx.doi.org/10.1007/1-84628-336-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Introduction to Programming
ent://SD_ILS/0/SD_ILS:175351
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mills, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-263-2">http://dx.doi.org/10.1007/1-84628-263-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Body Sensor Networks
ent://SD_ILS/0/SD_ILS:175438
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-484-8">http://dx.doi.org/10.1007/1-84628-484-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing Services for the Wireless Internet
ent://SD_ILS/0/SD_ILS:175461
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Morisio, Maurizio. editor. Torchiano, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-589-9">http://dx.doi.org/10.1007/978-1-84628-589-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of 3D Graphics Programming Using JOGL and Java3D
ent://SD_ILS/0/SD_ILS:175464
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Chen, Jim X. author. Wegman, Edward J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-597-6">http://dx.doi.org/10.1007/1-84628-597-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
FPGA Implementations of Neural Networks
ent://SD_ILS/0/SD_ILS:165522
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28487-7">http://dx.doi.org/10.1007/0-387-28487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality of Protection Security Measurements and Metrics
ent://SD_ILS/0/SD_ILS:166159
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gollmann, Dieter. editor. Massacci, Fabio. editor. Yautsiukhin, Artsiom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36584-8">http://dx.doi.org/10.1007/978-0-387-36584-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Project E-Society: Building Bricks 6TH IFIP International Conference on e-Commerce, e-Business, and e-Government (13E 2006), October 11–13, 2006, Turku, Finland
ent://SD_ILS/0/SD_ILS:166259
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Suomi, Reima. editor. Cabral, Regis. editor. Hampe, J. Felix. editor. Heikkilä, Arto. editor. Järveläinen, Jonna. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-39229-5">http://dx.doi.org/10.1007/978-0-387-39229-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
ent://SD_ILS/0/SD_ILS:169289
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4826-2">http://dx.doi.org/10.1007/1-4020-4826-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems – Modeling, Technology, and Applications
ent://SD_ILS/0/SD_ILS:169320
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4933-1">http://dx.doi.org/10.1007/1-4020-4933-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
ent://SD_ILS/0/SD_ILS:169385
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-5138-7">http://dx.doi.org/10.1007/1-4020-5138-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Field-Based Coordination for Pervasive Multiagent Systems
ent://SD_ILS/0/SD_ILS:181611
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mamei, Marco. author. Zambonelli, Franco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-27969-5">http://dx.doi.org/10.1007/3-540-27969-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Engineering
ent://SD_ILS/0/SD_ILS:181682
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Mendes, Emilia. editor. Mosley, Nile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28218-1">http://dx.doi.org/10.1007/3-540-28218-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Security in Cars Securing Current and Future Automotive IT Applications
ent://SD_ILS/0/SD_ILS:181739
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Lemke, Kerstin. editor. Paar, Christof. editor. Wolf, Marko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28428-1">http://dx.doi.org/10.1007/3-540-28428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Design Using Business Patterns
ent://SD_ILS/0/SD_ILS:182304
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hruby, Pavel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-30327-2">http://dx.doi.org/10.1007/3-540-30327-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182883
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Bruel, Jean-Michel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11663430">http://dx.doi.org/10.1007/11663430</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science – ICCS 2006 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:184034
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Alexandrov, Vassil N. 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/11758501">http://dx.doi.org/10.1007/11758501</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web: Research and Applications 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184100
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Sure, York. editor. Domingue, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11762256">http://dx.doi.org/10.1007/11762256</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Availability and Disaster Recovery Concepts, Design, Implementation
ent://SD_ILS/0/SD_ILS:184109
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Schmidt, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-34582-5">http://dx.doi.org/10.1007/3-540-34582-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184282
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Uustalu, Tarmo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11783596">http://dx.doi.org/10.1007/11783596</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184160
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Dunne, Steve. editor. Stoddart, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11768173">http://dx.doi.org/10.1007/11768173</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2006 – Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184297
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Thomas, Dave. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Architecting Systems with Trustworthy Components International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184309
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Reussner, Ralf H. editor. Stafford, Judith A. editor. Szyperski, Clemens A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11786160">http://dx.doi.org/10.1007/11786160</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded and Ubiquitous Computing International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184408
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Sha, Edwin. editor. Han, Sung-Kook. editor. Xu, Cheng-Zhong. editor. Kim, Moon-Hae. editor. Yang, Laurence T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11802167">http://dx.doi.org/10.1007/11802167</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
ent://SD_ILS/0/SD_ILS:184426
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
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/11804192">http://dx.doi.org/10.1007/11804192</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data and Applications Security XX 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184439
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Damiani, Ernesto. editor. Liu, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11805588">http://dx.doi.org/10.1007/11805588</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Directions in Embedded and Ubiquitous Computing EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184452
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Zhou, Xiaobo. editor. Sokolsky, Oleg. editor. Yan, Lu. editor. Jung, Eun-Sun. editor. Shao, Zili. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11807964">http://dx.doi.org/10.1007/11807964</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agent Computing and Multi-Agent Systems 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184457
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Shi, Zhong-Zhi. editor. Sadananda, Ramakoti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11802372">http://dx.doi.org/10.1007/11802372</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Organizing Systems First International Workshop, IWSOS 2006, and Third International Workshop on New Trends in Network Architectures and Services, EuroNGI 2006, Passau, Germany, September 18-20, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184593
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Meer, Hermann. editor. Sterbenz, James P. G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11822035">http://dx.doi.org/10.1007/11822035</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184697
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184632
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Yi, Kwangkeun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823230">http://dx.doi.org/10.1007/11823230</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2006 Parallel Processing 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184634
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Nagel, Wolfgang E. editor. Walter, Wolfgang V. editor. Lehner, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11823285">http://dx.doi.org/10.1007/11823285</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184643
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11828563">http://dx.doi.org/10.1007/11828563</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multiagent System Technologies 4th German Conference, MATES 2006 Erfurt, Germany, September 19-20, 2006 Proceedings
ent://SD_ILS/0/SD_ILS:184882
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Fischer, Klaus. editor. Timm, Ingo J. editor. André, Elisabeth. editor. Zhong, Ning. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11872283">http://dx.doi.org/10.1007/11872283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184888
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Priami, Corrado. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11885191">http://dx.doi.org/10.1007/11885191</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184890
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Najm, Elie. editor. Pradat-Peyre, Jean-François. editor. Donzeau-Gouge, Véronique Viguié. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11888116">http://dx.doi.org/10.1007/11888116</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Resource Allocation in Wireless Networks Theory and Algorithms
ent://SD_ILS/0/SD_ILS:184905
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Stańczak, Sławomir. author. Wiczanowski, Marcin. author. Boche, Holger. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11818762">http://dx.doi.org/10.1007/11818762</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ubiquitous Computing Systems Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184915
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Youn, Hee Yong. editor. Kim, Minkoo. editor. Morikawa, Hiroyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11890348">http://dx.doi.org/10.1007/11890348</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
ent://SD_ILS/0/SD_ILS:184987
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Horváth, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11894100">http://dx.doi.org/10.1007/11894100</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Modeling - ER 2006 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185005
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Embley, David W. editor. Olivé, Antoni. editor. Ram, Sudha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901181">http://dx.doi.org/10.1007/11901181</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185008
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Graf, Susanne. editor. Zhang, Wenhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11901914">http://dx.doi.org/10.1007/11901914</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Information Sciences – ISCIS 2006 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185009
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Levi, Albert. editor. Savaş, Erkay. editor. Yenigün, Hüsnü. editor. Balcısoy, Selim. editor. Saygın, Yücel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11902140">http://dx.doi.org/10.1007/11902140</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Development of Complex Fault-Tolerant Systems
ent://SD_ILS/0/SD_ILS:185062
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Butler, Michael. editor. Jones, Cliff B. editor. Romanovsky, Alexander. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916246">http://dx.doi.org/10.1007/11916246</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:185065
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
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/11915034">http://dx.doi.org/10.1007/11915034</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II
ent://SD_ILS/0/SD_ILS:185066
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
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/11915072">http://dx.doi.org/10.1007/11915072</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185067
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11916277">http://dx.doi.org/10.1007/11916277</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Networking. Advances in Data Communications and Wireless Networks International Conference, ICOIN 2006, Sendai, Japan, January 16-19, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185101
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Chong, Ilyoung. editor. Kawahara, Kenji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11919568">http://dx.doi.org/10.1007/11919568</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185128
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11921240">http://dx.doi.org/10.1007/11921240</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185152
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11925040">http://dx.doi.org/10.1007/11925040</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185155
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Kobayashi, Naoki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11924661">http://dx.doi.org/10.1007/11924661</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technologies for Advanced Heterogeneous Networks II Second Asian Internet Engineering Conference, AINTEC 2006, Pathumthani, Thailand, November 28-30, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185199
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
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/11930181">http://dx.doi.org/10.1007/11930181</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:185265
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Datta, Ajoy K. editor. Gradinariu, Maria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-49823-0">http://dx.doi.org/10.1007/978-3-540-49823-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185459
2024-08-23T08:07:36Z
2024-08-23T08:07:36Z
Author Gotzhein, Reinhard. editor. Reed, Rick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11951148">http://dx.doi.org/10.1007/11951148</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>