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...
ERROR: Record not found
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Provably Correct Systems
NASA Monographs in Systems and Software Engineering
2017
    Datensatz exportieren als...
  • BibTeX
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Programming and Software Engineering : 12226
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Programming and Software Engineering : 12546
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems : 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17–18, 2021, Proceedings
Programming and Software Engineering : 13008
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Model-Based Safety and Assessment : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
Programming and Software Engineering : 12297
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Reversible Computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings [electronic resource]
1st ed. 2016, 2016
    Datensatz exportieren als...
  • BibTeX
Rules and Reasoning : 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13–15, 2021, Proceedings
Programming and Software Engineering : 12851
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Modern Formal Methods and Applications [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Computable Models [electronic resource]
1st ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
A First Introduction to Quantum Computing and Information [electronic resource]
1st ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Applications of Machine Learning [electronic resource]
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Theoretical Aspects of Computing – ICTAC 2015 : 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings
2015
    Datensatz exportieren als...
  • BibTeX
Logic in computer science : modelling and reasoning about systems
2. ed, 2004
Signatur: TVC1693(2)
    Datensatz exportieren als...
  • BibTeX
Logics for Computer Science : Classical and Non-Classical [electronic resource]
1st ed. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings [electronic resource]
1st ed. 1989, 1989
    Datensatz exportieren als...
  • BibTeX
Application and Theory of Petri Nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings [electronic resource]
1st ed. 1993, 1993
1 – 16 von 16
Suche als RSS-Feed
Aktive Filter
Art des InhaltsKongressbericht
SchlagwortSoftware engineering
SchlagwortComputer logic
Suchergebnisse filtern
Filter anzeigen