0302-2838 < 0302-9743 < 0303-4259

Facettes :

List of bibliographic references

Number of relevant bibliographic references: 84.
[20-40] [0 - 20][0 - 50][40-60]

Ident.	Authors (with country if any)	Title
000954 (2004)	Hannes Frey [Allemagne] ; Daniel Görgen [Allemagne] ; Johannes K. Lehnert [Allemagne] ; Peter Sturm [Allemagne]	A Java-based uniform workbench for simulating and executing distributed mobile applications
000A15 (2003)	Karl F. Wender [Allemagne] ; Daniel Haun [Allemagne] ; Bjöm Rasch [Allemagne] ; Matthias Blümke [Allemagne]	Context effects in memory for routes
000A33 (2003)	WANJUN HUANG [Allemagne] ; Uwe Roth [Allemagne] ; Christoph Meinel [Allemagne]	A flexible middleware platform with piped workflow
000A56 (2002)	Freddie Dawkins [Belgique]	e-Government observatory
000A57 (2002)	Christoph Meinel [Allemagne] ; Harald Sack [Allemagne] ; Arno Wagner [Suisse]	WWW.BDD-Portal.ORG: An experimentation platform for binary decision diagram algorithms
000A58 (2002)	Camil Demetrescu [Italie] ; Irene Finocchi [Italie] ; Giuseppe F. Italiano [Italie] ; Stefan N Her [Allemagne]	Visualization in algorithm engineering: Tools and techniques
000A67 (2002)	Michael Ley [Allemagne]	The DBLP Computer Science bibliography: Evolution, research issues, perspectives
000A81 (2002)	Markus Müller-Olm [Allemagne] ; Helmut Seidl [Allemagne]	Polynomial constants are decidable
000A87 (2002)	Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]	Normalizable Horn clauses, strongly recognizable relations, and Spi
000A90 (2002)	Stuart Goose [États-Unis] ; Heiko Wanning [Allemagne] ; Georg Schneider [Allemagne]	Mobile Reality: A PDA-based multimodal framework synchronizing a hybrid tracking solution with 3D graphics and location-sensitive speech interaction
000A95 (2002)	Rainer Oechsle [Allemagne] ; Thomas Schmitt [Allemagne]	JAVAVIS: Automatic program visualization with object and sequence diagrams using the Java Debug Interface (JDI)
000B00 (2002)	Blaise Genest [France] ; Anca Muscholl [France] ; Helmut Seidl [Allemagne] ; Marc Zeitoun [France]	Infinite-state high-level MCS: Model-checking and realizability: (Extended abstract)
000B04 (2002)	Matthias B Sken [Allemagne] ; Stefan N Her [Allemagne]	GeoWin: A generic tool for interactive visualization of geometric algorithms
000B14 (2002)	Stefan N Her [Allemagne] ; Oliver Zlotowski [Allemagne]	Design and implementation of efficient data types for static graphs
000B22 (2002)	Flemming Nielson [Danemark] ; Hanne Riis Nielson [Danemark] ; Helmut Seidl [Allemagne]	Automatic complexity analysis
000B26 (2002)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Algorithms and heuristics in VLSI design
000B67 (2001)	Sébastien Limet [France] ; Pierre Rety [France] ; Helmut Seidl [Allemagne]	Weakly regular relations and applications
000B74 (2001)	Norbert Th. Müller [Allemagne]	The iRRAM: Exact arithmetic in C++
000B78 (2001)	Valérie Gouranton [France] ; Pierre Rety [France] ; Helmut Seidl [Allemagne]	Synchronized tree languages revisited and new applications
000B86 (2001)	Jürgen Forster [Allemagne] ; Matthias Krause [Allemagne] ; Satyanarayana V. Lokam [États-Unis] ; Rustam Mubarakzjanov [Allemagne] ; Niels Schmitt [Allemagne] ; Hans Ulrich Simon [Allemagne]	Relations between communication complexity, linear arrangements, and computational complexity
000C06 (2001)	Christoph Meinel [Allemagne] ; Christian Stangier [Allemagne]	Data structures for Boolean functions BDDs: Foundations and applications

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i -k "0302-9743" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/ISSN.i  \
                -Sk "0302-9743" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    ISSN.i
   |clé=    0302-9743
}}

---

This area was generated with Dilib version V0.6.31. Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024