Applied computation theory : :: SCD d'Orléans

Applied computation theory : analysis, design, modeling

Applied computation theory : analysis, design, modeling

Kaydedildi:

Detaylı Bibliyografya
Diğer Yazarlar:	Yeh, Raymond Tzuu-Yau, 1937- (Editör)
Materyal Türü:	Livre papier
Dil:	Anglais
Baskı/Yayın Bilgisi:	Englewood Cliffs, N.J. : Prentice-Hall C 1976.
Seri Bilgileri:	Prentice-Hall series in automatic computation
Konular:	Machines séquentielles, Théorie des Ordinateurs > Programmation Ordinateurs > Conception et construction
Autres localisations:	Voir dans le Sudoc

Benzer Materyaller

Combinatorics on traces
Yazar:: Diekert, Volker

Logique séquentielle : cours et exercices
Yazar:: Gindre, Marcel, 1948-, ve diğerleri
Baskı/Yayın Bilgisi: (1994)

Computer architecture : a quantitative approach
Yazar:: Hennessy, John L., 1952-, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Introduction to DNA self-assembled computer design
Yazar:: Dwyer, Christopher L., ve diğerleri
Baskı/Yayın Bilgisi: (2008)

An introduction to mathematical machine theory
Yazar:: Ginsburg, Seymour, 1927-2004
Baskı/Yayın Bilgisi: (1962)

Introduction to switching and automata theory
Yazar:: Harrison, Michael A., 19..-
Baskı/Yayın Bilgisi: (1965)

Sequential machines and automata theory
Yazar:: Booth, Taylor L.
Baskı/Yayın Bilgisi: (1967)

Le microprocesseur. aspects logiciels
Yazar:: Darche, Philippe, 19..-
Baskı/Yayın Bilgisi: (2021)

Collected works. Design of computers, theory of automata and numerical analysis
Yazar:: Von Neumann, John, 1903-1957
Baskı/Yayın Bilgisi: (1963)

Les automatismes et leur conception assistée par ordinateur
Yazar:: Alanche, Pierre
Baskı/Yayın Bilgisi: (1988)

Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
Baskı/Yayın Bilgisi: (2005)

Mathematical foundations of computer science 1979 : proceedings, 8th symposium, Olomouc, Czechoslovakia, September 3-7, 1979

Machines séquentielles
Yazar:: Zahnd, Jacques, 1939-
Baskı/Yayın Bilgisi: (1987)

Formal models of communicating systems : languages, automata, and monadic second-order logic
Yazar:: Bollig, Benedikt
Baskı/Yayın Bilgisi: (2006)

Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979

Systèmes logiques
Yazar:: Perrin, Jean-Paul, 19..-...., ingénieur, ve diğerleri
Baskı/Yayın Bilgisi: (1967)

Structured computer organization
Yazar:: Tanenbaum, Andrew, 1944-
Baskı/Yayın Bilgisi: (1999)

Optimisation multidisciplinaire en mécanique. Démarche de conception, stratégies collaboratives et concourantes, multiniveaux de modèles et de paramètres
Yazar:: Filomeno Coelho, Rajan
Baskı/Yayın Bilgisi: (2009)

Optimisation multidisciplinaire en mécanique. Réduction de modèles, robustesse, fiabilité, réalisations logicielles
Yazar:: Filomeno Coelho, Rajan
Baskı/Yayın Bilgisi: (2009)

Logique séquentielle : cours et exercices
Yazar:: Gindre, Marcel, 1948-, ve diğerleri
Baskı/Yayın Bilgisi: (1987)

Le microprocesseur. fonctions de calcul et de mémorisation, modèles de calcul et architecture des ordinateurs
Yazar:: Darche, Philippe, 19..-
Baskı/Yayın Bilgisi: (2021)

Algèbre de Boole et machines logiques
Baskı/Yayın Bilgisi: (1967)

Architecture et micro-architecture des processeurs
Yazar:: Goossens, Bernard, 1956-...., enseignant-chercheur en informatique
Baskı/Yayın Bilgisi: (2002)

Computer-aided design
Baskı/Yayın Bilgisi: (1990)

Théorie structurelle des automates finis
Yazar:: Moisil, Grigore C., 1906-1973
Baskı/Yayın Bilgisi: (1967)

Computer organization and design : the hardware-software interface
Yazar:: Patterson, David A., 1947-, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Power and performance : software analysis and optimization
Yazar:: Kukunas, Jim, 19..-
Baskı/Yayın Bilgisi: (2015)

Interactive multi-objective programming as a framework for computer-aided control system design
Yazar:: Ng, Wai-Yin

Les fondements de l'informatique : du bit au cloud
Yazar:: Bersini, Hugues, 1961-, ve diğerleri
Baskı/Yayın Bilgisi: (2014)

Architecture et technologie des ordinateurs
Yazar:: Zanella, Paolo, 1933-, ve diğerleri
Baskı/Yayın Bilgisi: (1998)

Mathematical theory of computation
Yazar:: Manna, Zohar, 1939-2018
Baskı/Yayın Bilgisi: (1974)

Le microprocesseur. aspects matériels
Yazar:: Darche, Philippe, 19..-
Baskı/Yayın Bilgisi: (2021)

Teoria degli automi finiti
Yazar:: De Luca, Aldo, 1941-, ve diğerleri
Baskı/Yayın Bilgisi: (2013)

Computer aided systems theory - CAST '94 : 4th international workshop, Ottawa, Ontario, Canada, May 16-20, 1994 : selected papers

Optimization-based computer-aided modelling and design : proceedings of the first working conference of the new IFIP TC 7.6 Working Group,The Hague, The Netherlands, 1991

Computer aided systems theory - EUROCAST'97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24 28, 1997 : proceedings

Computer aided systems theory - EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings

Computer aided systems theory - EUROCAST '89 : a selection of papers from the International Workshop EUROCAST '89, Las Palmas, Spain February 26 March 4, 1989 : proceedings

Le microprocesseur. aspects logiciels et matériels du développement, du débogage et du test
Yazar:: Darche, Philippe, 19..-
Baskı/Yayın Bilgisi: (2021)

Le microprocesseur. communication dans un système numérique
Yazar:: Darche, Philippe, 19..-
Baskı/Yayın Bilgisi: (2021)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales