Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(303)
Taylor and Francis.
(7)
Algan, Sefer.
(6)
Aktaş, Volkan.
(5)
Noble, James. editor.
(5)
Dil
Yayın Yılı
-
Konu
Software engineering.
(185)
Computer science.
(155)
Programming languages (Electronic computers).
(130)
Programming Languages, Compilers, Interpreters.
(92)
Logic design.
(77)
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ç
441 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
313. 
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
Yazar 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-45231-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
314. 
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings için kapak resmi
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
Yazar 
Jones, Richard. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44202-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
315. 
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers için kapak resmi
Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Yazar 
Tuosto, Emilio. editor. (orcid)0000-0002-7032-3281 Ouyang, Chun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08260-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
316. 
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings için kapak resmi
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
Yazar 
Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44857-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
317. 
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday için kapak resmi
Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Yazar 
Agha, Gul. editor. Igarashi, Atsushi. editor. Kobayashi, Naoki. editor. Masuhara, Hidehiko. editor. Matsuoka, Satoshi. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44471-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
318. 
Essential MATLAB and Octave için kapak resmi
Essential MATLAB and Octave
Yazar 
Rogel-Salazar, Jesus, author. Taylor and Francis.
Yer Numarası 
QA76.95 .R59
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
319. 
Software essentials : design and construction için kapak resmi
Software essentials : design and construction
Yazar 
Dingle, Adair, author.
Yer Numarası 
QA76.76 .D47 D545 2014
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
320. 
Formal languages and computation : models and their applications için kapak resmi
Formal languages and computation : models and their applications
Yazar 
Meduna, Alexander, 1957- author. Taylor and Francis.
Yer Numarası 
QA267.3
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
321. 
Speaking code coding as aesthetic and political expression için kapak resmi
Speaking code coding as aesthetic and political expression
Yazar 
Cox, Geoff. McLean, Alex (Christopher Alex), 1975-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6451062
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
322. 
Logic Programming with Prolog için kapak resmi
Logic Programming with Prolog
Yazar 
Bramer, Max. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331207.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-5487-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
323. 
Compiler Design Syntactic and Semantic Analysis için kapak resmi
Compiler Design Syntactic and Semantic Analysis
Yazar 
Wilhelm, Reinhard. author. Seidl, Helmut. author. Hack, Sebastian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(333076.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
324. 
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers
Yazar 
Maciaszek, Leszek A. editor. Zhang, Kang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(333558.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-32341-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç