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

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

1st Edition 2021, 2021

Volltextzugriff (PDF)

Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings

1st Edition 2020, 2020

Volltextzugriff (PDF)

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

1st ed. 2020., 2020

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

1st ed. 2020., 2020

Volltextzugriff (PDF)

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Hooker, John

1st Edition 2018, 2018

Volltextzugriff (PDF)

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

1st Edition 2020, 2020

Volltextzugriff (PDF)

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

1st Edition 2019, 2019

Volltextzugriff (PDF)

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Hooker, John

2018

Volltextzugriff (PDF)

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings

1st Edition 2018, 2018

Volltextzugriff (PDF)

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Acta informatica, 2016-04, Vol.53 (3), p.207-246

2016

Volltextzugriff (PDF)

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

1st ed. 2019., 2019

Volltextzugriff (PDF)

A decision procedure for propositional projection temporal logic with infinite models

Acta informatica, 2008-02, Vol.45 (1), p.43-78

2008

Volltextzugriff (PDF)

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

2019

Volltextzugriff (PDF)

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

2020

Volltextzugriff (PDF)

First-order logics: some characterizations and closure properties

Acta informatica, 2012-06, Vol.49 (4), p.225-248

2012

Volltextzugriff (PDF)

On weighted first-order logics with discounting

Acta informatica, 2014-03, Vol.51 (2), p.61-106

2014

Volltextzugriff (PDF)

Fixed-Parameter Tractability of Satisfying Beyond the Number of Variables

Algorithmica, 2014-03, Vol.68 (3), p.739-757

2014

Volltextzugriff (PDF)

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

1st Edition 2017, 2017

Volltextzugriff (PDF)

Instruction sequence processing operators

Acta informatica, 2012-05, Vol.49 (3), p.139-172

2012

Volltextzugriff (PDF)

Stochastic game logic

Acta informatica, 2012-06, Vol.49 (4), p.203-224

2012

Volltextzugriff (PDF)

Head and state hierarchies for unary multi-head finite automata

Acta informatica, 2014-11, Vol.51 (8), p.553-569

2014

Volltextzugriff (PDF)

A distributed resource allocation algorithm for many processes

Acta informatica, 2013-09, Vol.50 (5-6), p.297-329

Hesselink, Wim H.

2013

Volltextzugriff (PDF)

Judgmental subtyping systems with intersection types and modal types

Acta informatica, 2013-12, Vol.50 (7-8), p.359-380

2013

Volltextzugriff (PDF)

On the hierarchy of distribution-sensitive properties for data structures

Acta informatica, 2013-06, Vol.50 (4), p.289-295

2013

Volltextzugriff (PDF)

An O(n+m) Certifying Triconnnectivity Algorithm for Hamiltonian Graphs

Algorithmica, 2012-04, Vol.62 (3-4), p.754-766

2012

Volltextzugriff (PDF)

1 – 25 von 177

Suche als RSS-Feed

Aktive Filter

KollektionProject Euclid

ThemaComputer Systems Organization And Communication Networks

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(153)
Mit Volltextzugriff
(177)

Publikationsform

Sprache

Englisch
(177)

Erscheinungsjahr

n.n

Thema

Computer Science
(177)
Data Structures And Information Theory
(149)
Software Engineering/programming And Operating Systems
(142)
Information Systems And Communication Service
(141)
Theory Of Computation
(137)
Logics And Meanings Of Programs
(131)
Science & Technology
(130)
Technology
(130)
Computer Science, Information Systems
(124)
Original Article
(124)
Studies
(105)
Mathematical Analysis
(101)
Applied Sciences
(84)
Computer Science; Control Theory; Systems
(84)
Exact Sciences And Technology
(84)
Theoretical Computing
(83)
Miscellaneous
(80)
Mathematics
(69)
Algorithms
(63)

14 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ingenta
(144)
Springer journals
(142)
EZB-NALI2-00462 Springer Archive NL
(130)
Ebook Central Perpetual and DDA
(35)
eBooks on EBSCOhost
(35)
IngentaConnect Journals
(21)
SpringerLink Series
(17)
EZB Free E-Journals
(12)

3 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings

Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19-21, 2020, Proceedings

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

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

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26-27, 2020, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Information Security: 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings

A decision procedure for propositional projection temporal logic with infinite models

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

First-order logics: some characterizations and closure properties

On weighted first-order logics with discounting

Fixed-Parameter Tractability of Satisfying Beyond the Number of Variables

Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers

Instruction sequence processing operators

Stochastic game logic

Head and state hierarchies for unary multi-head finite automata

A distributed resource allocation algorithm for many processes

Judgmental subtyping systems with intersection types and modal types

On the hierarchy of distribution-sensitive properties for data structures

An O(n+m) Certifying Triconnnectivity Algorithm for Hamiltonian Graphs

Aktive Filter

Suchergebnisse filtern