Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings için kapak resmi
Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings
Yazar 
Swart, Harrie. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-21070-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach için kapak resmi
Principles of object oriented modeling and simulation with Modelica 3.3 : a cyber-physical approach
Yazar 
Fritzson, Peter A., 1952-
Yer Numarası 
ONLINE(342108.1)
Elektronik Erişim 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781118989166
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Industrial used of formal method formal verification için kapak resmi
Industrial used of formal method formal verification
Yazar 
Boulanger, Jean-Louis.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Principles of object-oriented modeling and simulation with Modelica 2.1 için kapak resmi
Principles of object-oriented modeling and simulation with Modelica 2.1
Yazar 
Fritzson, Peter A., 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5264314
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: