Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Parallel computing : an introduction
Parallel computing : an introduction
Author 
Lafferty, Edward L.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780815513292
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Scientific computing with automatic result verification
Scientific computing with automatic result verification
Author 
Adams, Ernst. Kulisch, Ulrich.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120442102
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Numerical recipes : the art of scientific computing (Fortran version)
Numerical recipes : the art of scientific computing (Fortran version)
Author 
Press, W. H., ort. yaz.
Preferred Shelf Number 
QA 297 N866 1989
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
4. 
Cover image for A small matter of programming perspectives on end user computing
A small matter of programming perspectives on end user computing
Author 
Nardi, Bonnie A.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for The Digital word : text-based computing in the humanities
The Digital word : text-based computing in the humanities
Author 
Landow, George P., ed. Delany, Paul, ed.
Preferred Shelf Number 
PN 98.E4 D54 1993
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
6. 
Cover image for ACM Communications.
ACM Communications.
Author 
Association for Computing Machinery.
Preferred Shelf Number 
ALFABETİK V.35 PART.2 1992
Electronic Access 
Elektronik erişim
Format: 
Availability 
Beytepe Library~36 ~0
Available:
Copies:
7. 
Cover image for ACM Transactions on database systems.
ACM Transactions on database systems.
Author 
Association for Computing Machinery.
Preferred Shelf Number 
ALFABETİK V.4 1979
Electronic Access 
Elektronik erişim
Format: 
Availability 
Beytepe Library~12 ~0
Available:
Copies:
8. 
Cover image for The formal semantics of programming languages an introduction
The formal semantics of programming languages an introduction
Author 
Winskel, G. (Glynn)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Industrial applications of formal methods to model, design, and analyze computer systems : an international survey
Author 
Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780815513629
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The Semantics of Prepositions : From Mental Processing to Natural Language Processing
The Semantics of Prepositions : From Mental Processing to Natural Language Processing
Author 
Aurnague, Michel, contributor. Brée, David, contributor. Cuyckens, Hubert, contributor. Dirven, René, contributor. Durrell, Martin, contributor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110872576
https://www.degruyter.com/isbn/9783110872576
Cover https://www.degruyter.com/document/cover/isbn/9783110872576/original
Format: 
Availability 
Online Library~1
Available:
Copies: