Erika Ábrahám | Akateeminen Kirjakauppa

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

THEORETICAL ASPECTS OF COMPUTING – ICTAC 2023 : 20TH INTERNATIONAL COLLOQUIUM, LIMA, PERU, DECEMBER 4–8, 2023, PROCEEDINGS

Erika Ábrahám (ed.); Clemens Dubslaff (ed.); Silvia Lizeth Tapia Tarifa (ed.)
Springer (2023)
Pehmeäkantinen kirja

75,40 €

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS - 34TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FORTE 2014, HELD

Erika Ábrahám; Catuscia Palamidessi
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

51,40 €

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS - 20TH INTERNATIONAL CONFERENCE, TACAS 2014, HELD AS PART OF T

Erika Abraham; Klaus Havelund
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014)
Pehmeäkantinen kirja

51,40 €

THEORY AND PRACTICE OF FORMAL METHODS : ESSAYS DEDICATED TO FRANK DE BOER ON THE OCCASION OF HIS 60TH BIRTHDAY

Erika Ábrahám (ed.); Marcello Bonsangue (ed.); Einar Broch Johnsen (ed.)
Springer (2016)
Pehmeäkantinen kirja

51,40 €

INTEGRATED FORMAL METHODS : 12TH INTERNATIONAL CONFERENCE, IFM 2016, REYKJAVIK, ICELAND, JUNE 1-5, 2016, PROCEEDINGS

Erika Ábrahám (ed.); Marieke Huisman (ed.)
Springer (2016)
Pehmeäkantinen kirja

81,40 €

AT THE PINNACLE - ONE WOMAN'S RUNNING JOURNEY

Erika Abraham; Greg Schaffer
Second Chance Publishing (2018)
Pehmeäkantinen kirja

15,30 €

QUANTITATIVE EVALUATION OF SYSTEMS : 19TH INTERNATIONAL CONFERENCE, QEST 2022, WARSAW, POLAND, SEPTEMBER 12–16, 2022, PROCEEDING

Erika Ábrahám (ed.); Marco Paolieri (ed.)
Springer (2022)
Pehmeäkantinen kirja

51,40 €

RUNTIME VERIFICATION - 24TH INTERNATIONAL CONFERENCE, RV 2024, ISTANBUL, TURKEY, OCTOBER 15–17, 2024, PROCEEDINGS

Erika Ábrahám; Houssam Abbas
Springer International Publishing AG (2024)
Pehmeäkantinen kirja

56,40 €

FUNDAMENTALS OF SOFTWARE ENGINEERING : 10TH INTERNATIONAL CONFERENCE, FSEN 2023, TEHRAN, IRAN, MAY 4-5, 2023, REVISED SELECTED P

Hossein Hojjat (ed.); Erika Ábrahám (ed.)
Springer (2023)
Pehmeäkantinen kirja

56,40 €

Theoretical Aspects of Computing – ICTAC 2023 : 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings

Erika Ábrahám (ed.), Clemens Dubslaff (ed.), Silvia Lizeth Tapia Tarifa (ed.)

75,40 €

Springer
Sivumäärä: 440 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2023, 23.11.2023 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 14446

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023.

The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.

They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.

LISÄÄ OSTOSKORIIN

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

Myymäläsaatavuus