Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(109)
Legay, Axel. editor.
(4)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(4)
Artho, Cyrille. editor.
(3)
Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121
(3)
Dil
English
(109)
Yayın Yılı
-
Konu
Compilers and Interpreters.
(109)
Computer science.
(101)
Computer Science Logic and Foundations of Programming.
(98)
Software engineering.
(93)
Formal Languages and Automata Theory.
(74)
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ç
109 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
49. 
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity için kapak resmi
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Yazar 
Zeume, Thomas. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures için kapak resmi
Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Yazar 
Cunha, Jácome. editor. Fernandes, João P. editor. Lämmel, Ralf. editor. Saraiva, João. editor. Zaytsev, Vadim. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60074-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Yazar 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-65765-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Yazar 
Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54458-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Yazar 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-54580-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Foundations of Programming Languages için kapak resmi
Foundations of Programming Languages
Yazar 
Lee, Kent D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70790-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
55. 
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday için kapak resmi
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Yazar 
Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-63121-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
56. 
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Yazar 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
57. 
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday için kapak resmi
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Yazar 
Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-68270-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
58. 
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings için kapak resmi
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Yazar 
Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-28228-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
59. 
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings için kapak resmi
NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Yazar 
Rayadurgam, Sanjai. editor. Tkachuk, Oksana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-40648-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
60. 
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings için kapak resmi
System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings
Yazar 
Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46613-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç