KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

K. Narayan Kumar | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 30 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

171,50 €

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,90 €

POPULATION AGEING IN INDIA

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

90,50 €

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,70 €

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,80 €

TRACTORS AND AGRICULTURAL MACHINERY

K. Srinivasan; Sanjeev Kumar Singh; V.v. Narayanan; L.geetha Lakshmi
MP-NPA New India Publishing Agency - NIPA (2015)
Kovakantinen kirja

120,90 €

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

62,10 €

NEUROIMMUNE SYSTEM

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

147,10 €

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,60 €

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,70 €

GROUND CHARACTERIZATION AND FOUNDATIONS : PROCEEDINGS OF INDIAN GEOTECHNICAL CONFERENCE 2020 VOLUME 1

C. N. V. Satyanarayana Reddy (ed.); K. Muthukkumaran (ed.); Neelima Satyam (ed.); Ravikiran Vaidya (ed.)
Springer (2021)
Kovakantinen kirja

198,50 €

RECENT ADVANCES IN MANUFACTURING, AUTOMATION, DESIGN AND ENERGY TECHNOLOGIES : PROCEEDINGS FROM ICOFT 2020

Sendhil Kumar Natarajan (ed.); Rajiv Prakash (ed.); K. Sankaranarayanasamy (ed.)
Springer (2021)
Kovakantinen kirja

258,60 €

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

Myymäläsaatavuus