SULJE VALIKKO

avaa valikko

Gupta Rajesh Gupta | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 77 tuotetta
Haluatko tarkentaa hakukriteerejä?



Formal Methods and Models for System Design : A System Level Perspective
Rajesh Gupta (ed.); Paul Le Guernic (ed.); Sandeep Kumar Shukla (ed.); Jean-Pierre Talpin (ed.)
Springer (2011)
Pehmeäkantinen kirja
143,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Models for System Design - A System Level Perspective
Rajesh Gupta; Paul Le Guernic; Sandeep Kumar Shukla; Jean-Pierre Talpin
Springer-Verlag New York Inc. (2004)
Kovakantinen kirja
143,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Sumit Gupta; Rajesh Gupta; Nikil D. Dutt; Alexandru Nicolau
Springer-Verlag New York Inc. (2004)
Kovakantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Co-Synthesis of Hardware and Software for Digital Embedded Systems
Rajesh Kumar Gupta
Springer (1995)
Kovakantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
An Estimation of the Early Risk of Recurrent Ischemic Events at Two Days After Transient Ischemic Attack.
Rajesh Kumar Gupta
Proquest, Umi Dissertation Publishing (2011)
Pehmeäkantinen kirja
125,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Multiple Choice Questions in Regional Anaesthesia
Rajesh Gupta; Dilip Patel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2012)
Pehmeäkantinen kirja
68,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Co-Synthesis of Hardware and Software for Digital Embedded Systems
Rajesh Kumar Gupta
Springer-Verlag New York Inc. (2012)
Pehmeäkantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Pain Management - Essential Topics for Examinations
Rajesh Gupta
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja
51,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits
Sumit Gupta; Rajesh Gupta; Nikil D. Dutt; Alexandru Nicolau
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Symmetries and Exact Solutions for Nonlinear Systems
Rajesh Gupta
LAP Lambert Academic Publishing (2012)
Pehmeäkantinen kirja
98,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Multiple Choice Questions in Pain Management
Rajesh Gupta
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
66,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
PET/MR Imaging - A Case-Based Approach
Rajesh Gupta; Robert Matthews; Lev Bangiyev; Dinko Franceschi; Mark E. Schweitzer
Springer International Publishing AG (2017)
Pehmeäkantinen kirja
134,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Hands-On Data Analysis with Scala - Perform data collection, processing, manipulation, and visualization with Scala
Rajesh Gupta
Packt Publishing Limited (2019)
Pehmeäkantinen kirja
62,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Multiple Choice Questions in Regional Anaesthesia
Rajesh Gupta; Dilip Patel
Springer (2019)
Pehmeäkantinen kirja
86,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Biomedical Sensors Data Acquisition with LabVIEW - Effective Way to Integrate Arduino with LabView (English Edition)
Lovi Raj Gupta; Rajesh Gupta; Anita Gehlot
BPB Publications (2020)
Pehmeäkantinen kirja
24,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Standardization Of Drip Fertigation System For Garlic Crop
Rajesh Gupta; M K Hardaha; K P Mishra
LAP Lambert Academic Publishing (2021)
Pehmeäkantinen kirja
136,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Peel Off - A journey through different layers of human emotions to reach your soul
Rajesh Gupta
Independently Published (2019)
Pehmeäkantinen kirja
23,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Standardisierung des Drip-Fertigation-Systems für Knoblauchernte
Rajesh Gupta; M K Hardaha; K P Mishra
Verlag Unser Wissen (2021)
Pehmeäkantinen kirja
136,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Standardisation du système de fertirrigation goutte à goutte pour la culture de l'ail
Rajesh Gupta; M K Hardaha; K P Mishra
Editions Notre Savoir (2021)
Pehmeäkantinen kirja
136,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Standardizzazione del sistema di fertirrigazione a goccia per la coltura dell'aglio
Rajesh Gupta; M K Hardaha; K P Mishra
Edizioni Sapienza (2021)
Pehmeäkantinen kirja
136,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Methods and Models for System Design : A System Level Perspective
143,40 €
Springer
Sivumäärä: 372 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 14.12.2011 (lisätietoa)
Kieli: Englanti
Perhaps nothing characterizes the inherent heterogeneity in embedded sys­ tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre­ sent a careful division and design of hardware and software parts of the system To do this task effectively, models and methods are necessary functionality. to capture application behavior, needs and system implementation constraints. Formal modeling can be valuable in addressing these tasks. As with most engineering domains, co-design practice defines the state of the it seeks to add new capabilities in system conceptualization, mod­ art, though eling, optimization and implementation. These advances -particularly those related to synthesis and verification tasks -direct1y depend upon formal under­ standing of system behavior and performance measures. Current practice in system modeling relies upon exploiting high-level programming frameworks, such as SystemC, EstereI, to capture design at increasingly higher levels of ab­ straction and attempts to reduce the system implementation task. While raising the abstraction levels for design and verification tasks, to be really useful, these approaches must also provide for reuse, adaptation of the existing intellectual property (IP) blocks.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Formal Methods and Models for System Design : A System Level Perspectivezoom
Näytä kaikki tuotetiedot
ISBN:
9781441954640
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste