UB Paderborn / Katalog / Suche / in CDI

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...

1 – 25 von 13.947.266

Sortiert nach

Software Engineering ESEC/FSE '99: 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering Toulouse, France, September 6-10, 1999 Proceedings

1, 1999

Link zum Volltext

Verfügbarkeit prüfen

The Essence of Software: Why Concepts Matter for Great Design

Jackson, Daniel

1, 2021

Link zum Volltext

Verfügbarkeit prüfen

A Logic for Locally Complete Abstract Interpretations

2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13

2021

Link zum Volltext

Verfügbarkeit prüfen

Software Engineering — ESEC '95: 5th European Software Engineering Conference Sitges, Spain, September 25–28, 1995 Proceedings

1995

Link zum Volltext

Verfügbarkeit prüfen

Software: Programmentwicklung und Projektorganisation

2019

Link zum Volltext

Verfügbarkeit prüfen

Reliable Software Technologies -- Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

1, 2003

Link zum Volltext

Verfügbarkeit prüfen

Multi-Agent-Based Simulation XXIII: 23rd International Workshop, MABS 2022, Virtual Event, May 8-9, 2022, Revised Selected Papers

1, 2023

Link zum Volltext

Verfügbarkeit prüfen

Linear-time Temporal Logic guided Greybox Fuzzing

2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE), 2022, p.1343-1355

2022

Link zum Volltext

Verfügbarkeit prüfen

Guiding Dynamic Symbolic Execution toward Unverified Program Executions

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155

2016

Link zum Volltext
Volltext

Reliable Software Technologies: Ada-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : Proceedings

1, 2002

Link zum Volltext

Verfügbarkeit prüfen

Mathematical Software - ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings

1st ed. 2020., 2020

Link zum Volltext

Verfügbarkeit prüfen

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

1, 2003

Link zum Volltext

Verfügbarkeit prüfen

Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

1, 2016

Link zum Volltext

Verfügbarkeit prüfen

Software

Informatik-Spektrum, 2017-01, Vol.40 (3), p.264-269

Furrer, Frank J

2017

Link zum Volltext

Verfügbarkeit prüfen

Software Engineering — ESEC '93: 4th European Software Engineering Conference Garmisch-Partenkirchen, Germany September 13–17, 1993 Proceedings

1993

Link zum Volltext

Verfügbarkeit prüfen

Software Quality: ECSQ 2002 : Quality Connection : 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : Proceedings

1, 2002

Link zum Volltext

Verfügbarkeit prüfen

Reliable Software Technologies — Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies London, UK, June 2–6, 1997 Proceedings

1997

Link zum Volltext

Verfügbarkeit prüfen

Software Quality: Higher Software Quality through Zero Waste Development: 15th International Conference, SWQD 2023, Munich, Germany, May 23-25, 2023, Proceedings

2023

Link zum Volltext

Verfügbarkeit prüfen

Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

1st ed. 2018., 2018

Link zum Volltext

Verfügbarkeit prüfen

TSVD4J: Thread-Safety Violation Detection for Java

2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.78-82

2023

Link zum Volltext
Volltext

A Context-Based Automated Approach for Method Name Consistency Checking and Suggestion

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.574-586

2021

Link zum Volltext
Volltext

Bounded Exhaustive Search of Alloy Specification Repairs

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1135-1147

2021

Link zum Volltext
Volltext

Metamorphic Testing and Debugging of Tax Preparation Software

2023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Society (ICSE-SEIS), 2023, p.138-149

2023

Link zum Volltext

Verfügbarkeit prüfen

Software Evolution

1. Aufl., 2008

Link zum Volltext

Verfügbarkeit prüfen

Software Engineering: Grundlagen, Menschen, Prozesse, Techniken

4, 2023

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 13.947.266

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(7.417.561)
Mit Volltextzugriff
(10.012.672)

Publikationsform

Artikel
(8.197.952)
Newsletter-Artikel
(1.998.155)
Zeitungsartikel
(1.269.190)
magazinearticle
(850.270)
Tagungsberichte
(762.057)
Buchkapitel
(669.176)
Reviews
(71.534)
Bücher
(65.287)
Berichte
(28.561)
Dissertationen
(21.362)
Referenzeintrag
(11.098)
Webseiten
(1.062)
Texte
(691)
Normen
(536)
Datensätze
(292)
government_documents
(31)
Sonstige
(5)
archival_material_manuscripts
(4)
Bilder
(3)

14 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(13.738.379)
Japanisch
(756.439)
Deutsch
(115.706)
Portugiesisch
(71.291)
Spanisch
(69.674)
Chinesisch
(16.754)
Ndonga
(12.983)
Französisch
(12.945)
Russisch
(6.667)
Norwegisch
(4.953)
Türkisch
(3.954)
Koreanisch
(3.467)
Persisch
(3.075)
Italienisch
(2.844)
Tschechisch
(2.589)
Polnisch
(2.472)
Urdu
(2.038)
Slowakisch
(1.899)
Niederländisch
(1.686)
Croatian
(1.499)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Thema

Science & Technology
(6.264.890)
Life Sciences & Biomedicine
(3.615.746)
Technology
(2.140.156)
Humans
(1.858.385)
Software
(1.267.608)
Physical Sciences
(1.136.315)
Female
(1.082.365)
Male
(1.066.723)
Computer Science
(1.055.866)
Engineering
(957.516)
Animals
(820.817)
Adult
(590.766)
Social Sciences
(570.904)
Middle Aged
(552.705)
Science & Technology - Other Topics
(544.485)
Chemistry
(489.085)
Biological And Medical Sciences
(468.468)
Computer Science, Software Engineering
(453.112)
Computer Software Industry
(436.211)
Software Industry
(425.828)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Nexis Uni
(4.007.669)
EZB Free E-Journals
(3.996.464)
IngentaConnect
(3.838.767)
Factiva
(2.917.629)
IngentaConnect Journals
(2.217.535)
Journals@Ovid Complete
(1.647.754)
SpringerNature Journals
(1.438.756)
Wiley-Blackwell Journals
(1.297.125)
EBSCOhost Business Source Ultimate
(1.143.536)
Single Journals
(994.536)
Wiley Online Library Full Collection 2018
(962.950)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(951.374)
Elsevier ScienceDirect Journals Complete
(712.896)
Ebook Central Perpetual and DDA
(674.189)
eBooks on EBSCOhost
(656.182)
IEEE Xplore
(582.365)
Taylor & Francis:Master (3349 titles)
(466.254)
Taylor & Francis
(460.995)
Springer Books
(439.688)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(417.303)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

Pr Newswire
(522.302)
Business Wire
(453.279)
M2 Presswire
(208.159)
Plos One
(202.887)
Scientific Reports
(109.028)
Computerworld
(64.242)
Network World
(52.492)
Eweek
(48.920)
International Journal Of Molecular Sciences
(47.788)
Journal Of Physics. Conference Series
(47.174)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt