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ç
9 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
1. 
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Yazar 
Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-642-54862-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Numerical Approximation of Exact Controls for Waves için kapak resmi
Numerical Approximation of Exact Controls for Waves
Yazar 
Ervedoza, Sylvain. author. Zuazua, Enrique. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331869.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4614-5808-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift için kapak resmi
Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschrift
Yazar 
Paule, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332822.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-319-00966-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications için kapak resmi
Randomized Algorithms for Analysis and Control of Uncertain Systems With Applications
Yazar 
Tempo, Roberto. author. Calafiore, Giuseppe. author. Dabbene, Fabrizio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(331024.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4610-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
The BOXES Methodology Black Box Dynamic Control için kapak resmi
The BOXES Methodology Black Box Dynamic Control
Yazar 
Russell, David W. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-528-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Game Theory for Control of Optical Networks için kapak resmi
Game Theory for Control of Optical Networks
Yazar 
Pavel, Lacra. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-8322-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
System Identification with Quantized Observations için kapak resmi
System Identification with Quantized Observations
Yazar 
Wang, Le Yi. author. Yin, G. George. author. Zhang, Ji-Feng. author. Zhao, Yanlong. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4956-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms için kapak resmi
Semantics-Oriented Natural Language Processing Mathematical Models and Algorithms
Yazar 
Fomichov A., Vladimir. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-387-72926-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Randomized Algorithms for Analysis and Control of Uncertain Systems için kapak resmi
Randomized Algorithms for Analysis and Control of Uncertain Systems
Yazar 
Tempo, Roberto. author. Dabbene, Fabrizio. author. Calafiore, Giuseppe. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b137802
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: