Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(1720)
Wiley InterScience (Online service)
(28)
Taylor and Francis.
(16)
Apduhan, Bernady O. editor.
(15)
Jansen, Klaus. editor.
(14)
Dil
Yayın Yılı
-
Konu
Algorithms.
(735)
Artificial intelligence.
(487)
Computer science.
(425)
Electronic books.
(341)
Computer software.
(288)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
3148 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
505. 
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Yazar 
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17502-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
506. 
Compressed Sensing Magnetic Resonance Image Reconstruction Algorithms A Convex Optimization Approach için kapak resmi
Compressed Sensing Magnetic Resonance Image Reconstruction Algorithms A Convex Optimization Approach
Yazar 
Deka, Bhabesh. author. (orcid)0000-0002-9679-6159 Datta, Sumit. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-13-3597-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
507. 
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17462-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
508. 
Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings için kapak resmi
Algorithms and Data Structures 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
Yazar 
Friggstad, Zachary. editor. Sack, Jörg-Rüdiger. editor. Salavatipour, Mohammad R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24766-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
509. 
Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings için kapak resmi
Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28–30, 2019, Proceedings
Yazar 
Holmes, Ian. editor. (orcid)0000-0001-7639-5369 Martín-Vide, Carlos. editor. (orcid)0000-0003-1670-6000 Vega-Rodríguez, Miguel A. editor. (orcid)0000-0002-3003-758X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-18174-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
510. 
Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems için kapak resmi
Enhanced Living Environments Algorithms, Architectures, Platforms, and Systems
Yazar 
Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 Garcia, Nuno M. editor. (orcid)0000-0002-3195-3168 Dobre, Ciprian. editor. (orcid)0000-0003-4638-7725 Mavromoustakis, Constandinos X. editor. (orcid)0000-0003-0333-8034 Goleva, Rossitza. editor. (orcid)0000-0002-6268-0756
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-10752-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
511. 
Pervasive Systems, Algorithms and Networks 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings için kapak resmi
Pervasive Systems, Algorithms and Networks 16th International Symposium, I-SPAN 2019, Naples, Italy, September 16-20, 2019, Proceedings
Yazar 
Esposito, Christian. editor. Hong, Jiman. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-30143-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
512. 
Clinical Algorithms in General Surgery A Practical Guide için kapak resmi
Clinical Algorithms in General Surgery A Practical Guide
Yazar 
Docimo Jr., Salvatore. editor. Pauli, Eric M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-98497-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
513. 
Sequential and Parallel Algorithms and Data Structures The Basic Toolbox için kapak resmi
Sequential and Parallel Algorithms and Data Structures The Basic Toolbox
Yazar 
Sanders, Peter. author. Mehlhorn, Kurt. author. Dietzfelbinger, Martin. author. Dementiev, Roman. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25209-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
514. 
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Yazar 
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17465-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
515. 
Exploring the DataFlow Supercomputing Paradigm Example Algorithms for Selected Applications için kapak resmi
Exploring the DataFlow Supercomputing Paradigm Example Algorithms for Selected Applications
Yazar 
Milutinovic, Veljko. editor. Kotlar, Milos. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-13803-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
516. 
Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings için kapak resmi
Algorithms and Discrete Applied Mathematics 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings
Yazar 
Pal, Sudebkumar Prasant. editor. Vijayakumar, Ambat. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-11509-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets