KIRJAUDU

ostoskori

avaa valikko

Area | Akateeminen Kirjakauppa

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

COMPUTER AIDED VERIFICATION - 27TH INTERNATIONAL CONFERENCE, CAV 2015, SAN FRANCISCO, CA, USA, JULY 18-24, 2015, PROCEEDINGS, PA

Daniel Kroening; Corina S. Păsăreanu
Springer International Publishing AG (2015)
Pehmeäkantinen kirja

51,40 €

SEISMIC HAZARD AND RISK ASSESSMENT - UPDATED OVERVIEW WITH EMPHASIS ON ROMANIA

Radu Vacareanu; Constantin Ionescu
Springer International Publishing AG (2018)
Kovakantinen kirja

205,70 €

UNEQUAL CHILDHOODS - CLASS, RACE, AND FAMILY LIFE

Annette Lareau
University of California Press (2011)
Pehmeäkantinen kirja

39,10 €

ACTING TOGETHER II: PERFORMANCE AND THE CREATIVE - BUILDING JUST AND INCLUSIVE COMMUNITIES

Cynthia Cohen; Roberto Gutiérr Varea; Polly O. Walker
MI - New York University (2011)
Pehmeäkantinen kirja

22,30 €

EXTENICS AND INNOVATION METHODS

Wen Cai; Chunyan Yang; Florentin Smarandache; Luigi Vladareanu; Qiaoxing Li; Guangtian Zou; Yanwei Zhao; Xingsen Li
Taylor & Francis Ltd (2013)
Kovakantinen kirja

203,40 €

RAGNARÖK

Felix Strandberg; Kasper Rosenberg; Gertrud Bondesson; Stanislav Hallberg; Mathias Näreaho
Gamesh (2014)
Pehmeäkantinen kirja

10,70 €

GOYA

Juliet Wilson-Bareau; Juliet Wilson Bareau
LUND HUMPHRIES (2001)
Kovakantinen kirja

106,10 €

RETURN OF ZOMBERT

Kara Lareau
Candlewick Press (MA) (2021)
Kovakantinen kirja

46,90 €

RISE OF ZOMBERT

Kara Lareau
Candlewick Press (MA) (2021)
Pehmeäkantinen kirja

34,60 €

ADVANCES IN COMPOSITIONAL DATA ANALYSIS - FESTSCHRIFT IN HONOUR OF VERA PAWLOWSKY-GLAHN

Peter Filzmoser; Karel Hron; Josep Antoni Martín-Fernández; Javier Palarea-Albaladejo
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

152,40 €

LAS BRUJAS Y EL INQUISIDOR : PREMIO PRIMAVERA DE NOVELA 2023

Elvira Roca Barea
Espasa (2023)
Pehmeäkantinen kirja

25,70 €

KONSTANTINS LIV

Eusebios av Caesarea; John-Christian Eurell (övers.)
Artos & Norma Bokförlag (2023)
Kovakantinen kirja

27,80 €

DIVISION AND REVISION - MANET'S REICHSHOFFEN REVISITED

Juliet Wilson-Bareau
Paul Holberton Publishing Ltd (2008)
Pehmeäkantinen kirja

22,10 €

PUBLIC VALUES OF THE MOUNT HOOD AREA

United States Dept of Area
Cambridge Scholars Publishing (2010)
Pehmeäkantinen kirja

59,20 €

LOS MEDIOS Y LAS TECNOLOGIAS EN LAEDUCACION

MANUEL AREA
EDICIONES PIRAMIDE S.A. (2004)

32,50 €

MANUEL REIMONDEZ PORTELA. A NOSA MEMORIA

OLIMPIO AREA
XUNTA DE GALICIA.PUBLICACIONES (2004)

12,10 €

REPORT OF THE COMMITTEE OF THE CHAMBER OF COMMERCE OF NEW ORLEANS, TO THE SENATE TRANSPORTATION COMMITTEE. 1873 (VOLUME 2)

Chamber Of Commerce of the New Area
Cambridge Scholars Publishing (2010)
Pehmeäkantinen kirja

95,00 €

BANALI ANGGHIAKAN LEZUI, VOLUME 1

G. Paghtasarean
Nabu Press (2010)
Pehmeäkantinen kirja

62,40 €

A NATIONAL RURAL CENTER; APPLYING SCIENCE TO IMPROVE THE QUALITY OF RURAL LIFE

National Research Council Area
Cambridge Scholars Publishing (2010)
Pehmeäkantinen kirja

49,40 €

SMALL-AREA ESTIMATES OF SCHOOL-AGE CHILDREN IN POVERTY - INTERIM REPORT 1, EVALUATION OF 1993 COUNTY ESTIMATES FOR TITLE I ALLOC

Panel on Estimates of Poverty for Small Geographic Areas; Commission on Behavioral and Social Sciences and Education; Division o
National Academies Press (1997)
Pehmeäkantinen kirja

32,40 €

Hae lisää...

Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa

Daniel Kroening, Corina S. Păsăreanu

51,40 €

Springer International Publishing AG
Sivumäärä: 677 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 27.07.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015.

The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions. The papers were organized in topical sections named: model checking and refinements; quantitative reasoning; software analysis; lightning talks; interpolation, IC3/PDR, and Invariants; SMT techniques and applications; HW verification; synthesis; termination; and concurrency.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa

Myymäläsaatavuus