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é technique de Munich »
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é technique de Kaiserslautern < Université technique de Munich < Vassar College  Facettes :

List of bibliographic references indexed by Université technique de Munich

Number of relevant bibliographic references: 17.
Ident.Authors (with country if any)Title
001540 (2013) Jasmin Christian Blanchette [Allemagne] ; Andrei Popescu [Allemagne]Mechanizing the Metatheory of Sledgehammer
001676 (2013) Tobias Nipkow [Allemagne] ; Maximilian Haslbeck [Allemagne]A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
003042 (2010) Xavier Goaoc [France] ; Stefan König [Allemagne] ; Sylvain Petitjean [France]Pinning a Line by Balls or Ovaloids in ℝ3
004278 (2008) Tobias Blum [Allemagne, États-Unis] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]Workflow mining for visualization and analysis of surgeries
004357 (2008) Tobias Blum [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feu Ner [Allemagne] ; Nassir Navab [Allemagne]Modeling and Online Recognition of Surgical Phases Using Hidden Markov Models
004417 (2008) Ulrich Klank [Allemagne] ; Nicolas Padoy [Allemagne, France] ; Hubertus Feussner [Allemagne] ; Nassir Navab [Allemagne]Automatic feature generation in endoscopic images
006B93 (2004) Reinhold Letz [Allemagne] ; Gernot Stenz [Allemagne]Generalised Handling of Variables in Disconnection Tableaux
008780 (2002) B. Sch Tz [Allemagne] ; A. Pretschner [Allemagne] ; F. Huber [Allemagne] ; J. Philipps [Allemagne]Model-Based Development of Embedded Systems
009258 (2001) Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]Towards a Living Software Development Process Based on Process Patterns
009329 (2001) Michael Gnatz [Allemagne] ; Frank Marschall [Allemagne] ; Gerhard Popp [Allemagne] ; Andreas Rausch [Allemagne] ; Wolfgang Schwerin [Allemagne]Modular Process Patterns Supporting an Evolutionary Software Development Process
00DA82 (1991) Helmut Plünnecke ; Wolfgang Reisig [Allemagne]Bibliography of Petri nets 1990
00E375 (1988) Bernhard Möller [Allemagne] ; Andrzej Tarlecki ; Martin WirsingAlgebraic specifications of reachable higher-order algebras
00ED04 (1983) Martin Wirsing [Allemagne] ; Peter Pepper [Allemagne] ; Helmut Partsch [Allemagne] ; Walter Dosch [Allemagne] ; Manfred Broy [Allemagne]On hierarchies of abstract data types
00ED06 (1983) Harald Ganzinger [Allemagne]Modular compiler descriptions based on abstract semantic data types (Extended Abstract)
00ED77 (1982) Manfred Broy [Allemagne] ; Martin Wirsing [Allemagne]Partial abstract types
00ED91 (1982) Martin Wirsing [Allemagne] ; Manfred Broy [Allemagne]An Analysis of Semantic Models for Algebraic Specifications
00EE29 (1981) J. A. Bergstra [Pays-Bas] ; M. Broy [Allemagne] ; J. V. Tucker [Royaume-Uni] ; M. Wirsing [Royaume-Uni]On the power of algebraic specifications

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é technique de Munich" 

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