Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(51)
Castelli, Mauro. editor.
(2)
Dimitrova, Rayna. editor.
(2)
Dongarra, Jack. editor.
(2)
Kobayashi, Naoki. editor.
(2)
Dil
Yayın Yılı
-
Konu
Theory of Computation.
(21)
Software engineering.
(19)
Artificial intelligence.
(17)
Formal Languages and Automata Theory.
(14)
Machine theory.
(14)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
54 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULT_TR
Yazdır
49. 
Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings için kapak resmi
Genetic Programming 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings
Yazar 
Heywood, Malcolm I. editor. McDermott, James. editor. Castelli, Mauro. editor. Costa, Ernesto. editor. Sim, Kevin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-30668-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
50. 
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings için kapak resmi
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Yazar 
Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-33600-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
51. 
Deductive Software Verification - The KeY Book From Theory to Practice için kapak resmi
Deductive Software Verification - The KeY Book From Theory to Practice
Yazar 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
52. 
Self-aware Computing Systems An Engineering Approach için kapak resmi
Self-aware Computing Systems An Engineering Approach
Yazar 
Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-39675-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
53. 
Computing handbook için kapak resmi
Computing handbook
Yazar 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.
Yer Numarası 
QA76 .C5732 2014 EB
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429171529
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
54. 
Operational risk management a practical approach to intelligent data analysis için kapak resmi
Operational risk management a practical approach to intelligent data analysis
Yazar 
Kenett, Ron. Raanan, Yossi.
Yer Numarası 
ONLINE(318959.1)
Elektronik Erişim 
Access restricted to McGill users
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589233
ebrary http://site.ebrary.com/id/10412605
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702
John Wiley http://dx.doi.org/10.1002/9780470972571
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets