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
517. 
Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings için kapak resmi
Architecture of Computing Systems -- ARCS 2014 27th International Conference, Lübeck, Germany, February 25-28, 2014, Proceedings
Yazar 
Maehle, Erik. editor. Römer, Kay. editor. Karl, Wolfgang. editor. Tovar, Eduardo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-04891-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
518. 
Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings için kapak resmi
Hybrid Learning Theory and Practice 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings
Yazar 
Cheung, Simon K.S. editor. Fong, Joseph. editor. Zhang, Jiping. editor. Kwan, Reggie. editor. Kwok, Lam For. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-08961-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
519. 
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings için kapak resmi
Theory and Applications of Satisfiability Testing - SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
Yazar 
Sinz, Carsten. editor. Egly, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09284-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
520. 
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III için kapak resmi
Computational Science and Its Applications - ICCSA 2014 14th International Conference, Guimarães, Portugal, June 30 - July 3, 204, Proceedings, Part III
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-09150-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
521. 
Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings için kapak resmi
Structural Information and Communication Complexity 21st International Colloquium, SIROCCO 2014, Takayama, Japan, July 23-25, 2014, Proceedings
Yazar 
Halldórsson, Magnús M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09620-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
522. 
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings için kapak resmi
Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings
Yazar 
Legay, Axel. editor. Bozga, Marius. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10512-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
523. 
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings
Yazar 
Jürgensen, Helmut. editor. Karhumäki, Juhani. editor. Okhotin, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09704-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
524. 
Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings için kapak resmi
Swarm Intelligence 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings
Yazar 
Dorigo, Marco. editor. (orcid)0000-0002-3971-0507 Birattari, Mauro. editor. (orcid)0000-0003-3309-2194 Garnier, Simon. editor. Hamann, Heiko. editor. Montes de Oca, Marco. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-09952-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
525. 
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings için kapak resmi
Computer Algebra in Scientific Computing 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings
Yazar 
Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. Vorozhtsov, Evgenii V. editor. (orcid)0000-0003-2753-8399 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10515-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
526. 
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Cohen, Albert. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54807-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
527. 
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof için kapak resmi
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
Yazar 
Kovalev, Mikhail. author. Müller, Silvia M. author. Paul, Wolfgang J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
528. 
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers için kapak resmi
Parameterized and Exact Computation 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers
Yazar 
Cygan, Marek. editor. Heggernes, Pinar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-13524-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç