KIRJAUDU

ostoskori

avaa valikko

K. Narayan Kumar | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 26 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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Kovakantinen kirja

169,60 €

CAD/CAM ROBOTICS AND FACTORIES OF THE FUTURE

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

144,20 €

POPULATION AGEING IN INDIA

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

89,50 €

SIMPLE ECONOMICAL FLEXIBLE APPARATUS FOR SOLID PHASE PEPTIDE SYNTHESIS

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

59,10 €

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)
Saatavuus: Hankintapalvelu
Kovakantinen kirja

154,30 €

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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

61,40 €

NEUROIMMUNE SYSTEM

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

145,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)
Saatavuus: Hankintapalvelu
Kovakantinen kirja

154,00 €

MICRO IRRIGATION SYSTEMS IN INDIA - EMERGENCE, STATUS AND IMPACTS

P K Viswanathan; M. Dinesh Kumar; A. Narayanamoorthy
Springer Verlag, Singapore (2016)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

CHASING THE INDIAN SUMMER MONSOON AT ITS GATEWAY

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

86,60 €

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

Sanjeevikumar P. (ed.); Nagesh Prabhu (ed.); Suryanarayana K. (ed.)
Springer (2021)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

67,40 €

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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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

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