UB Paderborn / Katalog / Suche / im Katalog

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

1 – 25 von 799

Sortiert nach

Structures of Computing : A Guide to Practice-Oriented Theory

1st ed. 2024, 2024

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (ZDB-2-SCS)

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

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (ZDB-2-SCS)

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

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

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

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

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

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

Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

1st ed. 2024, 2024

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2024 (ZDB-2-SCS)

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

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

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

SOFSEM 2023: Theory and Practice of Computer Science : 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings

Lecture Notes in Computer Science : 13878

Gąsieniec, Leszek[Herausgeber]

1st ed. 2023, 2023

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

Introduction to Transfer Learning : Algorithms and Practice

Machine Learning: Foundations, Methodologies, and Applications

1st ed. 2023, 2023

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (ZDB-2-SCS)

Mathematics for Computer Scientists : A Practice-Oriented Approach

Hartmann, Peter

1st ed. 2023, 2023

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (ZDB-2-SCS)

Genetic Programming Theory and Practice XIX

Genetic and Evolutionary Computation

1st ed. 2023, 2023

Link zum Volltext
Springer Computer Science (inkl. Lecture Notes in Computer Science) 2023 (ZDB-2-SCS)

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

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

Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming

ACM Other conferences

Escobar, Santiago,

2023

Link zum Volltext
ACM Digital Library Complete

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures

2023

Link zum Volltext
ACM Digital Library Complete

TyDe 2023 : Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development

2023

Link zum Volltext
ACM Digital Library Complete

Proceedings of the 2nd International Workshop on Data Systems Education : Bridging education practice with education research

ACM Conferences

2023

Link zum Volltext
ACM Digital Library Complete

Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming

ACM Conferences

Dehnavi, Maryam Mehri,

2023

Link zum Volltext
ACM Digital Library Complete

Proceedings of the 1st International Workshop on Multimedia Content Generation and Evaluation : New Methods and Practice

ACM Conferences

Jin, Cheng,

2023

Link zum Volltext
ACM Digital Library Complete

1 – 25 von 799

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKatalog

Sprache0|f

SystemstelleQCI

SystemstelleTML

Neu hinzugefügt... im letzten Monat

SchlagwortChristian life

SchlagwortComputer science

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(794)
Gedruckt
(5)

Autor / Autorin

Steffen, Bernhard
(17)
Mitchell, John C
(11)
Nierstrasz, Oscar
(11)
Riolo, Rick
(11)
Hutchison, David
(10)
Kanade, Takeo
(10)
Kittler, Josef
(10)
Kleinberg, Jon M
(10)
Mattern, Friedemann
(10)
Naor, Moni
(10)
Pandu Rangan, C
(10)
Sudan, Madhu
(10)
Terzopoulos, Demetri
(10)
Tygar, Doug
(10)
Vardi, Moshe Y
(10)
Weikum, Gerhard
(10)
Garcia-Alfaro, Joaquin
(9)
Margaria, Tiziana
(9)
Martín-Vide, Carlos
(8)
Institute of Electrical and Electronics Engineers,
(7)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(798)
Zeitschrift
(1)

Schlagwort

Software engineering
(308)
Artificial intelligence
(190)
Logic design
(125)
Computer Communication Networks
(115)
Management information systems
(109)
Software Engineering
(109)
Computer software
(92)
Data encryption (Computer science)
(92)
Information Systems
(67)
Algorithms
(65)
Application software
(64)
Information storage and retrieval systems
(61)
Information systems
(59)
Management of Computing and Information Systems
(59)
Computers
(56)
Database management
(52)
Computer communication systems
(47)
Data protection
(42)
Computer security
(40)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Neu hinzugefügt

Sprache

Englisch
(644)
0|e
(5)
Deutsch
(5)

Systemstelle

TDC
(2)
KLE
(1)
TWQ
(1)
TZZG
(1)

Art des Inhalts