UB Paderborn / Katalog / Suche / in CDI

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 257.644

Sortiert nach

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

Podelski, Andreas

1st Edition 2018, 2018

Link zum Volltext

Verfügbarkeit prüfen

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers

1st ed. 2020., 2020

Link zum Volltext

Verfügbarkeit prüfen

Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers

1st ed. 2020., 2020

Link zum Volltext

Verfügbarkeit prüfen

Trends in Functional Programming: 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers

1st Edition 2021, 2021

Link zum Volltext

Verfügbarkeit prüfen

Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

Trends in Functional Programming: 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers

1st Edition 2018, 2018

Link zum Volltext

Verfügbarkeit prüfen

Inductive Logic Programming: 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings

1st ed. 2018., 2018

Link zum Volltext

Verfügbarkeit prüfen

Product-Focused Software Process Improvement: 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings

1, 2018

Link zum Volltext

Verfügbarkeit prüfen

Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers

1st Edition 2021, 2021

Link zum Volltext

Verfügbarkeit prüfen

Accelerator Programming Using Directives: 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers

1st ed. 2020., 2020

Link zum Volltext

Verfügbarkeit prüfen

Accelerator Programming Using Directives: 7th International Workshop, WACCPD 2020, Virtual Event, November 20, 2020, Proceedings

1st ed. 2021., 2021

Link zum Volltext

Verfügbarkeit prüfen

Coding freedom: the ethics and aesthetics of hacking

Coleman, E. Gabriella

STU - Student edition, 2012

Link zum Volltext

Verfügbarkeit prüfen

Runtime Verification: 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

1st Edition 2017, 2017

Link zum Volltext

Verfügbarkeit prüfen

Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

Static Analysis: 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

1, 2021

Link zum Volltext

Verfügbarkeit prüfen

Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23-25, 2021, Revised Selected Papers

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

Computer Algebra in Scientific Computing: 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018, Proceedings

1st ed. 2018., 2018

Link zum Volltext

Verfügbarkeit prüfen

Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17-18, 2022, Revised Selected Papers

1, 2023

Link zum Volltext

Verfügbarkeit prüfen

Animated Program Design: Intermediate Program Design Using Video Game Development

Morazan, Marco T

1, 2022

Link zum Volltext

Verfügbarkeit prüfen

Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings

1, 2016

Link zum Volltext

Verfügbarkeit prüfen

Mathematical Software - ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

1st ed. 2018., 2018

Link zum Volltext

Verfügbarkeit prüfen

Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers

1st ed. 2016, 2016

Link zum Volltext

Verfügbarkeit prüfen

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

1, 2020

Link zum Volltext

Verfügbarkeit prüfen

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

1, 2020

Link zum Volltext

Verfügbarkeit prüfen

NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings

1, 2017

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 257.644

Suche als RSS-Feed

Aktive Filter

ThemaComputer Science, Artificial Intelligence

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(128.745)
Mit Volltextzugriff
(222.055)

Publikationsform

Artikel
(130.171)
Tagungsberichte
(54.111)
Buchkapitel
(25.570)
Bücher
(24.315)
magazinearticle
(17.637)
Reviews
(2.015)
Newsletter-Artikel
(1.647)
Zeitungsartikel
(1.556)
Dissertationen
(369)
Berichte
(78)
Referenzeintrag
(64)
Texte
(49)
Normen
(38)
Webseiten
(23)
Zeitschriften
(1)

10 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(251.464)
Japanisch
(9.111)
Deutsch
(6.598)
Ndonga
(287)
Portugiesisch
(271)
Spanisch
(260)
Französisch
(141)
Chinesisch
(128)
Russisch
(53)
Türkisch
(36)
Italienisch
(36)
Norwegisch
(29)
Ukrainisch
(16)
Croatian
(9)
Polnisch
(8)
Katalanisch
(6)
Slowakisch
(6)
Arabisch
(5)
Ungarisch
(5)
Rumänisch
(5)

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

n.n

Thema

Computer Science
(148.390)
Science & Technology
(135.295)
Technology
(127.823)
Engineering
(56.014)
Software
(39.986)
Computer Science, Software Engineering
(38.517)
Computer Science, Theory & Methods
(38.110)
Programming Languages
(37.181)
Computer Programming
(37.058)
Algorithms
(35.547)
Programming
(35.072)
Engineering, Electrical & Electronic
(34.297)
Software Engineering
(31.420)
Exact Sciences And Technology
(27.982)
Applied Sciences
(26.990)
Software Engineering/programming And Operating Systems
(24.559)
Mathematics
(23.929)
Computer Science, Information Systems
(23.526)
Optimization
(23.008)
Physical Sciences
(22.121)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

IngentaConnect
(89.514)
IEEE Xplore Digital Library
(55.938)
Ebook Central Perpetual and DDA
(46.223)
eBooks on EBSCOhost
(45.438)
SpringerLink
(40.037)
Springer Books
(39.888)
EZB Electronic Journals Library
(34.099)
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
(32.325)
Elsevier ScienceDirect Journals Complete
(22.509)
EBSCOhost Business Source Ultimate
(20.928)
ACM Digital Library
(19.567)
Journals@Ovid
(18.395)
Factiva
(17.172)
SpringerLink Series
(16.753)
IngentaConnect Journals
(15.003)
Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
(14.002)
Nexis Uni
(12.273)
Publisher or Other Site
(12.174)
JSTOR All Journals
(7.904)
Wiley Online Library
(5.345)

15 weitere anzeigen...

Weniger anzeigen...

Zeitschrift / Serie

The Journal Of Supercomputing
(5.631)
Computerworld
(4.045)
Sn Computer Science
(2.714)
Mathematical Programming
(2.645)
Ieee Access
(2.573)
Computers & Operations Research
(2.459)
Infoworld
(2.380)
Ieee Transactions On Software Engineering
(1.929)
Cybernetics And Systems Analysis
(1.787)
Computers & Industrial Engineering
(1.662)

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt