KIRJAUDU

ostoskori

avaa valikko

Akash Lal | Akateeminen Kirjakauppa

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

INTERPROCEDURAL ANALYSIS AND THE VERIFICATION OF CONCURRENT PROGRAMS.

Akash Lal
Proquest, Umi Dissertation Publishing (2011)
Pehmeäkantinen kirja

126,30 €

VERIFIED SOFTWARE. THEORIES, TOOLS AND EXPERIMENTS. : 14TH INTERNATIONAL CONFERENCE, VSTTE 2022, TRENTO, ITALY, OCTOBER 17–18, 2

Akash Lal (ed.); Stefano Tonetta (ed.)
Springer (2023)
Pehmeäkantinen kirja

51,40 €

SUPRAMOLECULAR AND COLLOIDAL STRUCTURES IN BIOMATERIALS AND BIOSUBSTRATES

Moti Lal; P J Lillford; V M Naik; V Prakash
Imperial College Press (2000)
Kovakantinen kirja

216,50 €

VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION - 16TH INTERNATIONAL CONFERENCE, VMCAI 2015, MUMBAI, INDIA, JANUARY 12

Deepak D'Souza; Akash Lal; Kim Guldstrand Larsen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

51,40 €

COMPUTER AIDED VERIFICATION : 35TH INTERNATIONAL CONFERENCE, CAV 2023, PARIS, FRANCE, JULY 17–22, 2023, PROCEEDINGS, PART II

Constantin Enea (ed.); Akash Lal (ed.)
Springer (2023)
Pehmeäkantinen kirja

41,40 €

COMPUTER AIDED VERIFICATION : 35TH INTERNATIONAL CONFERENCE, CAV 2023, PARIS, FRANCE, JULY 17–22, 2023, PROCEEDINGS, PART III

Constantin Enea (ed.); Akash Lal (ed.)
Springer (2023)
Pehmeäkantinen kirja

41,40 €

COMPUTER AIDED VERIFICATION : 35TH INTERNATIONAL CONFERENCE, CAV 2023, PARIS, FRANCE, JULY 17–22, 2023, PROCEEDINGS, PART I

Constantin Enea (ed.); Akash Lal (ed.)
Springer (2023)
Pehmeäkantinen kirja

41,40 €

MEGALOPOROUS TABLET - PREPARATION AND EVALUATIONS

Patel Amrit Lal; Gautam Surya Prakash; Keservani Raj K
LAP Lambert Academic Publishing (2015)
Pehmeäkantinen kirja

86,90 €

MICROBES FOR CLIMATE RESILIENT AGRICULTURE

Prem Lal Kashyap; Alok Kumar Srivastava; Shree Prakash Tiwari; Sudheer Kumar
John Wiley and Sons Ltd (2018)
Kovakantinen kirja

197,40 €

INVASION AND METASTASIS OF ORAL SQUAMOUS CELL CARCINOMA

Binola B; Arul Prakash; Jaish Lal
LAP Lambert Academic Publishing (2021)
Pehmeäkantinen kirja

134,40 €

NEW HORIZONS IN WHEAT AND BARLEY RESEARCH - CROP PROTECTION AND RESOURCE MANAGEMENT

Prem Lal Kashyap; Vikas Gupta; Om Prakash Gupta; R. Sendhil; K. Gopalareddy; Poonam Jasrotia; Gyanendra Pratap Singh
Springer Verlag, Singapore (2022)
Kovakantinen kirja

205,70 €

NEW HORIZONS IN WHEAT AND BARLEY RESEARCH - GLOBAL TRENDS, BREEDING AND QUALITY ENHANCEMENT

Prem Lal Kashyap; Vikas Gupta; Om Prakash Gupta; R. Sendhil; K. Gopalareddy; Poonam Jasrotia; Gyanendra Pratap Singh
Springer Verlag, Singapore (2022)
Kovakantinen kirja

223,50 €

NEW HORIZONS IN WHEAT AND BARLEY RESEARCH - GLOBAL TRENDS, BREEDING AND QUALITY ENHANCEMENT

Prem Lal Kashyap; Vikas Gupta; Om Prakash Gupta; R. Sendhil; K. Gopalareddy; Poonam Jasrotia; Gyanendra Pratap Singh
Springer Verlag, Singapore (2023)
Pehmeäkantinen kirja

223,50 €

NEW HORIZONS IN WHEAT AND BARLEY RESEARCH - CROP PROTECTION AND RESOURCE MANAGEMENT

Prem Lal Kashyap; Vikas Gupta; Om Prakash Gupta; R. Sendhil; K. Gopalareddy; Poonam Jasrotia; Gyanendra Pratap Singh
Springer Verlag, Singapore (2023)
Pehmeäkantinen kirja

205,70 €

Hae lisää...

Interprocedural Analysis and the Verification of Concurrent Programs.

Akash Lal

126,30 €

Proquest, Umi Dissertation Publishing
Sivumäärä: 250 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 01.09.2011 (lisätietoa)
Kieli: Englanti

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuotteella on huono saatavuus ja tuote toimitetaan hankintapalvelumme kautta. Tilaamalla tämän tuotteen hyväksyt palvelun aloittamisen. Seuraa saatavuutta.

Myymäläsaatavuus