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
1177. 
Abstraction, Refinement and Proof for Probabilistic Systems için kapak resmi
Abstraction, Refinement and Proof for Probabilistic Systems
Yazar 
McIver, Annabelle. author. Morgan, Carroll. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138392
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1178. 
Categories for Software Engineering için kapak resmi
Categories for Software Engineering
Yazar 
Fiadeiro, José Luiz. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1179. 
Einführung in die Informatik Objektorientiert mit Java için kapak resmi
Einführung in die Informatik Objektorientiert mit Java
Yazar 
Küchlin, Wolfgang. author. Weber, Andreas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138253
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1180. 
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components için kapak resmi
A Theory of Distributed Objects Asynchrony — Mobility — Groups — Components
Yazar 
Caromel, Denis. author. Henrio, Ludovic. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b138812
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1181. 
Complexity Theory Exploring the Limits of Efficient Algorithms için kapak resmi
Complexity Theory Exploring the Limits of Efficient Algorithms
Yazar 
Wegener, Ingo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-27477-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1182. 
Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers için kapak resmi
Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers
Yazar 
Trinder, Phil. editor. Michaelson, Greg J. editor. Peña, Ricardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b102274
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1183. 
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings için kapak resmi
Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings
Yazar 
Moreno, J. Manuel. editor. Madrenas, Jordi. editor. Cosp, Jordi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11549703
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1184. 
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers için kapak resmi
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Yazar 
Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11550679
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1185. 
Inconsistency Tolerance için kapak resmi
Inconsistency Tolerance
Yazar 
Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b104925
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1186. 
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers için kapak resmi
Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
Yazar 
Hinchey, Michael G. editor. Rash, James L. editor. Truszkowski, Walter F. editor. Rouff, Christopher A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b105317
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1187. 
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings için kapak resmi
SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005. Proceedings
Yazar 
Prinz, Andreas. editor. Reed, Rick. editor. Reed, Jeanne. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137793
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
1188. 
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings için kapak resmi
Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Yazar 
Steffen, Martin. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b136996
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç