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
961. 
Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Yazar 
Puebla, Germán. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71410-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
962. 
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers için kapak resmi
Programming Multi-Agent Systems 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers
Yazar 
Bordini, Rafael H. editor. Dastani, Mehdi. editor. Dix, Jürgen. editor. Seghrouchni, Amal El Fallah. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71956-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
963. 
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers için kapak resmi
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers
Yazar 
Fiadeiro, José Luiz. editor. Schobbens, Pierre-Yves. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-71998-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
964. 
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures için kapak resmi
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
Yazar 
Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-72522-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
965. 
Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I için kapak resmi
Universal Acess in Human Computer Interaction. Coping with Diversity 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73279-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
966. 
Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II için kapak resmi
Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73281-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
967. 
Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III için kapak resmi
Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III
Yazar 
Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73283-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
968. 
Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings için kapak resmi
Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings
Yazar 
Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
969. 
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings için kapak resmi
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Yazar 
Damm, Werner. editor. Hermanns, Holger. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73368-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
970. 
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings için kapak resmi
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
Yazar 
Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
971. 
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings için kapak resmi
Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings
Yazar 
Anai, Hirokazu. editor. Horimoto, Katsuhisa. editor. Kutsia, Temur. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73433-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
972. 
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings için kapak resmi
Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings
Yazar 
Baader, Franz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73449-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç