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
Structures of Computing : A Guide to Practice-Oriented Theory
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
SOFSEM 2024: Theory and Practice of Computer Science : 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024, Proceedings
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I
1st ed. 2024, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics for Computer Scientists : A Practice-Oriented Approach
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TyDe 2023 : Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming
ACM Conferences
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 1st International Workshop on Multimedia Content Generation and Evaluation : New Methods and Practice
ACM Conferences
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming
ACM Other conferences
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 2nd International Workshop on Data Systems Education : Bridging education practice with education research
ACM Conferences
2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
1st ed. 2023, 2023
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mathematics in computational science and engineering
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings, 6th Conference on Computing Education Practice : CEP 2022 : 6th January 2022, Durham, UK
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Proceedings of the 44th International Conference on Software Engineering : Software Engineering in Practice
2022
Volltextzugriff (PDF)
1 – 25 von 230
Suche als RSS-Feed
Aktive Filter
Art des InhaltsKatalog
Art des InhaltsEnzyklopädie
Art des InhaltsSonstiges
Autor / AutorinDurant, Alan
Autor / AutorinKleinberg, Jon M
Autor / AutorinWilson, Thomas
Sprache0|f
SpracheJapanisch
SprachePolyglott
SprachePortugiesisch
SystemstelleEIS
SystemstelleEMI
SystemstelleQCH
SystemstelleQCI
SystemstelleTML
SystemstelleTWQ
Art des MediumsGedruckt
Neu hinzugefügt... im letzten Monat
SchlagwortLogic design
SchlagwortComputer science
Suchergebnisse filtern
Filter anzeigen