Biblioteksøk

Vis søkeskjema

4 treff

Forfatter/Medvirkende: beyer dirk

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /

edited by Dirk Beyer, Marieke Huisman, Fa...
Bok Engelsk 2019 · Vis mer

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /

edited by Dirk Beyer, Marieke Huisman.
Bok Engelsk 2018 · Vis mer

Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /

TACAS (Conference)
Bok Engelsk 2018 · Vis mer

Hearings on the Juvenile Justice and Delinquency Prevention Act : hearings before the Subcommittee on Early Childhood, Youth, and Families of the Committee on Economic and Educational Opportunities, House of Representatives, One Hundred Fourth Congress, second session, hearings held in Washington, DC, March 28, April 30, May 8, and San Marcos, California, May 13, 1996.

United States.
Bok Engelsk · Vis mer

Biblioteksøk

Meny

Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Logg inn
Lukk meny