Hasil Pencarian - Anna Vasileva

  • Menampilkan 1 - 5 hasil dari 5
Perbaiki Hasil
  1. 1
    User Support for the Combinator Logic Synthesizer Framework

    User Support for the Combinator Logic Synthesizer Framework oleh Jan Bessai, Anna Vasileva

    Diterbitkan 2018-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

    Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis oleh Jan Bessai, Moritz Roidl, Anna Vasileva

    Diterbitkan 2019-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories

    CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories oleh Fadil Kallat, Tristan Schäfer, Anna Vasileva

    Diterbitkan 2019-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    The Nitrate Cellulose Negatives: Degradation Study via Chemometric Methods

    The Nitrate Cellulose Negatives: Degradation Study via Chemometric Methods oleh Anastasia Povolotckaia, Svetlana Kaputkina, Irina Grigorieva, Dmitrii Pankin, Evgenii Borisov, Anna Vasileva, Valeria Kaputkina, Maria Dynnikova

    Diterbitkan 2024-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Antibacterial activity of crab haemocyanin against clinical pathogens

    Antibacterial activity of crab haemocyanin against clinical pathogens oleh Yoana Krasimirova Kizheva, Iliyana Kirilova Rasheva, Milena Nikolova Petrova, Anna Vasileva Milosheva-Ivanova, Lyudmila Georgieva Velkova, Pavlina Aleksandrova Dolashka, Aleksandar Konstantinov Dolashki, Petya Koicheva Hristova

    Diterbitkan 2019-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: