Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(37)
Kotenko, Igor. editor.
(3)
Skormin, Victor. editor.
(3)
Amouzegar, Mahyar A. editor.
(2)
Antoš, David. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(23)
Software engineering.
(10)
Logic design.
(9)
Artificial intelligence.
(8)
Mathematical Logic and Formal Languages.
(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ç
37 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings için kapak resmi
Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings
Yazar 
Hierons, Robert M. editor. Merayo, Mercedes G. editor. Bravetti, Mario. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334968.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40561-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers için kapak resmi
Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Yazar 
Liu, Shaoying. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334772.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39277-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings için kapak resmi
Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
Yazar 
Groves, Lindsay. editor. Sun, Jing. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335072.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41202-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Congestion Control in Data Transmission Networks Sliding Mode and Other Designs için kapak resmi
Congestion Control in Data Transmission Networks Sliding Mode and Other Designs
Yazar 
Ignaciuk, Przemysław. author. Bartoszewicz, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330917.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4147-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Connected Dominating Set: Theory and Applications için kapak resmi
Connected Dominating Set: Theory and Applications
Yazar 
Du, Ding-Zhu. author. Wan, Peng-Jun. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331720.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5242-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
Handbook of Optimization in Complex Networks Theory and Applications için kapak resmi
Handbook of Optimization in Complex Networks Theory and Applications
Yazar 
Thai, My T. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0754-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
31. 
Group Testing Theory in Network Security An Advanced Solution için kapak resmi
Group Testing Theory in Network Security An Advanced Solution
Yazar 
Thai, My T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0128-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
32. 
Handbook of Optimization in Complex Networks Communication and Social Networks için kapak resmi
Handbook of Optimization in Complex Networks Communication and Social Networks
Yazar 
Thai, My T. editor. Pardalos, Panos M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-0857-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Grid and Cloud Database Management için kapak resmi
Grid and Cloud Database Management
Yazar 
Fiore, Sandro. editor. Aloisio, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20045-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings için kapak resmi
Natural Computing 4th International Workshop on Natural Computing Himeji, Japan, September 2009 Proceedings
Yazar 
Peper, F. editor. Umeo, H. editor. Matsui, N. editor. Isokawa, T. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-4-431-53868-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Autonomic Computing and Networking için kapak resmi
Autonomic Computing and Networking
Yazar 
Zhang, Yan. editor. Yang, Laurence Tianruo. editor. Denko, Mieso K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-89828-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings için kapak resmi
GeoSensor Networks Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings
Yazar 
Trigoni, Niki. editor. Markham, Andrew. editor. Nawaz, Sarfraz. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-02903-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets