UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 516

Sortiert nach

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)

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)

Progress in Mathematical Programming : Interior-Point and Related Methods [Elektronische Ressource]

Megiddo, Nimrod

1989

Volltextzugriff (PDF)

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)

Advanced Information Systems Engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings [electronic resource]

1st ed. 1990, 1990

Volltextzugriff (PDF)

Angewandte Informatik und Software/Applied Computer Science and Software : Wissenschaft für die Praxisi / Turning Theory into Practice

Schwärtzel, Heinz[Herausgeber]

1st ed. 1991, 1991

Volltextzugriff (PDF)

New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings [electronic resource]

Maurer, Hermann[Herausgeber]

1st ed. 1991, 1991

Volltextzugriff (PDF)

ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings [electronic resource]

1st ed. 1991, 1991

Volltextzugriff (PDF)

Software Reliability Engineering: International Symposium (ISSRE `92)

Institute of Electrical and Electronics Engineers Computer Society Press,

1992

Volltextzugriff (PDF)

IEEE Std 1062-1993 : IEEE Recommended Practice for Software Acquisition

Institute of Electrical and Electronics Engineers,

1992

Volltextzugriff (PDF)

IEEE Std 1209-1992 : IEEE Recommended Practice for the Evaluation and Selection of CASE Tools

Institute of Electrical and Electronics Engineers,

1993

Volltextzugriff (PDF)

Distributed Algorithms : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings [electronic resource]

1st ed. 1994, 1994

Volltextzugriff (PDF)

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)

Formal Development of Reactive Systems : Case Study Production Cell [electronic resource]

1st ed. 1995, 1995

Volltextzugriff (PDF)

Advanced Relational Programming [Elektronische Ressource]

Mathematics and Its Applications : 371

1996

Volltextzugriff (PDF)

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)

TAPSOFT '97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings [Elektronische Ressource]

1997

Volltextzugriff (PDF)

SOFSEM'97: Theory and Practice of Informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 1997 Proceedings [Elektronische Ressource]

1997

Volltextzugriff (PDF)

Software Technology and Engineering Practice: Proceedings of the 8th International Workshop on Software Technology and Engineering Practice Incorporating Computer Aided Software Engineering, London, 1997

1997

Volltextzugriff (PDF)

TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings [electronic resource]

1st ed. 1997, 1997

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'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]

Steffen, Bernhard

1998

Volltextzugriff (PDF)

Compiler Construction : 7th International Conference, CC'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]

Koskimies, Kai

1998

Volltextzugriff (PDF)

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'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]

Hankin, Chris

1998

Volltextzugriff (PDF)

Projects in the Computing Curriculum : Proceedings of the Project 98 Workshop, Sheffield 1998

1998

Volltextzugriff (PDF)

SOFSEM’ 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings [Elektronische Ressource]

Rovan, Branislav

1998

Volltextzugriff (PDF)

1 – 25 von 516

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKatalog

Autor / AutorinAssociation for Computing Machinery,

Sprache0|f

SystemstelleHVQA

Art des MediumsGedruckt

Neu hinzugefügt... im letzten Monat

SchlagwortArtificial Intelligence

SchlagwortSoftware engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(516)

Autor / Autorin

Institute of Electrical and Electronics Engineers,
(23)
Steffen, Bernhard
(12)
Margaria, Tiziana
(8)
Nierstrasz, Oscar
(7)
Vardi, Moshe Y
(7)
Felderer, Michael
(6)
Hutchison, David
(6)
Kanade, Takeo
(6)
Kittler, Josef
(6)
Kleinberg, Jon M
(6)
Martín-Vide, Carlos
(6)
Mattern, Friedemann
(6)
Meinel, Christoph
(6)
Mitchell, John C
(6)
Naor, Moni
(6)
Pandu Rangan, C
(6)
Rumpe, Bernhard
(6)
Sudan, Madhu
(6)
Terzopoulos, Demetri
(6)
Tygar, Doug
(6)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(513)
Zeitschrift
(3)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(401)
Deutsch
(2)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings [electronic resource]

Progress in Mathematical Programming : Interior-Point and Related Methods [Elektronische Ressource]

Advanced Information Systems Engineering : Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings [electronic resource]

Angewandte Informatik und Software/Applied Computer Science and Software : Wissenschaft für die Praxisi / Turning Theory into Practice

New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings [electronic resource]

ESEC '91 : 3rd European Software Engineering Conference, ESEC '91, Milan, Italy, October 21-24, 1991. Proceedings [electronic resource]

Software Reliability Engineering: International Symposium (ISSRE `92)

IEEE Std 1062-1993 : IEEE Recommended Practice for Software Acquisition

IEEE Std 1209-1992 : IEEE Recommended Practice for the Evaluation and Selection of CASE Tools

Distributed Algorithms : 8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings [electronic resource]

TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings [electronic resource]

Formal Development of Reactive Systems : Case Study Production Cell [electronic resource]

Advanced Relational Programming [Elektronische Ressource]

Computer Aided Learning and Instruction in Science and Engineering : Third International Conference, CALISCE'96, San Sebastian, Spain, July 29 - 31, 1996, Proceedings [electronic resource]

TAPSOFT '97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings [Elektronische Ressource]

SOFSEM'97: Theory and Practice of Informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 22–29, 1997 Proceedings [Elektronische Ressource]

Software Technology and Engineering Practice: Proceedings of the 8th International Workshop on Software Technology and Engineering Practice Incorporating Computer Aided Software Engineering, London, 1997

TAPSOFT'97: Theory and Practice of Software Development : 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings [electronic resource]

Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'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]

Compiler Construction : 7th International Conference, CC'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]

Programming Languages and Systems : 7th European Symposium on Programming, ESOP'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]

Projects in the Computing Curriculum : Proceedings of the Project 98 Workshop, Sheffield 1998

SOFSEM’ 98: Theory and Practice of Informatics : 25th Conference on Current Trends in Theory and Practice of Informatics Jasná, Slovakia, November 21–27, 1998 Proceedings [Elektronische Ressource]

Aktive Filter

Suchergebnisse filtern