UB Paderborn / Katalog / Suche / in CDI

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

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

2003, 2003

Volltextzugriff (PDF)

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

1996

Volltextzugriff (PDF)

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

1, 2004

Volltextzugriff (PDF)

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

1, 2004

Volltextzugriff (PDF)

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

1992

Volltextzugriff (PDF)

Algebraic Methods: Theory, Tools and Applications

1989

Volltextzugriff (PDF)

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

1991

Volltextzugriff (PDF)

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

1987

Volltextzugriff (PDF)

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

Logic journal of the IGPL, 2023-11, Vol.31 (6), p.1047-1068

2023

Volltextzugriff (PDF)

Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023, Vol.13160, p.281-306

2023

Volltextzugriff (PDF)

Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking

Science of computer programming, 2021-06, Vol.206, p.102620, Article 102620

2021

Volltextzugriff (PDF)

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

1, 2015

Volltextzugriff (PDF)

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

2011, 2011

Volltextzugriff (PDF)

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

2015, 2015

Volltextzugriff (PDF)

Modelling and Testing Services with Continuous Time SRML

Advances in Science, Technology and Engineering Systems Journal (ASTESJ), 2021-11, Vol.6 (6), p.60-65

2021

Volltextzugriff (PDF)

In memory of Heinrich Hussmann, long-time friend and SoSyM editor

Software and systems modeling, 2023-04, Vol.22 (2), p.453-454

2023

Volltextzugriff (PDF)

Building Program Vector Representations for Deep Learning

Knowledge Science, Engineering and Management, p.547-553

Volltextzugriff (PDF)

Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems

Models, Languages, and Tools for Concurrent and Distributed Programming, p.367-387

Volltextzugriff (PDF)

A Generic Dynamic Logic with Applications to Interaction-Based Systems

From Software Engineering to Formal Methods and Tools, and Back, p.172-187

Volltextzugriff (PDF)

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

1st edition., 2015

Volltextzugriff (PDF)

Rigorous engineering of collective adaptive systems – 2nd special section

International journal on software tools for technology transfer, 2023-12, Vol.25 (5-6), p.617-624

2023

Volltextzugriff (PDF)

Behavioural and abstractor specifications revisited

Theoretical computer science, 2018-09, Vol.741, p.32-43

2018

Volltextzugriff (PDF)

Rigorous engineering of collective adaptive systems: special section

International journal on software tools for technology transfer, 2020-08, Vol.22 (4), p.389-397

2020

Volltextzugriff (PDF)

Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.639-641

Volltextzugriff (PDF)

1 – 25 von 1.142

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(793)
Mit Volltextzugriff
(1.127)

Publikationsform

Sprache

Englisch
(1.102)
Deutsch
(36)
Französisch
(3)

Erscheinungsjahr

n.n

Thema

Science & Technology
(504)
Technology
(477)
Computer Science
(470)
Computer Science, Theory & Methods
(340)
Computer Science, Software Engineering
(225)
Exact Sciences And Technology
(207)
Applied Sciences
(205)
Computer Science; Control Theory; Systems
(205)
Software
(165)
Computer Science, Information Systems
(124)
Software Engineering
(105)
Computer Systems And Distributed Systems. User Interface
(95)
Computer Science, Artificial Intelligence
(80)
Robotics
(77)
Telecommunications
(77)
Mathematics
(66)
Physical Sciences
(59)
Mathematics, Applied
(58)
Theoretical Computing
(50)
Engineering
(47)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 7 Tagen
(2)
... seit 30 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Radical Innovations of Software and Systems Engineering in the Future: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Web Engineering: 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings

Algebraic Methods: Theory, Tools and Applications

Programming Language Implementation and Logic Programming: 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

STACS 87: 4th Annual Symposium on Theoretical Aspects of Computer Science Passau, Federal Republic of Germany, February 19–21, 1987 Proceedings

Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge : 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings

A reduction-based cut-free Gentzen calculus for dynamic epistemic logic

Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning

Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking

Knowledge Science, Engineering and Management: 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

Software Engineering for Collective Autonomic Systems: The ASCENS Approach

Modelling and Testing Services with Continuous Time SRML

In memory of Heinrich Hussmann, long-time friend and SoSyM editor

Building Program Vector Representations for Deep Learning

Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems

A Generic Dynamic Logic with Applications to Interaction-Based Systems

Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

Rigorous engineering of collective adaptive systems – 2nd special section

Behavioural and abstractor specifications revisited

Rigorous engineering of collective adaptive systems: special section

Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction

Suchergebnisse filtern