Zum Inhalt springen

Gopalakrishnan, Ganesh [Sonstige Person, Familie und Körperschaft]; Windley, Phillip [Sonstige Person, Familie und Körperschaft] ; FMCAD 2 1998 Palo Alto, Calif

Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1998

Erschienen in: Lecture notes in computer science ; 1522
Kumar, Ramayya [HerausgeberIn] ; TPCD 2 1994 Bad Herrenalb

Theorem provers in circuit design : theory, practice and experience ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1995

Erschienen in: Lecture notes in computer science ; 901
Borrione, Dominique [HerausgeberIn] ; International Federation for Information Processing Working Group Digital Systems Descriptions and Design Tools, Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Designs 1986 Grenoble

From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Designs ; Grenoble, France, 9 - 11 Sept., 1986

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland, 1987
Tyrrell, Andy M. [HerausgeberIn] ; ICES 5 2003 Trondheim

Evolvable systems : from biology to hardware ; 5th international conference, ICES 2003, Trondheim, Norway, March 17 - 20, 2003 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2606
Liu, Yong [HerausgeberIn] ; ICES 4 2001 Tokio

Evolvable systems : from biology to hardware ; 4th international conference ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2001

Erschienen in: Lecture notes in computer science ; 2210
Hunt, Warren A. [HerausgeberIn]; Somenzi, Fabio [Sonstige Person, Familie und Körperschaft] ; CAV 15 2003 Boulder, Colo

Computer aided verification : 15th International Conference, Boulder, CO, USA, July 8 - 12, 2003 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2725
Mead, Carver [HerausgeberIn]; Ismail, Mohammed [Sonstige Person, Familie und Körperschaft]

Analog VLSI implementation of neural systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston [u.a.]: Kluwer Academic Publishers, 1989

Erschienen in: Kluwer international series in engineering and computer science ; 80
Falsafi, Babak [HerausgeberIn]; Vijaykumar, T. N. [Sonstige Person, Familie und Körperschaft] ; PACS 4 2004 Portland, Or

Power-aware computer systems : 4th international workshop, PACS 2004, Portland, OR, USA, December 5, 2004 ; revised selected papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3471
Moreno, Juan Manuel [HerausgeberIn]; Madrenas, Jordi [Sonstige Person, Familie und Körperschaft] ; ICES 6 2005 Sitges

Evolvable systems: from biology to hardware : 6th international conference, ICES 2005, Sitges, Spain, September 12 - 14, 2005 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2005

Erschienen in: Lecture notes in computer science ; 3637
Leeser, Miriam [HerausgeberIn] ; Cornell University Mathematical Sciences Institute

Hardware specification, verification and synthesis : mathematical aspects ; Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5 - 7, 1989 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1990

Erschienen in: Lecture notes in computer science ; 408
Falsafi, Babak [HerausgeberIn]; Vijaykumar, T. N. [Sonstige Person, Familie und Körperschaft] ; PACS 3 2003 San Diego, Calif

Power-aware computer systems : third international workshop, PACS 2003, San Diego, CA, USA, December 1, 2003 ; revised papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2004

Erschienen in: Lecture notes in computer science ; 3164
Falsafi, Babak [HerausgeberIn] ; PACS 2 2002 Cambridge, Mass

Power-aware computer systems : second international workshop, PACS 2002, Cambridge, MA, USA, February 2, 2002 ; rev. papers

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2003

Erschienen in: Lecture notes in computer science ; 2325
Clarke, Edmund M. [HerausgeberIn] ; CAV 2 1990 New Brunswick, NJ

Computer-aided verification : 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18 - 21, 1990 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1991

Erschienen in: Lecture notes in computer science ; 531
International Test Conference (1996 :Washington, D.C.), IEEE Computer Society Test Technology Technical Committee, Institute of Electrical and Electronics Engineers Philadelphia Section

Proceedings : International Test Conference 1996

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Altoona, Pa: The Conference, 2011 ; [S.l.]: HathiTrust Digital Library
Zorian, Yervant [VeranstalterIn]; Mhaidat, Khaldoon [VeranstalterIn] ; International Design & Test Symposium 10. 2015 Amman, Institute of Electrical and Electronics Engineers, Institute of Electrical and Electronics Engineers, IEEE Computer Society Test Technology Technical Council, IEEE Council on Electronic Design Automation

Proceeding of 2015 10th International Design & test Symposium (IDT) : Dead Sea, Jordan, 14-16 December 2015

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2015
IEEE Computer Society Test Technology Technical Committee, Institute of Electrical and Electronics Engineers

2014 9th International Design & Test Symposium (IDT) : 16 - 18 Dec. 2014, Algiers, Algeria

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2014
Inoue, Michiko [VeranstalterIn]; Singh, Virendra [VeranstalterIn] ; Asian Test Symposium 24. 2015 Mumbai

2015 Asian Test Symposium - ATS 2015 : 22-25 November 2015, Mumbai, Maharashtra, India : proceedings

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2015
Institute of Electrical and Electronics Engineers, IEEE Computer Society Test Technology Technical Council

2014 IEEE 23rd Asian Test Symposium (ATS) : 16 - 19 Nov. 2014, Hangzhou, China

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2014
Institute of Electrical and Electronics Engineers

2013 22nd Asian Test Symposium (ATS) : 18 - 21 Nov. 2013, Jiaosi, Yilan County

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2013
Institute of Electrical and Electronics Engineers

2012 IEEE 21st Asian Test Symposium (ATS) : 19 - 22 Nov. 2012, Niigata, Japan

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via IEEE Xplore Digital Library)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2012

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr