KIRJAUDU

ostoskori

avaa valikko

K. Narayan Kumar | Akateeminen Kirjakauppa

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

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS - 15TH INTERNATIONAL SYMPOSIUM, ATVA 2017, PUNE, INDIA, OCTOBER 3–6, 2017, PR

Deepak D'Souza; K. Narayan Kumar
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

THE WATER, ENERGY AND FOOD SECURITY NEXUS - LESSONS FROM INDIA FOR DEVELOPMENT

M. Dinesh Kumar; Nitin Bassi; A. Narayanamoorthy; M.V.K. Sivamohan
Taylor & Francis Ltd (2014)
Kovakantinen kirja

170,60 €

CAD/CAM ROBOTICS AND FACTORIES OF THE FUTURE

S. Narayanan; K. Gokul Kumar; K. Janardhan Reddy; P. Kuppan
Narosa Publishing House (2006)
Kovakantinen kirja

145,20 €

POPULATION AGEING IN INDIA

G. Giridhar; K. M. Sathyanarayana; Sanjay Kumar; K. S. James; Moneer Alam
Cambridge University Press (2014)
Kovakantinen kirja

90,10 €

SIMPLE ECONOMICAL FLEXIBLE APPARATUS FOR SOLID PHASE PEPTIDE SYNTHESIS

Kvrc Rajesh Kumar; K Satyanarayana; K Satyanarayana
LAP Lambert Academic Publishing (2010)
Pehmeäkantinen kirja

62,60 €

WORLD TRADE AGREEMENT AND INDIAN AGRICULTURE: IMPLEMENTATION EXPERIENCE

Dr K. N. Ravi Kumar; Dr K. Shree Lakshmi; Dr T. V. Satyanarayana
Astral International Pvt Ltd (2008)
Kovakantinen kirja

155,10 €

THE WATER, ENERGY AND FOOD SECURITY NEXUS - LESSONS FROM INDIA FOR DEVELOPMENT

M. Dinesh Kumar; Nitin Bassi; A. Narayanamoorthy; M.V.K. Sivamohan
Taylor & Francis Ltd (2017)
Pehmeäkantinen kirja

61,80 €

CHEMISTRY OF LAC

P K (Purnendu Kumar) - Bose; Y Author Sankaranarayanan; Sailesh Chandra - Aut Sen Gupta
Hassell Street Press (2021)
Kovakantinen kirja

41,80 €

CHEMISTRY OF LAC

P K (Purnendu Kumar) - Bose; Y Author Sankaranarayanan; Sailesh Chandra - Aut Sen Gupta
Hassell Street Press (2021)
Pehmeäkantinen kirja

26,70 €

NEUROIMMUNE SYSTEM

Arpit Kumar Pradhan; Ashwin K. Jainarayanan; Shyamasree Ghosh
Taylor & Francis Ltd (2024)
Kovakantinen kirja

146,40 €

TRACTORS AND AGRICULTURAL MACHINERY: 2ND FULLY REVISED AND UPDATED EDITION

Lakshmi; K. Srinivasan; Sanjeev Kumar Singh; V.V. Narayanan & L.Geetha
New India Publishing Agency (2015)
Kovakantinen kirja

154,90 €

MICRO IRRIGATION SYSTEMS IN INDIA - EMERGENCE, STATUS AND IMPACTS

P K Viswanathan; M. Dinesh Kumar; A. Narayanamoorthy
Springer Verlag, Singapore (2016)
Kovakantinen kirja

97,90 €

RECENT FINDINGS IN INTELLIGENT COMPUTING TECHNIQUES : PROCEEDINGS OF THE 5TH ICACNI 2017, VOLUME 1

Pankaj Kumar Sa (ed.); Sambit Bakshi (ed.); Ioannis K. Hatzilygeroudis (ed.); Manmath Narayan Sahoo (ed.)
Springer (2018)
Pehmeäkantinen kirja

129,90 €

RECENT FINDINGS IN INTELLIGENT COMPUTING TECHNIQUES : PROCEEDINGS OF THE 5TH ICACNI 2017, VOLUME 2

Pankaj Kumar Sa (ed.); Sambit Bakshi (ed.); Ioannis K. Hatzilygeroudis (ed.); Manmath Narayan Sahoo (ed.)
Springer (2018)
Pehmeäkantinen kirja

129,90 €

RECENT FINDINGS IN INTELLIGENT COMPUTING TECHNIQUES : PROCEEDINGS OF THE 5TH ICACNI 2017, VOLUME 3

Pankaj Kumar Sa (ed.); Sambit Bakshi (ed.); Ioannis K. Hatzilygeroudis (ed.); Manmath Narayan Sahoo (ed.)
Springer (2018)
Pehmeäkantinen kirja

129,90 €

MICRO IRRIGATION SYSTEMS IN INDIA - EMERGENCE, STATUS AND IMPACTS

P K Viswanathan; M. Dinesh Kumar; A. Narayanamoorthy
Springer Verlag, Singapore (2018)
Pehmeäkantinen kirja

97,90 €

CHASING THE INDIAN SUMMER MONSOON AT ITS GATEWAY

Suresh Narayanan; K Mohanakumar
LAP Lambert Academic Publishing (2020)
Pehmeäkantinen kirja

131,10 €

ADVANCES IN RENEWABLE ENERGY AND ELECTRIC VEHICLES : SELECT PROCEEDINGS OF AREEV 2020

Sanjeevikumar P. (ed.); Nagesh Prabhu (ed.); Suryanarayana K. (ed.)
Springer (2021)
Kovakantinen kirja

172,80 €

ADVANCES IN RENEWABLE ENERGY AND ELECTRIC VEHICLES : SELECT PROCEEDINGS OF AREEV 2020

Sanjeevikumar P. (ed.); Nagesh Prabhu (ed.); Suryanarayana K. (ed.)
Springer (2022)
Pehmeäkantinen kirja

172,80 €

CLIMATE CHANGE, FOOD-GRAIN FARMING AND FOOD SECURITY IN INDIA

Ajay Kumar Singh; K G S Narayanan
LAP Lambert Academic Publishing (2018)
Pehmeäkantinen kirja

119,20 €

Hae lisää...

Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Pr

Deepak D'Souza, K. Narayan Kumar

49,60 €

Springer International Publishing AG
Sivumäärä: 482 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2017
Julkaisuvuosi: 2017, 04.10.2017 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017.
The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length.
The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus