Results for *

Displaying results 1 to 8 of 8.

  1. Finite automata
    behavior and synthesis
    Published: 1973
    Publisher:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 T759
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 8763
    No inter-library loan
    Universität Marburg, Fachbereichsbibliothek Mathematik und Informatik
    F.1 Trac
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Contributor: Barzdin, Jan M.; Trachtenbrot, Boris Avraamovič
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0720480213; 0444104186
    RVK Categories: AH 16032 ; EC 3750 ; ES 920 ; HE 310 ; ST 130 ; ST 136
    Series: Fundamental studies in computer science ; 1
    Subjects: Automatentheorie; Automat; Formale Sprache
    Scope: XI, 321 S., graph. Darst.
    Notes:

    Literaturverz. S. 310 - 315

  2. Theory and application of a bottom-up syntax-directed translator
    Published: 1973
    Publisher:  Acad. Press, New York, N.Y. [u.a.]

    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A161
    Unlimited inter-library loan, copies and loan
    TU Darmstadt, Universitäts- und Landesbibliothek - Stadtmitte
    /ST 136 A161
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-2
    No inter-library loan
    Universitätsbibliothek J. C. Senckenberg, Informatikbibliothek
    F.4-2 ex 2
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0120426501
    RVK Categories: ES 940 ; ES 960 ; ST 136 ; ST 265
    Series: ACM monograph series
    Subjects: Maschinelle Übersetzung; Compiler; Formale Sprache
    Scope: X, 160 S., graph. Darst.
    Notes:

    Literaturverz. S. 153 - 155

  3. Algebraic decoder specification: coupling formal-language theory and statistical machine translation
    Published: 2014

    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Language: English
    Media type: Dissertation
    Format: Print
    RVK Categories: ST 136
    Subjects: Maschinelle Übersetzung; Automatentheorie; Algebra
    Scope: IX, 208 S.
    Notes:

    Dresden, Techn. Univ., Fak. Informatik, Diss., 2014

  4. Algebraic decoder specification: coupling formal-language theory and statistical machine translation
    Published: 2015
    Publisher:  Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, Dresden ; Technische Universität Dresden

    Export to reference management software   RIS file
      BibTeX file
    Source: Union catalogues
    Contributor: Vogler, Heiko (Akademischer Betreuer); Koller, Alexander (Akademischer Betreuer)
    Language: English
    Media type: Dissertation
    Format: Online
    Other identifier:
    RVK Categories: ST 136
    Subjects: Maschinelle Übersetzung; Automatentheorie; Algebra
    Other subjects: Maschinelles Übersetzen; Algebraische Spezifikation; Theorie der formalen Sprachen; Gewichtete Baumautomaten; machine translation; algebraic specification; formal-language theory; weighted tree automata
    Scope: Online-Ressource
    Notes:

    Dresden, Technische Universität Dresden, Diss., 2014

  5. Algebraic decoder specification: coupling formal-language theory and statistical machine translation
    Published: 2014

    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    H 15 B 733
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Language: English
    Media type: Dissertation
    Format: Print
    RVK Categories: ST 136
    Subjects: Maschinelle Übersetzung;
    Scope: IX, 208 S.
    Notes:

    Dresden, Techn. Univ., Diss., 2014

  6. Algebraic decoder specification: coupling formal-language theory and statistical machine translation
    Published: 2014

    Universitätsbibliothek Braunschweig
    No inter-library loan
    Staats- und Universitätsbibliothek Bremen
    No inter-library loan
    Universitätsbibliothek Clausthal
    No inter-library loan
    Sächsische Landesbibliothek - Staats- und Universitätsbibliothek Dresden
    No inter-library loan
    Fachhochschule Erfurt, Hochschulbibliothek
    No inter-library loan
    Niedersächsische Staats- und Universitätsbibliothek Göttingen
    No inter-library loan
    Universitäts- und Landesbibliothek Sachsen-Anhalt / Zentrale
    No inter-library loan
    Helmut-Schmidt-Universität, Universität der Bundeswehr Hamburg, Universitätsbibliothek
    No inter-library loan
    Staats- und Universitätsbibliothek Hamburg Carl von Ossietzky
    No inter-library loan
    Technische Universität Hamburg, Universitätsbibliothek
    No inter-library loan
    Bibliothek der Hochschule Hannover
    No inter-library loan
    Bibliothek im Kurt-Schwitters-Forum
    No inter-library loan
    Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
    No inter-library loan
    Zentrale Hochschulbibliothek Lübeck
    No inter-library loan
    Leuphana Universität Lüneburg, Medien- und Informationszentrum, Universitätsbibliothek
    No inter-library loan
    Hochschule Magdeburg-Stendal, Hochschulbibliothek
    No inter-library loan
    Hochschule Osnabrück, Bibliothek Campus Westerberg
    No inter-library loan
    UB Weimar
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Volltext (kostenfrei)
    Source: Union catalogues
    Language: English
    Media type: Dissertation
    Format: Online
    Other identifier:
    RVK Categories: ST 136
    Subjects: Maschinelle Übersetzung; Automatentheorie; Algebra
    Notes:

    Online-Ausg. 2015. Online-Ressource

    Dresden, Techn. Univ., Fak. Informatik, Diss., 2014

  7. Designing beauty
    the art of cellular automata
    Contributor: Adamatzky, Andrew (HerausgeberIn); Martínez, Genaro J. (HerausgeberIn)
    Published: [2016]
    Publisher:  Springer, [Cham]

    Staatliche Museen zu Berlin, Preußischer Kulturbesitz, Kunstbibliothek
    ::8:2016:3567:
    No inter-library loan
    Technische Universität Bergakademie Freiberg, Bibliothek 'Georgius Agricola'
    19.3331 8.
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Ilmenau
    INF ST 136 A197
    Unlimited inter-library loan, copies and loan
    Universitätsbibliothek Kiel, Zentralbibliothek
    Bx 864
    Unlimited inter-library loan, copies and loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Union catalogues
    Contributor: Adamatzky, Andrew (HerausgeberIn); Martínez, Genaro J. (HerausgeberIn)
    Language: English
    Media type: Book
    Format: Print
    ISBN: 3319272691; 9783319272696; 9783319801056
    RVK Categories: ST 136
    Series: Emergence, complexity and computation ; Volume 20
    Subjects: Zellularer Automat; Kunst; Ästhetik;
    Scope: IX, 191 Seiten, Illustrationen, 23.5 cm x 15.5 cm, 0 g
  8. Finite automata
    behavior and synthesis
    Published: 1973
    Publisher:  North-Holland Publ. [u.a.], Amsterdam [u.a.]

    Universitätsbibliothek J. C. Senckenberg, Mathematikbibliothek
    A 8763
    No inter-library loan
    Export to reference management software   RIS file
      BibTeX file
    Content information
    Source: Specialised Catalogue of Comparative Literature
    Contributor: Barzdin, Jan M.; Trachtenbrot, Boris Avraamovič
    Language: English
    Media type: Book
    Format: Print
    ISBN: 0720480213; 0444104186
    RVK Categories: AH 16032 ; EC 3750 ; ES 920 ; HE 310 ; ST 130 ; ST 136
    Series: Fundamental studies in computer science ; 1
    Subjects: Automatentheorie; Automat; Formale Sprache
    Scope: XI, 321 S., graph. Darst.
    Notes:

    Literaturverz. S. 310 - 315