Year of publication
Type of media
Source
Type of material
Licence
TIB reading rooms collection
LUH institutes collection
1–20 of 2,063 hits
Sort by:
Sort by:
-
Shared-memory parallelism can be simple, fast and scalable
TIBKAT | 2017|Keywords: Parallel programming (Computer science), Parallel computers ; Programming, Electronic books -
Principles of modeling : essays dedicated to Edward A. Lee on the occasion of his 60th birthday
TIBKAT | 2018|Keywords: Computer organization, Computer hardware, Computer science, Programming languages (Electronic computers), Computers -
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
Catalogue medicine | 2020|Keywords: Programming languages (Electronic computers), Computers, Natural language processing (Computer science), Computer organization -
2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) : 22 - 25 Sept. 2014, Timişoara, Romania ; [including workshop papers]
TIBKAT | 2014|Keywords: Computer algorithms, Neural networks (Computer science), Parallel processing (Electronic computers), Science -
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - SYNASC 2015 : 21-24 September 2015, Timişoara, Romania : proceedings
TIBKAT | 2015|Keywords: Neural networks (Computer science), Parallel processing (Electronic computers), Science -
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I
Free accessTIBKAT | 2020|Keywords: Computers., Special purpose computers., Computer science, Computer systems., Architecture, Computer., Computer science—Mathematics., Computers, Special purpose., Computer science. -
Euro-Par 2022 : parallel processing : 28th International Conference on Parallel and Distributed Computing, Glasgow, UK, August 22-26, 2022, proceedings
TIBKAT | 2022|Keywords: Computer science, Parallel processing (Electronic computers) -
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Free accessTIBKAT | 2019|Keywords: Computer industry, Computers., Electronic digital computers, Computer science, Computer simulation, Programming languages (Electronic computers)., Electronic digital computers—Evaluation., Computer system failures., Computer system performance, Compilers (Computer programs). -
24th International Conference on Parallel Architecture and Compilation : 18-21 October 2015, San Francisco : proceedings
TIBKAT | 2015|Keywords: Compiling (Electronic computers), Parallel computers, Compilers (Computer programs), Parallel processing (Electronic computers), Computer architecture -
Smart computing : Proceedings of the International Conference on Smart Machine Intelligence and Real-Time Computing (Smart Com 2020), Pauri, Garhwal, Uttarakhand 246194, India 26–27 june 2020
TIBKAT | 2021|Keywords: COMPUTERS / Computer Science, COMPUTERS / General ; bisacsh, COMPUTERS / General, COMPUTERS / Computer Science ; bisacsh, Electronic books -
Advances in parallel computing technologies and applications
TIBKAT | 2021|Keywords: Parallel processing (Electronic computers), Parallel programming (Computer science) -
2014 Sixth International Symposium on Parallel Architectures, Algorithms and Programming (PAAP) : 13 - 15 July 2014, Beijing, China ; [held in conjunction with] the First International Workshop on High-Performance Computing for Big Data (HPCBD)
TIBKAT | 2014|Keywords: Computer algorithms, Parallel computers, Parallel processing (Electronic computers), Parallel programming (Computer science) -
PACT’10 : proceedings of the nineteenth International Conference on Parallel Architectures and Compilation Techniques : September 11-15, 2010, Vienna, Austria
TIBKAT | 2017|Keywords: Parallel computers, Compiling (Electronic computers), Compilers (Computer programs), Parallel processing (Electronic computers), Computer architecture -
Fuzzy logic and technology, and aggregation operators : 13th conference of the European society for fuzzy logic and technology, EUSFLAT 2023, and 12th international summer school on aggregation operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023 : proceedings
TIBKAT | 2023|Keywords: COMPUTERS / Computer Science, Computer science -
2015 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) : 4 - 6 March 2015, Turku, Finland
TIBKAT | 2015|Keywords: Network computers, Parallel processing (Electronic computers), Electronic data processing, Parallel programming (Computer science) -
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings
TIBKAT | 2016|Keywords: Formal methods (Computer science), Programming languages (Electronic computers) -
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Free accessTIBKAT | 2019|Keywords: Computer industry, Computers., Electronic digital computers, Computer science, Computer simulation, Electronic digital computers—Evaluation., Computer system failures., Computer system performance, Computer logic. -
Principles of Security and Trust : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Free accessTIBKAT | 2019|Keywords: Computers., Electronic digital computers, Computer science, Electronic digital computers—Evaluation., Computer system failures., Computer security, Computer system performance -
22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), 2014 : 12 - 14 Feb. 2014, Turin, Italy ; proceedings
TIBKAT | 2014|Keywords: Network computers, Parallel processing (Electronic computers), Electronic data processing, Parallel programming (Computer science) -
2012 Fifth International Symposium on Parallel Architectures, Algorithms and Programming (PAAP) : 17 - 20 Dec. 2012, Taipei, Taiwan
TIBKAT | 2012|Keywords: Computer algorithms, Parallel computers, Parallel processing (Electronic computers), Parallel programming (Computer science)
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.