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
Applications of graph transformations with industrial relevance : international workshop ; proceedings
Lecture notes in computer science : 1779 (Alle Bände)
2000
Signatur: TTQ991731
    Datensatz exportieren als...
  • BibTeX
User Stories : für die agile Software-Entwicklung mit Scrum, XP u.a
1. Aufl, 2010
Signatur: TWQ14111
    Datensatz exportieren als...
  • BibTeX
System development
Prentice-Hall international series in computer science
2. [Dr.], 1983
Signatur: WBC1943
    Datensatz exportieren als...
  • BibTeX
Eingebettete Systeme : Systemgrundlagen und Entwicklung eingebetteter Software ; mit 12 Tabellen
Studium
1. Aufl, 2010
Signatur: TWQ12965
    Datensatz exportieren als...
  • BibTeX
Object process methodology : a holistic systems paradigm
2002
Signatur: TWQ14006
    Datensatz exportieren als...
  • BibTeX
Eingebettete Systeme : Systemgrundlagen und Entwicklung eingebetteter Software [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Perspectives of system informatics : revised papers [Elektronische Ressource]
Lecture notes in computer science : 2890 (Alle Bände)
2003
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Radical Innovations of Software and Systems Engineering in the Future : 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002. Revised Papers [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Entwicklung Eingebetteter Systeme : Vergleich von Entwicklungsprozessen für FPGA- und Mikroprozessor-Systeme ; Entwurf auf Systemebene
Lehrbuch
2014
Signatur: TWQ14276
    Datensatz exportieren als...
  • BibTeX
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods : 4th International Symposium of Formal Methods Europe Graz, Austria, September 15–19, 1997 Proceedings [Elektronische Ressource]
1997
    Datensatz exportieren als...
  • BibTeX
Real-Time and Embedded Computing Systems and Applications : 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers [Elektronische Ressource]
2004
    Datensatz exportieren als...
  • BibTeX
Agile Softwareentwicklung für embedded real time systems mit der UML
b-Agile
2002
Signatur: TWQ9938
    Datensatz exportieren als...
  • BibTeX
Perspectives of Systems Informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 5947
2010
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Requirements Targeting Software and Systems Engineering : International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997 [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
Ganzheitliches Informationsmanagement : Band 2, Ganzheitliches Informationsmanagement ; Band II: Entwicklungsmanagement
4. überarb. und akt. Aufl, [2014]
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings [Elektronische Ressource]
2001
    Datensatz exportieren als...
  • BibTeX
Applications of Graph Transformations with Industrial Relevance : International Workshop, AGTIVE’99 Kerkrade, The Netherlands, September 1–3, 1999 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings [Elektronische Ressource]
2000
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Perspectives of System Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers [Elektronische Ressource]
2003
    Datensatz exportieren als...
  • BibTeX
Entwicklung Eingebetteter Systeme : Vergleich von Entwicklungsprozessen für FPGA- und Mikroprozessor-Systeme Entwurf auf Systemebene [Elektronische Ressource]
2014
1 – 25 von 74
Suche als RSS-Feed
Aktive Filter
ErscheinungsformMonographie
SchlagwortSystementwicklung
Suchergebnisse filtern
Filter anzeigen