Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Sprache

Form

Person

466 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Process algebra
    J. C. M. Baeten and W. P. Weijland
    Cambridge [u.a.]: Cambridge Univ. Pr, 1990
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Coordinating distributed objects: an actor-based approach to synchronization
    Svend Frølund
    Cambridge, Mass. [u.a.]: MIT Press, 1996
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    A classification scheme for declarative programming languages: syntax, semantics and operational models
    Yi-Ke Guo ; Hendrik C. R. Lock
    Sankt Augustin: Ges. für Mathematik und Datenverarbeitung, 1990
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Abstract data types in standard ML
    Rachel Harrison
    Chichester [u.a.]: Wiley, 1993
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Theoretical aspects of computing: second international colloquium, Hanoi, Vietnam, October 17 - 21, 2005 ; proceedings
    ICTAC 2005. Dang Van Hung ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    Formal techniques for networked and distributed systems: 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11 - 14, 2002 ; proceedings
    FORTE 2002. Doron A. Peled ... (eds.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Data abstraction: Object oriented approach using C++
    Joseph Bergin
    New York [u.a.]: McGraw-Hill, 1994
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    Object orientation: concepts, analysis & design, languages, databases, graphical user interfaces, standards
    Setrag Khoshafian ; Razmik Abnous
    2. ed.. - New York [u.a.]: Wiley, 1995
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 29 öffnen
    Practical aspects of declarative languages: 7th international symposium ; proceedings
    PADL 2005, Long Beach, CA, USA, January 10 - 11, 2005. Manuel Hermenegildo... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  10. Detailansicht für Treffer 30 öffnen
    Parallel symbolic computing: languages, systems, and applications ; US Japan workshop, Cambridge, MA, USA, October 14 - 17, 1992 ; proceedings
    Robert H. Halstead ... (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    Abstract state machines: theory and applications ; international workshop ; proceedings
    ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Correct system design: recent insights and advances
    Ernst-Rüdiger Olderog ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Objektorientierte Software-Entwicklung
    von Heike Janssen ; Manfred Bundschuh
    München [u.a.]: Oldenbourg, 1993
    Monographie, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    Semantics for concurrency: proceedings of the international BCS-FACS workshop, 23 - 25 July 1990, University of Leicester, UK
    M. Z. Kwiatkowska ..
    London [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Formal techniques for networked and distributed systems: 24th IFIP WG 6.1 international conference ; proceedings
    FORTE 2004, Madrid, Spain, September 27 - 30, 2004. David de Frutos-Escrig ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Model checking software: proceedings
    10th International SPIN Workshop, Portland, OR, USA, May 9 - 10, 2003. Thomas Ball ... (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Formal modeling and analysis of timed systems: 4th international conference ; proceedings
    FORMATS 2006, Paris, France, September 25 - 27, 2006. Eugene Asarin ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Constraint based local search
    Pascal Van Hentenryck and Laurent Michel
    Cambridge, Mass. [u.a.]: MIT Press, 2005
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Practical aspects of declarative languages: 8th international symposium ; proceedings
    PADL 2006, Charleston, SC, USA, January 9 - 10, 2006. Pascal van Hentenryck (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Verification, model checking, and abstract interpretation: 7th international conference ; proceedings
    VMCAI 2006, Charleston, SC, USA, January 8 - 10, 2006. E. Allen Emerson ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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