Limit Search Results
Author
SpringerLink (Online service)
(175)
Wang, Lipo. editor.
(5)
Cao, Jiannong. editor.
(3)
Chen, Ke. editor.
(3)
Guo, Minyi. editor.
(3)
Language
Subject
Computer software.
(176)
Computer science.
(170)
Artificial intelligence.
(58)
Computational complexity.
(57)
Computer Communication Networks.
(56)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
216 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Hardware and computer organization the software perspective
Hardware and computer organization the software perspective
Author 
Berger, Arnold S.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678865
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings
Author 
Lodaya, Kamal. editor. Mahajan, Meena. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104325
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Jeovar 3 : Jeoistatiksel variogram analizleri ve kriging teknikleri bilgisayar yazılımı = Geovar 3 : Computer software of geostatistical variogram analyses and kriging techniques
Jeovar 3 : Jeoistatiksel variogram analizleri ve kriging teknikleri bilgisayar yazılımı = Geovar 3 : Computer software of geostatistical variogram analyses and kriging techniques
Author 
Uyar, Hakan.
Preferred Shelf Number 
TEZ/7118 U97 2005
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
6. 
Cover image for Perspectives on free and open source software
Perspectives on free and open source software
Author 
Feller, Joseph, 1972-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267258
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for MATLAB 7 Eine Einführung
MATLAB 7 Eine Einführung
Author 
Überhuber, Christoph. author. Katzenbeisser, Stefan. author. Praetorius, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138723
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance
Author 
Hromkovič, Juraj. author. Klasing, Ralf. author. Pelc, Andrzej. author. Ružička†, Peter. author. Unger, Walter. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137871
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Computeralgebra
Computeralgebra
Author 
Kaplan, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137968
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Author 
Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138692
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Complexity Theory Exploring the Limits of Efficient Algorithms
Complexity Theory Exploring the Limits of Efficient Algorithms
Author 
Wegener, Ingo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-27477-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Getting Started with MuPAD
Getting Started with MuPAD
Author 
Majewski, Miroslaw. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28675-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action