Zum Inhalt springen

  1. Neuhold, Erich J. [HerausgeberIn]; Zemanek, Heinz [GefeierteR] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  3. Lockemann, Peter C. [HerausgeberIn]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing, International Conference on Very Large Data-Bases 2 1976 Brüssel

    Systems for large data bases : proceedings of the 2nd International Conference on Very Large Date Bases, Brussels, Belgium, 8 - 10 September 1976

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  4. Hemmje, Matthias [HerausgeberIn]; Neuhold, Erich J. [GefeierteR]; Niederee, Claudia [Sonstige Person, Familie und Körperschaft]; Risse, Thomas [Sonstige Person, Familie und Körperschaft]

    From integrated publication and information systems to virtual information and knowledge environments : essays dedicated to Erich J. Neuhold on the occasion of his 65th birthday

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 3379

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

    Formal techniques for data base design

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

  7. Yakhno, Tatyana [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]; Jachno, Tat'jana [HerausgeberIn] ; ADVIS 4 2006 Izmir

    Advances in information systems : 4th international conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006 ; proceedings

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 4243

  8. Neuhold, Erich J. [HerausgeberIn]; Paul, Manfred [Sonstige Person, Familie und Körperschaft]; Apt, Krzysztof R. [Sonstige Person, Familie und Körperschaft] ; International Federation for Information Processing Working Group Formal Description of Programming Concepts

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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

  9. Ngu, Anne H. H. [HerausgeberIn]; Kitsuregawa, Masaru [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]; Chung, Jen-Yao [Sonstige Person, Familie und Körperschaft]; Sheng, Quan Z. [Sonstige Person, Familie und Körperschaft] ; 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

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Lecture notes in computer science ; 3806

  10. Knuth, Elöd [VerfasserIn] ; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]

    Specification and Design of Software Systems : Conference on Operating Systems. Visegrad, Hungary, January 23-27, 1982; Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1983

    Erschienen in: Lecture notes in computer science ; 152

  11. Jachno, Tat'jana [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]

    Advances in Information Systems (vol. # 4243) : 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

    Erschienen in: Lecture notes in computer science ; 4243

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10646

  17. Chung, Jen-Yao [Sonstige Person, Familie und Körperschaft]; Kitsuregawa, Masaru [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]; Ngu, Anne H. H. [Sonstige Person, Familie und Körperschaft]; Sheng, Quan Z. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3806

  18. Mustofa, Khabib [VerfasserIn] ; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]; Tjoa, A Min [Sonstige Person, Familie und Körperschaft]; Weippl, Edgar [Sonstige Person, Familie und Körperschaft]; You, Ilsun [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer, 2013

    Erschienen in: Lecture notes in computer science ; 7804

  19. Fox, Edward Alan [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]; Premsmit, Pimrumpai [Sonstige Person, Familie und Körperschaft]; Wuwongse, Vilas [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3815

  20. Bjorner, Dines [VerfasserIn] ; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Mac An Airchinnigh, Michael [Sonstige Person, Familie und Körperschaft]; Neuhold, Erich J. [Sonstige Person, Familie und Körperschaft]

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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1987

    Erschienen in: Lecture notes in computer science ; 252