Recently added
DSpace Repositorium (Manakin basiert)
Einloggen
Publikationsdienste
→
TOBIAS-portale
→
Dokumente aus Instituten und Partnereinrichtungen
→
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik
→
Recent submissions
« zurück
JavaScript is disabled for your browser. Some features of this site may not work without it.
WSI-Reports - Schriftenreihe des Wilhelm-Schickard-Instituts für Informatik: Recent submissions
Anzeige der Dokumente 36-40 von 69
Vorherige Seite
Nächste Seite
The dot-depth and the polynomial hierarchy correspond on the delta levels
Borchert, Bernd
;
Lange, Klaus-Joern
;
Stephan, Frank
;
Tesson, Pascal
;
Therien, Denis
(
2004
)
;
Verschiedenartige Texte
;
WSI ; 2004 ; 3
Effiziente Generierung von Zustandsautomaten mit integriertem Datenpfad aus taktgebundenen VHDL-Verhaltensbeschreibungen
Lange, Walter
(
2000
)
;
Verschiedenartige Texte
;
WSI ; 2000 ; 18
The Tecton Concept Library
Musser, David R.
;
Schupp, Sibylle
;
Schwarzweller, Christoph
;
Loos, Rüdiger
(
1999
)
;
Verschiedenartige Texte
;
WSI ; 1999 ; 2
Synthesis of ATM switch controller modules with the protocol compiler from Synopsis
Lange, Walter
;
Rosenstiel, Wolfgang
(
2000
)
;
Verschiedenartige Texte
;
WSI ; 2000 ; 6
RAVEN: real-time analyzing and verification environment
Ruf, Jürgen
(
2000
)
;
Verschiedenartige Texte
;
WSI ; 2000 ; 3
Anzeige der Dokumente 36-40 von 69
Vorherige Seite
Nächste Seite
Veröffentlichen
Kontakt
Verträge
Hilfe und Informationen
Stöbern
Gesamter Bestand
Bereiche & Sammlungen
Erscheinungsdatum
Autoren
Titel
DDC-Klassifikation
Diese Sammlung
Erscheinungsdatum
Autoren
Titel
DDC-Klassifikation
Mein Benutzerkonto
Einloggen