Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(53)
Giese, Holger. editor.
(3)
Filipe, Joaquim. editor.
(2)
Fred, Ana. editor.
(2)
Gamboa, Hugo. editor.
(2)
Dil
Yayın Yılı
-
Konu
Computer science.
(27)
Software engineering.
(26)
Engineering.
(19)
Systems engineering.
(16)
Artificial intelligence.
(10)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
59 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits için kapak resmi
Variation-Aware Adaptive Voltage Scaling for Digital CMOS Circuits
Yazar 
Wirnshofer, Martin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(336184.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-6196-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
System Identification, Environmental Modelling, and Control System Design için kapak resmi
System Identification, Environmental Modelling, and Control System Design
Yazar 
Wang, Liuping. editor. Garnier, Hugues. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-0-85729-974-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
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:
40. 
Simulation and Verification of Electronic and Biological Systems için kapak resmi
Simulation and Verification of Electronic and Biological Systems
Yazar 
Li, Peng. editor. Silveira, Luís Miguel. editor. Feldmann, Peter. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-94-007-0149-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
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:
42. 
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems için kapak resmi
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Yazar 
Schnieder, Eckehard. editor. Tarnai, Geza. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-14261-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
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:
44. 
Conceptual modeling for discrete-event simulation için kapak resmi
Conceptual modeling for discrete-event simulation
Yazar 
Robinson, Stewart, 1964-
Yer Numarası 
QA76.9 .C65 C6566 2011
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
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:
46. 
Design Rules for Actuators in Active Mechanical Systems için kapak resmi
Design Rules for Actuators in Active Mechanical Systems
Yazar 
Gomis-Bellmunt, Oriol. author. Campanile, Lucio Flavio. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-84882-614-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
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:
48. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets