SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

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
122,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Supramolecular And Colloidal Structures In Biomaterials And Biosubstrates
Moti Lal; P J Lillford; V M Naik; V Prakash
Imperial College Press (2000)
Kovakantinen kirja
211,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Megaloporous Tablet - Preparation and Evaluations
Patel Amrit Lal; Gautam Surya Prakash; Keservani Raj K
LAP Lambert Academic Publishing (2015)
Pehmeäkantinen kirja
84,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Microbes for Climate Resilient Agriculture
Prem Lal Kashyap; Alok Kumar Srivastava; Shree Prakash Tiwari; Sudheer Kumar
John Wiley and Sons Ltd (2018)
Kovakantinen kirja
192,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Invasion and Metastasis of Oral Squamous Cell Carcinoma
Binola B; Arul Prakash; Jaish Lal
LAP Lambert Academic Publishing (2021)
Pehmeäkantinen kirja
131,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
New Horizons in Wheat and Barley Research : Crop Protection and Resource Management
Prem Lal Kashyap (ed.); Vikas Gupta (ed.); Om Prakash Gupta (ed.); R. Sendhil (ed.); K. Gopalareddy (ed.); Poonam Jasrotia
Springer (2022)
Kovakantinen kirja
198,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
New Horizons in Wheat and Barley Research : Global Trends, Breeding and Quality Enhancement
Prem Lal Kashyap (ed.); Vikas Gupta (ed.); Om Prakash Gupta (ed.); R. Sendhil (ed.); K. Gopalareddy (ed.); Poonam Jasrotia
Springer (2022)
Kovakantinen kirja
215,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
New Horizons in Wheat and Barley Research : Global Trends, Breeding and Quality Enhancement
Prem Lal Kashyap (ed.); Vikas Gupta (ed.); Om Prakash Gupta (ed.); R. Sendhil (ed.); K. Gopalareddy (ed.); Poonam Jasrotia
Springer (2023)
Pehmeäkantinen kirja
215,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
New Horizons in Wheat and Barley Research : Crop Protection and Resource Management
Prem Lal Kashyap (ed.); Vikas Gupta (ed.); Om Prakash Gupta (ed.); R. Sendhil (ed.); K. Gopalareddy (ed.); Poonam Jasrotia
Springer (2023)
Pehmeäkantinen kirja
198,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Interprocedural Analysis and the Verification of Concurrent Programs.
122,50 €
Proquest, Umi Dissertation Publishing
Sivumäärä: 250 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2011, 01.09.2011 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
Helsinki
Tapiola
Turku
Tampere
Interprocedural Analysis and the Verification of Concurrent Programs.
Näytä kaikki tuotetiedot
ISBN:
9781243672636
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste