Limit Search Results
Author
SpringerLink (Online service)
(3145)
Kim, Tai-hoon. editor.
(49)
Yung, Moti. editor.
(30)
Yang, Laurence T. editor.
(26)
Apduhan, Bernady O. editor.
(25)
Language
Publication Date
-
2011
(436)
2010
(388)
2012
(374)
2018
(321)
2013
(280)
Subject
Computer science.
(2721)
Software engineering.
(1161)
Information systems.
(1057)
Artificial intelligence.
(922)
Computer software.
(873)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
3149 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Formal Techniques for Networked and Distributed Systems – FORTE 2008 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
Author 
Suzuki, Kenji. editor. Higashino, Teruo. editor. Yasumoto, Keiichi. editor. El-Fakih, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68855-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Author 
Barthe, Gilles. editor. Boer, Frank S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68863-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche
Internet-Security aus Software-Sicht Ein Leitfaden zur Software-Erstellung für sicherheitskritische Bereiche
Author 
Kriha, Walter. author. Schmitz, Roland. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68906-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Distributed Computing in Sensor Systems 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings
Author 
Nikoletseas, Sotiris E. editor. Chlebus, Bogdan S. editor. Johnson, David B. editor. Krishnamachari, Bhaskar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69170-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Networked RFID Systems and Lightweight Cryptography Raising Barriers to Product Counterfeiting
Networked RFID Systems and Lightweight Cryptography Raising Barriers to Product Counterfeiting
Author 
Cole, Peter H. editor. Ranasinghe, Damith C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71641-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Multimedia Modeling 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings
Advances in Multimedia Modeling 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings
Author 
Satoh, Shin’ichi. editor. Nack, Frank. editor. Etoh, Minoru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77409-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Proceedings
Author 
Rao, Shrisha. editor. Chatterjee, Mainak. editor. Jayanti, Prasad. editor. Murthy, C. Siva Ram. editor. Saha, Sanjoy Kumar. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77444-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for The Internet of Things First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
The Internet of Things First International Conference, IOT 2008, Zurich, Switzerland, March 26-28, 2008. Proceedings
Author 
Floerkemeier, Christian. editor. Langheinrich, Marc. editor. Fleisch, Elgar. editor. Mattern, Friedemann. editor. Sarma, Sanjay E. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78731-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings
Author 
Giacobini, Mario. editor. Brabazon, Anthony. editor. Cagnoni, Stefano. editor. Caro, Gianni A. editor. Drechsler, Rolf. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78761-7
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
Software Composition 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
Author 
Pautasso, Cesare. editor. Tanter, Éric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78789-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets