AffOrg.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « AffOrg.i » - entrée « Université de Pise »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Université de Nottingham < Université de Pise < Université de Pittsburgh  Facettes :

List of bibliographic references indexed by Université de Pise

Number of relevant bibliographic references: 12.
Ident.Authors (with country if any)Title
001C52 (2012-01-01) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]Statistical properties of dynamical systems - simulation and abstract computation.
002485 (2011-01) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Dynamics and abstract computability: computing invariant measures
002C26 (2010-06-21) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
002E97 (2010) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
007A79 (2003) Barbara Leporini [Italie] ; Fabio Patern [Italie]Criteria for Usability of Accessible Web Sites
008831 (2002) Paolo Baldan [Italie] ; Andrea Bracciali [Italie] ; Roberto Bruni [Italie]Bisimulation by Unification*
00A990 (1999) Egon Börger [Italie]High Level System Design and Analysis Using Abstract State Machines
00C030 (1996) Carlo Montangero [Italie]Report on the Fifth European Workshop on Software Process Technology
00C775 (1995) X. J. Chen [Italie] ; C. Montangero [Italie]Compositional refinements in multiple blackboard systems
00D655 (1992) Vincenzo Ambriola [Italie] ; Carlo Montangero [Italie]Oikos at the age of three
00E060 (1989) Fabrizio Luccio [Italie] ; Mireille Régnier [France] ; René Schott [France]Discs and other related data structures
00E632 (1987) A. Fantechi [Italie] ; S. Gnesi [Italie] ; P. Inverardi [Italie] ; U. Montanari [Italie]An execution environment for the formal definition of Ada

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i -k "Université de Pise" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Université de Pise" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    AffOrg.i
   |clé=    Université de Pise
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022