UB Paderborn / Katalog / Suche / im Katalog

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Structures of Computing : A Guide to Practice-Oriented Theory

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)

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)

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)

The Practice of Enterprise Modeling : 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings

1st ed. 2024, 2024

Volltextzugriff (PDF)

How to Solve Real-world Optimization Problems : From Theory to Practice

Zak, Eugene J

1st ed. 2024, 2024

Volltextzugriff (PDF)

2023 30th Asia-Pacific Software Engineering Conference (APSEC)

IEEE Computer Society,

2023

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 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)

Linking Theory and Practice of Digital Libraries : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26–29, 2023, Proceedings

1st ed. 2023, 2023

Volltextzugriff (PDF)

Edge Intelligence : From Theory to Practice

1st ed. 2023, 2023

Volltextzugriff (PDF)

Proceedings of the 44th International Conference on Software Engineering : Software Engineering in Practice

2022

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

Lecture Notes in Computer Science : 13243

1st ed. 2022, 2022

Volltextzugriff (PDF)

2022 IEEE 30th International Requirements Engineering Conference (RE) : RE 2022 : 5 - 19 August 2022, online event

IEEE International Requirements Engineering Conference,

2022

Volltextzugriff (PDF)

Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I

Security and Cryptology : 13177

1st ed. 2022, 2022

Volltextzugriff (PDF)

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Lecture Notes in Computer Science : 13241

1st ed. 2022, 2022

Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Lecture Notes in Computer Science : 13704

1st ed. 2022, 2022

Volltextzugriff (PDF)

Linking Theory and Practice of Digital Libraries : 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings

Lecture Notes in Computer Science : 13541

1st ed. 2022, 2022

Volltextzugriff (PDF)

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Lecture Notes in Computer Science : 13244

1st ed. 2022, 2022

Volltextzugriff (PDF)

Advances in Theory and Practice of Computational Mechanics : Proceedings of the 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021)

Smart Innovation, Systems and Technologies : 274

1st ed. 2022, 2022

Volltextzugriff (PDF)

The Practice of Enterprise Modeling : 15th IFIP WG 8.1 Working Conference, PoEM 2022, London, UK, November 23–25, 2022, Proceedings

Lecture Notes in Business Information Processing : 456

1st ed. 2022, 2022

Volltextzugriff (PDF)

Domain-Specific Languages in Practice : with JetBrains MPS

1st ed. 2021, 2021

Volltextzugriff (PDF)

PRIMA 2020: Principles and Practice of Multi-Agent Systems : 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings

Lecture Notes in Artificial Intelligence : 12568

1st ed. 2021, 2021

Volltextzugriff (PDF)

The Practice of Enterprise Modeling : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings

Lecture Notes in Business Information Processing : 432

1st ed. 2021, 2021

Volltextzugriff (PDF)

SOFSEM 2021: Theory and Practice of Computer Science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings

Theoretical Computer Science and General Issues : 12607

1st ed. 2021, 2021

Volltextzugriff (PDF)

1 – 25 von 334

Suche als RSS-Feed

Aktive Filter

Art des InhaltsKatalog

Art des InhaltsEnzyklopädie

Autor / AutorinFelderer, Michael

Autor / AutorinInstitute of Electrical and Electronics Engineers,

Autor / AutorinKleinberg, Jon M

Sprache0|f

SpracheJapanisch

SprachePolyglott

SystemstelleQCI

SystemstelleTML

Neu hinzugefügt... im letzten Monat

SchlagwortChristian life

SchlagwortComputer programming

SchlagwortSoftware engineering

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(328)
Gedruckt
(6)

Erscheinungsform

Monographie
(331)
Zeitschrift
(3)

Schlagwort

Computer science
(229)
Logic design
(98)
Artificial intelligence
(68)
Computer Communication Networks
(58)
Computer software
(45)
Software Engineering
(39)
Computers
(31)
Programmierung
(29)
Theoretische Informatik
(29)
Information Systems
(24)
Application software
(23)
Management information systems
(23)
Information systems
(21)
Computer logic
(20)
Information theory
(20)
Programming languages (Electronic computers)
(20)
Information storage and retrieval systems
(19)
Data structures (Computer science)
(18)
Softwareentwicklung
(18)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(271)
Deutsch
(2)

Systemstelle

TWQ
(5)
TWS
(1)

Art des Inhalts

Menü

Weitere Dienste

Einstellungen

Structures of Computing : A Guide to Practice-Oriented Theory

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

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

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

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

The Practice of Enterprise Modeling : 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings

How to Solve Real-world Optimization Problems : From Theory to Practice

2023 30th Asia-Pacific Software Engineering Conference (APSEC)

Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Linking Theory and Practice of Digital Libraries : 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26–29, 2023, Proceedings

Edge Intelligence : From Theory to Practice

Proceedings of the 44th International Conference on Software Engineering : Software Engineering in Practice

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I

2022 IEEE 30th International Requirements Engineering Conference (RE) : RE 2022 : 5 - 19 August 2022, online event

Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I

Fundamental Approaches to Software Engineering : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Leveraging Applications of Formal Methods, Verification and Validation. Practice : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Linking Theory and Practice of Digital Libraries : 26th International Conference on Theory and Practice of Digital Libraries, TPDL 2022, Padua, Italy, September 20–23, 2022, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Advances in Theory and Practice of Computational Mechanics : Proceedings of the 22nd International Conference on Computational Mechanics and Modern Applied Software Systems (CMMASS 2021)

The Practice of Enterprise Modeling : 15th IFIP WG 8.1 Working Conference, PoEM 2022, London, UK, November 23–25, 2022, Proceedings

Domain-Specific Languages in Practice : with JetBrains MPS

PRIMA 2020: Principles and Practice of Multi-Agent Systems : 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings

The Practice of Enterprise Modeling : 14th IFIP WG 8.1 Working Conference, PoEM 2021, Riga, Latvia, November 24–26, 2021, Proceedings

SOFSEM 2021: Theory and Practice of Computer Science : 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings

Aktive Filter

Suchergebnisse filtern