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 Manchester »
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 Malaga < Université de Manchester < Université de Melbourne  Facettes :

List of bibliographic references indexed by Université de Manchester

Number of relevant bibliographic references: 21.
[0-20] [0 - 20][0 - 21][20-20][20-40]
Ident.Authors (with country if any)Title
001530 (2013) Konstantin Korovin [Royaume-Uni]Non-cyclic Sorts for First-Order Satisfiability
001580 (2013) Konstantin Korovin [Royaume-Uni]From Resolution and DPLL to Solving Arithmetic Constraints
001661 (2013) Mohammad Khodadadi [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni] ; Dmitry Tishkovsky [Royaume-Uni]A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$
004224 (2008) Ioanna Tzoulaki [Royaume-Uni] ; Marjo-Riitta Jarvelin [Royaume-Uni, Finlande] ; Anna-Liisa Hartikainen [Finlande] ; Maija Leinonen [Finlande] ; Anneli Pouta [Finlande] ; Mika Paldanius [Finlande] ; Aimo Ruokonen [Finlande] ; Dexter Canoy [Royaume-Uni] ; Ulla Sovio [Royaume-Uni] ; Pekka Saikku [Finlande] ; Paul Elliott [Royaume-Uni]Size at birth, weight gain over the life course, and low-grade inflammation in young adulthood: northern Finland 1966 birth cohort study
004C09 (2007) R. A. Snowdon [Royaume-Uni] ; B. C. Warboys [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; C. P. Holland [Royaume-Uni] ; P. J. Kawalek [Royaume-Uni] ; D. R. Shaw [Royaume-Uni]On the architecture and form of flexible process support
005434 (2006) C. Ardito [Italie] ; M. F. Costabile [Italie] ; A. De Angeli [Royaume-Uni] ; F. Pittarello [Italie]Navigation help in 3D worlds: some empirical evidences on use of sound
005461 (2006) Nikolay Mehandjiev [Royaume-Uni] ; Iain Duncan Stalker [Royaume-Uni] ; Kurt Fessl [Autriche] ; Georg Weichhart [Autriche]Interoperability Contributions of CrossWork
006B18 (2004) Ullrich Hustadt [Royaume-Uni] ; Boris Konev [Royaume-Uni] ; Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]TeMP : A Temporal Monodic Prover
006C06 (2004) Alexandre Riazanov [Royaume-Uni] ; Andrei Voronkov [Royaume-Uni]Efficient Checking of Term Ordering Constraints
007A09 (2003) R. Mark Greenwood [Royaume-Uni] ; Dharini Balasubramaniam [Royaume-Uni] ; Sorana Cîmpan [France] ; Graham N. C. Kirby [Royaume-Uni] ; Kath Mickan [Royaume-Uni] ; Ron Morrison [Royaume-Uni] ; Flavio Oquendo [France] ; Ian Robertson [Royaume-Uni] ; Wykeen Seet [Royaume-Uni] ; Bob Snowdon [Royaume-Uni] ; Brian C. Warboys [Royaume-Uni] ; Evangelos Zirintsis [Royaume-Uni]Process Support for Evolving Active Architectures
009193 (2001) Jon Agar [Royaume-Uni]JAMES GILLIES and ROBERT CAILLIAU, How the Web was Born. Oxford: Oxford University Press, 2000. Pp. xii+372. ISBN 0-19-286207-3. £8.99, $15.95 (paperback).
009297 (2001) R. Mark Greenwood [Royaume-Uni] ; Dharini Balasubramaniam [Royaume-Uni] ; Graham Kirby [Royaume-Uni] ; Ken Mayes [Royaume-Uni] ; Ron Morrison [Royaume-Uni] ; Wykeen Seet [Royaume-Uni] ; Brian Warboys [Royaume-Uni] ; Evangelos Zirintsis [Royaume-Uni]Reflection and Reification in Process System Evolution: Experience and Opportunity
009E50 (2000) F. Oquendo [France] ; K. N. Papamichail [Royaume-Uni] ; I. Robertson [Royaume-Uni]Overcoming inadequacies in process modelling: The need for decisioning Be a first-class citizen
009E59 (2000) U. Hustadt [Royaume-Uni] ; C. Dixon [Royaume-Uni] ; R. A. Schmidt [Royaume-Uni] ; M. Fisher [Royaume-Uni]Normal Forms and Proofs in Combined Modal and Temporal Logics
009F41 (2000) Mark Greenwood [Royaume-Uni] ; Ian Robertson [Royaume-Uni] ; Brian Warboys [Royaume-Uni]A support framework for dynamic organizations
00AA34 (1999) B. C. Warboys [Royaume-Uni] ; D. Balasubramaniam [Royaume-Uni] ; R. M. Greenwood [Royaume-Uni] ; G. N. C. Kirby [Royaume-Uni] ; K. Mayes [Royaume-Uni] ; R. Morrison [Royaume-Uni] ; D. S. Munro [Australie]Collaboration and Composition: Issues for a Second Generation Process Language
00C011 (1996) David G. Wastell [Royaume-Uni]The fetish of technique: methodology as a social defence
00C042 (1996) P. Kawalek [Royaume-Uni] ; D. G. Wastell [Royaume-Uni]Organisational design for software development: A cybernetic perspective
00D665 (1992) Jin Sa [Royaume-Uni] ; Brian Warboys [Royaume-Uni]Integrating a formal specification method with PML: A case study
00E353 (1988) William P. R. Mitchell [Royaume-Uni]Inductive completion with retracts
00ED61 (1982) S. H. Rigby [Royaume-Uni] ; John Edwards [Royaume-Uni]V The Later Middle Ages (1200–1500)

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 Manchester" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/AffOrg.i  \
                -Sk "Université de Manchester" \
         | 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 Manchester
}}
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