İYTE Library Logo

DEFAULT_TR
6 sonuç bulundu Arama sonuçlarına abone ol
Select All
Liste görünümüne geç
Küçük resim görünümüne geç
000000DEFAULT_TR
Yazdır
1. 
Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control için kapak resmi
Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control
Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control
by 
Huang, Bo. editor.
https://doi.org/10.1007/978-3-662-48768-6
Format: 
Elektronik Kaynak
Alıntı: 
Proceedings of the 5th International Conference on Electrical Engineering and Automatic Control
3. 
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005 için kapak resmi
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005
by 
Vachoux, A. editor.
http://dx.doi.org/10.1007/978-1-4020-4998-9
Format: 
Elektronik Kaynak
Alıntı: 
Simulation Based on Wave Exchanges -- Automatic Generation of a Coverification Platform -- UML/XML-Based
4. 
Advances in Automatic Differentiation için kapak resmi
Advances in Automatic Differentiation
Advances in Automatic Differentiation
by 
Bischof, Christian H. editor.
http://dx.doi.org/10.1007/978-3-540-68942-3
Format: 
Elektronik Kaynak
Alıntı: 
Control -- Development and First Applications of TAC++ -- TAPENADE for C -- Coping with a Variable Number
5. 
Intelligent Computer Techniques in Applied Electromagnetics için kapak resmi
Intelligent Computer Techniques in Applied Electromagnetics
Intelligent Computer Techniques in Applied Electromagnetics
by 
Wiak, Sławomir. editor.
http://dx.doi.org/10.1007/978-3-540-78490-6
Format: 
Elektronik Kaynak
Alıntı: 
Elements for FEM-BEM -- On the Use of Automatic Cuts Algorithm for T0 – T – ? Formulation in Nondestructive
6. 
Formal Methods Applied to Complex Systems. için kapak resmi
Formal Methods Applied to Complex Systems.
Formal Methods Applied to Complex Systems.
by 
Boulanger, Jean-Louis.
Click to View
Format: 
Elektronik Kaynak
Alıntı: 
. Check_blvar -- 9.4.3. Chaine_verif -- 9.5. Proof of the BCARe validation lemmas -- 9.5.1. Automatic proof
Select All
6 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Tarihi
This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.
-
Konu
Raf Lokasyonu
Kütüphane

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR