Limit Search Results
Author
Dongarra, Jack. editor.
(8)
Wang, Jun. editor.
(6)
Yung, Moti. editor.
(6)
Choo, Hyunseung. editor.
(5)
Gervasi, Osvaldo. editor.
(5)
Language
Subject
Artificial intelligence.
(276)
Software engineering.
(266)
Information systems.
(256)
Computer Communication Networks.
(253)
Information storage and retrieval systems.
(187)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1033 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for e-Business and Telecommunication Networks
e-Business and Telecommunication Networks
Author 
Ascenso, João. editor. Vasiu, Luminita. editor. Belo, Carlos. editor. Saramago, Mónica. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4761-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Informing Digital Futures Strategies for Citizen Engagement
Informing Digital Futures Strategies for Citizen Engagement
Author 
Damodaran, Leela. author. Olphert, Wendy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4784-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for WITTGENSTEIN, LANGUAGE AND INFORMATION Back to the Rough Ground
WITTGENSTEIN, LANGUAGE AND INFORMATION Back to the Rough Ground
Author 
BLAIR, DAVID. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4583-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Enterprise Information Systems VI
Enterprise Information Systems VI
Author 
Seruca, Isabel. editor. Cordeiro, José. editor. Hammoudi, Slimane. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3675-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Uncertainty, Rationality, and Agency
Uncertainty, Rationality, and Agency
Author 
Hoek, Wiebe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4631-6
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Advances in Information Technologies for Electromagnetics
Advances in Information Technologies for Electromagnetics
Author 
Tarricone, Luciano. Esposito, Alessandra. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4749-5
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Ad-hoc Networks: Fundamental Properties and Network Topologies
Ad-hoc Networks: Fundamental Properties and Network Topologies
Author 
Hekmat, Ramin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5166-2
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Enterprise Information Systems VII
Enterprise Information Systems VII
Author 
Chen, Chin-Sheng. editor. Filipe, Joaquim. editor. Seruca, Isabel. editor. Cordeiro, José. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5347-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for End User Development
End User Development
Author 
Lieberman, Henry. editor. Paternò, Fabio. editor. Wulf, Volker. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5386-X
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for SAT 2005 Satisfiability Research in the Year 2005
SAT 2005 Satisfiability Research in the Year 2005
Author 
Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5571-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action