Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(47)
Giese, Holger. editor.
(3)
Filipe, Joaquim. editor.
(2)
Fred, Ana. editor.
(2)
Gamboa, Hugo. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(26)
Software engineering.
(26)
Engineering.
(17)
Systems engineering.
(16)
Simulation and Modeling.
(9)
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ç
52 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Introduction to modeling and simulation of technical and physical systems with Modelica için kapak resmi
Introduction to modeling and simulation of technical and physical systems with Modelica
Yazar 
Fritzson, Peter A., 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=6047592
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Technische Informatik Band 2: Entwurf digitaler Schaltungen için kapak resmi
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Yazar 
Kemnitz, Günter. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 için kapak resmi
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Yazar 
Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-5527-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
POWER/HVMOS Devices Compact Modeling için kapak resmi
POWER/HVMOS Devices Compact Modeling
Yazar 
Grabinski, Wladyslaw. editor. Gneiting, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3046-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Introduction to Evolutionary Algorithms için kapak resmi
Introduction to Evolutionary Algorithms
Yazar 
Yu, Xinjie. author. Gen, Mitsuo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84996-129-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Evolution of Communication and Language in Embodied Agents için kapak resmi
Evolution of Communication and Language in Embodied Agents
Yazar 
Nolfi, Stefano. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-01250-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Circuit Simulation with SPICE OPUS Theory and Practice için kapak resmi
Circuit Simulation with SPICE OPUS Theory and Practice
Yazar 
Tuma, Tadej. author. Buermen, Árpád. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-8176-4867-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08 için kapak resmi
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Yazar 
Radetzki, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Quantum Circuit Simulation için kapak resmi
Quantum Circuit Simulation
Yazar 
Viamontes, George F. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-90-481-3065-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
New Methods of Concurrent Checking için kapak resmi
New Methods of Concurrent Checking
Yazar 
Göessel, Michael. author. Ocheretny, Vitaly. author. Sogomonyan, Egor. author. Marienfeld, Daniel. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8420-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components için kapak resmi
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Yazar 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 için kapak resmi
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Yazar 
Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç