UB Paderborn / Katalog / Suche / im Katalog

ERROR: Record not found

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Weirich, Stephanie[Herausgeber]

1st ed. 2024, 2024

Volltextzugriff (PDF)

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Weirich, Stephanie[Herausgeber]

1st ed. 2024, 2024

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Lecture Notes in Computer Science : 13241

1st ed. 2022, 2022

Volltextzugriff (PDF)

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Theoretical Computer Science and General Issues : 12648

Yoshida, Nobuko[Herausgeber]

1st ed. 2021, 2021

Volltextzugriff (PDF)

Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development

2021

Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Theoretical Computer Science and General Issues : 12077

1st ed. 2020, 2020

Volltextzugriff (PDF)

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Theoretical Computer Science and General Issues : 12075

Müller, Peter[Herausgeber]

1st ed. 2020, 2020

Volltextzugriff (PDF)

SBLP '19 : proceedings of the XXIII Brazilian Symposium on Programming Languages

Association for Computing Machinery,

2019

Volltextzugriff (PDF)

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Lecture Notes in Computer Science : 10801

Ahmed, Amal[Herausgeber]

2018

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Lecture Notes in Computer Science : 10802

2018

Volltextzugriff (PDF)

SOFSEM 2018: Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

Lecture Notes in Computer Science : 10706

2018

Volltextzugriff (PDF)

Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Lecture Notes in Computer Science : 10888

2018

Volltextzugriff (PDF)

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Lecture Notes in Computer Science : 10203

2017

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Lecture Notes in Computer Science : 10202

2017

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Lecture Notes in Computer Science : 10206

2017

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

Lecture Notes in Computer Science : 10205

2017

Volltextzugriff (PDF)

ICSE-SEIP 2017 : proceedings, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice track : 20-28, May 2017, Buenos Aires, Argentina

International Conference on Software Engineering

2017

Volltextzugriff (PDF)

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Lecture Notes in Computer Science : 10621

2017

Volltextzugriff (PDF)

Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Lecture Notes in Computer Science : 10475

2017

Volltextzugriff (PDF)

Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Lecture Notes in Computer Science : 10374

2017

Volltextzugriff (PDF)

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Lecture Notes in Computer Science : 10201

Yang, Hongseok[Herausgeber]

2017

Volltextzugriff (PDF)

Deductive Software Verification – The KeY Book : From Theory to Practice

Lecture Notes in Computer Science : 10001

2016

Volltextzugriff (PDF)

PHP Objects, Patterns, and Practice

ZANDSTRA, MATT

5th ed, 2016

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Lecture Notes in Computer Science : 9636

2016

Volltextzugriff (PDF)

Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Lecture Notes in Computer Science : 9976

2016

Volltextzugriff (PDF)

1 – 25 von 36

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKatalog

Autor / AutorinBaier, Christel

Sprache0|f

SystemstelleQCI

Art des MediumsGedruckt

Neu hinzugefügt... im letzten Monat

SchlagwortChristian life

SchlagwortProgramming languages (Electronic computers)

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(36)

Autor / Autorin

Johnsen, Einar Broch
(2)
Legay, Axel
(2)
Margaria, Tiziana
(2)
Weirich, Stephanie
(2)
ACM/IFIP/USENIX International Middleware Conference
(1)
Ahmed, Amal
(1)
Ahrendt, Wolfgang
(1)
An, Bo
(1)
Association for Computing Machinery,
(1)
Baldoni, Matteo
(1)
Bansal, Nikhil
(1)
Bazzan, Ana
(1)
Beckert, Bernhard
(1)
Bellatreche, Ladjel
(1)
Biffl, Stefan
(1)
Bonsangue, Marcello
(1)
Bubel, Richard
(1)
Chechik, Marsha
(1)
Chopra, Amit K
(1)
Dwyer, Matthew
(1)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(36)

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(33)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings

Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

SBLP '19 : proceedings of the XXIII Brazilian Symposium on Programming Languages

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

SOFSEM 2018: Theory and Practice of Computer Science : 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings

Theory and Practice of Model Transformation : 11th International Conference, ICMT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Foundations of Software Science and Computation Structures : 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

ICSE-SEIP 2017 : proceedings, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Practice track : 20-28, May 2017, Buenos Aires, Argentina

PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings

Software Architecture : 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings

Theory and Practice of Model Transformation : 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings

Deductive Software Verification – The KeY Book : From Theory to Practice

PHP Objects, Patterns, and Practice

Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Aktive Filter

Suchergebnisse filtern