UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 95

Sortiert nach

Building expert systems

The teknowledge series in knowledge engineering : 1 (Alle Bände)

Hayes-Roth, Frederick[Herausgeber]

1983

Signatur: TVV2725

Design eines Courseware-Entwicklungssystems für den computerunterstützten universitären Unterricht : CULLIS-Teilprojekt I

Entscheidungsunterstützung für ökonomische Probleme : 9 (Alle Bände)

Petersen, Kirsten

1996

Signatur: IIS1664

Controller synthesis for application specific integrated circuits

Series in microelectronics : 16 (Alle Bände)

Zahir, Rumi

1. Aufl, 1991

Signatur: TVE2568

Designing interactive systems : key issues for a holistic approach

Schriften der Johannes-Kepler-Universität Linz : Reihe C, Technik und Naturwissenschaften : 34 (Alle Bände)

Wimmer, Maria A

Linz, 2000

Signatur: WBC2517

VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration. 83. Trondheim, Norway, 16 - 19 August 1983

VLSI design of digital systems (Alle Bände)

1983

Signatur: YGQ2123-83

Special issue on hardware, software co-design

Proceedings of the IEEE : 85,3 (Alle Bände)

1997

Signatur: 88i41

Comprehensive systems design : a new educational technology ; [proceedings of the NATO Advanced Research Workshop on Comprehensive Systems Design: A New Educational Technology, held in Pacific Grove, California, December 2 - 7, 1990

NATO ASI series : Series F, Computer and systems sciences : 95 (Alle Bände)

Reigeluth, Charles M[Herausgeber]

1993

Signatur: IGF2188

Human machine communication for educational systems design : proceedings of the NATO Advanced Study Institute on Basics of Man Machine Communication for the Design of Educational Systems, held in Eindhoven, the Netherlands, August 16 - 26, 1993

NATO ASI series : Series F, Computer and systems sciences : 129 (Alle Bände)

Brouwer-Janse, Maddy D[Herausgeber]

1994

Signatur: HYO1233

Computers and exploratory learning : proceedings of the NATO Advanced Research Workshop on the Design of Computational Media to Support Exploratory Learning, held at the Asilomar Conference Center, Pacific Grove, California, October 3 - 7, 1993

NATO ASI series : Series F, Computer and systems sciences : 146 (Alle Bände)

Disessa, Andrea A[Herausgeber]

1995

Signatur: TTQ932664

Smart SysTech 2015 : European Conference on Smart Objects, Systems and Technologies, June 16 - 17, 2015 in Aachen, Germany [Elektronische Ressource]

ITG-Fachbericht : 259 (Alle Bände)

Smart SysTech

2015

Signatur: XVI150070

Smart SysTech 2016 : European Conference on Smart Objects, Systems and Technologies : June 7-8, 2016 in Duisburg, Germany

ITG-Fachbericht : 265 (Alle Bände)

Smart SysTech

[2016]

Signatur: XVI160067

Smart SysTech 2017 : European Conference on Smart Objects, Systems and Technologies : June 20-21, 2017 in Munich, Germany

ITG-Fachbericht : 273 (Alle Bände)

Smart SysTech

[2017]

Signatur: XVI170088

Smart SysTech 2018 : European Conference on Smart Objects, Systems and Technologies : June 12-13, 2018, Fraunhofer Institute for Photonic Microsystems (IPMS) in Dresden, Germany

ITG-Fachbericht : 280 (Alle Bände)

Smart SysTech

[2018]

Signatur: XVI180067

Smart SysTech 2019 : European Conference on Smart Objects, Systems and Technologies : June 4-5, 2019, Fraunhofer Institute for Factory Operation and Automation IFF, Magdeburg, Germany

ITG-Fachbericht : 289 (Alle Bände)

Smart SysTech

[2019]

Signatur: XVI190062

Dynamic analysis of Petri net-based discrete systems

Lecture notes in control and information sciences : 356 (Alle Bände)

Karatkevich, Andrei

2007

Signatur: TVG1651

Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]

Lecture notes in computer science : 4218 (Alle Bände)

Graf, Susanne[Herausgeber]

2006

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]

Lecture notes in computer science : 4313 (Alle Bände)

Margaria, Tiziana[Herausgeber]

2006

Link zum Volltext
Volltext
Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer

Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers [Elektronische Ressource]

2003

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Interactive system design

1. print, 1995

Signatur: TVV10871

Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]

2006

Collaborative Design for Embedded Systems : Co-modelling and Co-simulation [Elektronische Ressource]

2014

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2014 (ZDB-2-SCS)

Principles of artificial intelligence and expert systems development

Rolston, David W

3. [Dr.], [19]89

Signatur: TVU2314

Handbook of digital system design

Lin, Wen C

2. ed, 1990

Signatur: YGQ1711(2)

SDL 2007: Design for Dependable Systems : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings [Elektronische Ressource]

2007

1 – 25 von 95

Suche als RSS-Feed

Aktive Filter

SpracheDeutsch

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(94)
Zeitschrift
(1)

Schlagwort

Systementwurf
(95)
Software engineering
(43)
Computer science
(42)
Logic design
(31)
Softwareentwicklung
(30)
Formale Methode
(24)
Computer Communication Networks
(22)
Systemanalyse
(19)
Verifikation
(19)
Eingebettetes System
(18)
Mensch-Maschine-Kommunikation
(15)
Information systems
(9)
Model Checking
(9)
Online-Ressource
(8)
Sicherheitskritisches System
(8)
Zuverlässigkeit
(8)
Benutzeroberfläche
(7)
Hardwareentwurf
(7)
Information storage and retrieval systems
(7)
Engineering
(6)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(59)

Systemstelle

TWQ
(7)
TVV
(5)
XVI
(5)
TWT
(2)
TXB
(2)
TZU
(2)
YGQ
(2)
64
(1)
88
(1)
HRH
(1)
HYO
(1)
IGF
(1)
IIS
(1)
PZP
(1)
PZY
(1)
QCJ
(1)
TTQ
(1)
TUD
(1)
TVE
(1)
TVG
(1)

15 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Building expert systems

Design eines Courseware-Entwicklungssystems für den computerunterstützten universitären Unterricht : CULLIS-Teilprojekt I

Controller synthesis for application specific integrated circuits

Designing interactive systems : key issues for a holistic approach

VLSI design of digital systems : proceedings of the IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration. 83. Trondheim, Norway, 16 - 19 August 1983

Special issue on hardware, software co-design

Comprehensive systems design : a new educational technology ; [proceedings of the NATO Advanced Research Workshop on Comprehensive Systems Design: A New Educational Technology, held in Pacific Grove, California, December 2 - 7, 1990

Human machine communication for educational systems design : proceedings of the NATO Advanced Study Institute on Basics of Man Machine Communication for the Design of Educational Systems, held in Eindhoven, the Netherlands, August 16 - 26, 1993

Computers and exploratory learning : proceedings of the NATO Advanced Research Workshop on the Design of Computational Media to Support Exploratory Learning, held at the Asilomar Conference Center, Pacific Grove, California, October 3 - 7, 1993

Smart SysTech 2015 : European Conference on Smart Objects, Systems and Technologies, June 16 - 17, 2015 in Aachen, Germany [Elektronische Ressource]

Smart SysTech 2016 : European Conference on Smart Objects, Systems and Technologies : June 7-8, 2016 in Duisburg, Germany

Smart SysTech 2017 : European Conference on Smart Objects, Systems and Technologies : June 20-21, 2017 in Munich, Germany

Smart SysTech 2018 : European Conference on Smart Objects, Systems and Technologies : June 12-13, 2018, Fraunhofer Institute for Photonic Microsystems (IPMS) in Dresden, Germany

Smart SysTech 2019 : European Conference on Smart Objects, Systems and Technologies : June 4-5, 2019, Fraunhofer Institute for Factory Operation and Automation IFF, Magdeburg, Germany

Dynamic analysis of Petri net-based discrete systems

Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]

Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]

Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers [Elektronische Ressource]

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings [Elektronische Ressource]

Interactive system design

Automated Technology for Vertification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings [Elektronische Ressource]

Collaborative Design for Embedded Systems : Co-modelling and Co-simulation [Elektronische Ressource]

Principles of artificial intelligence and expert systems development

Handbook of digital system design

SDL 2007: Design for Dependable Systems : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern