Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(297)
Dix, Jürgen. editor.
(6)
Stenström, Per. editor.
(6)
Aldini, Alessandro. editor.
(5)
Baldoni, Matteo. editor.
(5)
Dil
English
(297)
Yayın Yılı
-
Konu
Logic design.
(293)
Computer science.
(284)
Software engineering.
(245)
Artificial intelligence.
(87)
Information Systems.
(42)
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ç
297 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
25. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Yazar 
Ayala, José L. editor. Shang, Delong. editor. Yakovlev, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334136.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36157-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings için kapak resmi
SDL 2013: Model-Driven Dependability Engineering 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings
Yazar 
Khendek, Ferhat. editor. Toeroe, Maria. editor. Gherbi, Abdelouahed. editor. Reed, Rick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334697.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38911-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
Modelling Foundations and Applications 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Gorp, Pieter. editor. Ritter, Tom. editor. Rose, Louis M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334711.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39013-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Drira, Khalil. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334714.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39031-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings için kapak resmi
ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings
Yazar 
Castagna, Giuseppe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334715.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39038-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
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:
31. 
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:
32. 
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings için kapak resmi
Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Yazar 
Morgenstern, Leora. editor. Stefaneas, Petros. editor. Lévy, François. editor. Wyner, Adam. editor. Paschke, Adrian. editor.
Yer Numarası 
ONLINE(334822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39617-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings için kapak resmi
Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings
Yazar 
Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40894-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings için kapak resmi
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
Yazar 
Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335141.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41707-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
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:
36. 
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers için kapak resmi
ICT in Education, Research, and Industrial Applications 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers
Yazar 
Ermolayev, Vadim. editor. Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Spivakovsky, Aleksander. editor. Zholtkevych, Grygoriy. editor.
Yer Numarası 
ONLINE(334041.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35737-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç