Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(309)
Schlechta, Karl. author.
(4)
Yager, Ronald R. editor.
(4)
Blackburn, Patrick. editor.
(3)
Bouchon-Meunier, Bernadette. editor.
(3)
Dil
Yayın Yılı
-
Konu
Computer science.
(124)
Mathematical logic.
(76)
Artificial Intelligence (incl. Robotics).
(69)
Mathematical Logic and Formal Languages.
(48)
Mathematical optimization.
(46)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
324 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2 için kapak resmi
Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2
Yazar 
Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-67621-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses için kapak resmi
Intelligent Systems'2014 Proceedings of the 7th IEEE International Conference Intelligent Systems IS'2014, September 24‐26, 2014, Warsaw, Poland, Volume 1: Mathematical Foundations, Theory, Analyses
Yazar 
Angelov, P. editor. Atanassov, K.T. editor. Doukovska, L. editor. Hadjiski, M. editor. Jotsov, V. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-11313-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings için kapak resmi
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings
Yazar 
Kauers, Manuel. editor. Kerber, Manfred. editor. Miner, Robert. editor. Windsteiger, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-540-73086-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings için kapak resmi
Mathematical Knowledge Management 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006. Proceedings
Yazar 
Borwein, Jonathan M. editor. Farmer, William M. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11812289
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers için kapak resmi
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Yazar 
Kohlhase, Michael. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11618027
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Gene Expression Programming Mathematical Modeling by an Artificial Intelligence için kapak resmi
Gene Expression Programming Mathematical Modeling by an Artificial Intelligence
Yazar 
Ferreira, Cândida. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32849-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy için kapak resmi
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Allan Bundy
Yazar 
Kohlhase, Michael. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/11826095
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday için kapak resmi
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Yazar 
Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b106663
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy için kapak resmi
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
Yazar 
McCarthy, John, 1927-2011. Lifschitz, Vladimir.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780124500105
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
New State of MCDM in the 21st Century Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009 için kapak resmi
New State of MCDM in the 21st Century Selected Papers of the 20th International Conference on Multiple Criteria Decision Making 2009
Yazar 
Shi, Yong. editor. Wang, Shouyang. editor. Kou, Gang. editor. Wallenius, Jyrki. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-19695-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Economic Dynamics and Information için kapak resmi
Economic Dynamics and Information
Yazar 
Zajac, Jaroslav. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/3-540-32695-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
New Developments in Multiple Objective and Goal Programming için kapak resmi
New Developments in Multiple Objective and Goal Programming
Yazar 
Jones, Dylan. editor. Tamiz, Mehrdad. editor. Ries, Jana. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-10354-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets