Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Artho, Cyrille. editor.
(2)
Oğuztüzün, Halit. author.
(2)
Ren, Jinchang. editor.
(2)
Topçu, Okan. author.
(2)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(56)
Computer science.
(38)
Software engineering.
(35)
Computer Science Logic and Foundations of Programming.
(32)
Artificial intelligence.
(15)
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ç
56 sonuç bulundu Arama sonuçlarına abone ol
00000000DEFAULT_TR
Yazdır
49. 
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers için kapak resmi
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
Yazar 
Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-51641-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Behavioural Models From Modelling Finite Automata to Analysing Business Processes için kapak resmi
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
Yazar 
Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-44960-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings için kapak resmi
Dependable Software Engineering: Theories, Tools, and Applications Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Yazar 
Fränzle, Martin. editor. Kapur, Deepak. editor. Zhan, Naijun. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47677-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Transactions on Modularity and Composition I için kapak resmi
Transactions on Modularity and Composition I
Yazar 
Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-46969-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers için kapak resmi
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers
Yazar 
Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Filipe, Joaquim. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-56390-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
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:
55. 
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:
56. 
Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers için kapak resmi
Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2013 Reykjavík, Iceland, July 29-31, 2013 Revised Selected Papers
Yazar 
Obaidat, Mohammad S. editor. Koziel, Slawomir. editor. Kacprzyk, Janusz. editor. Leifsson, Leifur. editor. Ören, Tuncer. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11457-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç