Limit Search Results
Author
SpringerLink (Online service)
(1174)
Wiley InterScience (Online service)
(33)
Taylor and Francis.
(25)
Riolo, Rick. editor.
(13)
Voronkov, Andrei. editor.
(13)
Language
Publication Date
-
Subject
Computer science.
(543)
Software engineering.
(451)
Artificial intelligence.
(332)
Electronic books.
(244)
COMPUTERS / Computer Graphics / Game Programming & Design
(240)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
3449 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Author 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334698.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Author 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335003.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project
Author 
Cotroneo, Domenico. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335577.1)
Electronic Access 
http://dx.doi.org/10.1007/978-88-470-2772-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
IAENG Transactions on Engineering Technologies Special Edition of the World Congress on Engineering and Computer Science 2011
Author 
Kim, Haeng Kon. editor. Ao, Sio-Iong. editor. Rieger, Burghard B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335821.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4786-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Ubiquitous Information Technologies and Applications CUTE 2012
Ubiquitous Information Technologies and Applications CUTE 2012
Author 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336087.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for The Cambridge companion to electronic music
The Cambridge companion to electronic music
Author 
Collins, Nick (Nicholas) Escrivan Rincón, Julio d', 1957-
Preferred Shelf Number 
ML1380 C36 2013
Format: 
Availability 
Conservatory Library~1
Available:
Copies:
7. 
Cover image for 10 adımda e-ticaret sitesi : tasarımı& programlama
10 adımda e-ticaret sitesi : tasarımı& programlama
Author 
Sevinç, Tahsin. İncearık, Mehmet Emrullah.
Preferred Shelf Number 
HF5548.32 S48 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
8. 
Cover image for Handbook of Neuroevolution Through Erlang
Handbook of Neuroevolution Through Erlang
Author 
Sher, Gene I. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4463-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Methods of statistical model estimation
Methods of statistical model estimation
Author 
Hilbe, Joseph M., 1944, author. Robinson, Andrew (Andrew P.)
Preferred Shelf Number 
QA276.8 .H54 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Computational chemogenomics
Computational chemogenomics
Author 
Jacoby, Edgar, editor.
Preferred Shelf Number 
QH438.4 .C45 C66 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction to finite element analysis using MATLAB and Abaqus
Introduction to finite element analysis using MATLAB and Abaqus
Author 
Khennane, Amar., author.
Preferred Shelf Number 
TA347 .F5 K54 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Mimetic discretization methods
Mimetic discretization methods
Author 
Castillo, Jose E., author. Miranda, Guillermo F.
Preferred Shelf Number 
QA297 .C35 2013
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action