Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(64)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(9)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(8)
Huisman, Marieke. editor.
(5)
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(47)
Logic design.
(24)
Computer Communication Networks.
(16)
Artificial intelligence.
(13)
Computer Science Logic and Foundations of Programming.
(11)
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ç
66 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
61. 
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I için kapak resmi
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
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-319-47166-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
62. 
Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects için kapak resmi
Tamed Agility Pragmatic Contracting and Collaboration in Agile Software Projects
Yazar 
Book, Matthias. author. Gruhn, Volker. author. Striemer, Rüdiger. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-41478-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
63. 
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures için kapak resmi
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Yazar 
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-29628-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
64. 
Knowledge Engineering and Knowledge Management 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings için kapak resmi
Knowledge Engineering and Knowledge Management 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings
Yazar 
Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Poggi, Francesco. editor. Vitali, Fabio. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49004-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
65. 
Software Engineering A Methodical Approach için kapak resmi
Software Engineering A Methodical Approach
Yazar 
Foster, Elvis. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4842-0847-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
66. 
Computers, Software Engineering, and Digital Devices için kapak resmi
Computers, Software Engineering, and Digital Devices
Yazar 
Dorf, Richard C., author. Taylor and Francis.
Yer Numarası 
TK7885
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç