Am Donnerstag, den 15.8. kann es zwischen 16 und 18 Uhr aufgrund von Wartungsarbeiten des ZIM zu Einschränkungen bei der Katalognutzung kommen.
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
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
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
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
RoboCup-97: Robot Soccer World Cup I [electronic resource]
1st ed. 1998, 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
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
SystemstelleQCH
Art des MediumsGedruckt
Neu hinzugefügt... im letzten Monat
ErscheinungsformSerie
SchlagwortChristian life
SchlagwortSoftware Engineering
Suchergebnisse filtern
Filter anzeigen