Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(785)
Apduhan, Bernady O. editor.
(22)
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
(792)
Yayın Yılı
-
2013
(199)
2019
(150)
2015
(147)
2014
(146)
2018
(144)
Konu
Computer science.
(298)
Artificial intelligence.
(230)
Computer Science, general.
(199)
Software engineering.
(172)
Algorithms.
(146)
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ç
792 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
577. 
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V için kapak resmi
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part V
Yazar 
Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886 Torre, Carmelo. editor. (orcid)0000-0003-4737-6040 Rocha, Jorge Gustavo. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09156-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
578. 
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday için kapak resmi
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday
Yazar 
Calude, Cristian S. editor. Freivalds, Rūsiņš. editor. Kazuo, Iwama. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13350-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
579. 
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings için kapak resmi
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Yazar 
Biere, Armin. editor. (orcid)0000-0001-7170-9242 Bloem, Roderick. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08867-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
580. 
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings için kapak resmi
Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Yazar 
Hong, Hoon. editor. Yap, Chee. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44199-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
581. 
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II için kapak resmi
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Yazar 
Csuhaj-Varjú, Ersébet. editor. Dietzfelbinger, Martin. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44465-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
582. 
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings için kapak resmi
Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014, Proceedings
Yazar 
Ouaknine, Joel. editor. Potapov, Igor. editor. Worrell, James. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11439-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
583. 
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers için kapak resmi
High Performance Computing Systems. Performance Modeling, Benchmarking and Simulation 4th International Workshop, PMBS 2013, Denver, CO, USA, November 18, 2013. Revised Selected Papers
Yazar 
Jarvis, Stephen A. editor. Wright, Steven A. editor. Hammond, Simon D. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10214-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
584. 
Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers için kapak resmi
Languages and Compilers for Parallel Computing 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25--27, 2013. Revised Selected Papers
Yazar 
Cașcaval, Călin. editor. Montesinos, Pablo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09967-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
585. 
Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings için kapak resmi
Network and Parallel Computing 11th IFIP WG 10.3 International Conference, NPC 2014, Ilan, Taiwan, September 18-20, 2014, Proceedings
Yazar 
Hsu, Ching-Hsien. editor. (orcid)0000-0002-2440-2771 Shi, Xuanhua. editor. Salapura, Valentina. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44917-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
586. 
Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings için kapak resmi
Applications and theory of Petri nets 29th international conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008 : proceedings
Yazar 
International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th : 2008 : Xi'an Shi, China) Hee, Kees Max van, 1946- Valk, R. (Rüdiger) Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470611647
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
587. 
Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022) için kapak resmi
Education, Research and Business Technologies Proceedings of 21st International Conference on Informatics in Economy (IE 2022)
Yazar 
Ciurea, Cristian. editor. Pocatilu, Paul. editor. Filip, Florin Gheorghe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-6755-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
588. 
Dictionary of Computer Science, Engineering and Technology için kapak resmi
Dictionary of Computer Science, Engineering and Technology
Yazar 
Laplante, Philip A., editor., author.
Yer Numarası 
QA76.15 L375 2017
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç