Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
11 sonuç bulundu Arama sonuçlarına abone ol
00000000000DEFAULT_TR
Yazdır
1. 
Automated Reasoning and Mathematics Essays in Memory of William W. McCune için kapak resmi
Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Yazar 
Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334264.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-36675-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Programming Logics Essays in Memory of Harald Ganzinger için kapak resmi
Programming Logics Essays in Memory of Harald Ganzinger
Yazar 
Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334468.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-37651-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Time for Verification Essays in Memory of Amir Pnueli için kapak resmi
Time for Verification Essays in Memory of Amir Pnueli
Yazar 
Manna, Zohar. editor. Peled, Doron A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-13754-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings için kapak resmi
Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Yazar 
Stepney, Susan. editor. (orcid)0000-0003-3146-5401 Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-92435-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers için kapak resmi
Computer Engineering and Technology 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers
Yazar 
Xu, Weixia. editor. Xiao, Liquan. editor. Zhang, Chengyi. editor. Li, Jinwen. editor. Yu, Liyan. editor.
Yer Numarası 
ONLINE(335131.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-41635-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers için kapak resmi
Computer Engineering and Technology 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers
Yazar 
Xu, Weixia. editor. Xiao, Liquan. editor. Lu, Pingjing. editor. Li, Jinwen. editor. Zhang, Chengyi. editor.
Yer Numarası 
ONLINE(334080.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35898-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers
Yazar 
Monteiro, José. editor. Leuken, René. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11802-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings için kapak resmi
Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings
Yazar 
Kaeli, David. editor. Sachs, Kai. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-93799-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers
Yazar 
Svensson, Lars. editor. Monteiro, José. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-95948-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Yazar 
Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings için kapak resmi
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006. Proceedings
Yazar 
Vounckx, Johan. editor. Azemard, Nadine. editor. Maurine, Philippe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11847083
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: