Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
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ç
9 sonuç bulundu Arama sonuçlarına abone ol
000000000DEFAULT_TR
Yazdır
1. 
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction için kapak resmi
Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction
Yazar 
Shukla, Sandeep K. editor. Talpin, Jean-Pierre. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6400-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications için kapak resmi
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Yazar 
Singh, Gaurav. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4419-6481-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz için kapak resmi
Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz
Yazar 
Ravi, S. S. editor. Shukla, Sandeep K. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-9688-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Ingredients for Successful System Level Design Methodology için kapak resmi
Ingredients for Successful System Level Design Methodology
Yazar 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation için kapak resmi
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Yazar 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/b117249
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Concentration Analysis and Applications to PDE ICTS Workshop, Bangalore, January 2012 için kapak resmi
Concentration Analysis and Applications to PDE ICTS Workshop, Bangalore, January 2012
Yazar 
Adimurthi, . editor. Sandeep, K. editor. Schindler, Ian. editor. Tintarev, Cyril. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE(332609.1)
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-0348-0373-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings için kapak resmi
Contemporary Computing Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings
Yazar 
Ranka, Sanjay. editor. Aluru, Srinivas. editor. Buyya, Rajkumar. editor. Chung, Yeh-Ching. editor. Dua, Sumeet. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-03547-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Principles and Practice of Controlled Ovarian Stimulation in ART için kapak resmi
Principles and Practice of Controlled Ovarian Stimulation in ART
Yazar 
Ghumman, Surveen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-81-322-1686-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Epstein Barr Virus Volume 1 One Herpes Virus: Many Diseases için kapak resmi
Epstein Barr Virus Volume 1 One Herpes Virus: Many Diseases
Yazar 
Münz, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-22822-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: