Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
8 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

8 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Perspectives of system informatics: proceedings
    Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6 - 9, 1999. Dines Bjørner ... (ed.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Perspectives of system informatics: revised papers
    4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2 - 6, 2001. Dines Bjørner ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Formal specification and software development
    Dines Bjørner ..
    Englewood Cliff, NJ [u.a.]: Prentice-Hall Internat, 1982
    Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Perspectives of system informatics: proceedings
    Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996. Dines Bjørner ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Software engineering, 2. Specification of systems and languages : with 27 tables / D. Bjørner with contributions from Christian Krog Madsen
    Bjørner, Dines (1937-) ; Krog Madsen, Christian
    Berlin [u.a.]: Springer, 2006
    Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Partial evaluation and mixed computation: proceedings of the IFIP TC 2 Workshop on Partial Evaluation and Mixed Computation, Gammel Avernaes, Denmark, 18 - 24 Oct., 1987
    ed. by Dines Bjørner ..
    Amsterdam [u.a.]: North-Holland, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    VDM - a formal method at work: VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings
    VDM '87. Ed. by D. Bjørner ..
    Berlin [u.a.]: Springer, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    VDM and Z - formal methods in software development: proceedings
    VDM '90, Third International Symposium of VDM Europe, Kiel, FRG, April 17 - 21, 1990. D. Bjørner ... (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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