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 /

    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

     
  • 15 February 2019

    On Instruction Sets for Boolean Registers in Program Algebra

     
  • 15 February 2019

    Dynamic Chromatic Number of Bipartite Graphs

     
  • 15 February 2019

    On Activation, Connection, and Behavior in Dynamic Architectures

     
  • 15 February 2019

    RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model

     
  • 15 February 2019

    A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences

     
 
← Previous 1 … 25 26 27 28 29 Next →
 
 

Legături Rapide

  • Întrebări frecvente studenți
  • Anul universitar 2022-2023
  • 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. Toate drepturile rezervate.