Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(77)
Maciaszek, Leszek A. editor.
(3)
Castagna, Giuseppe. editor.
(2)
Dowek, Gilles. author.
(2)
Filipe, Joaquim. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(70)
Software engineering.
(65)
Programming Languages, Compilers, Interpreters.
(49)
Logics and Meanings of Programs.
(48)
Mathematical Logic and Formal Languages.
(25)
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ç
77 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
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:
50. 
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:
51. 
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers için kapak resmi
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Yazar 
Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334820.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39611-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings için kapak resmi
Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings
Yazar 
Bartocci, Ezio. editor. Ramakrishnan, C. R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334743.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39176-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
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:
54. 
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:
55. 
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings için kapak resmi
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Yazar 
Veanes, Margus. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334698.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38916-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings için kapak resmi
Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings
Yazar 
Legay, Axel. editor. Bensalem, Saddek. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335003.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40787-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings için kapak resmi
Reachability Problems 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 Proceedings
Yazar 
Abdulla, Parosh Aziz. editor. Potapov, Igor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335046.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41036-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
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:
59. 
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings için kapak resmi
Computational Logic in Multi-Agent Systems 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
Yazar 
Leite, João. editor. Son, Tran Cao. editor. Torroni, Paolo. editor. Torre, Leon. editor. Woltran, Stefan. editor.
Yer Numarası 
ONLINE(334979.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40624-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings için kapak resmi
Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Yazar 
Schulte, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334980.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-40627-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç