Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Petri-Netze für Ingenieure : Modellbildung und Analyse diskret gesteuerter Systeme
1990
Signatur: TVG1384
    Datensatz exportieren als...
  • BibTeX
Game of Life Cellular Automata [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Logik, Automaten, Algorithmen
1967
Signatur: TVH1038
    Datensatz exportieren als...
  • BibTeX
Unconventional Computation : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Machine learning : an artificial intelligence approach. 1
Machine learning (Alle Bände), Symbolic computation
1984
Signatur: TVV3828-1
    Datensatz exportieren als...
  • BibTeX
Theories of abstract automata
Prentice-Hall series in automatic computation
1969
Signatur: TVH1193
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems (vol. # 4202) : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
New topics in learning automata theory and applications
Lecture notes in control and information sciences : 71 (Alle Bände)
1985
Signatur: TVH1965
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002 Geneva, Switzerland, October 9–11, 2002 Proceedings [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6350
2010
    Datensatz exportieren als...
  • BibTeX
Cellular Automata : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
IRobot - uMan : Künstliche Intelligenz und Kultur: Eine jahrtausendealte Beziehungskiste [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Finite automata : behavior and synthesis
Fundamental studies in computer science : 1 (Alle Bände)
1973
Signatur: TVJ1143
    Datensatz exportieren als...
  • BibTeX
Analogies between analogies : the mathematical reports of S. M. Ulam and his Los Alamos collaborators
Los Alamos series in basic and applied sciences : 10 (Alle Bände)
1990
Signatur: TAWU1014
    Datensatz exportieren als...
  • BibTeX
Formal Methods for the Design of Real-Time Systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Grundlagen elektronischer Automaten : Möglichkeiten und Grenzen der elektronischen Rechenanlagen
Philips technische Bibliothek
1966
Signatur: TUC1102
    Datensatz exportieren als...
  • BibTeX
Lernende Automaten : Bericht über die Fachtagung der Nachrichtentechnischen Gesellschaft im VDE (NTG), Fachausschuß 6 "Informationsverarbeitung" in Karlsruhe am 13. und 14. April 1961
Beihefte zur Zeitschrift "Elektronische Rechenanlagen" : 3 (Alle Bände)
1961
Signatur: TVH1923
    Datensatz exportieren als...
  • BibTeX
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Computersysteme - Ebenbilder der Natur? : ein Vergleich der Informationsverarbeitung
Facetten
1997
Signatur: VOD1353
    Datensatz exportieren als...
  • BibTeX
Contemporary logic design
2. ed, 2005
Signatur: TVE3263(2)
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6252
2010
    Datensatz exportieren als...
  • BibTeX
Implementation and Application of Automata : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Abstract Computing Machines : A Lambda Calculus Perspective [Elektronische Ressource]
Texts in Theoretical Computer Science, An EATCS Series
2005
1 – 25 von 138
Suche als RSS-Feed
Aktive Filter
Art des InhaltsHochschulschrift (Sonstige)
Suchergebnisse filtern
Filter anzeigen