Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...




Open Access
A Tactic Language for the System Coq
Lecture notes in computer science, 2000, p.85-95
2000
Link zum Volltext







Advances in Multimedia Information Processing — PCM 2002, 2002, p.1105-1111
2002
Link zum Volltext


Articulated Motion and Deformable Objects, 2004, p.99-110
2004
Link zum Volltext



Lecture notes in computer science, 1997, p.121-135
1997
Link zum Volltext








Aktive Filter
KollektionIngentaConnect Journals
Zeitschrift / SerieGraphical Models And Image Processing
SprachePolnisch
PublikationsformBuchkapitel
ThemaComputer Science, Software Engineering
ThemaComputer Science; Control Theory; Systems