Zum Hauptinhalt springen

Suchergebnisse

Katalog
350 Treffer

Suchmaske

Suchtipp für den Bereich 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

Form

Literaturtyp

Schlagwort

Sprache

Standort

Quelle der Treffer

350 Treffer

Sortierung: 
  1. Alexander Volland, Martin Engstler, Masud Fazal-Baqaie, Eckhart Hanser, Oliver Linssen, Martin Mikusz (Hrsg.)
    Bonn: Gesellschaft für Informatik e.V. (GI), [2017]
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. edited by Gerhard R. Joubert (Technical University Clausthal, Germany), Hugh Leather (University of Edinburgh, Scotland, UK), Mark Parsons (University of Edinburgh, Scotland, UK), Frans Peters (formerly Philips Research, Netherlands), and Mark Sawyer (University of Edinburgh, Scotland, UK)
    Amsterdam, Berlin, Washington, DC: IOS Press, [2016]
    Online Konferenzschrift, Sammelwerk, Elektronische Ressource
  3. Cambridge, Mass. [u.a.]: MIT-Press (1989-2016) ; San Mateo, Calif: Morgan Kaufmann (1988-1992) ; San Francisco, Calif: Morgan Kaufmann (1993), 1989-2016
    Zeitschrift, Konferenzschrift, Gedruckte Ressource
  4. Martin Engstler, Masud Fazal-Baqaie, Eckhart Hanser, Oliver Linssen, Martin Mikusz, Alexander Volland (Hrsg.)
    Bonn: Gesellschaft für Informatik e.V. (GI), [2016]
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. First International Symposium, ESSoS 2009, Leuven, Belgium, February 4 - 6, 2009. Fabio Massacci ... (ed.)
    Berlin [u.a.]: Springer, 2009
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27 - 30, 2008. Hana Chockler ; Alan J. Hu (ed.)
    Berlin [u.a.]: Springer, 2009
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Annie Cuyt ... (ed.)
    Berlin, Heidelberg, New York, NY: Springer, 2009
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. 11. Workshop Sichtsysteme. [Tagungsveranst.: Gesellschaft für Informatik, FG GDV-ANIS: Graphische Simulation und Animation ...]. Reinhard Möller (Hrsg.)
    Aachen: Shaker, 2009
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. ACM SIGSAM
    [New York, NY]: ACM, Association for Computing Machinery, 2009
    Monographie, Konferenzschrift, Elektronische Ressource, Audio
  10. Research Institute for Symbolic Computation, Johannes-Kepler-Universität, Linz ; ACM SIGSAM
    [New York, NY]: Association for Computing Machinery, 2008
    Monographie, Konferenzschrift, Elektronische Ressource, Audio
  11. Ada Europe 2007, 12th Ada Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25 - 29, 2007. Nabil Abdennadher ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. 14th European Conference, EuroSPI 2007, Potsdam, Germany, September 26 - 28, 2007. Pekka Abrahamsson ... (ed.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. ACM SIGSAM
    [New York, NY]: Association for Computing Machinery, 2007
    Monographie, Konferenzschrift, Elektronische Ressource, Audio
  14. CPAIOR 2007, Brussels, Belgium, May 23 - 26, 2007. Pascal van Hentenryck ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Patricia Melin ... (eds.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Euro-Par 2007, 13th International Euro-Par Conference, Rennes, France, August 28 - 31, 2007. Anne-Marie Kermarrec ... (ed.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. 23rd International Conference ICLP 2007, Porto, Portugal, September 8 - 13, 2007. Verónica Dahl ... (ed.)
    Berlin [u.a.]: Springer, 2007
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. First International Haifa Verification Conference, Haifa, Israel, November 13 - 16, 2005. Shmuel Ur ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. ACM SIGSAM
    [New York, NY]: Association for Computing Machinery, 2006
    Monographie, Konferenzschrift, Elektronische Ressource, Audio
  20. International Workshop UPP 2004, Le Mont Saint Michel, France, September 15 - 17, 2004. Jean-Pierre Banâtre ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr
Ermittle Trefferzahl…

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