Direkt zur Hauptnavigation springen Direkt zum Inhalt springen
Letzte Suchanfragen

Ergebnisse für *

Es wurden 8 Ergebnisse gefunden.

Zeige Ergebnisse 1 bis 8 von 8.

Sortieren

  1. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Freie Universität Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Humboldt-Universität zu Berlin, Universitätsbibliothek, Jacob-und-Wilhelm-Grimm-Zentrum
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    TU Berlin, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  2. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Brandenburgische Technische Universität Cottbus - Senftenberg, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Europa-Universität Viadrina, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)

    Standort:
    Technische Hochschule Wildau [FH], Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Sonstige)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 3540551247
    Weitere Identifier:
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Unifikationstheorie; Reduktionssystem; Automatisches Beweisverfahren; Wortassoziation; Informatik; Gleichung; Wortgleichung; Freie Gruppe
    Umfang: 1 Online-Ressource (256 S.), graph. Darst.
    Bemerkung(en):

    Literaturangaben
  3. Word equations and related topics
    proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /SS 1800 I961.1990
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Standort:
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    Signatur:
    /SS 1800 I961.1990
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)

    Standort:
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    Signatur:
    Z 23, 572
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    Format: Druck
    ISBN: 3540551247; 0387551247
    RVK Klassifikation: ES 900 ; SS 1800 ; SS 4800 ; ES 900 ; SS 1800 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Wortgleichung; Unifikationstheorie; Reduktionssystem
    Umfang: 256 S., graph. Darst.
    Bemerkung(en):

    Literaturangaben
  4. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Technisch-naturwissenschaftliche Zweigbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek, Teilbibliotheken Garching
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Würzburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
  5. Word Equations and Related Topics
    1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 Proceedings
    Autor*in: Schulz, K. U
    Erschienen: 1992
    Verlag:  Springer-Verlag, Berlin, Heidelberg

    Zugang:

    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Standort:
    Hessisches BibliotheksInformationsSystem HeBIS
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hessisches BibliotheksInformationsSystem (HeBIS)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 9783540551249; 3540551247; 9783540467373 (Sekundärausgabe); 3540467378 (Sekundärausgabe)
    Weitere Identifier:
    RVK Klassifikation: ES 900 ; SS 1800 ; SS 4800 ; ES 900 ; SS 1800 ; SS 4800
    Schriftenreihe: Lecture Notes in Computer Science ; 572
    Schlagworte: Wortgleichung; Unifikationstheorie; Reduktionssystem
    Umfang: ... S.
    Bemerkung(en):

    Online-Ausg.:
  6. Word equations and related topics
    1st International Workshop, IWWERT '90, Tübingen , Germany, October 1 - 3, 1990 ; proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Ostbayerische Technische Hochschule Amberg-Weiden, Hochschulbibliothek Amberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule Augsburg, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Augsburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bamberg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Bayreuth
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Landesbibliothek Coburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Erlangen-Nürnberg, Hauptbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule Kempten, Hochschulbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule Landshut, Hochschule für Angewandte Wissenschaften, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Bayerische Staatsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Deutsches Museum, Bibliothek
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Hochschule München, Bibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Technische Universität München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek der LMU München
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universität der Bundeswehr München, Universitätsbibliothek
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Passau
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)

    Standort:
    Universitätsbibliothek Regensburg
    Fernleihe:
    uneingeschränkte Fernleihe, Kopie und Ausleihe
    Link zum Verbundkatalog:
    Bibliotheksverbund Bayern (BVB)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Hinweise zum Inhalt
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Sonstige)
    Sprache: Englisch
    Medientyp: Ebook
    Format: Online
    ISBN: 3540551247
    Weitere Identifier:
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Unifikationstheorie; Reduktionssystem; Automatisches Beweisverfahren; Wortassoziation; Informatik; Gleichung; Wortgleichung; Freie Gruppe
    Umfang: 1 Online-Ressource (256 S.), graph. Darst.
    Bemerkung(en):

    Literaturangaben
  7. WORD EQUATIONS AND RELATED TOPICS
    1ST INTERN.WORKSHOP,IWWERT '90.PROCEEDINGS. ; TUEBINGEN
    Autor*in:
    Erschienen: 1992
    Verlag:  SPRINGER, BERLIN

    Standort:
    Ruhr-Universität Bochum, Verbundbibliothek IB Fachbibliothek für Geographie, Geologie, Mathematik, Psychologie
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: SCHULZ, KLAUS-ULRICH (Hrsg.)
    Sprache: Unbestimmt
    Medientyp: Buch (Monographie)
    ISBN: 3540551247
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: LECTURE NOTES IN COMPUTER SCIENCE ; 572
    Schlagworte: Informatik; Automatisches Beweisverfahren; Gleichung; Wortassoziation; Reduktionssystem; Wortgleichung; Freie Gruppe; Unifikationstheorie
    Umfang: 256 S.
  8. Word equations and related topics
    proceedings
    Autor*in:
    Erschienen: 1992
    Verlag:  Springer, Berlin [u.a.]

    Standort:
    Universitätsbibliothek der RWTH Aachen
    Signatur:
    ZA6315-572
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Bielefeld
    Signatur:
    HI052%Y90 W9E6R
    Fernleihe:
    keine Ausleihe von Bänden, nur Papierkopien werden versandt
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitäts- und Landesbibliothek, Abteilungsbibliothek Medizin, Naturwissenschaften und Landbau
    Signatur:
    W 2014/25205
    Fernleihe:
    Ausleihe von Bänden möglich, keine Kopien
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Duisburg-Essen, Campus Essen
    Signatur:
    TTQ3396
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek der Fernuniversität
    Signatur:
    TUQ/IWWE
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Kaiserslautern
    Signatur:
    INF
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Koblenz
    Signatur:
    INF 045 2327-572
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Bibliothek des Fachbereichs Mathematik und Informatik der Universität
    Signatur:
    I LNCS 572
    Fernleihe:
    keine Fernleihe
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Paderborn
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)

    Standort:
    Universitätsbibliothek Trier
    Signatur:
    XR/f338-572
    Link zum Verbundkatalog:
    Hochschulbibliothekszentrum des Landes Nordrhein-Westfalen (hbz)
    Export in Literaturverwaltung   RIS-Format
      BibTeX-Format
    Quelle: Verbundkataloge
    Beteiligt: Schulz, Klaus U. (Hrsg.)
    Sprache: Englisch
    Medientyp: Buch (Monographie)
    ISBN: 3540551247; 0387551247
    RVK Klassifikation: ES 900 ; SS 4800
    Schriftenreihe: Lecture notes in computer science ; 572
    Schlagworte: Reduktionssystem; Wortgleichung; Unifikationstheorie
    Umfang: 256 S.