Zum Hauptinhalt springen

Suchergebnisse

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

116 Treffer

Sortierung: 
  1. Clemens Szyperski with Dominik Gruntz and Stephan Murer
    2. ed.. - New York: ACM Press [u.a.], 2002
    Monographie, Gedruckte Ressource
  2. RISSEF 2002, Venice, Italy, October 7 - 11, 2002. Martin Wirsing ... (ed.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Barbara Liskov and John Guttag
    Cambridge, Mass. [u.a.]: MIT Pr. [u.a.], 1986
    Monographie, Gedruckte Ressource
  4. Barbara Liskov
    Boston, Mass. [u.a.]: Addison-Wesley, 2000
    Monographie, Gedruckte Ressource
  5. ACM SIGPLAN Workshop LCTES '98, Montreal, Canada, June 19 - 20, 1998. Frank Mueller ... (eds.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Bernhard Lahres ; Gregor Raýman
    2., aktualisierte und erw. Aufl., 1., korrigierter Nachdr.. - Bonn: Galileo Press, 2011
    Monographie, Gedruckte Ressource
  7. Uwe Aßmann
    Berlin [u.a.]: Springer, 2003
    Monographie, Gedruckte Ressource
  8. W. M. Turski
    London [u.a.]: Heyden, 1978
    Monographie, Gedruckte Ressource
  9. 2nd International Conference of B and Z Users, Grenoble, France, January 23 - 25, 2002. Didier Bert ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Gerhard Platz
    München [u.a.]: Hanser, 1983
    Monographie, Einführung, Gedruckte Ressource
  11. FM 2005, International Symposium of Formal Methods Europe, Newcastle, UK, July 18 - 22, 2005. John Fitzgerald ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Mark D. Ryan ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Jochen Seemann ; Jürgen Wolff von Gudenberg
    Berlin [u.a.]: Springer, 2000
    Monographie, Gedruckte Ressource, Elektronische Ressource, CD-ROM
  14. ZB 2005, 4th International Conference of B and Z Users, Guildford, UK, April 13 - 15, 2005. Helen Treharne ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Stephan Diehl (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Roland Backhouse ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. International Symposium of Formal Methods Europe, Pisa, Italy, September 8 - 14, 2003. Keijiro Araki ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Jochen Seemann ; Jürgen Wolff von Gudenberg
    2. Aufl.. - Berlin [u.a.]: Springer, 2006
    Monographie, Gedruckte Ressource
  19. 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26 - 30, 2005. Marco Bernardo ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. W. Kirsten ..
    2., überarb. und erw. Aufl.. - Berlin [u.a.]: Springer, 2003
    Sammelwerk, Gedruckte Ressource

Artikel & mehr
Ermittle Trefferzahl…

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