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 161 öffnen
    Fuzzy-Methoden: praxisrelevante Rechenmodelle und Fuzzy-Programmiersprachen ; mit 116 Tabellen
    Benno Biewer
    Berlin [u.a.]: Springer, 1997
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 162 öffnen
    Objekt-orientierte Programmierung in der Automatisierung
    Jörg Fiedler ; Karl F. Rix ; Horst Zöller
    Düsseldorf: VDI-Verl, 1991
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 163 öffnen
    Formal methods for industrial applications: specifying and programming the steam boiler control
    Jean-Raymond Abrial ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 164 öffnen
    Mathematics of program construction: proceedings
    Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Bernhard Möller (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 165 öffnen
    Fundamental approaches to software engineering: 7th international conference ; proceedings
    FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Michel Wermelinger ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 166 öffnen
    Mathematics of program construction: proceedings
    5th International Conference, MPC 2000, Ponte de Lima, Portugal, July 3 - 5, 2000. Roland Backhouse ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 167 öffnen
    Fundamental approaches to software engineering: 9th international conference ; proceedings
    FASE 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27 - 28, 2006. Luciano Baresi ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 168 öffnen
    Verification, model checking, and abstract interpretation: 4th international conference ; proceedings
    VMCAI 2003, New York, NY, USA, January 9 - 11, 2003. Lenore D. Zuck ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 169 öffnen
    Probabilistic models of population evolution: scaling limits, genealogies and interactions
    Étienne Pardoux
    Cham: Springer International Publishing, [2016]
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 170 öffnen
    Adaptive agents and multi-agent systems, 2: adaptation and multi-agent learning
    Eduardo Alonso ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  11. Detailansicht für Treffer 171 öffnen
    Language prototyping: an algebraic specification approach
    eds.: Arie van Deursen ..
    Singapore [u.a.]: World Scientific, 1996
    Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 172 öffnen
    AspectJ in action: practical aspect-oriented programming
    Ramnivas Laddad
    Greenwich: Manning, 2003
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 173 öffnen
    Persistent object systems: proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5 - 9 September 1994
    Malcolm Atkinson ... (ed.)
    London [u.a.]: Springer [u.a.], 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 174 öffnen
    Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems
    Krämer, Bernd
    München [u.a.]: Oldenbourg, 1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  15. Detailansicht für Treffer 175 öffnen
    MetaSoft primer: towards a metalanguage for applied denotational semantics
    Andrzej Blikle
    Berlin [u.a.]: Springer, 1987
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 176 öffnen
    On data models, their transformations and consistency preserving programming interfaces
    Martin Pein
    Norderstedt: Books on Demand, 2002
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 177 öffnen
    Principles and practice of constraint programming: 8th international conference ; proceedings
    CP 2002, Ithaca, NY, USA, September 9 - 13, 2002. Pascal Van Hentenryck (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 178 öffnen
    Modular programming languages: proceedings
    7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13 - 15, 2006. David E. Lightfoot ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 179 öffnen
    Modular programming languages: proceedings
    Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25 - 27, 2003. László Böszörményi ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 180 öffnen
    Recent advances in constraints: selected papers
    Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Krzysztof R. Apt ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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