Limit Search Results
Author
SpringerLink (Online service)
(36)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Adamatzky, Andrew. editor.
(2)
Bannister, Frank Edward. editor.
(2)
Carey, Marcus J. (Cybersecurity professional), author.
(2)
Language
Publication Date
-
Subject
Programming languages (Electronic computers).
(19)
Software engineering.
(15)
Electronic books.
(9)
Computer logic.
(8)
Electronic circuits.
(8)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
54 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Memristor Networks
Memristor Networks
Author 
Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-02630-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Author 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computing from the abacus to the iPad
Computing from the abacus to the iPad
Author 
Curley, Robert, 1955- editor. Gale Group.
Preferred Shelf Number 
ONLINE(341336.1)
Electronic Access 
Available for Hacettepe University via Gale Virtual Reference Library. Click here to access
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer methods. Part C
Computer methods. Part C
Author 
Johnson, Michael L., 1947- Brand, Ludwig. Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Quantum computing explained
Quantum computing explained
Author 
McMahon, David (David M.)
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Click here to view book
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/9780470181386
MyiLibrary, Table of contents http://www.myilibrary.com?id=122156&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Text entry systems mobility, accessibility, universality
Text entry systems mobility, accessibility, universality
Author 
MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123735911
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Text entry systems mobility, accessibility, universality
Text entry systems mobility, accessibility, universality
Author 
MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko. ScienceDirect (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for The second self computers and the human spirit
The second self computers and the human spirit
Author 
Turkle, Sherry.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267347
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computing and information sciences : recent trends
Computing and information sciences : recent trends
Author 
Misra, Jagadis Chandra, ed. Goswami, A., ed. Kumar, Pawan, ed.
Preferred Shelf Number 
QA 75.5 C739 2003
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for Computers : information technology in perspective
Computers : information technology in perspective
Author 
Long, Larry E. Long, Nancy, 1947- ort. yaz.
Preferred Shelf Number 
QA 76 L576 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action