SULJE VALIKKO

avaa valikko

Richard J. Jackson | Akateeminen Kirjakauppa

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



Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 200
Richard J. Boulton; Paul B. Jackson
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Matchett`s Baltimore director : for . yr.1835-1836
Hatchett; Richard J; Jackson; Samuel
Kniga po trebovaniyu
17,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Matchett's Baltimore Director
Richard J Hatchett; Samuel Jackson
Creative Media Partners, LLC (2021)
Kovakantinen kirja
46,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Matchett's Baltimore Director: for ..; yr.1835-1836
Richard J. Hatchett; Samuel Jackson
Creative Media Partners, LLC (2021)
Pehmeäkantinen kirja
31,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Balancing the Scale
Richard J. Jackson
AuthorHouse (2010)
Pehmeäkantinen kirja
19,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Designing Healthy Communities
Richard J. Jackson; Stacy Sinclair
John Wiley & Sons Inc (2011)
Kovakantinen kirja
65,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Chicago Pre-Boomers
Richard J Jackson
Authorhouse (2014)
Pehmeäkantinen kirja
26,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Called and Chosen
Richard E. Williams; Rebecca J. Jackson
Scarecrow Press (1981)
Pehmeäkantinen kirja
58,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Urban Sprawl and Public Health - Designing, Planning, and Building for Healthy Communities
Howard Frumkin; Lawrence Frank; Richard J. Jackson
Island Press (2004)
Pehmeäkantinen kirja
33,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Columbia University Lectures: Lectures on Literature (1911)
Brander Matthews; Richard J. H. Gottheil; A. V. W. Jackson
INDYPUBLISH.COM (2008)
Pehmeäkantinen kirja
41,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Columbia University Lectures: Lectures on Literature (1911)
Brander Matthews; Richard J. H. Gottheil; A. V. W. Jackson
INDYPUBLISH.COM (2008)
Kovakantinen kirja
88,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Making Healthy Places - Designing and Building for Health, Well-being, and Sustainability
Andrew L. Dannenberg; Howard Frumkin; Richard J. Jackson
Island Press (2011)
Kovakantinen kirja
70,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Making Healthy Places - Designing and Building for Health, Well-being, and Sustainability
Andrew L. Dannenberg; Howard Frumkin; Richard J. Jackson
Island Press (2011)
Pehmeäkantinen kirja
40,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Health and the Environment in the Southeastern United States - Rebuilding Unity: Workshop Summary
Christine M. Coussens; Richard J. Jackson; Howard Frumkin
National Academies Press (2002)
Pehmeäkantinen kirja
31,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Power of Culture - Critical Essays in American History
Richard Wightman Fox; T. J. Jackson Lears
The University of Chicago Press (1993)
Pehmeäkantinen kirja
40,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Thorns in the flesh :  A voice of vindication from the South in answer to "A fool`s errand" and other slanders .
Floyd; N. J. (Nicholas Jackson); b.; Gregory; Edward Sanford; Wilmer; Richard Hooker; former owner
Kniga po trebovaniyu
20,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Management and Business Research
Mark Easterby-Smith; Richard Thorpe; Paul R Jackson; Lena J. Jaspersen
SAGE Publications Ltd (2018)
Moniviestin
97,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 200
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 402 sivua
Asu: Pehmeäkantinen kirja
Painos: 2001
Julkaisuvuosi: 2001, 22.08.2001 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 2152
This volume constitutes the proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001) held 3–6 September 2001 in Edinburgh, Scotland. TPHOLs covers all aspects of theorem proving in higher order logics, as well as related topics in theorem proving and veri?cation. TPHOLs 2001 was collocated with the 11th Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods (CHARME 2001). This was held 4–7 September 2001 in nearby Livingston, Scotland at the Institute for System Level Integration, and a joint half-day session of talks was arranged for the 5th September in Edinburgh. An excursion to Traquair House and a banquet in the Playfair Library of Old College, University of Edinburgh were also jointly organized. The proceedings of CHARME 2001 have been p- lished as volume 2144 of Springer-Verlag’s Lecture Notes in Computer Science series, with Tiziana Margaria and Tom Melham as editors. Each of the 47 papers submitted in the full research category was refereed by at least 3 reviewers who were selected by the Program Committee. Of these submissions, 23 were accepted for presentation at the conference and publication in this volume. In keeping with tradition, TPHOLs 2001 also o?ered a venue for the presentation of work in progress, where researchers invite discussion by means of a brief preliminary talk and then discuss their work at a poster session. A supplementary proceedings containing associated papers for work in progress was published by the Division of Informatics at the University of Edinburgh.

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
Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 200zoom
Näytä kaikki tuotetiedot
ISBN:
9783540425250
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste