Year of publication
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
Synonyms were used for: Computer • Computer science • computers. • science
Search without synonyms: keywords:(Electronic computers. Computer science)
Used synonyms:
- computers
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Used synonyms:
- computerwissenschaft
- informatics
- informatik
Used synonyms:
- computer
- digitale datenverarbeitungsanlage
- digitale rechenanlage
- digitaler computer
- digitalrechner
- dva
- edp hardware
- edv anlage
- edv hardware
- electronic data processing machines
- electronic digital computers
- elektronenrechner
- elektronische datenverarbeitungsanlage
- elektronische rechenanlage
- elektronischer rechenautomat
- elektronisches datenverarbeitungssystem
- programmgesteuerter digitaler rechenautomat
- rechenanlage
- rechenautomat
- rechner
Used synonyms:
- burgerliche wissenschaft
- wissenschaft
- wissenschaften
-
International Computer Performance and Dependability Symposium : proceedings, April 24-26, 1995, Erlangen, Germany
TIBKAT | 1995|Keywords: Electronic digital computers -
IEEE Symposium on FPGAs for Custom Computing Machines : proceedings, April 19-21, 1995, Napa Valley, California
TIBKAT | 2011|Keywords: Electronic digital computers -
Understanding computers and data processing : today and tomorrow with BASIC
TIBKAT | 1987|Keywords: Electronic digital computers -
The universal computer : the road from Leibniz to Turing
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2018|Keywords: Electronic digital computers, Electronic digital computers ; History, Electronic books, Computer -
The Sixth International Conference on VLSI Design : proceedings, January 3-6, 1993, Bombay, India
TIBKAT | 1992|Keywords: Electronic digital computers -
Boosting Design Space Explorations with Existing or Automatically Learned Knowledge
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Conference record of the twenty-eighth Asilomar Conference on Signals, Systems & Computers : October 31-November 2, 1994, Pacific Grove, California
TIBKAT | 1994|Keywords: Electronic digital computers -
Lifetime Improvement by Battery Scheduling
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Using NFC Phones for Proving Credentials
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
A Formal Definition and a New Security Mechanism of Physical Unclonable Functions
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
UniLoG: A Unified Load Generation Tool
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Business Driven BCM SLA Translation for Service Oriented Systems
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Simulative and Analytical Evaluation for ASD-Based Embedded Software
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Weighted Probabilistic Equivalence Preserves omega -Regular Properties
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Verifying Worst Case Delays in Controller Area Network
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Bounds for Two-Terminal Network Reliability with Dependent Basic Events
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
A Workbench for Internet Traffic Analysis
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Probabilistic CSP: Preserving the Laws via Restricted Schedulers
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Availability in Large Networks: Global Characteristics from Local Unreliability Properties
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
A Calculus for SLA Delay Properties
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Software Reliability Testing Covering Subsystem Interactions
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
A Modelling and Analysis Environment for LARES
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Heuristics for Probabilistic Timed Automata with Abstraction Refinement
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
A Demand-Response Calculus with Perfect Batteries
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Non Preemptive Static Priority with Network Calculus: Enhancement
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations
British Library Conference Proceedings | 2012|Keywords: Computer systems, Electronic digital computers -
Systems benchmarking : for scientists and engineers
TIBKAT | 2020|Keywords: Electronic digital computers -
Konzeption und Umsetzung automatisierter Softwaretests : Testautomatisierung zur Optimierung von Testabdeckung und Softwarequalität
TIBKAT | 2023|Keywords: Electronic digital computers -
Workload modeling for computer systems performance evaluation
TIBKAT | 2015|Keywords: Electronic digital computers, Computer -
2012 Electronic System Level Synthesis Conference (ESLsyn) : 2 - 3 June 2012, San Francisco, CA, USA
TIBKAT | 2012|Keywords: Electronic digital computers -
2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC) : 18 - 21 Nov. 2014, Singapore
TIBKAT | 2014|Keywords: Electronic digital computers -
Conference record of the twenty-sixth Asilomar Conference on Signals, Systems & Computers : October 26-28, 1992, Pacific Grove, California
TIBKAT | 2011|Keywords: Electronic digital computers -
Fundamentals of digital logic and microcontrollers
TIBKAT | 2014|Keywords: Electronic digital computers -
Proceedings : International Test Conference 1996
TIBKAT | 2011|Keywords: Electronic digital computers -
Conference record of the twenty-fifth Asilomar Conference on Signals, Systems & Computers : November 4-6, 1991, Pacific Grove, California
TIBKAT | 2011|Keywords: Electronic digital computers -
2011 International Symposium on Performance Evaluation of Computer & Telecommunication Systems (SPECTS) : 27 - 30 June 2011, The Hague, Netherlands
TIBKAT | 2011|Keywords: Electronic digital computers, Computer networks -
Conference record of the Twenty-seventh Asilomar Conference on Signals, Systems & Computers : November 1-3, 1993 Pacific Grove, California
TIBKAT | 2011|Keywords: Electronic digital computers -
Performance Engineering : Learning Through Applications Using JMT
Free accessTIBKAT | 2024|Keywords: Electronic digital computers, Electronic circuits., Computer Networks. -
2011 Electronic System Level Synthesis Conference (ESLsyn) : 5 - 6 June 2011, San Diego, CA, USA
TIBKAT | 2011|Keywords: Electronic digital computers -
Proceedings : International Test Conference 1997
TIBKAT | 2011|Keywords: Electronic digital computers -
Proceedings of the 8th International Conference on VLSI Design, January 4-7, 1995, New Delhi, India
TIBKAT | 2011|Keywords: Electronic digital computers -
Computer architecture performance evaluation methods
TIBKAT | 2010|Keywords: Electronic digital computers, Computer architecture -
Proceedings of the 2016 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS) : part of SummerSim 2016 Multiconference, Montreal, Quebec, Canada, July 24-27, 2016
TIBKAT | 2016|Keywords: Electronic digital computers, Computer networks
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 is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
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.
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.