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
System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings [electronic resource]
1st ed. 1987, 1987
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) [electronic resource]
1st ed. 1987, 1987
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 : Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89) [electronic resource]
1st ed. 1989, 1989
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Advanced Information Systems Engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings [electronic resource]
1st ed. 1990, 1990
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings [electronic resource]
1st ed. 1991, 1991
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings [electronic resource]
1st ed. 1991, 1991
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Isabelle : A Generic Theorem Prover [electronic resource]
1st ed. 1994, 1994
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings [electronic resource]
1st ed. 1995, 1995
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Formal Development of Reactive Systems : Case Study Production Cell [electronic resource]
1st ed. 1995, 1995
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Communication and Cooperation in Agent Systems : A Pragmatic Theory [electronic resource]
1st ed. 1995, 1995
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings [electronic resource]
1st ed. 1996, 1996
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings [electronic resource]
1st ed. 1997, 1997
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Projects in the Computing Curriculum : Proceedings of the Project 98 Workshop, Sheffield 1998
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : First International Conference, FASE'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings [Elektronische Ressource]
1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Artificial Intelligence in Structural Engineering : Information Technology for Design, Collaboration, Maintenance, and Monitoring [electronic resource]
1st ed. 1998, 1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
RoboCup-97: Robot Soccer World Cup I [electronic resource]
1st ed. 1998, 1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Aided Verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings [electronic resource]
1st ed. 1998, 1998
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : Second International Conference, FASE’99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99, Amsterdam, The Netherlands, March 22-28, 1999. Proceedings [Elektronische Ressource]
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : Third International Conference, FASE 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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Architectures for Product Families : International Workshop IW-SAPF-3. Las Palmas de Gran Canaria, Spain, March 15-17, 2000 Proceedings [electronic resource]
1st ed. 2000, 2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Business Process Management : Models, Techniques, and Empirical Studies [electronic resource]
1st ed. 2000, 2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : 4th International Conference, FASE 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
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematical Theory of Optimization [electronic resource]
1st ed. 2001, 2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Generative and Component-Based Software Engineering : Second International Symposium, GCSE 2000, Erfurt, Germany, October 9-12, 2000. Revised Papers [electronic resource]
1st ed. 2001, 2001
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Model Checking Software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 Proceedings
1st ed. 2001, 2001
Volltextzugriff (PDF)
1 – 25 von 216
Suche als RSS-Feed
Aktive Filter
Art des InhaltsKatalog
Autor / AutorinDurant, Alan
Sprache0|f
SystemstelleQCI
Art des MediumsGedruckt
Neu hinzugefügt... im letzten Monat
ErscheinungsformSerie
SchlagwortChristian life
Art des MediumsOnline-Ressource
SchlagwortSoftware Engineering
Suchergebnisse filtern
Filter anzeigen