Arama Sonuçlarını Sınırlandır
Yazar
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)
Dil
Yayın Yılı
-
Konu
Programming languages (Electronic computers).
(19)
Software engineering.
(15)
Electronic books.
(9)
Computer logic.
(8)
Electronic circuits.
(8)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
54 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
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 için kapak resmi
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
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45234-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Memristor Networks için kapak resmi
Memristor Networks
Yazar 
Adamatzky, Andrew. editor. Chua, Leon. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-02630-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
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 için kapak resmi
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
Yazar 
Muscholl, Anca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54830-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers için kapak resmi
Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
Yazar 
Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-12466-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Computing from the abacus to the iPad için kapak resmi
Computing from the abacus to the iPad
Yazar 
Curley, Robert, 1955- editor. Gale Group.
Yer Numarası 
ONLINE(341336.1)
Elektronik Erişim 
Available for Hacettepe University via Gale Virtual Reference Library. Click here to access
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Computer methods. Part C için kapak resmi
Computer methods. Part C
Yazar 
Johnson, Michael L., 1947- Brand, Ludwig. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Quantum computing explained için kapak resmi
Quantum computing explained
Yazar 
McMahon, David (David M.)
Yer Numarası 
ONLINE
Elektronik Erişim 
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Text entry systems mobility, accessibility, universality için kapak resmi
Text entry systems mobility, accessibility, universality
Yazar 
MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123735911
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Text entry systems mobility, accessibility, universality için kapak resmi
Text entry systems mobility, accessibility, universality
Yazar 
MacKenzie, I. Scott, 1951- Tanaka-Ishii, Kumiko. ScienceDirect (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect An electronic book accessible through the World Wide Web; click for information
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
The second self computers and the human spirit için kapak resmi
The second self computers and the human spirit
Yazar 
Turkle, Sherry.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267347
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Computing and information sciences : recent trends için kapak resmi
Computing and information sciences : recent trends
Yazar 
Misra, Jagadis Chandra, ed. Goswami, A., ed. Kumar, Pawan, ed.
Yer Numarası 
QA 75.5 C739 2003
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
48. 
Handbook of logic and proof techniques for computer science için kapak resmi
Handbook of logic and proof techniques for computer science
Yazar 
Krantz, Steven George, 1951-
Yer Numarası 
QA 76 K723 2002
Format: 
Durum 
Beytepe Kütüphanesi~1
Rafta:
Kopya:
Eylem Seç