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
433. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
434. 
Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers için kapak resmi
Advances in Computer Games 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers
Yazar 
Plaat, Aske. editor. van den Herik, Jaap. editor. Kosters, Walter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27992-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
435. 
Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings için kapak resmi
Algorithms and Models for the Web Graph 12th International Workshop, WAW 2015, Eindhoven, The Netherlands, December 10-11, 2015, Proceedings
Yazar 
Gleich, David F. editor. Komjáthy, Júlia. editor. Litvak, Nelly. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-26784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
436. 
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings için kapak resmi
Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings
Yazar 
Dediu, Adrian-Horia. editor. Formenti, Enrico. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-15579-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
437. 
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings için kapak resmi
Applications of Evolutionary Computation 18th European Conference, EvoApplications 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings
Yazar 
Mora, Antonio M. editor. Squillero, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16549-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
438. 
Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers için kapak resmi
Graph Drawing and Network Visualization 23rd International Symposium, GD 2015, Los Angeles, CA, USA, September 24-26, 2015, Revised Selected Papers
Yazar 
Di Giacomo, Emilio. editor. Lubiw, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-27261-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
439. 
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II için kapak resmi
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Yazar 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-21668-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
440. 
Architecture of Computing Systems - ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings için kapak resmi
Architecture of Computing Systems - ARCS 2015 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings
Yazar 
Pinho, Luís Miguel Pinho. editor. Karl, Wolfgang. editor. Cohen, Albert. editor. Brinkschulte, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-16086-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
441. 
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings için kapak resmi
Formal Grammar 19th International Conference, Formal Grammar 2014, Tübingen, Germany, August 16-17, 2014. Proceedings
Yazar 
Morrill, Glyn. editor. Muskens, Reinhard. editor. Osswald, Rainer. editor. Richter, Frank. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44121-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
442. 
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings için kapak resmi
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Yazar 
Kohlenbach, Ulrich. editor. Barceló, Pablo. editor. de Queiroz, Ruy J G B. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44145-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
443. 
Algorithms - ESA 2014 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings için kapak resmi
Algorithms - ESA 2014 22th Annual European Symposium, Wrocław, Poland, September 8-10, 2014. Proceedings
Yazar 
Schulz, Andreas S. editor. Wagner, Dorothea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44777-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
444. 
Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings için kapak resmi
Reconfigurable Computing: Architectures, Tools, and Applications 10th International Symposium, ARC 2014, Vilamoura, Portugal, April 14-16, 2014. Proceedings
Yazar 
Goehringer, Diana. editor. Santambrogio, Marco Domenico. editor. Cardoso, João M.P. editor. Bertels, Koen. editor. (orcid)0000-0001-9310-4885 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05960-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç