Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(18)
Angel Piera, Miquel. author.
(1)
Anzola, David. editor.
(1)
Bartocci, Ezio. editor.
(1)
Bessiere, Christian. editor.
(1)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(18)
Computer science.
(8)
Software engineering.
(7)
Artificial intelligence.
(5)
Computer Science Logic and Foundations of Programming.
(4)
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ç
18 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
13. 
Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach için kapak resmi
Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach
Yazar 
Bessiere, Christian. editor. De Raedt, Luc. editor. Kotthoff, Lars. editor. Nijssen, Siegfried. editor. O'Sullivan, Barry. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-50137-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings için kapak resmi
Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings
Yazar 
Bartocci, Ezio. editor. Lio, Pietro. editor. (orcid)0000-0002-0540-5053 Paoletti, Nicola. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45177-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
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:
16. 
Distributed Simulation A Model Driven Engineering Approach için kapak resmi
Distributed Simulation A Model Driven Engineering Approach
Yazar 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets için kapak resmi
Social Dimensions of Organised Crime Modelling the Dynamics of Extortion Rackets
Yazar 
Elsenbroich, Corinna. editor. Anzola, David. editor. Gilbert, Nigel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-45169-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 18th International Conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, Revised Selected Papers
Yazar 
Vishnevsky, Vladimir. editor. (orcid)0000-0001-7373-4847 Kozyrev, Dmitry. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30843-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: