Results 61 to 70 of about 2,370 (117)
The Cowl - v.57 - n.7 - Nov 12, 1992 [PDF]
, 1992 The Cowl - student newspaper of Providence College. Volume 57, Number 7 - November 12, 1992.
core +1 more source
Reasoning on Assembly Code using Linear Logic [PDF]
, 2011 We present a logic for reasoning on assembly code. The logic is an extension of intuitionistic linear logic with greatest fixed points, pointer assertions for reasoning about the heap, and modalities for reasoning about program execution.
Vouillon, Jérôme
core +2 more sources
ECONOMIC IMPORTANCE OF EXPORT-PRODUCING INDUSTRY IN MINNEAPOLIS-ST. PAUL METROPOLITAN REGION [PDF]
Community/Rural/Urban Development, International Relations/Trade,
Chen, Mason +2 more
core +1 more source
On certain locally flat homogeneous manifolds of solvable Lie groups [PDF]
, 1976 Shima, Hirohiko
core +1 more source
, 2023 Rapporto tecnico relativo al Programma PCTO, Percorsi per le Competenze Trasversali e l'Orientamento, realizzato da STEMS per l'Istituto Virgilio di ...
openaire +1 more source
Combined GABA-immunocytochemistry and TMB-HRP histochemistry of pretectal nuclei projecting to the inferior olive rats, cats and monkeys [PDF]
, 1987 Hoffmann, K.-P., Horn, Anja K. E.
core
Population and Per Capita Income for Ohio Counties, 1980-1988: Reference Tables [PDF]
, 1990 Thomas, Donald W.
core
Development of YAC (Yangbajing Air shower core array) to be used for next phase of Tibet experiment [PDF]
, 2005 Katayose, Y
core
The National Guidelines for Guidance and the Recommendation of the Council of the European Union emphasize the importance of guidance for the success of young people. In this context, PCTOs (Percorsi per le Competenze Trasversali e l’Orientamento) Italian secondary schools play a crucial role in offering in-school and out-of-school training experiences.
Irene Stanzione +12 more
openaire +2 more sources