Limit Search Results
Author
SpringerLink (Online service)
(169)
Wiley InterScience (Online service)
(5)
Yung, Moti. editor.
(4)
Albers, Susanne. editor.
(3)
Du, Ding-Zhu. editor.
(3)
Language
Subject
Computer software.
(168)
Computer science.
(162)
Computational complexity.
(50)
Software engineering.
(48)
Artificial intelligence.
(41)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
194 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
Author 
Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01918-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer organization and design : the hardware/software interface
Computer organization and design : the hardware/software interface
Author 
Hennessy, John L. Patterson, David A., ort. yaz.
Preferred Shelf Number 
QA76.9.C643 H46 2009
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
3. 
Cover image for Expressive processing digital fictions, computer games, and software studies
Expressive processing digital fictions, computer games, and software studies
Author 
Wardrip-Fruin, Noah.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267550
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Windows 7 just the steps for dummies
Windows 7 just the steps for dummies
Author 
Muir, Nancy, 1954-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information on Adobe Digital Editions version
Click for information on Adobe Digital Editions version
Click for information on Mobipocket Reader version
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Image http://images.contentreserve.com/ImageType-100/0128-1/{1865C98C-939A-45E6-AC30-F500574831A6}Img100.jpg
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Practical UML statecharts in C/C++ event-driven programming for embedded systems
Practical UML statecharts in C/C++ event-driven programming for embedded systems
Author 
Samek, Miro.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Optimal Design and Related Areas in Optimization and Statistics
Optimal Design and Related Areas in Optimization and Statistics
Author 
Pronzato, Luc. editor. Zhigljavsky, Anatoly. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-79936-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Genetic Programming Theory and Practice VI
Genetic Programming Theory and Practice VI
Author 
Worzel, Bill. editor. Soule, Terence. editor. Riolo, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-87623-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Computational Algorithms and Data Analysis
Advances in Computational Algorithms and Data Analysis
Author 
Ao, Sio-Iong. editor. Rieger, Burghard. editor. Chen, Su-Shing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8919-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Sequence Comparison Theory and Methods
Sequence Comparison Theory and Methods
Author 
Chao, Kun-Mao. author. Zhang, Louxin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-320-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for A Generative Theory of Relevance
A Generative Theory of Relevance
Author 
Lavrenko, Victor. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89364-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Distributed Computing and Internet Technology 5th International Conference, ICDCIT 2008 New Delhi, India, December 10-12, 2008. Proceedings
Author 
Parashar, Manish. editor. Aggarwal, Sanjeev K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89737-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
Author 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action