Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(172)
Apduhan, Bernady O. editor.
(17)
Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X
(17)
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331
(17)
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959
(17)
Dil
English
(172)
Yayın Yılı
-
2018
(69)
2019
(52)
2014
(42)
2013
(9)
Konu
Artificial intelligence.
(74)
Computer science.
(64)
Computer logic.
(41)
Algorithms.
(34)
Logic design.
(33)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
172 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings için kapak resmi
Applied Reconfigurable Computing 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Yazar 
Hochberger, Christian. editor. Nelson, Brent. editor. Koch, Andreas. editor. Woods, Roger. editor. Diniz, Pedro. editor. (orcid)0000-0003-3131-9367
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-17227-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers için kapak resmi
High Performance Computing ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
Yazar 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Alam, Sadaf. editor. (orcid)0000-0002-2534-5078 Jagode, Heike. editor. (orcid)0000-0002-8173-9434 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-34356-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I için kapak resmi
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Yazar 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Yazar 
Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X Lynce, Inês. editor. (orcid)0000-0003-4868-415X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24258-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV için kapak resmi
Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV
Yazar 
Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-24305-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings için kapak resmi
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
Yazar 
Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-25636-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Yazar 
Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457 Haar, Stefan. editor. (orcid)0000-0002-1892-2703 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-21571-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings için kapak resmi
Numerical Software Verification 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings
Yazar 
Zamani, Majid. editor. Zufferey, Damien. editor. (orcid)0000-0002-3197-8736 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-28423-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings için kapak resmi
Computational Logistics 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
Yazar 
Paternina-Arboleda, Carlos. editor. (orcid)0000-0002-8860-3898 Voß, Stefan. editor. (orcid)0000-0003-1296-4221 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31140-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday için kapak resmi
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Yazar 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-31514-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings için kapak resmi
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Yazar 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets