Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(165)
Jonsson, Magnus. editor.
(3)
Ju, Zhaojie. editor.
(3)
Liu, Jinguo. editor.
(3)
Liu, Lianqing. editor.
(3)
Dil
English
(165)
Yayın Yılı
-
2019
(109)
2014
(56)
Konu
Computers.
(68)
Artificial intelligence.
(51)
Special purpose computers.
(50)
Application software.
(46)
Computer security.
(36)
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ç
165 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
1. 
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I için kapak resmi
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I
Yazar 
Esparza, Javier. editor. Fraigniaud, Pierre. editor. Husfeldt, Thore. editor. Koutsoupias, Elias. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43948-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings için kapak resmi
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings
Yazar 
Fischbach, Kai. editor. Krieger, Udo R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-05359-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers için kapak resmi
Constructive Side-Channel Analysis and Secure Design 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers
Yazar 
Prouff, Emmanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-10175-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings için kapak resmi
Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Yazar 
Cassez, Franck. editor. Raskin, Jean-Francois. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11936-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Information and Communication Technology Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings için kapak resmi
Information and Communication Technology Second IFIP TC 5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014, Proceedings
Yazar 
Linawati. editor. Mahendra, Made Sudiana. editor. Neuhold, Erich J. editor. Tjoa, A Min. editor. You, Ilsun. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-55032-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings için kapak resmi
Principles of Distributed Systems 18th International Conference, OPODIS 2014, Cortina d'Ampezzo, Italy, December 16-19, 2014. Proceedings
Yazar 
Aguilera, Marcos K. editor. Querzoni, Leonardo. editor. Shapiro, Marc. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-14472-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers
Yazar 
Desai, Narayan. editor. Cirne, Walfredo. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-43779-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings için kapak resmi
Human-Centered Software Engineering 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings
Yazar 
Sauer, Stefan. editor. Bogdan, Cristian. editor. (orcid)0000-0001-7549-1797 Forbrig, Peter. editor. Bernhaupt, Regina. editor. Winckler, Marco. editor. (orcid)0000-0002-0756-6934
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-44811-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç