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.
(17)
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ç
Eylem Seç
64 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Thermal Sensors Principles and Applications for Semiconductor Industries için kapak resmi
Thermal Sensors Principles and Applications for Semiconductor Industries
Yazar 
Jha, Chandra Mohan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-1-4939-2581-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Photovoltaic Sources Modeling and Emulation için kapak resmi
Photovoltaic Sources Modeling and Emulation
Yazar 
Di Piazza, Maria Carmela. author. Vitale, Gianpaolo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE(330965.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4471-4378-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers için kapak resmi
Job Scheduling Strategies for Parallel Processing 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers
Yazar 
Cirne, Walfredo. editor. Desai, Narayan. editor. Frachtenberg, Eitan. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334071.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-35867-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings için kapak resmi
Parallel Computing Technologies 12th International Conference, PaCT 2013, St. Petersburg, Russia, September 30 - October 4, 2013. Proceedings
Yazar 
Malyshkin, Victor. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334871.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-39958-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
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:
42. 
Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings için kapak resmi
Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings
Yazar 
Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(334573.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-38279-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
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:
44. 
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:
45. 
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:
46. 
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:
47. 
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:
48. 
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:
Eylem Seç