Active filters
Displaying 1-50 of 259 results
Digital systems logic and circuits [by] B. Zacharov.
Text
London, Allen & Unwin, 1968.
1968
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 71-44 | Item locationOffsite |
Introduction to probabilistic automata.
Text
New York, Academic Press, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 71-415 | Item locationOffsite |
Logic, automata, and algorithms [by] Mark A. Aiserman [and others] Translated by Scripta Technica. Translation editor: George M. Kranc.
Text
New York, Academic Press, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 72-347 | Item locationOffsite |
Counter-free automata [by] Robert McNaughton [and] Seymour Papert.
Text
Cambridge, Mass., M.I.T. Press [1971]
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 72-619 | Item locationOffsite |
Introduction to switching logic [by] C. L. Sheng.
Text
Scranton, Intext Educational Publishers [1972]
1972
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 72-1209 | Item locationOffsite |
Circuits logiques et automatismes à séquences, par P. Naslin. 2. éd. entièrement refondue.
Text
Paris, Dunod, 1965.
1965
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 72-1454 | Item locationOffsite |
Theory of machines and computations; proceedings. Edited by Zvi Kohavi and Azaria Paz.
Text
New York, Academic Press, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 74-341 | Item locationOffsite |
Switching machines [by] J.-P. Perrin, M. Denouett, and E. Daclin.
Text
Dordrecht, D. Reidel [1967]
1967
2 items
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 72-1329 v. 2 | Item locationOffsite |
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 72-1329 v. 1 | Item locationOffsite |
Théorie et pratique d'automatismes numériques, de la logique aux ordinateurs [par] Ch. Korsakissok ...
Text
Paris, Éditions Radio, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 73-173 | Item locationOffsite |
Logique, automatique, informatique. [Recherches. Sous la direction de Gr. C. Moisil].
Text
Bucarest, Éditions de l'Académie de la République Socialiste de Roumanie, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 73-605 | Item locationOffsite |
Switching machines. [Translated from the French] [By] J. P. Perrin, M. Denouette, and E. Daclin.
Text
Dordrecht, Reidel, 1972.
1972
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSK 73-250 Lacking: v. 2. v. 1 | Item locationOffsite |
Automata, languages and programming. Proceedings of a symposium organized by IRIA, Institut de recherche d'informatique et d'automatique, 78-Rocquencourt, France., July 3-7, 1972. Edited by M. Nivat.
Text
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 73-1552 | Item locationOffsite |
Introduction to the theory of computation.
Text
New York, Academic Press [1973]
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 73-2029 | Item locationOffsite |
Currents in the theory of computing, edited by Alfred V. Aho. Contributing authors: Ronald V. Book [and others]
Text
Englewood Cliffs, N.J., Prentice-Hall [1973]
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 74-5 | Item locationOffsite |
Finite automata; behavior and synthesis [by] B. A. Trakhtenbrot and Ya. M. Barzdinʹ. Translated from the Russian by D. Louvish. English translation edited by E. Shamir and L. H. Landweber.
Text
Amsterdam, North-Holland Pub. Co.; New York, American Elsevier, 1973.
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 74-69 | Item locationOffsite |
Automaten, Algorithmen, Gehirne.
Text
[Frankfurt am Main] Suhrkamp [c1971]
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 73-961 | Item locationOffsite |
Theory of computation [by] Walter S. Brainerd [and] Lawrence H. Landweber.
Text
New York, Wiley [1974]
1974
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 74-835 | Item locationOffsite |
Ein verallgemeinertes Modell endlicher sequentieller Systeme und Beiträge zu deren Reduktionstheorie.
Text
Bonn, Gesellschaft für Mathematik und Datenverarbeitung, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 73-775 | Item locationOffsite |
Angewandte Automatentheorie.
Text
Berlin, Akademie-Verlag [1972]
1972
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSC 73-213 | Item locationOffsite |
Ėlementy konstruktivnoĭ teorii vero︠i︡atnostnykh avtomatov.
Text
Riga, "Zinatne," 1972.
1972
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call number*QH 73-5462 | Item locationOffsite |
Computability and decidability; an introduction for students of computer science [by] J. Loeckx.
Text
Berlin, New York, Springer, 1972.
1972
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJLM 72-289 no. 68-74 | Item locationOffsite |
Design methods for digital systems [by] J. Chinal. Transl. from French by A. Preston and A. Sumner.
Text
Berlin, Heidelberg, New York, Springer, 1973.
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 74-1322 | Item locationOffsite |
Algoritmteori. En orientering om metoder och resultat.
Text
Lund. Studentlitteratur, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 74-337 | Item locationOffsite |
Kategorien und Automaten. Von Hartmut Erig, Michael Pfender u. Studenten d. Mathematik u. Informatik. -
Text
Berlin, New York: de Gruyter 1972.
1972
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 73-1489 | Item locationOffsite |
Stochastic automata; constructive theory [by] A. A. Lorenz. Translated from Russian by D. Louvish.
Text
New York, Wiley [1974]
1974
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 74-1600 | Item locationOffsite |
Vero︠i︡atnostnye avtomaty.
Text
Kazanʹ, Izd. Kazan. un-ta, 1970.
1970
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call number*QH 73-6202 | Item locationOffsite |
Logischer Entwurf digitaler Systeme [von] W. Giloi [und] H. Liebig.
Text
Berlin, New York, Springer, 1973.
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSF 74-781 | Item locationOffsite |
Information-lossless automata of finite order [by] A. A. Kurmit. Translated from Russian by D. Louvish.
Text
New York, Wiley [1974]
1974
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 75-133 | Item locationOffsite |
Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten [microform].
Text
(Birlinghoven, Ges. f. Mathematik u. Datenverarbeitung, 1970.)
1970
0 resources
Algoritmy sinteza diskretnykh avtomatov.
Text
Moskva, "Nauka," 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call number*QH 75-5023 | Item locationOffsite |
Automata, languages, and machines.
Text
New York, Academic Press, 1974-76.
1974-1976
2 items
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSK 75-357 Library has: Vols. A-B. V.B | Item locationOffsite |
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSK 75-357 Library has: Vols. A-B. V.A | Item locationOffsite |
Voprosy diagnostiki i nadezhnosti konechnykh avtomatov : [sbornik stateĭ / red. kollegi︠i︡a, A. N. Skl︠i︡arevich (otv. red.) ... et al.].
Text
Riga : Zinatne, 1973.
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call number*QH 75-8179 | Item locationOffsite |
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle.
Text
Berlin ; New York : Springer-Verlag, 1975.
1975
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 75-1816 | Item locationOffsite |
Über Schieberegistergraphen und -Realisierungen [microform].
Text
Bonn, Gesellschaft für Mathematik und Datenverarbeitung, 1970.
1970
0 resources
Introduction to logic and switching theory / Nripendra N. Biswas.
Text
New York : Gordon and Breach Science Publishers, c1975.
1975
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 76-1101 | Item locationOffsite |
Technische Informatik: Grundlagen u. Anwendungen Boolescher Maschinen/ Erich Merkel.
Text
Braunschweig: Vieweg, 1973.
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 76-822 | Item locationOffsite |
Applications of fuzzy sets to systems analysis / C. V. Negoită, D. A. Ralescu.
Text
Basel, Birkhauser Verlag, 1975.
1975
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 76-1419 | Item locationOffsite |
Applied computation theory : analysis, design, modeling / Raymond T. Yeh, editor.
Text
Englewood Cliffs, N.J. : Prentice-Hall, c1976.
1976
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 76-363 | Item locationOffsite |
Revue française d'automatique, informatique, recherche opérationnelle: Automatique.
Text
[Paris] Dunod.
1972-1976
3 items
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSP 76-322 v. 9-10 (1975-1976) | Item locationOffsite |
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSP 76-322 v. 8 (Apr. -Oct. 1974) | Item locationOffsite |
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSP 76-322 v. 7 (1973) | Item locationOffsite |
Construction des machines séquentielles industrielles, par Pierre Girard [et] Pierre Naslin.
Text
Paris, Dunod [1973]
1973
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 76-557 | Item locationOffsite |
Nadezhnostʹ sistem s nakopleniem narusheniĭ.
Text
Riga, "Zinatne", 1969.
1969
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call number*QH 76-943 | Item locationOffsite |
Mathematical systems theory : proceedings of the international symposium held in Udine, Italy, June 16-27, 1975 / edited by G. Marchesini and S. K. Mitter.
Text
Berlin ; New York : Springer-Verlag, 1976.
1976
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJLM 72-289 no. 131-132 | Item locationOffsite |
Rekursive Funktionen und ihre Komplexität / von C. P. Schnorr.
Text
Stuttgart : Teubner, 1974.
1974
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSD 76-615 | Item locationOffsite |
Einführung in die strukturelle Automatentheorie / Dieter Bochmann.
Text
Berlin, Verlag Technik [1975]
1975
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 78-689 | Item locationOffsite |
Logical systems for industrial applications / by Jerzy Jaczewski ; translated from the Polish by Tadeusz Przybylski.
Text
Amsterdam ; New York : Elsevier Scientific Pub. Co., 1977.
1977
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 78-911 | Item locationOffsite |
Automata-theoretic aspects of formal power series / Arto Salomaa, Matti Soittola : [editors, F. L. Bauer, David Gries].
Text
New York : Springer-Verlag, 1978.
1978
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 79-1393 | Item locationOffsite |
Logika, automaty a algoritmy. [Autor: kol., ved.] M. A. Ajzerman. Z rus. orig. Logika, avtomaty, algotitmy přel. Jaroslav Volčʹik, Miroslav Mleziva a Antonín Mykiska. 1. vyd.
Text
Praha. Academia, 1971.
1971
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call number*QT 79-1445 | Item locationOffsite |
Mathematical foundations of computer science 1975, 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář.
Text
Berlin ; New York : Springer-Verlag, 1975.
1975
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 80-1555 | Item locationOffsite |
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby.
Text
Berlin ; New York : Springer-Verlag, 1977.
1977
1 item
Format | Call number | Item location |
---|---|---|
FormatText | Call numberJSE 81-30 | Item locationOffsite |
Algebraische Eigenschaften linearer Automaten / Klaus Ecker.
Text
Bonn : Gesellschaft für Mathematik und Datenverarbeitung, 1974.
1974
0 resources