Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(719)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Dil
Yayın Yılı
-
Konu
Computer simulation.
(712)
Software engineering.
(278)
Artificial intelligence.
(277)
Computer vision.
(150)
Computer software.
(136)
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ç
720 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Probability and Statistics for Computer Science için kapak resmi
Probability and Statistics for Computer Science
Yazar 
Forsyth, David. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-64410-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Honeypot Frameworks and Their Applications: A New Framework için kapak resmi
Honeypot Frameworks and Their Applications: A New Framework
Yazar 
NG, Chee Keong. author. Pan, Lei. author. Xiang, Yang. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-10-7739-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage için kapak resmi
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
Yazar 
Gonzalez-Perez, Cesar. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-72652-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings için kapak resmi
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Yazar 
Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 Peleska, Jan. editor. (orcid)0000-0003-3667-9775 Roscoe, Bill. editor. de Vink, Erik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-95582-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Yazar 
Jansen, David N. editor. (orcid)0000-0002-6636-3301 Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-00151-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I için kapak resmi
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Yazar 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Automatic Tuning of Compilers Using Machine Learning için kapak resmi
Automatic Tuning of Compilers Using Machine Learning
Yazar 
Ashouri, Amir H. author. Palermo, Gianluca. author. Cavazos, John. author. Silvano, Cristina. author. (orcid)0000-0003-1668-0883 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-71489-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings için kapak resmi
Product-Focused Software Process Improvement 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, Proceedings
Yazar 
Jedlitschka, Andreas. editor. Kuvaja, Pasi. editor. Kuhrmann, Marco. editor. Männistö, Tomi. editor. Münch, Jürgen. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13835-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings için kapak resmi
Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings
Yazar 
Dingel, Juergen. editor. Schulte, Wolfram. editor. Ramos, Isidro. editor. Abrahao, Silvia. editor. Insfran, Emilio. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11653-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings için kapak resmi
Software Language Engineering 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings
Yazar 
Combemale, Benoit. editor. Pearce, David. editor. Barais, Olivier. editor. Vinju, Jurgen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11245-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers için kapak resmi
Energy-Efficient Data Centers Second International Workshop, E²DC 2013, Berkeley, CA, USA, May 21, 2013. Revised Selected Papers
Yazar 
Klingert, Sonja. editor. Hesselbach-Serra, Xavier. editor. Perez Ortega, Maria. editor. Giuliani, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55149-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Modelling and Simulation Exploring Dynamic System Behaviour için kapak resmi
Modelling and Simulation Exploring Dynamic System Behaviour
Yazar 
Birta, Louis G. author. Arbez, Gilbert. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330882.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2783-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç