Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- electronics 9 Treffer
- electronique 9 Treffer
- electronique des semiconducteurs. microelectronique. optoelectronique. dispositifs a l'etat solide 8 Treffer
- semiconductor electronics. microelectronics. optoelectronics. solid state devices 8 Treffer
- circuits integres 7 Treffer
-
45 weitere Werte:
- computer science; control theory; systems 7 Treffer
- informatique; automatique theorique; systemes 7 Treffer
- integrated circuits 7 Treffer
- circuit design 6 Treffer
- computer aided design 6 Treffer
- computer science 6 Treffer
- concepcion asistida 6 Treffer
- conception assistee 6 Treffer
- conception circuit 6 Treffer
- constraint satisfaction 6 Treffer
- diseno circuito 6 Treffer
- informatique 6 Treffer
- satisfaccion restriccion 6 Treffer
- satisfaction contrainte 6 Treffer
- artificial intelligence 5 Treffer
- conception. technologies. analyse fonctionnement. essais 5 Treffer
- design. technologies. operation analysis. testing 5 Treffer
- intelligence artificielle 5 Treffer
- satisfiability 5 Treffer
- conjunctive normal form 4 Treffer
- formula cnf 4 Treffer
- formule cnf 4 Treffer
- logica proposicional 4 Treffer
- logique propositionnelle 4 Treffer
- propositional logic 4 Treffer
- binary decision diagram 3 Treffer
- commutation 3 Treffer
- conmutacion 3 Treffer
- diagrama binaria decision 3 Treffer
- diagramme binaire decision 3 Treffer
- evaluacion prestacion 3 Treffer
- evaluation performance 3 Treffer
- logiciel 3 Treffer
- performance evaluation 3 Treffer
- satisfiabilite 3 Treffer
- software 3 Treffer
- switching 3 Treffer
- algorithm 2 Treffer
- algorithme 2 Treffer
- algoritmo 2 Treffer
- circuit properties 2 Treffer
- circuit vlsi 2 Treffer
- circuito vlsi 2 Treffer
- circuits electriques, optiques et optoelectroniques 2 Treffer
- circuits electroniques 2 Treffer
Verlag
Publikation
- annual symposium on foundations of computer science 2 Treffer
- design automation conference (proceedings 2004) 2 Treffer
- focs 2002 : foundations of computer science (vancouver bc, 16-19 november 2002) 2 Treffer
- iccad-2004 (international conference on computer aided design) 2 Treffer
- 16th ieee international conference on tools with artificial intelligence ictai 2004 (boca raton fl, 15-17 november 2004) 1 Treffer
-
10 weitere Werte:
- 2002 ieee international symposium on intelligent control (vancouver bc, 27-30 october 2002) 1 Treffer
- digest of technical papers - ieee/acm international conference on computer-aided design 1 Treffer
- iccad-2002 : ieee/acm international conference on computer aided design (san jose ca, 10-14 november 2002) 1 Treffer
- iccd'2002 : ieee international conference on computer design : vlsi in computers and processors (freiburg, 16-18 september 2002) 1 Treffer
- ieee international electron devices meeting 2004 (iedm technical digest) 1 Treffer
- ieee lester eastman conference on high performance devices (newark de, 6-8 august 2002) 1 Treffer
- ivnc 2004 (technical digest of the 17th international vacuum nanoelectronics conference) 1 Treffer
- proceedings - international conference on tools with artificial intelligence, tai 1 Treffer
- proceedings of the 2004 congress on evolutionary computation (cec 2004, june 19-23, 2004, portland or, usa) 1 Treffer
- proceedings, ieee international conference on computer design 1 Treffer
Sprache
14 Treffer
-
In: ICCAD-2004 (International Conference on Computer Aided Design), 2004KonferenzZugriff:
-
In: Design automation conference (proceedings 2004), 2004, S. 530-534KonferenzZugriff:
-
In: 16th IEEE international conference on tools with artificial intelligence ICTAI 2004 (Boca Raton Fl, 15-17 November 2004), 2004, S. 566-573KonferenzZugriff:
-
A hybrid deterministic/genetic test generator to improve fault effectiveness and reduce CPU time runIn: Proceedings of the 2004 congress on evolutionary computation (CEC 2004, June 19-23, 2004KonferenzZugriff:
-
In: ICCAD-2004 (International Conference on Computer Aided Design), 2004KonferenzZugriff:
-
In: FOCS 2002 : foundations of computer science (Vancouver BC, 16-19 November 2002), 2002, S. 593-603KonferenzZugriff:
-
In: ICCAD-2002 : IEEE/ACM international conference on computer aided design (San Jose CA, 10-14 November 2002), 2002, S. 450-457KonferenzZugriff:
-
In: 2002 IEEE international symposium on intelligent control (Vancouver BC, 27-30 October 2002), 2002, S. 734-739KonferenzZugriff:
-
In: IVNC 2004 (technical digest of the 17th International Vacuum Nanoelectronics Conference), 2004, S. 254-255KonferenzZugriff:
-
In: Design automation conference (proceedings 2004), 2004, S. 518-523KonferenzZugriff:
-
In: ICCD'2002 : IEEE international conference on computer design : VLSI in computers and processors (Freiburg, 16-18 September 2002), 2002, S. 64-69KonferenzZugriff:
-
In: FOCS 2002 : foundations of computer science (Vancouver BC, 16-19 November 2002), 2002, S. 604-613KonferenzZugriff:
-
In: IEEE International Electron Devices Meeting 2004 (IEDM technical digest), 2004, S. 35-38KonferenzZugriff:
-
Three decades of our graduate research and education in compound semiconductor materials and devicesIn: IEEE Lester Eastman conference on high performance devices (Newark DE, 6-8 August 2002), 2002, S. 4-9KonferenzZugriff: