Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1207)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Dil
Yayın Yılı
-
Konu
Logic design.
(1153)
Computer science.
(1027)
Software engineering.
(743)
Artificial intelligence.
(359)
Computer Communication Networks.
(291)
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ç
1309 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1165. 
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings için kapak resmi
Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
Yazar 
Yi, Kwangkeun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11823230
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1166. 
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings için kapak resmi
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings
Yazar 
Královič, Rastislav. editor. Urzyczyn, Paweł. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11821069
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1167. 
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings için kapak resmi
Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings
Yazar 
Bravetti, Mario. editor. Núñez, Manuel. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11841197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1168. 
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings için kapak resmi
Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedings
Yazar 
Corradini, Andrea. editor. Ehrig, Hartmut. editor. Montanari, Ugo. editor. Ribeiro, Leila. editor. Rozenberg, Grzegorz. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11841883
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1169. 
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings için kapak resmi
Advances in Computer Systems Architecture 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings
Yazar 
Jesshope, Chris. editor. Egan, Colin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11859802
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1170. 
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings için kapak resmi
Modular Programming Languages 7th Joint Modular Languages Conference, JMLC 2006 Oxford, UK, September 13-15, 2006 Proceedings
Yazar 
Lightfoot, David E. editor. Szyperski, Clemens. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11860990
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1171. 
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers için kapak resmi
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Yazar 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11940197
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1172. 
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers için kapak resmi
Declarative Agent Languages and Technologies IV 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Yazar 
Baldoni, Matteo. editor. Endriss, Ulle. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11961536
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1173. 
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings için kapak resmi
B 2007: Formal Specification and Development in B 7th International Conference of B Users, Besançon, France, January 17-19, 2007. Proceedings
Yazar 
Julliand, Jacques. editor. Kouchnarenko, Olga. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11955757
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1174. 
Mechatronics : an introduction için kapak resmi
Mechatronics : an introduction
Yazar 
Bishop, Robert H., 1957-
Yer Numarası 
TJ163.12 .M4315 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1175. 
Microelectronics için kapak resmi
Microelectronics
Yazar 
Whitaker, Jerry C.
Yer Numarası 
TK7874 .M4587 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1176. 
EDA for IC implementation, circuit design, and process technology için kapak resmi
EDA for IC implementation, circuit design, and process technology
Yazar 
Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Lou.
Yer Numarası 
TK7874 .E257 2006
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç