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
37. 
Cover image for Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Author 
Muscholl, Anca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
From Programs to Systems - The Systems Perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Author 
Bensalem, Saddek. editor. Lakhnech, Yassine. editor. Legay, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54848-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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:
40. 
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:
41. 
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:
42. 
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:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
Cover image for Handbook of logic and proof techniques for computer science
Handbook of logic and proof techniques for computer science
Author 
Krantz, Steven George, 1951-
Preferred Shelf Number 
QA 76 K723 2002
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
Select an Action