Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(217)
Lopez, Cesar. author.
(11)
Legay, Axel. editor.
(4)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(4)
Artho, Cyrille. editor.
(3)
Dil
Yayın Yılı
-
Konu
Compilers (Computer programs).
(217)
Compilers and Interpreters.
(217)
Software engineering.
(150)
Computer science.
(115)
Computer Science Logic and Foundations of Programming.
(98)
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ç
227 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
181. 
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49674-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
182. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
183. 
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings için kapak resmi
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
Yazar 
Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42547-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
184. 
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Stevens, Perdita. editor. Wąsowski, Andrzej. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49665-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
185. 
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings için kapak resmi
Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings
Yazar 
Kapitsaki, Georgia M. editor. Santana de Almeida, Eduardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-35122-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
186. 
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers için kapak resmi
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
Yazar 
Lorenz, Pascal. editor. Cardoso, Jorge. editor. Maciaszek, Leszek A. editor. van Sinderen, Marten. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30142-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
187. 
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers için kapak resmi
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Yazar 
Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-29510-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
188. 
Understanding Network Hacks Attack and Defense with Python için kapak resmi
Understanding Network Hacks Attack and Defense with Python
Yazar 
Ballmann, Bastian. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44437-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
189. 
An Introduction to Python and Computer Programming için kapak resmi
An Introduction to Python and Computer Programming
Yazar 
Zhang, Yue. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-287-609-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
190. 
Advanced backend code optimization için kapak resmi
Advanced backend code optimization
Yazar 
Touati, Sid, author. De Dinechin, Benoit Dupont, author.
Yer Numarası 
ONLINE(341623.1)
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781118625446
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
191. 
MATLAB Matrix Algebra için kapak resmi
MATLAB Matrix Algebra
Yazar 
Lopez, Cesar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4842-0307-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
192. 
MATLAB Differential Equations için kapak resmi
MATLAB Differential Equations
Yazar 
Lopez, Cesar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4842-0310-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç