Skip to contents

  1. Neuhold, Erich J. [Editor]; Zemanek, Heinz [Honoree] ; International Federation for Information Processing Technical Committee Programming, International Federation for Information Processing Technical Committee Programming Languages, Working Conference on the Role of Abstract Models in Information Processing 1985 Wien

    Formal models in programming : proceedings of the IFIP TC2 Working Conference on The Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Amsterdam [u.a.]: North-Holland, 1985

  6. Furtado, Antonio L. [Author]; Neuhold, Erich J. [Author]

    Formal techniques for data base design

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin [u.a.]: Springer, c 1985

  8. Neuhold, Erich J. [Editor]; Paul, Manfred [Other]; Apt, Krzysztof R. [Other] ; International Federation for Information Processing Working Group Formal Description of Programming Concepts

    Formal description of programming concepts : [based on a seminar]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 1991

    Published in: IFIP series on computer graphics- State-of-the-art reports / IFIP

  9. Ngu, Anne H. H. [Editor]; Kitsuregawa, Masaru [Other]; Neuhold, Erich J. [Other]; Chung, Jen-Yao [Other]; Sheng, Quan Z. [Other] ; WISE 6 2005 New York, NY

    Web information systems engineering - WISE 2005 : 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20 - 22, 2005 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2005

    Published in: Lecture notes in computer science ; 3806

  12. Langmaack, Hans [Editor]; Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]

    Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion : 27.1. bis 31.1.1986

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oberwolfach: Math. Forschungsinst., 1986 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

    Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1986,4

  13. Langmaack, Hans [Editor]; Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]

    Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion : 4. 1. bis 8. 1. 1982

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oberwolfach: Math. Forschungsinst., 1982 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

    Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1982,1

  14. Langmaack, Hans [Editor]; Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]

    Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion : 7.1. bis 13.1.1979

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oberwolfach: Math. Forschungsinst., 1979 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

    Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1979,2

  15. Langmaack, Hans [Editor]; Neuhold, Erich J. [Editor]; Paul, Manfred [Editor]

    Formale Methoden und mathematische Hilfsmittel für die Softwarekonstruktion : 21.11. bis 27.11.1976

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Oberwolfach: Math. Forschungsinst., 1976 ; Online-Ausg., Oberwolfach: Math. Forschungsinst., 2009

    Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1976,48

  16. Küng, Josef [Editor]; Thoai, Nam [Editor]; Takizawa, Makoto [Editor]; Neuhold, Erich J. [Editor]; Wagner, Roland [Editor]

    Future Data and Security Engineering : 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 – December 1, 2017, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham: Springer, 2017

    Published in: Lecture notes in computer science ; 10646

  17. Chung, Jen-Yao [Other]; Kitsuregawa, Masaru [Other]; Neuhold, Erich J. [Other]; Ngu, Anne H. H. [Other]; Sheng, Quan Z. [Other]

    Web Information Systems Engineering - WISE 2005 : 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3806

  18. Mustofa, Khabib [Author] ; Neuhold, Erich J. [Other]; Tjoa, A Min [Other]; Weippl, Edgar [Other]; You, Ilsun [Other]

    Information and Communicatiaon Technology : International Conference, ICT-EurAsia 2013, Yogyakarta, Indonesia, March 25-29, 2013. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer, 2013

    Published in: Lecture notes in computer science ; 7804

  19. Fox, Edward Alan [Other]; Neuhold, Erich J. [Other]; Premsmit, Pimrumpai [Other]; Wuwongse, Vilas [Other]

    Digital Libraries: Implementing Strategies and Sharing Experiences : 8th International Conference on Asian Digital Libraries, ICADL 2005, Bangkok, Thailand, December 12-15, 2005, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3815

  20. Bjorner, Dines [Author] ; Jones, Cliff B. [Other]; Mac An Airchinnigh, Michael [Other]; Neuhold, Erich J. [Other]

    VDM '87. VDM - A Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1987

    Published in: Lecture notes in computer science ; 252