UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 672

Sortiert nach

Proceedings of the 5th USENIX Workshop on the theory and practice of provenance

ACM Digital Library,

2013

Volltextzugriff (PDF)

Research and Advanced Technology for Digital Libraries : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings [Elektronische Ressource]

2013

Volltextzugriff (PDF)

Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [Elektronische Ressource]

2014

Volltextzugriff (PDF)

Public-Key Cryptography – PKC 2018 : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

Lecture Notes in Computer Science : 10770

2018

Volltextzugriff (PDF)

Public-Key Cryptography – PKC 2018 : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

Lecture Notes in Computer Science : 10769

2018

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [electronic resource]

1st ed. 2014, 2014

Volltextzugriff (PDF)

Extreme Programming and Agile Processes in Software Engineering : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings [electronic resource]

1st ed. 2006, 2006

Volltextzugriff (PDF)

Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015 Bolzano, Italy, December 2–4, 2015, Proceedings

2015

Volltextzugriff (PDF)

Product-Focused Software Process Improvement : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Lecture Notes in Computer Science : 10027

2016

Volltextzugriff (PDF)

Foundations of Software Science and Computational Structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings [electronic resource]

1st ed. 2006, 2006

Volltextzugriff (PDF)

Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice [Elektronische Ressource]

2008

Volltextzugriff (PDF)

Diagnosis: Philosophical and Medical Perspectives

Episteme, A Series in the Foundational, Methodological, Philosophical, Psychological, Sociological, and Political Aspects of the Sciences, Pure and Applied : 15

1990

Volltextzugriff (PDF)

Algorithms and computations : 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 proceedings

1st ed. 1999, [1999]

Volltextzugriff (PDF)

The Languages of Western Tonality [Elektronische Ressource]

Computational Music Science

Agmon, Eytan

2013

Volltextzugriff (PDF)

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

2023

Volltextzugriff (PDF)

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Lecture Notes in Computer Science : 10801

Ahmed, Amal[Herausgeber]

2018

Volltextzugriff (PDF)

Deductive Software Verification – The KeY Book : From Theory to Practice

Lecture Notes in Computer Science : 10001

2016

Volltextzugriff (PDF)

Trends in Enterprise Architecture Research and Practice-Driven Research on Enterprise Transformation : 7th Workshop, TEAR 2012, and 5th Working Conference, PRET 2012, Held at The Open Group Conference 2012, Barcelona, Spain, October 23-24, 2012. Proceedings

2012

Volltextzugriff (PDF)

Authoring Tools for Advanced Technology Learning Environments : Toward Cost-Effective Adaptive, Interactive and Intelligent Educational Software

2003

Volltextzugriff (PDF)

Towards Autonomous Robotic Systems : 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

Lecture Notes in Computer Science : 9716

2016

Volltextzugriff (PDF)

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

ACM Conferences

2023

Volltextzugriff (PDF)

Information Security Theory and Practice : 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings [electronic resource]

1st ed. 2015, 2015

Volltextzugriff (PDF)

Information Security Theory and Practice : 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24–25, 2015 Proceedings [Elektronische Ressource]

2015

Volltextzugriff (PDF)

Project-Management in Practice : A Guideline and Toolbox for Successful Projects

2016

Volltextzugriff (PDF)

Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lecture Notes in Computer Science : 9688

2016

Volltextzugriff (PDF)

1 – 25 von 672

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKatalog

Art des InhaltsMusik

Autor / AutorinDurant, Alan

Autor / AutorinKleinberg, Jon M

Autor / AutorinMair, John

SpracheJapanisch

SprachePolyglott

SpracheSpanisch

SpracheSerbian

SystemstelleNXZ

SystemstellePZR

SystemstelleQCI

SystemstelleTML

Art des MediumsDatenspeicher

Neu hinzugefügt... im letzten Monat

SchlagwortChristian life

SchlagwortLogic design

SchlagwortPublic health

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

Neu hinzugefügt

Sprache

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

Systemstelle

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

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Proceedings of the 5th USENIX Workshop on the theory and practice of provenance

Research and Advanced Technology for Digital Libraries : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings [Elektronische Ressource]

Principles of Security and Trust : Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [Elektronische Ressource]

Public-Key Cryptography – PKC 2018 : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part II

Public-Key Cryptography – PKC 2018 : 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Rio de Janeiro, Brazil, March 25-29, 2018, Proceedings, Part I

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings [electronic resource]

Extreme Programming and Agile Processes in Software Engineering : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings [electronic resource]

Product-Focused Software Process Improvement : 16th International Conference, PROFES 2015 Bolzano, Italy, December 2–4, 2015, Proceedings

Product-Focused Software Process Improvement : 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, Proceedings

Foundations of Software Science and Computational Structures : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings [electronic resource]

Heterogeneous Objects Modelling and Applications : Collection of Papers on Foundations and Practice [Elektronische Ressource]

Diagnosis: Philosophical and Medical Perspectives

Algorithms and computations : 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 proceedings

The Languages of Western Tonality [Elektronische Ressource]

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

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Deductive Software Verification – The KeY Book : From Theory to Practice

Trends in Enterprise Architecture Research and Practice-Driven Research on Enterprise Transformation : 7th Workshop, TEAR 2012, and 5th Working Conference, PRET 2012, Held at The Open Group Conference 2012, Barcelona, Spain, October 23-24, 2012. Proceedings

Authoring Tools for Advanced Technology Learning Environments : Toward Cost-Effective Adaptive, Interactive and Intelligent Educational Software

Towards Autonomous Robotic Systems : 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings

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

Information Security Theory and Practice : 9th IFIP WG 11.2 International Conference, WISTP 2015, Heraklion, Crete, Greece, August 24-25, 2015. Proceedings [electronic resource]

Information Security Theory and Practice : 9th IFIP WG 11.2 International Conference, WISTP 2015 Heraklion, Crete, Greece, August 24–25, 2015 Proceedings [Elektronische Ressource]

Project-Management in Practice : A Guideline and Toolbox for Successful Projects

Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Aktive Filter

Suchergebnisse filtern