SULJE VALIKKO

avaa valikko

Gerard Berry | Akateeminen Kirjakauppa

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



Computer Aided Verification - 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Gerard Berry; Hubert Comon; Alain Finkel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
At Grattan Road
Gerard Hanberry
Salmon Poetry (2009)
Pehmeäkantinen kirja
45,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
What Our Shoes Say About Us
Gerard Hanberry
Salmon Poetry (2013)
Pehmeäkantinen kirja
41,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A catalogue of plants cultivated in the garden of John Gerard, in the years 1596?1599 /edited with notes, references to Gerard`s
Berry; T.; Gerard; John; Jackson; Benjamin Daydon; Pewtress & Co.
Kniga po trebovaniyu
15,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
More Lives Than One: The Remarkable Wilde Family Through the Generations
Gerard Hanberry
Collins Press (2012)
Kovakantinen kirja
84,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
On Raglan Road
Gerard Hanberry
Collins Press (2017)
Kovakantinen kirja
45,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Compiling Esterel
Dumitru Potop-Butucaru; Stephen A. Edwards; Gerard Berry
Springer-Verlag New York Inc. (2007)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Compiling Esterel
Dumitru Potop-Butucaru; Stephen A. Edwards; Gerard Berry
Springer-Verlag New York Inc. (2010)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Compiling Esterel
Dumitru Potop-Butucaru; Stephen A. Edwards; Gerard Berry
SPRINGER VERLAG GMBH (2008)
Pehmeäkantinen kirja
65,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Catalogue Of Plants Cultivated In The Garden Of John Gerard, In The Years 1596?1599 /edited With Notes, References To Gerard's
Berry T; Gerard John; Jackson Daydon
SAGWAN PR (2018)
Pehmeäkantinen kirja
48,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Catalogue Of Plants Cultivated In The Garden Of John Gerard, In The Years 1596?1599 /edited With Notes, References To Gerard's
Berry T; Gerard John; Jackson Daydon
Creative Media Partners, LLC (2023)
Pehmeäkantinen kirja
19,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Catalogue Of Plants Cultivated In The Garden Of John Gerard, In The Years 1596?1599 /edited With Notes, References To Gerard's
Berry T; Gerard John; Jackson Daydon
Creative Media Partners, LLC
Kovakantinen kirja
36,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Computer Aided Verification - 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
97,90 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 522 sivua
Asu: Pehmeäkantinen kirja
Painos: 2001
Julkaisuvuosi: 2001, 04.07.2001 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2102
This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001),held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The CAV conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and algorithms and techniques needed for their implemen- tion. ProgramCommitteeofCAV 2001 Rajeev Alur (Penn. &Bell labs) Bengt Jonsson (Uppsala) Henrik Reif Andersen (Copenhagen) Robert Kurshan (LucentBellLabs) G erard Berry (EsterelT. ,co-chair) Kim G. Larsen (Aalborg) Randy Bryant (CMU) Ken Mc Millan(Cadence) Jerry Burch (Cadence) Kedar Namjoshi (Belllabs) Ching-Tsun Chou (Intel) Christine Paulin-Mohring (Orsay) Edmund Clarke (CMU) Carl Pixley (Motorola) Hubert Comon (LSV& Stanford, co-chair) Kavita Ravi (Cadence) David Dill (Stanford) Natarajan Shankar (SRI) E. Allen Emerson (Austin) Mary Sheeran (Chalmers &Prover T. ) Alain Finkel (LSV,co-chair) Tom Shiple (Synopsys) Patrice Godefroid (Belllabs) A.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Computer Aided Verification - 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedingszoom
Näytä kaikki tuotetiedot
ISBN:
9783540423454
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste