Limit Search Results
Author
SpringerLink (Online service)
(2996)
Gervasi, Osvaldo. editor.
(39)
Taniar, David. editor.
(32)
Kim, Tai-hoon. editor.
(29)
Dongarra, Jack. editor.
(28)
Language
Publication Date
-
2011
(367)
2012
(336)
2010
(320)
2009
(309)
2013
(305)
Subject
Software engineering.
(2980)
Computer Communication Networks.
(1101)
Information systems.
(751)
Artificial intelligence.
(743)
Logic design.
(715)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2998 Results Found Subscribe to search results
0000000000DEFAULT
Print
2989. 
Cover image for Multi-Agent Programming Languages, Platforms and Applications
Multi-Agent Programming Languages, Platforms and Applications
Author 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Fallah Seghrouchni, Amal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137449
Format: 
Availability 
Online Library~1
Available:
Copies:
2990. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
2991. 
Cover image for Multimedia Introduction to Programming Using Java
Multimedia Introduction to Programming Using Java
Author 
Gries, David. author. Gries, Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138328
Format: 
Availability 
Online Library~1
Available:
Copies:
2992. 
Cover image for Introduction to Assembly Language Programming For Pentium and RISC Processors
Introduction to Assembly Language Programming For Pentium and RISC Processors
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138691
Format: 
Availability 
Online Library~1
Available:
Copies:
2993. 
Cover image for Guide to RISC Processors for Programmers and Engineers
Guide to RISC Processors for Programmers and Engineers
Author 
Dandamudi, Sivarama P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b139084
Format: 
Availability 
Online Library~1
Available:
Copies:
2994. 
Cover image for XML for Bioinformatics
XML for Bioinformatics
Author 
Cerami, Ethan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-27478-2
Format: 
Availability 
Online Library~1
Available:
Copies:
2995. 
Cover image for Soft Real-Time Systems Predictability vs. Efficiency
Soft Real-Time Systems Predictability vs. Efficiency
Author 
Buttazzo, Giorgio. author. Lipari, Giuseppe. author. Abeni, Luca. author. Caccamo, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28147-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2996. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2997. 
Cover image for Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Cyberspace Security and Defense: Research Issues Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense: Research Issues Gdansk, Poland 6–9 September 2004
Author 
Kowalik, Janusz S. editor. Gorski, Janusz. editor. Sachenko, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3381-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2998. 
Cover image for Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling
Author 
Liu, Jiming. author. Jin, Xiaolong. author. Tsui, Kwok Ching. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b101185
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action