Facultatea de Informatică

Universitatea Alexandru Ioan Cuza, România

  • Alexandru Ioan Cuza University, Romania
 
  • Home
  • Faculty
    • Presentation
    • Facilities
    • Industrial Partners
    • Contact
  • Structure
    • Management
    • Technical and administrative staff
  • Degree programs
    • Overview
    • Undergraduate studies
    • Master Studies
    • Doctoral School
  • Research
    • Research @ FII
    • Scientific Annals of Computer Science
    • Technical Reports
  • English
  • Home
  • Faculty
    • Presentation
    • Facilities
    • Industrial Partners
    • Contact
  • Structure
    • Management
    • Technical and administrative staff
  • Degree programs
    • Overview
    • Undergraduate studies
    • Master Studies
    • Doctoral School
  • Research
    • Research @ FII
    • Scientific Annals of Computer Science
    • Technical Reports
  • English

Scientific Annals

  • About
  • Editorial Board
  • Submissions
  • Current Issue
  • Archive
 
 

Articles

 
  • 15 February 2019 /

    Boolean Lifting Properties for Bounded Distributive Lattices

     
  •  
  • 15 February 2019 /

    Non-Deterministic Finite Cover Automata

     
  •  
  • 15 February 2019 /

    Verification and Validation of Formal Data-Centric Business Models

     
  •  
  • 15 February 2019 /

    The Consistency and Complexity of Multiplicative Additive System Virtual

     
  •  
  • 15 February 2019

    Probabilistic Thread Algebra

     
  • 15 February 2019

    Formations of Monoids, Congruences, and Formal Languages

     
  • 15 February 2019

    A Grand Master of Discrete Mathematics

     
  • 15 February 2019

    Errata to „Formations of Monoids, Congruences, and Formal Languages”

     
  • 15 February 2019

    Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

     
  • 15 February 2019

    Formal Analysis of Android’s Permission-Based Security Model

     
 
← Previous 1 … 25 26 27 28 29 Next →
 
 

Legături Rapide

  • Întrebări frecvente studenți
  • Anul universitar 2023-2024
  • Orar
  • Examen de Licență/Disertație
  • Companii IT @ FII
  • Relaţii internaţionale
  • ROSE – InFIInit
  • Webmail (Studenți)
  • Webmail (Profesori)
  • Sims Web
  • Grade didactice – Perfecţionare Preuniversitară
  • Condiţii de admitere
 
 
 
 
 

© 1992 Facultatea de Informatică, Universitatea ,,Alexandru Ioan Cuza" din Iași, Romania.