Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(27)
Alexandru, Andrei. author.
(1)
Andrei, Neculai. author.
(1)
Ayala-Rincón, Mauricio. author.
(1)
Bock, Hans Georg. editor.
(1)
Dil
Yayın Yılı
-
Konu
Mathematics.
(8)
Computer Science Logic and Foundations of Programming.
(7)
Computer science -- Mathematics.
(7)
Theory of Computation.
(6)
Logic design.
(5)
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ç
29 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
25. 
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings için kapak resmi
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Yazar 
Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-662-49630-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
Finitely Supported Mathematics An Introduction için kapak resmi
Finitely Supported Mathematics An Introduction
Yazar 
Alexandru, Andrei. author. Ciobanu, Gabriel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-42282-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization için kapak resmi
Linear-Quadratic Controls in Risk-Averse Decision Making Performance-Measure Statistics and Control Decision Optimization
Yazar 
Pham, Khanh D. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331670.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5079-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
28. 
Model Based Parameter Estimation Theory and Applications için kapak resmi
Model Based Parameter Estimation Theory and Applications
Yazar 
Bock, Hans Georg. editor. Carraro, Thomas. editor. Jäger, Willi. editor. Körkel, Stefan. editor. Rannacher, Rolf. editor.
Yer Numarası 
ONLINE(333324.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-30367-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
29. 
Nonlinear Optimization Applications Using the GAMS Technology için kapak resmi
Nonlinear Optimization Applications Using the GAMS Technology
Yazar 
Andrei, Neculai. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(332120.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-6797-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: