Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
72 Treffer

Suchmaske

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

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Form

Person

72 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    ACRI '96: proceedings of the Second Conference on Cellular Automata for Research and Industry, Milan, Italy, 16 - 18 October 1996
    S. Bandini ... (ed.)
    London [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Computer aided verification of coordinating processes: the automata theoretic approach
    Robert P. Kurshan
    Princeton NJ [u.a.]: Princeton University Press, 1994
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Cellular neural networks
    ed. by T. Roska ..
    Chichester [u.a.]: Wiley, 1993
    Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Neural and automata networks: dynamical behavior and applications
    by Eric Goles and Servet Martínez
    Dordrecht [u.a.]: Kluwer Acad. Publ, 1990
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Lindenmayer systems, fractals, and plants
    Przemyslaw Prusinkiewicz ; James Hanan
    New York [u.a.]: Springer, 1989
    Monographie, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Finite automata, formal logic, and circuit complexity
    Howard Straubing
    Boston [u.a.]: Birkhäuser, 1994
    Monographie, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Langages algébriques
    J.-M. Autebert
    Paris [u.a.]: Masson, 1987
    Monographie, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Workshop on Chaos and Complexity: Torino, Oct. 5 - 11, 1987
    ed.: R. Livi ....
    Singapore [u.a.]: World Scientific, 1988
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Formal models and semantics
    ed. by Jan van Leeuwen
    Amsterdam [u.a.]: Elsevier [u.a.], 1990
    Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Algebraische Eigenschaften linearer Automaten
    Klaus Ecker
    Als Ms. gedr.. - St. Augustin: Ges. für Mathematik u. Datenverarbeitung, 1974
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Automaten und Logiken über unendlichen Bäumen
    Hafer, Thilo
    1989
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Algebraic theory of automata
    BY ABRAHAM GINZBURG
    LONDON, NEW YORK: Academic Pr, 1972
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Language prototyping: an algebraic specification approach
    eds.: Arie van Deursen ..
    Singapore [u.a.]: World Scientific, 1996
    Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Comparative concurrency semantics and refinement of actions
    R. J. H. van Glabbeek
    Amsterdam: Stichting Math. Centrum, 1996
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Automata networks in computer science: theory and applications
    [Workshop "Computation on Cellular Arrays: Theory and Applications", Paris on 19 - 20 September 1985]. Ed. by Françoise Fogelman Soulié ..
    Manchester: Manchester Univ. Pr, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Current trends in theoretical computer science: essays and tutorials
    ed. by G. Rozenberg ..
    Singapore [u.a.]: World Scientific, 1993
    Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Implementations of logic programming systems
    ed. by Evan Tick ..
    Boston [u.a.]: Kluwer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Semigroups, formal languages and groups: [proceedings of the NATO Advanced Study Institute on Semigroups, Formal Languages and Groups, Universtity of York, U.K., 7 - 21 August 1993]
    ed. by John Fountain
    Dordrecht [u.a.]: Kluwer Acad. Publ, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Omega-bibliography of mathematical logic, 4. Recursion theory
    ed. by Gert H. Müller ..
    Berlin [u.a.]: Springer, 1987
    Bibliografie, Sammelwerk, Teil eines Werkes, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Algebraic automata theory
    W. M. L. Holcombe
    Cambridge [u.a.]: Cambridge Univ. Pr, 1982
    Monographie, Gedruckte Ressource

Artikel & mehr

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