Limit Search Results
Author
SpringerLink (Online service)
(1141)
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277
(87)
Ricci, Elisa. editor. (orcid)0000-0002-0228-1147
(87)
Roth, Stefan. editor. (orcid)0000-0001-9002-9832
(87)
Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241
(87)
Language
English
(1141)
Publication Date
-
Subject
Computer networks .
(1096)
Application software.
(725)
Computer and Information Systems Applications.
(725)
Artificial intelligence.
(462)
Human-computer interaction.
(275)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1141 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for 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
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
Author 
Boavida, Fernando. editor. Plagemann, Thomas. editor. Stiller, Burkhard. editor. Westphal, Cedric. editor. Monteiro, Edmundo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11753810
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for 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
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
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006. Proceedings
Author 
Vassiliadis, Stamatis. editor. Wong, Stephan. editor. Hämäläinen, Timo D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11796435
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Author 
Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11859802
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, 2005. Proceedings
Author 
Hämäläinen, Timo D. editor. Pimentel, Andy D. editor. Takala, Jarmo. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138322
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings
Author 
Bravetti, Mario. editor. Kloul, Leïla. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11549970
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Broadband Satellite Comunication Systems and the Challenges of Mobility IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22–27, 2004, Toulouse, France
Author 
Gayraud, Thierry. editor. Mazzella, Michel. editor. Boavida, Fernando. editor. Monteiro, Edmundo. editor. Orvalho, João. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104225
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems 4th International IFIP-TC6 Networking Conference, Waterloo, Canada, May 2-6, 2005. Proceedings
Author 
Boutaba, Raouf. editor. Almeroth, Kevin. editor. Puigjaner, Ramon. editor. Shen, Sherman. editor. Black, James P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136094
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
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:
47. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part III
Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part III
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Takabi, Daniel. editor. (orcid)0000-0003-0447-3641 Guo, Shaoyong. editor. (orcid)0000-0003-2033-8431 Zou, Yifei. editor. (orcid)0000-0003-4579-5380 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71470-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part II
Wireless Artificial Intelligent Computing Systems and Applications 18th International Conference, WASA 2024, Qindao, China, June 21-23, 2024, Proceedings, Part II
Author 
Cai, Zhipeng. editor. (orcid)0000-0001-6017-975X Takabi, Daniel. editor. (orcid)0000-0003-0447-3641 Guo, Shaoyong. editor. (orcid)0000-0003-2033-8431 Zou, Yifei. editor. (orcid)0000-0003-4579-5380 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71467-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets