UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 3.315

Sortiert nach

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

1, 2016

Volltextzugriff (PDF)

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

1, 2002

Volltextzugriff (PDF)

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

1, 2001

Volltextzugriff (PDF)

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

1, 2004

Volltextzugriff (PDF)

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

1998

Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

1st ed. 2019., 2019

Volltextzugriff (PDF)

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

2021

Volltextzugriff (PDF)

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

2021

Volltextzugriff (PDF)

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

1992

Volltextzugriff (PDF)

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

1st Edition 2019, 2019

Volltextzugriff (PDF)

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

1st Edition 2017, 2017

Volltextzugriff (PDF)

On determinism in modal transition systems

Theoretical computer science, 2009-09, Vol.410 (41), p.4026-4043

2009

Volltextzugriff (PDF)

Vortioxetine reduces BOLD signal during performance of the N-back working memory task: a randomised neuroimaging trial in remitted depressed patients and healthy controls

Molecular psychiatry, 2018-05, Vol.23 (5), p.1127-1133

2018

Volltextzugriff (PDF)

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

1st edition., 2014

Volltextzugriff (PDF)

A National Needs Assessment to Identify Technical Procedures in Vascular Surgery for Simulation Based Training

European journal of vascular and endovascular surgery, 2017-04, Vol.53 (4), p.591-599

2017

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

1995

Volltextzugriff (PDF)

Resource-Optimal Scheduling Using Priced Timed Automata

Lecture notes in computer science, 2004, p.220-235

2004

Volltextzugriff (PDF)

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

1st Edition 2017, 2017

Volltextzugriff (PDF)

On using priced timed automata to achieve optimal scheduling

Formal methods in system design, 2006-07, Vol.29 (1), p.97-114

2006

Volltextzugriff (PDF)

Bisimulation through probabilistic testing

Information and computation, 1991-09, Vol.94 (1), p.1-28

1991

Volltextzugriff (PDF)

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

2019

Volltextzugriff (PDF)

A price mechanism for supply demand matching in local grid of households with micro-CHP

EPJ Web of conferences, 2012-01, Vol.33, p.1011

2012

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 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, Part I

1, 2021

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 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, Part II

1, 2021

Volltextzugriff (PDF)

Distributed Control of the Power Supply-Demand Balance

IEEE transactions on smart grid, 2013-06, Vol.4 (2), p.828-836

2013

Volltextzugriff (PDF)

1 – 25 von 3.315

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(2.907)
Mit Volltextzugriff
(2.884)

Publikationsform

3 weitere anzeigen...

Weniger anzeigen...

Sprache

6 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(2.069)
Life Sciences & Biomedicine
(1.381)
Humans
(1.125)
Female
(739)
Male
(681)
Biological And Medical Sciences
(645)
Physical Sciences
(524)
Medical Sciences
(487)
Adult
(459)
Middle Aged
(441)
Physics
(383)
Animals
(351)
Aged
(325)
Technology
(296)
Medicin Och Hälsovetenskap
(209)
Exact Sciences And Technology
(201)
Fundamental And Applied Biological Sciences. Psychology
(187)
Computer Science
(145)
Adolescent
(139)
Surgery
(138)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(4)
... seit 90 Tagen
(11)

Menü

Weitere Dienste

Einstellungen

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers

Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings

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

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

Computer Aided Verification: 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

On determinism in modal transition systems

Vortioxetine reduces BOLD signal during performance of the N-back working memory task: a randomised neuroimaging trial in remitted depressed patients and healthy controls

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

A National Needs Assessment to Identify Technical Procedures in Vascular Surgery for Simulation Based Training

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers

Resource-Optimal Scheduling Using Priced Timed Automata

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

On using priced timed automata to achieve optimal scheduling

Bisimulation through probabilistic testing

Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

A price mechanism for supply demand matching in local grid of households with micro-CHP

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 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, Part I

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 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, Part II

Distributed Control of the Power Supply-Demand Balance

Suchergebnisse filtern