Limit Search Results
Author
SpringerLink (Online service)
(297)
Dix, Jürgen. editor.
(6)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Baldoni, Matteo. editor.
(5)
Language
English
(297)
Publication Date
-
Subject
Logic design.
(293)
Computer science.
(284)
Software engineering.
(245)
Artificial intelligence.
(87)
Information Systems.
(42)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
297 Results Found Subscribe to search results
000000000DEFAULT
Print
289. 
Cover image for CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
Author 
Abadi, Martín. editor. Alfaro, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11539452
Format: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures
Author 
Aldini, Alessandro. editor. Gorrieri, Roberto. editor. Martinelli, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11554578
Format: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
Author 
Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11545262
Format: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Author 
Leue, Stefan. editor. Systä, Tarja Johanna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137052
Format: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
The Semantic Web – ISWC 2005 4th International Semantic Web Conference, ISWC 2005, Galway, Ireland, November 6-10, 2005. Proceedings
Author 
Gil, Yolanda. editor. Motta, Enrico. editor. Benjamins, V. Richard. editor. Musen, Mark A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11574620
Format: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005. Proceedings
Author 
Wang, Farn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11562436
Format: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
Advances in Computer Systems Architecture 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005. Proceedings
Author 
Srikanthan, Thambipillai. editor. Xue, Jingling. editor. Chang, Chip-Hong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572961
Format: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
Author 
Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136569
Format: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Intelligent Agents and Multi-Agent Systems 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers
Author 
Barley, Michael Wayne. editor. Kasabov, Nik. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107183
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action