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 672

Sortiert nach

Structures of Computing : A Guide to Practice-Oriented Theory

1st ed. 2024, 2024

Volltextzugriff (PDF)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

Volltextzugriff (PDF)

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)

Introduction to Transfer Learning : Algorithms and Practice

Machine Learning: Foundations, Methodologies, and Applications

1st ed. 2023, 2023

Volltextzugriff (PDF)

Mathematics for Computer Scientists : A Practice-Oriented Approach

Hartmann, Peter

1st ed. 2023, 2023

Volltextzugriff (PDF)

Genetic Programming Theory and Practice XIX

Genetic and Evolutionary Computation

1st ed. 2023, 2023

Volltextzugriff (PDF)

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)

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

2023

Volltextzugriff (PDF)

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

2023

Volltextzugriff (PDF)

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

ACM Conferences

Dehnavi, Maryam Mehri,

2023

Volltextzugriff (PDF)

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

ACM Conferences

Jin, Cheng,

2023

Volltextzugriff (PDF)

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

ACM Other conferences

Escobar, Santiago,

2023

Volltextzugriff (PDF)

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

ACM Conferences

2023

Volltextzugriff (PDF)

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)

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)

1 – 25 von 672

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKatalog

Art des InhaltsEnzyklopädie

Autor / AutorinDurant, Alan

Autor / AutorinKleinberg, Jon M

Sprache0|f

SpracheJapanisch

SprachePolyglott

SystemstelleNXZ

SystemstelleQCI

SystemstelleTML

Art des MediumsDatenspeicher

Neu hinzugefügt... im letzten Monat

SchlagwortChristian life

SchlagwortLogic design

SchlagwortComputer science

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(667)
Gedruckt
(5)

Autor / Autorin

Riolo, Rick
(11)
Garcia-Alfaro, Joaquin
(8)
Margaria, Tiziana
(8)
Martín-Vide, Carlos
(8)
Institute of Electrical and Electronics Engineers,
(7)
Steffen, Bernhard
(6)
Zhou, Jianying
(6)
Baier, Christel
(5)
Bao, Feng
(5)
Dediu, Adrian-Horia
(5)
Marcus, Aaron
(5)
Worzel, Bill
(5)
Association for Computing Machinery,
(4)
Deng, Robert H
(4)
Fisman, Dana
(4)
Harmsen, Frank
(4)
Johnsen, Einar Broch
(4)
Lopez, Javier
(4)
Pardalos, Panos M
(4)
Preneel, Bart
(4)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(671)
Zeitschrift
(1)

Schlagwort

Software engineering
(206)
Artificial intelligence
(153)
Management information systems
(107)
Computer Communication Networks
(89)
Data encryption (Computer science)
(89)
Software Engineering
(78)
Computer software
(72)
Algorithms
(65)
Application software
(64)
Information storage and retrieval systems
(61)
Management of Computing and Information Systems
(58)
Computers
(56)
Information Systems
(55)
Information systems
(49)
Database management
(48)
Computer communication systems
(47)
Data protection
(41)
Computer security
(40)
Education
(39)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Neu hinzugefügt

Sprache

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

Systemstelle

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

Art des Inhalts