Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 68 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
The synthesis approach to digital system design ed. by Petra Michel ... von Reihen: ; 170 | Kluwer international series in engineering and computer science ; 170
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston [u.a.] Kluwer Acad. Publ. 1992
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MICh p 1992:1 1.Ex.
Vormerken Zum Korb hinzufügen
2.
Proceedings / 29th ACM IEEE Design Automation Conference June 8 - 12, 1992, Anaheim, Calif. von Reihen: ; 13 | Association for Computing Machinery ACM conference proceedings series ; 13 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Los Alamitos, Calif. [u.a.] IEEE Computer Soc. Pr. [u.a.] 1992
Weitere Titel:
  • DAC '92
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DAC 1992 29.
Vormerken Zum Korb hinzufügen
3.
Formal methods in circuit design V. Stavridou von Reihen: ; 3700 | Cambridge tracts in theoretical computer science ; 37
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] Cambridge Univ. Press 1993
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) StAV v 1993:1 1.Ex.
Vormerken Zum Korb hinzufügen
4.
Theorem provers in circuit design theory, practice and experience ; proceedings Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Ramayya Kumar ... (eds.) von Reihen: ; 90100 | Lecture notes in computer science ; 901
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995
Weitere Titel:
  • TPCD '94
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 901.
Vormerken Zum Korb hinzufügen
5.
Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-Verifikation Klaus Schneider von Reihen: ; 116 | Dissertationen zur künstlichen Intelligenz ; 116
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Sankt Augustin Infix 1996
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Diss., 1995
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 116.
Vormerken Zum Korb hinzufügen
6.
Entwurf selbsttestbarer Schaltungen Albrecht P. Ströle von Reihen: ; 27 | Teubner-Texte zur Informatik ; 27
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Leipzig Teubner 1998
Hochschulschriftenvermerk: Zugl.: Karlsruhe, Univ., Habil.-Schr., 1997
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) StRÖ a 1998:1 1.Ex.
Vormerken Zum Korb hinzufügen
7.
Evolvable systems: from biology to hardware second International Conference, ICES 98, Lausanne, Switzerland, September 23 - 25, 1998; proceedings Moshe Sipper ... (eds.) von Reihen: ; 147800 | Lecture notes in computer science ; 1478
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1478.
Vormerken Zum Korb hinzufügen
8.
Formal methods in computer-aided design second international conference, FMCAD '98, Palo Alto, CA, USA, November 4 - 6, 1998; proceedings Ganesh Gopalakrishnan ... (ed.) von Reihen: ; 152200 | Lecture notes in computer science ; 1522
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Weitere Titel:
  • FMCAD '98
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1522.
Vormerken Zum Korb hinzufügen
9.
Evolvable systems: from biology to hardware third international conference, ICES 2000, Edinburgh, Scotland, UK, April 17 - 19, 2000 ; proceedings Julian Miller ... (ed.) von Reihen: ; 180100 | Lecture notes in computer science ; 1801
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1801.
Vormerken Zum Korb hinzufügen
10.
Ein objektorientiertes Wissensmodell zur Konfigurierung digitaler Systeme Karlheinz Agsteiner von Reihen: ; 233 | Dissertationen zur künstlichen Intelligenz ; 233
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Infix, Akad. Verl.-Ges. Aka 2000
Hochschulschriftenvermerk: Zugl.: Chemnitz, Univ., Diss., 1999
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) DISKI 233.
Vormerken Zum Korb hinzufügen
11.
Integrated circuit design power and timing modeling, optimization and simulation ; 10th international workshop ; Göttingen, Germany, September 13 - 15, 2000 ; proceedings PATMOS 2000. Dimitrios Soudris ... (ed.) von Reihen: ; 191800 | Lecture notes in computer science ; 1918
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2000
Weitere Titel:
  • PATMOS 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 1918.
Vormerken Zum Korb hinzufügen
12.
Power-aware computer systems first international workshop, Cambridge, MA, USA, November 12, 2000 ; revised papers PACS 2000. B. Falsafi; T. N. Vijaykumar (eds.) von Reihen: ; 200800 | Lecture notes in computer science ; 2008
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Singapore Tokyo Springer 2001
Weitere Titel:
  • PACS 2000
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2008.
Vormerken Zum Korb hinzufügen
13.
Evolvable systems from biology to hardware ; 4th international conference ; proceedings ICES 2001, Tokyo, Japan, October 3 - 5, 2001. Yong Liu ... (ed.) von Reihen: ; 221000 | Lecture notes in computer science ; 2210
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
Weitere Titel:
  • ICES 2001
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2210.
Vormerken Zum Korb hinzufügen
14.
Integrated circuit design power and timing modeling, optimization and simulation ; 12th international workshop, PATMOS 2002, Seville, Spain, September 11 - 13, 2002 ; proceedings Bertrand Hochet; Antonio J. Acosta; Manuel J. Bellido (eds.) von Reihen: ; 245100 | Lecture notes in computer science ; 2451
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • Sevilla
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2451.
Vormerken Zum Korb hinzufügen
15.
Concurrency and hardware design advances in Petri nets Jordi Cortadella ... (eds.) von Reihen: state-of-the-art-survey | ; 254900 | Lecture notes in computer science ; 2549
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2549.
Vormerken Zum Korb hinzufügen
16.
Evolvable systems from biology to hardware ; 5th international conference, ICES 2003, Trondheim, Norway, March 17 - 20, 2003 ; proceedings Andy M. Tyrrell ... (eds.) von Reihen: ; 260600 | Lecture notes in computer science ; 2606
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2606.
Vormerken Zum Korb hinzufügen
17.
Integrated circuit and system design power and timing modeling, optimization and simulation : 13th international workshop, PATMOS 2003, Turin, Italy, September 10 - 12, 2003 ; proceedings Jorge Juan Chico ... (eds.) von Reihen: ; 279900 | Lecture notes in computer science ; 2799
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2799.
Vormerken Zum Korb hinzufügen
18.
Correct hardware design and verification methods 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21 - 24, 2003 ; proceedings Daniel Geist; Enrico Tronci (ed.) von Reihen: ; 286000 | Lecture notes in computer science ; 2860
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 2860.
Vormerken Zum Korb hinzufügen
19.
Automated technology for verification and analysis second international conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004 ; proceedings Farn Wang (Ed.) von Reihen: ; 329900 | Lecture notes in computer science ; 3299
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11339656
Verlag: Berlin Heidelberg [u.a.] Springer 2004
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3299.
Vormerken Zum Korb hinzufügen
20.
Integrated circuit and system design power and timing modeling, optimization and simulation ; 15th international workshop, PATMOS 2005, Leuven, Belgium, September 21 - 23, 2005 ; proceedings Vassilis Paliouras ... (ed.) von Reihen: ; 372800 | Lecture notes in computer science ; 3728
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11556930
Verlag: Berlin Heidelberg [u.a.] Springer 2005
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 3728.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha