Zum Inhalt springen

  1. Návrat, Pavol; Molnár, Ľudovít; Vojtek, Vladimír

    Lecture Notes in Computer Science: Using automatic program synthesizer as a problem solver: Some interesting experiments

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1989

    Erschienen in: Lecture Notes in Computer Science

  2. Mikušiak, Luboš; Vojtek, Vladimír; Hasaralejko, Jozef; Hanzelová, Jana

    ZUM '95: The Z Formal Specification Notation: Z Browser — Tool for visualisation of Z specifications

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Berlin Heidelberg, 1995

    Erschienen in: ZUM '95: The Z Formal Specification Notation

  3. Handlosová, Klára; Klabal, Ondřej; Dokoupil, Marek; Vojtek, Vladimír; Uvíra, Matěj; Handlos, Petr

    Fatal and Nonfatal Rip Saw Injuries

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Wiley, 2020

    Erschienen in: Journal of Forensic Sciences

  4. Julinová, Markéta; Kupec, Jan; Alexy, Pavol; Hoffmann, Jaromír; Sedlařík, Vladimír; Vojtek, Tomáš; Chromčáková, Jitka; Bugaj, Peter

    Lignin and starch as potential inductors for biodegradation of films based on poly(vinyl alcohol) and protein hydrolysate

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier BV, 2010

    Erschienen in: Polymer Degradation and Stability