Limit Search Results
Author
SpringerLink (Online service)
(366)
El-Qawasmeh, Eyas. editor.
(8)
Nagamalai, Dhinaharan. editor.
(8)
Huang, Xiong. editor.
(7)
Kim, Tai-hoon. editor.
(7)
Language
Subject
Computer science.
(366)
Computer Communication Networks.
(191)
Artificial intelligence.
(135)
Information systems.
(132)
Computer software.
(114)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
367 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Communication Technologies for Vehicles Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings
Author 
Strang, Thomas. editor. Festag, Andreas. editor. Vinel, Alexey. editor. Mehmood, Rashid. editor. Rico Garcia, Cristina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19786-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Hofmann, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19805-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Fundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
Author 
Giannakopoulou, Dimitra. editor. Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19811-3
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Formal Methods: Foundations and Applications 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Author 
Davies, Jim. editor. Silva, Leila. editor. Simao, Adenilso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19829-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Advances in Power Electronics and Instrumentation Engineering Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings
Author 
Das, Vinu V. editor. Thankachan, Nessy. editor. Debnath, Narayan C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20499-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
Author 
Bobaru, Mihaela. editor. Havelund, Klaus. editor. Holzmann, Gerard J. editor. Joshi, Rajeev. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20398-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
Author 
Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20401-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Advances in Grid and Pervasive Computing 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings
Advances in Grid and Pervasive Computing 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings
Author 
Riekki, Jukka. editor. Ylianttila, Mika. editor. Guo, Minyi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20754-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for NETWORKING 2011 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I
NETWORKING 2011 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I
Author 
Domingo-Pascual, Jordi. editor. Manzoni, Pietro. editor. Palazzo, Sergio. editor. Pont, Ana. editor. Scoglio, Caterina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20757-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for NETWORKING 2011 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II
NETWORKING 2011 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II
Author 
Domingo-Pascual, Jordi. editor. Manzoni, Pietro. editor. Palazzo, Sergio. editor. Pont, Ana. editor. Scoglio, Caterina. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20798-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Advances in New Technologies, Interactive Interfaces, and Communicability First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers
Advances in New Technologies, Interactive Interfaces, and Communicability First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers
Author 
Cipolla Ficarra, Francisco V. editor. Castro Lozano, Carlos. editor. Pérez Jiménez, Mauricio. editor. Nicol, Emma. editor. Kratky, Andreas. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20810-2
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings
Author 
Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20895-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action