Year of publication
Type of material
Licence
Language
TIB reading rooms collection
61–80 of 115,690 hits
Sort by:
Sort by:
-
Node HTTP/2 Servers
Springer Verlag | 2018|Keywords: Software Engineering/Programming and Operating Systems -
Incremental Transitive Closure for Zonal Abstract Domain
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Anforderungen priorisieren *
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Requirements quality and verification
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Specification of Passive Test Cases Using an Improved T-EARS Language
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Correction to: Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Permutation Invariance of Deep Neural Networks with ReLUs
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Fallstudien *
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Anforderungen konsolidieren *
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Beschreibung und Klassifizierung von Fehlerquellen
Springer Verlag | 2022|Keywords: Software Engineering/Programming and Operating Systems -
Datenbankschlüssel
Springer Verlag | 2024|Keywords: Software Engineering/Programming and Operating Systems -
Persistenz
Springer Verlag | 2024|Keywords: Software Engineering/Programming and Operating Systems -
Strukturmuster
Springer Verlag | 2024|Keywords: Software Engineering/Programming and Operating Systems -
Erzeugungsmuster
Springer Verlag | 2024|Keywords: Software Engineering/Programming and Operating Systems -
Patterns – Wie geht es weiter?
Springer Verlag | 2024|Keywords: Software Engineering/Programming and Operating Systems -
Potentialabschätzung aktuell geltender Standards
Springer Verlag | 2024|Keywords: Software Engineering/Programming and Operating Systems -
Answer set programming unleashed!
Springer Verlag | 2018|Keywords: Software Engineering/Programming and Operating Systems -
Rethinking Computer Science Through AI
Free accessSpringer Verlag | 2020|Keywords: Software Engineering/Programming and Operating Systems
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.