Model checking C++ programs with exceptions von Ročkai, P., Barnat, J., Brim, L.

Volltext

Scalable shared memory LTL model checking von Barnat, J., Brim, L., Ročkai, P.

Volltext

Scalable Multi-core LTL Model-Checking von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext

Fast, Dynamically-Sized Concurrent Hash Table von Barnat, J., Ročkai, P., Štill, V., Weiser, J.

Volltext

Distributed LTL Model Checking with Hash Compaction von Barnat, J., Havlíček, J., Ročkai, P.

Volltext

DiVinE: Parallel Distributed Model Checker von Barnat, Jiri, Brim, Lubos, Češka, Milan, Ročkai, Petr

Volltext bestellen

DiVinE 2.0: High-Performance Model Checking von Barnat, J., Brim, L., Rockai, P.

Volltext bestellen

L'arte rupestre nella penisola e nelle isole italiane: rapporti tra rocce incise e dipinte, simboli, aree montane e viabilità: Rock art in the Italian peninsula and islands: issues... von Francesco M. P. Carrera, Renata Grifoni Cremonesi, Anna Maria Tosatti

Volltext

Christophe Pirenne, Une histoire musicale du rock, Paris, Fayard, 2011, 797 p., ISBN 978-2-213-62430-3 von Sklower, Jedediah

Volltext

Fracture toughness measurements and acoustic emission activity in brittle rocks von NASSERI, M. H. B, MOHANTY, B, YOUNG, R. P

Volltext

DivSIM , an interactive simulator for LLVM bitcode von Ročkai, Petr, Barnat, Jiří

Volltext

Verification of Programs Sensitive to Heap Layout von Lauko, Henrich, Korenčik, Lukáš, Ročkai, Petr

Volltext

Reproducible execution of POSIX programs with DiOS von Ročkai, Petr, Baranová, Zuzana, Mrázek, Jan, Kejstová, Katarína, Barnat, Jiříí

Volltext

Recension. Whale on the Rock I, II et III, Sangmog Lee (éd.). Ulsan, Ulsan Petroglyph Museum (I, 2017, 303 p. ; II, 2018, 384 p. ; III, 2019, 284 p.) von Giligny, François

Volltext

Effects of fluid-rock interaction on rock salt strength von Cosenza, P., Ghoreychi, Mehdi, Chanchole, S.

Volltext

DiVM: Model checking with LLVM and graph memory von Ročkai, Petr, Štill, Vladimír, Černá, Ivana, Barnat, Jiří

Volltext

[Analyse de] - BARNETT Tertia, 2019, An Engraved Landscape. Rock Carvings in the Wadi al-Ajal, Libya, vol. I: Synthesis, 312 p. ; vol. II: Gazetteer, 584 p. ; Londres, The Society for Libyan Studies Monograph 11 von Dupuy, Christian

Volltext

LES MILLIONS D'ARLEQUIN : rock / R. DRIGO, BERTAL, MAUBON. CAFE DE MINUIT : fox / BARCELLINI, AIMABLE, P. COUR, J. DOUVILLE. SPHINX ? : rock / S. POPY, P. CHAPPELLE. POUR UN MOT : black down / J. BERNARD, R. MAMOUDY. NUITS DE CHINE : twist / F.L. BENECH, E. DUMONT. FICH'LE CAMP KACK : twist / P. MAYFIELD, G. ABER. TOI, SI JAMAIS : fox / J. DATIN, M. VIDALIN. ELLE A DES YEUX D'ANGE : rock / P. KAUFMAN, M. ANTHONY, A. SALVET, L. MORISSE ; FRANCIS LINEL, et les orchestres de JEAN LECCIA, JOHNNY HAW

Volltext bestellen

Il Mio Sotterraneo - slow ; OGGI... NIENTE SCUOLA ! - Cha cha / DONAGGIO (P.) ; DONAGGIO (Pino), dir. Orchestre GIACOMAZZI (A.). Pera Matura - Médium rock / DONAGGIO (P.). Bienvenuti a Venezia - médium rock / DONAGGIO (P.) et DAMIANI ; DONAGGIO (Pino), dir. Orchestre GIACOMAZZI (A.) ; avec choeur

Volltext bestellen

Il Mio Sotterraneo - slow ; OGGI... NIENTE SCUOLA ! - Cha cha / DONAGGIO (P.) ; DONAGGIO (Pino), dir. Orchestre GIACOMAZZI (A.). Pera Matura - Médium rock / DONAGGIO (P.). Bienvenuti a Venezia - médium rock / DONAGGIO (P.) et DAMIANI ; DONAGGIO (Pino), dir. Orchestre GIACOMAZZI (A.) ; avec choeur

Volltext bestellen