search result

Cover von High Performance Computing in Science and Engineering
Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22 - 25, 2017, Revised Selected Papers
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 11087
Media group: MONOGRAPHIE
Cover von Use of Programming Aids in Undergraduate Courses

Use of Programming Aids in Undergraduate Courses

Author: Nunes, Luís
Year: 2024
Media group: OASICS
Cover von Max Weight Independent Set in Graphs with No Long Claws

Max Weight Independent Set in Graphs with No Long Claws

An Analog of the Gyárfás' Path Argument
Author: Rzążewski, Paweł; Sokołowski, Marek
Year: 2022
Media group: LIPIcs
Cover von Languages, Compilers, Analysis
From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
Search for this author
Year: 2026
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15500
Media group: MONOGRAPHIE
Cover von Service-Oriented and Cloud Computing
11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15547
Media group: MONOGRAPHIE
Cover von Small Unsatisfiable k-CNFs with Bounded Literal Occurrence

Small Unsatisfiable k-CNFs with Bounded Literal Occurrence

Year: 2024
Media group: LIPIcs
Cover von Speed Me up If You Can

Speed Me up If You Can

Conditional Lower Bounds on Opacity Verification
Year: 2023
Media group: LIPIcs
Cover von Olisipo

Olisipo

A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans
Year: 2021
Media group: LIPIcs
Cover von List Homomorphism Problems for Signed Graphs

List Homomorphism Problems for Signed Graphs

Year: 2020
Media group: LIPIcs
Cover von Euro-Par 2017
Parallel Processing : 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCOSS; 10417
Media group: MONOGRAPHIE
OPEN V 11.1.0.0