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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
Lecture Notes in Computer Science : 9953
2016
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
Lecture Notes in Computer Science : 9952
2016
    Datensatz exportieren als...
  • BibTeX
Mathematical Foundations of Advanced Informatics : Volume 1: Inductive Approaches
2018
    Datensatz exportieren als...
  • BibTeX
The Programming Language Ada. Reference Manual : American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 [electronic resource]
1st ed. 1983, 1983
    Datensatz exportieren als...
  • BibTeX
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Theoretical Computer Science and General Issues : 13030
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings
1st ed. 2024, 2024
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Theoretical Computer Science and General Issues : 12478
1st ed. 2020, 2020
    Datensatz exportieren als...
  • BibTeX
Privacy, Security, and Trust in KDD : Second ACM SIGKDD International Workshop, PinKDD 2008, Las Vegas, NV, USA, August 24, 2008, Revised Selected Papers [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation : 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17–29, 2021, Proceedings
Theoretical Computer Science and General Issues : 13036
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
Lecture Notes in Computer Science : 13701
1st ed. 2022, 2022
    Datensatz exportieren als...
  • BibTeX
Electronic Government : 7th International Conference, EGOV 2008, Turin, Italy, August 31 - September 5, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Intelligence and Security Informatics : Pacific Asia Workshop, PAISI 2009, Bangkok, Thailand, April 27, 2009. Proceedings [Elektronische Ressource]
2009
    Datensatz exportieren als...
  • BibTeX
Computing and Software Science : State of the Art and Perspectives
Theoretical Computer Science and General Issues : 10000
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II
Lecture Notes in Computer Science : 13702
1st ed. 2022, 2022
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV
Lecture Notes in Computer Science : 13704
1st ed. 2022, 2022
    Datensatz exportieren als...
  • BibTeX
Transactions on Foundations for Mastering Change I
Lecture Notes in Computer Science : 9960
2016
Open Access
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Privacy in Statistical Databases : UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Verification, Model Checking, and Abstract Interpretation : 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings [electronic resource]
1st ed. 2004, 2004
    Datensatz exportieren als...
  • BibTeX
Intelligence and Security Informatics : First European Conference, EuroISI 2008, Esbjerg, Denmark, December 3-5, 2008. Proceedings [Elektronische Ressource]
2008
    Datensatz exportieren als...
  • BibTeX
Computing and Software Science : State of the Art and Perspectives [electronic resource]
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers [electronic resource]
1st ed. 2006, 2006
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I [electronic resource]
1st ed. 2018, 2018
1 – 23 von 23
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCampesato, Oswald
SpracheFranzösisch
SchlagwortOperating systems (Computers)
Autor / AutorinSteffen, Bernhard
Suchergebnisse filtern
Filter anzeigen