Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
93 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

93 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Proof and computation: [proceedings of the Nato Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]
    ed. by Helmut Schwichtenberg
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Hardware, software co-design: [proceedings of the NATO Advanced Study Institute on Hardware, Software Co-Design, Tremezzo, Italy, June 19 - 30, 1995]
    ed. by Giovanni De Micheli ..
    Dordrecht [u.a.]: Kluwer Acad. Publ, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Designing correct circuits: proceedings of the 3rd Workshop on Designing Correct Circuits (DCC96), Båstad, Sweden, 2 - 4 September 1996 ; http://www.springer.co.uk/eWiC/Workshops/DCC96.html
    Mary Sheeran ... (eds)
    London [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Application and theory of Petri nets 2000: 21st international conference ; proceedings
    ICATPN 2000, Aarhus, Denmark, June 26 - 30, 2000. Mogens Nielsen ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Proceedings / The 25th Annual International Symposium on Computer Architecture: June 27 - July 1, 1998, Barcelona, Spain
    sponsored by IEEE Computer Society Technical Committee on Computer Architecture ..
    Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998
    Monographie, Konferenzschrift, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Proceedings / International Conference on Computer Design: VLSI in Computers and Processors: October 5 - 7, 1998, Austin, Texas
    sponsored by IEEE Computer Society ..
    Los Alamitos, Calif. [u.a.]: IEEE Computer Soc, 1998
    Monographie, Konferenzschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Architektur und Betrieb von Rechensystemen: proceedings
    10. GI-ITG-Fachtagung, Paderborn, 9. - 11. März 1988, [Fachtagung Architektur und Betrieb von Rechensystemen]. U. Kastens ... (Hrsg.)
    Berlin [u.a.]: Springer, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Proceedings / [Seminar Supercomputer '90]: Anwendungen, Architekturen, Trends ; Mannheim, 21. - 23. Juni 1990
    [Veranst.: Verein zur Förderung der Wissenschaftlichen Weiterbildung an der Universität Mannheim e.V.]. H. W. Meuer (Hrsg.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Security and persistence: proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information, 8 - 11 May 1990, Bremen, West Germany
    John Rosenberg and J. Leslie Keedy (eds.) Publ. in collab. with the British Computer Society
    London [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Computer architecture 96: selected papers of the 1st Australasian Conference
    [ACAC '96]. Ronald Pose, ed
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Supercomputing: [proceedings of the NATO Advanced Research Workshop on Supercomputing held in Trondheim, Norway, June 19 - 23, 1989]
    ed. by Janusz S. Kowalik
    Berlin [u.a.]: Springer, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    System design: concepts, methods and tools
    Comp. Euro 88, Brussels, April, 11 - 14, 1988. Sponsored by Computer Soc. of the IEEE ..
    Washington, DC: Computer Soc. Pr, 1988
    Monographie, Konferenzschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Applications and theory of Petri nets 2003: 24th international conference ; proceedings
    ICATPN 2003, Eindhoven, The Netherlands, June 23 - 27, 2003. Wil van der Aalst ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Applications and theory of Petri nets 2005: 26th international conference ; proceedings
    ICATPN 2005, Miami, USA, June 20 - 25, 2005. Gianfranco Ciardo ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Computer architecture 97: selected papers of the 2nd Australasian Conference
    [ACAC '97]. Ronald Pose, ed
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Programming languages and system architectures: international conference, Zurich, Switzerland, March 2 - 4, 1994 ; proceedings
    Jürg Gutknecht (ed.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Lectures and tutorials presented at the International Workshop on Algorithms and Parallel VLSI Architectures, A. Tutorials: Abbaye des Prémontrés, Pont-à-Mousson, France, June 10 - 16, 1990
    ed. by Ed F. Deprettere ..
    Amsterdam [u.a.]: Elsevier, 1991
    Konferenzschrift, Sammelwerk, Teil eines Werkes, keine Angabe
  18. Detailansicht für Treffer 18 öffnen
    Entwurf integrierter Schaltungen
    6. EIS-Workshop am 25./26.11.1993 an der Universität Tübingen. Raul Camposano ... (Hrsg.). Gesellschaft für Mathematik und Datenverarbeitung mbH
    Sankt Augustin, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Frontiers of super-computing: [papers pres. at a conference co-sponsored by the Los Alamos National Laboratory and the National Security Agency]
    ed. by N. Metropolis ..
    Berkeley, Calif. [u.a.]: Univ. of Calif. Pr, 1986
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    1986 [Nineteen hundred and eigthy-six] proceedings / Fall Joint Computer Conference: Nov. 2-6, 1986 - INFOMART - Dallas, Tex
    spons. by ACM and Computer Society of the IEEE. Harold S. Stone, proceedings ed. and program chairman
    Washington, DC: IEEE Computer Society Pr, 1986
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -