1 - 4
toradh á dtaispeáint as
4
toradh san iomlán ar an gcuardach '
Thayse, André, 1940-
'
Léim chuig an ábhar
CAVAL Home
Start Over
Do chuntas
Logáil amach
Logáil isteach
Teanga
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Gach réimse
Teideal
Údar
Ábhar
ISBN/ISSN
Barrachód
AIMSIGH
CASTA
Údar
Thayse, André, 1940-
1 - 4
toradh á dtaispeáint as
4
toradh san iomlán ar an gcuardach '
Thayse, André, 1940-
'
, am iarratais: 0.01s
Beachtaigh na torthaí
Sórtáil
De réir ábharthachta
Is nuaí ar dtús
Is sine ar dtús
Gairmuimhir
Údar
Teideal
1
LEABHAR
Ag lódáil…
P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms /
de réir
Thayse
,
André
,
1940
-
Foilsithe / Cruthaithe 1984
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
2
LEABHAR
Ag lódáil…
Boolean calculus of differences /
de réir
Thayse
,
André
,
1940
-
Foilsithe / Cruthaithe 1981
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
3
LEABHAR
Ag lódáil…
From logic design to logic programming : theorem proving techniques and P-functions /
de réir
Snyers, Dominique, 1959-
Foilsithe / Cruthaithe 1987
Rannpháirtithe:
“…
Thayse
,
André
,
1940
-…”
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
4
LEABHAR
Ag lódáil…
Digital systems, with algorithm implementation /
de réir
Davio, Marc
Foilsithe / Cruthaithe 1983
Rannpháirtithe:
“…
Thayse
,
Andre
,
1940
-…”
Gairmuimhir:
Ag lódáil…
Suíomh:
Ag lódáil…
Cuir le mo chuid Ceanán
Sábháilte in:
Uirlisí cuardaigh:
Faigh fotha RSS
–
Seol an cuardach seo mar r-phost
Ábhair a bhaineann le hábhar
Algorithms
Algebra, Boolean
Automatic theorem proving
Circuits
Computer algorithms
Computer architecture
Computer programs
Computers
Data processing
Logic circuits
Logic programming
Matrices
Methodology
Switching theory