Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(601)
Du, Ding-Zhu. editor.
(9)
Rießinger, Thomas. author.
(8)
Wiley InterScience (Online service)
(7)
Apduhan, Bernady O. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer science.
(187)
Artificial intelligence.
(156)
Computer software.
(143)
Computational complexity.
(116)
Mathematics.
(103)
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ç
735 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
469. 
Generic Inference a Unifying Theory for Automated Reasoning için kapak resmi
Generic Inference a Unifying Theory for Automated Reasoning
Yazar 
Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878
http://site.ebrary.com/lib/alltitles/Doc?id=10469758
Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
470. 
Computer methods. Part C için kapak resmi
Computer methods. Part C
Yazar 
Johnson, Michael L., 1947- Brand, Ludwig.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/publication?issn=00766879&volume=487
ScienceDirect http://www.sciencedirect.com/science/book/9780123812704
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
471. 
Digital Signal Processing in Power System Protection and Control için kapak resmi
Digital Signal Processing in Power System Protection and Control
Yazar 
Rebizant, Waldemar. author. Szafran, Janusz. author. Wiszniewski, Andrzej. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-802-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
472. 
Convex Analysis and Monotone Operator Theory in Hilbert Spaces için kapak resmi
Convex Analysis and Monotone Operator Theory in Hilbert Spaces
Yazar 
Bauschke, Heinz H. author. Combettes, Patrick L. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-9467-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
473. 
Arithmetics için kapak resmi
Arithmetics
Yazar 
Hindry, Marc. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-2131-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
474. 
Evolutionary Statistical Procedures An Evolutionary Computation Approach to Statistical Procedures Designs and Applications için kapak resmi
Evolutionary Statistical Procedures An Evolutionary Computation Approach to Statistical Procedures Designs and Applications
Yazar 
Baragona, Roberto. author. Battaglia, Francesco. author. Poli, Irene. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-16218-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
475. 
Endliche Strukturen için kapak resmi
Endliche Strukturen
Yazar 
Reiss, Kristina. author. Stroth, Gernot. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17182-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
476. 
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers için kapak resmi
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Yazar 
Alpuente, María. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
477. 
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings için kapak resmi
Experimental Algorithms 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings
Yazar 
Pardalos, Panos M. editor. Rebennack, Steffen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-20662-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
478. 
Structural Information and Communication Complexity 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings için kapak resmi
Structural Information and Communication Complexity 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings
Yazar 
Kosowski, Adrian. editor. Yamashita, Masafumi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22212-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
479. 
Combinatorial Optimization and Applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings için kapak resmi
Combinatorial Optimization and Applications 5th International Conference, COCOA 2011, Zhangjiajie, China, August 4-6, 2011. Proceedings
Yazar 
Wang, Weifan. editor. Zhu, Xuding. editor. Du, Ding-Zhu. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-22616-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
480. 
Linear Optimization The Simplex Workbook için kapak resmi
Linear Optimization The Simplex Workbook
Yazar 
Hurlbert, Glenn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-79148-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç