Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Advances in Control, Communication Networks, and Transportation Systems : In Honor of Pravin Varaiya [Elektronische Ressource]
Systems and Control: Foundations & Applications
2005
    Datensatz exportieren als...
  • BibTeX
Global Perspectives on Design Science Research : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6105
2010
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Conceptual Modeling for New Information Systems Technologies : ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
User centred design of systems
Applied computing
1999
Signatur: TVV15588
    Datensatz exportieren als...
  • BibTeX
Elektromechanische Systeme der Mikrotechnik und Mechatronik : Dynamischer Entwurf – Grundlagen und Anwendungen [Elektronische Ressource]
2, 2009
    Datensatz exportieren als...
  • BibTeX
Entwurf hydraulischer Maschinen : Modellbildung, Stabilitätsanalyse und Simulation hydrostatischer Antriebe und Steuerungen
VDI-Buch
1999
Signatur: XRA1398
    Datensatz exportieren als...
  • BibTeX
CIM-Integrationsmodell : die EDV-gestützte Verbindung betrieblicher Bereiche
Betriebs- und Wirtschaftsinformatik : 47 (Alle Bände)
1991
Signatur: TZH6296
    Datensatz exportieren als...
  • BibTeX
Mechatronischer Entwurf eines reversierenden, hydraulischen Antriebsaktors für die aktive Fahrzeugfederung
Fortschritt-Berichte VDI : Reihe 12, Verkehrstechnik, Fahrzeugtechnik : 555 (Alle Bände)
Als Ms. gedr, 2003
Signatur: ZQP1816, P1631
    Datensatz exportieren als...
  • BibTeX
From Programs to Systems. The Systems perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Designing interactive systems : a comprehensive guide to HCI and interaction design
2. ed, 2010
Signatur: TVV18934(2)
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Contextual design : defining customer-centered systems
Morgan Kaufmann series in interactive technologies
1998
Signatur: TZU2239
    Datensatz exportieren als...
  • BibTeX
Contextual design : defining customer-centered systems
Morgan Kaufmann series in interactive technologies
[Nachdr.], [20]10
Signatur: TZU2239
    Datensatz exportieren als...
  • BibTeX
SDL 2009: Design for Motes and Mobiles : 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5719
2009
    Datensatz exportieren als...
  • BibTeX
Interactive Systems. Design, Specification, and Verification : 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Entwurf und Synthese von Eingebetteten Systemen : ein Lehrbuch
2013
Signatur: TWT6888
    Datensatz exportieren als...
  • BibTeX
Eingebettete Systeme : Entwurf, Modellierung und Synthese
De Gruyter Oldenbourg Studium
3., durchgesehene und überarbeitete Auflage, [2018]
Signatur: TWQ14501(3)
    Datensatz exportieren als...
  • BibTeX
Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Theoretical Computer Science and General Issues : 11665
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6252
2010
    Datensatz exportieren als...
  • BibTeX
Embedded Systems Design : The ARTIST Roadmap for Research and Development [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Eine modellbasierte Methode zum strukturierten Entwurf virtueller Umgebungen
HNI-Verlagsschriftenreihe : 99 (Alle Bände)
2001
Signatur: TZT3476, P1459
    Datensatz exportieren als...
  • BibTeX
Flugregelung. 1. Das Flugzeug als Regelstrecke : mit 14 Tabellen
Flugregelung (Alle Bände)
1977
Signatur: ZSB1092-1
1 – 25 von 137
Suche als RSS-Feed
Aktive Filter
Autor / AutorinTygar, Doug
Suchergebnisse filtern
Filter anzeigen