Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(114)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Boer, Frank S. editor.
(2)
Bonacina, Maria Paola. editor.
(2)
Dil
Konu
Logic design.
(113)
Computer science.
(109)
Logics and Meanings of Programs.
(104)
Software engineering.
(77)
Mathematical Logic and Formal Languages.
(55)
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ç
119 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
109. 
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings için kapak resmi
Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings
Yazar 
Gonthier, Georges. editor. Norrish, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332982.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-03545-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
110. 
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse için kapak resmi
Formale Sprachen Endliche Automaten, Grammatiken, lexikalische und syntaktische Analyse
Yazar 
Böckenhauer, Hans-Joachim. author. Hromkovic, Juraj. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(337578.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-658-00725-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
111. 
Digital design için kapak resmi
Digital design
Yazar 
Mano, M. Morris
Yer Numarası 
TK7888.3 M341 2013
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
112. 
Digital design and computer architecture için kapak resmi
Digital design and computer architecture
Yazar 
Harris, David Money Harris, Sarah L.
Yer Numarası 
TK7868.D5 H34 2013
Format: 
Durum 
Beytepe Kütüphanesi~2
Rafta:
Kopya:
113. 
Social Semantics The Search for Meaning on the Web için kapak resmi
Social Semantics The Search for Meaning on the Web
Yazar 
Halpin, Harry. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331289.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-1885-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
114. 
Distributed Programming Theory and Practice için kapak resmi
Distributed Programming Theory and Practice
Yazar 
Shankar, A. Udaya. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331611.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-4881-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
115. 
A General Framework for Reasoning On Inconsistency için kapak resmi
A General Framework for Reasoning On Inconsistency
Yazar 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332107.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
116. 
Modelling Computing Systems Mathematics for Computer Science için kapak resmi
Modelling Computing Systems Mathematics for Computer Science
Yazar 
Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332574.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84800-322-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
117. 
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings için kapak resmi
Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
Yazar 
Hung, Dang. editor. Ogawa, Mizuhito. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332921.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-02444-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
118. 
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt? için kapak resmi
Logikkalküle in der Informatik Wie wird Logik vom Rechner genutzt?
Yazar 
Schenke, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(338349.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-8348-2295-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
119. 
SOI lubistors : lateral, unidirectional, bipolar-type insulated-gate transistors için kapak resmi
SOI lubistors : lateral, unidirectional, bipolar-type insulated-gate transistors
Yazar 
Omura, Y. (Yasuhisa)
Yer Numarası 
ONLINE(341557.1)
Elektronik Erişim 
http://dx.doi.org/10.1002/9781118487914
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç