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
Requirements Engineering: Foundation for Software Quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Requirements Engineering: Foundation for Software Quality : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Business Process Management : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6336
2010
    Datensatz exportieren als...
  • BibTeX
Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Conceptual Modeling – ER 2010 : 29th International Conference on Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 6412
2010
    Datensatz exportieren als...
  • BibTeX
Agent-Oriented Software Engineering VII : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Graph Transformations and Model-Driven Engineering : Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday [Elektronische Ressource]
Lecture Notes in Computer Science : 5765
2010
    Datensatz exportieren als...
  • BibTeX
Model-Based Engineering of Embedded Real-Time Systems : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers [Elektronische Ressource]
Lecture Notes in Computer Science : 6100
2010
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
System Analysis and Modeling: Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Conceptual Modeling – ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings [Elektronische Ressource]
1998
    Datensatz exportieren als...
  • BibTeX
System Analysis and Modeling: Language Profiles : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers [Elektronische Ressource]
2006
    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
Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
Service Research Challenges and Solutions for the Future Internet : S-Cube – Towards Engineering, Managing and Adapting Service-Based Systems [Elektronische Ressource]
Lecture Notes in Computer Science : 6500
2010
    Datensatz exportieren als...
  • BibTeX
Conceptual Modeling : 31st International Conference ER 2012, Florence, Italy, October 15-18, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Conceptual Modeling : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings [Elektronische Ressource]
2013
1 – 22 von 22
Suche als RSS-Feed
Aktive Filter
Autor / AutorinMitchell, John C.
SystemstellePZX
Neu hinzugefügt... in den letzten 3 Monaten
SchlagwortLogic design
Suchergebnisse filtern
Filter anzeigen