Résultats de "Microprogrammation" Résultat(s) 1 - 15 résultats de 15 Laminas_Feed_Writer 2 (https://getlaminas.org) https://catalogue.univ-orleans.fr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Microprogrammation%22&type=Subject&lng=fr 15 0 50 Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings Wed, 26 Nov 2025 06:14:31 +0000 https://catalogue.univ-orleans.fr/Record/948634 https://catalogue.univ-orleans.fr/Record/948634 Livre numérique 0 Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988 Wed, 26 Nov 2025 06:14:21 +0000 https://catalogue.univ-orleans.fr/Record/945635 https://catalogue.univ-orleans.fr/Record/945635 Livre numérique 0 Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings Wed, 26 Nov 2025 06:14:21 +0000 https://catalogue.univ-orleans.fr/Record/945656 https://catalogue.univ-orleans.fr/Record/945656 Livre numérique 0 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings Wed, 26 Nov 2025 06:14:21 +0000 https://catalogue.univ-orleans.fr/Record/945584 https://catalogue.univ-orleans.fr/Record/945584 Livre numérique 0 Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings Wed, 26 Nov 2025 06:14:20 +0000 https://catalogue.univ-orleans.fr/Record/945420 https://catalogue.univ-orleans.fr/Record/945420 Livre numérique 0 Exploitation of fine-grain parallelism Wed, 26 Nov 2025 06:14:20 +0000 https://catalogue.univ-orleans.fr/Record/945517 https://catalogue.univ-orleans.fr/Record/945517 Böckle, Günter Livre numérique Böckle, Günter 0 Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings Wed, 26 Nov 2025 06:14:16 +0000 https://catalogue.univ-orleans.fr/Record/944986 https://catalogue.univ-orleans.fr/Record/944986 Livre numérique 0 LUCAS associative array processor : design, programming, and application studies Wed, 26 Nov 2025 06:14:16 +0000 https://catalogue.univ-orleans.fr/Record/944960 https://catalogue.univ-orleans.fr/Record/944960 Fernstrom, Christer, 1951- Livre numérique Fernstrom, Christer, 1951- 0 The complexity of simple computer architectures Wed, 26 Nov 2025 06:14:14 +0000 https://catalogue.univ-orleans.fr/Record/944676 https://catalogue.univ-orleans.fr/Record/944676 Müller, Silvia M., 19..- Livre numérique Müller, Silvia M., 19..- 0 Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings Wed, 26 Nov 2025 06:14:14 +0000 https://catalogue.univ-orleans.fr/Record/944622 https://catalogue.univ-orleans.fr/Record/944622 Livre numérique 0 STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings Wed, 26 Nov 2025 06:14:11 +0000 https://catalogue.univ-orleans.fr/Record/944142 https://catalogue.univ-orleans.fr/Record/944142 Livre numérique 0 Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings Wed, 26 Nov 2025 06:14:11 +0000 https://catalogue.univ-orleans.fr/Record/944199 https://catalogue.univ-orleans.fr/Record/944199 Livre numérique 0 STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings Wed, 26 Nov 2025 06:14:10 +0000 https://catalogue.univ-orleans.fr/Record/944012 https://catalogue.univ-orleans.fr/Record/944012 Livre numérique 0 Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings Wed, 26 Nov 2025 06:14:10 +0000 https://catalogue.univ-orleans.fr/Record/943923 https://catalogue.univ-orleans.fr/Record/943923 Livre numérique 0 P-Functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms Thu, 10 Jul 2025 11:03:49 +0000 https://catalogue.univ-orleans.fr/Record/976396 https://catalogue.univ-orleans.fr/Record/976396 Thayse, André, 1940- Livre numérique Thayse, André, 1940- 0