Výsledky vyhledávání - "Cioni, Gianna"

Periodical

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems

Autor: Cioni, Gianna, Colagrossi, Attilio, Miola, Alfonso

Publikováno v: Journal of Symbolic Computation; January 1995, Vol. 19 Issue: 1-3 p175-199, 25p

Zobrazit plný text záznamu

Elektronická kniha

Advanced programming methodologies / edited by Gianna Cioni and Andrzej Salwicki ; contributors, P. Atzeni [and fifteen others]. [electronic resource]

Externí odkaz: Kolekce e-knih KNAV Registrovani uzivatele: plny text online 5 minut, dalsi pristup na vyzadani. Registered users: full text online 5 minutes, further access on request.

Akademický článek

Programmed deallocation without dangling reference

Autor: Cioni, Gianna, Kreczmar, Antoni

Publikováno v: In Information Processing Letters 1984 18(4):179-187

Zobrazit plný text záznamu

Conference

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Kniha

Storage Management

Autor: Cioni, Gianna, Kreczmar, Antoni, Vitale, Riccardo

Publikováno v: In Advanced Programming Methodologies 1989:341-366

Zobrazit plný text záznamu

Kniha

Modules in high level programming languages

Autor: Cioni, Gianna, Kreczmar, Antoni

Publikováno v: In Advanced Programming Methodologies 1989:247-340

Zobrazit plný text záznamu