Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(152)
Aceto, Luca. editor.
(4)
Noble, James. editor.
(4)
Cordeiro, José. editor.
(3)
Johnson, Ralph. editor.
(3)
Dil
Yayın Yılı
-
Konu
Software engineering.
(110)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(70)
Logics and Meanings of Programs.
(48)
Programming Techniques.
(37)
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ç
155 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
145. 
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings
Yazar 
Colom, José-Manuel. editor. Desel, Jörg. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334651.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38697-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
146. 
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings için kapak resmi
Theory and Practice of Model Transformations 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings
Yazar 
Duddy, Keith. editor. Kappel, Gerti. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334691.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38883-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
147. 
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:
148. 
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:
149. 
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:
150. 
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman için kapak resmi
In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman
Yazar 
Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Yer Numarası 
ONLINE(335138.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41660-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
151. 
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:
152. 
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
Yazar 
Sagonas, Kostis. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(335204.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-45284-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
153. 
Ubiquitous Information Technologies and Applications CUTE 2012 için kapak resmi
Ubiquitous Information Technologies and Applications CUTE 2012
Yazar 
Han, Youn-Hee. editor. Park, Doo-Soon. editor. Jia, Weijia. editor. Yeo, Sang-Soo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(336087.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-5857-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
154. 
Codecharts roadmaps and blueprints for object-oriented programs için kapak resmi
Codecharts roadmaps and blueprints for object-oriented programs
Yazar 
Eden, A. H., 1967- Nicholson, J. (Jonathan), 1983-
Yer Numarası 
ONLINE(318929.1)
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Books24x7 http://www.books24x7.com/marc.asp?bookid=41806
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=700550
ebrary http://site.ebrary.com/id/10465941
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=364832
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
155. 
Grammars and automata for string processing : from mathematics and computer science to biology, and back için kapak resmi
Grammars and automata for string processing : from mathematics and computer science to biology, and back
Yazar 
Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-
Yer Numarası 
QA76 .G6725 2003
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç