Did you mean: systems

search result

Cover von GCLA
the design, use, and implementation of a program development system
Author: Aronsson, Martin Search for this author
Year: 1993
Publisher: Stockholm, SICS
Series: SICS dissertation series; 12
Media group: DISSERTATION
Cover von Visual logic
a visual source code animation system for teaching computer science at school
Author: Wang, Jie-Ming J. Search for this author
Year: 1993
Publisher: Darmstadt, TH
Media group: DISSERTATION
Cover von PERPLEX
ein graphisch-interaktives System zur Unterstützung der logischen Programmierung
Author: Spenke, Michael Search for this author
Year: 1992
Publisher: Stuttgart, Universität
Media group: DISSERTATION
Cover von Co-oP
a group decision support system for cooperative multiple criteria group decision making
Author: Bui, Tung X. Search for this author
Year: 1987
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 290
Media group: MONOGRAPHIE
Cover von Conf Researchr

Conf Researchr

A Domain-Specific Content Management System for Managing Large Conference Websites
Year: 2023
Media group: OASICS
Cover von Hierarchy Builder

Hierarchy Builder

Algebraic hierarchies Made Easy in Coq with Elpi (System Description)
Year: 2020
Media group: LIPIcs
Cover von Rast

Rast

Resource-Aware Session Types with Arithmetic Refinements (System Description)
Year: 2020
Media group: LIPIcs
Cover von smARTflight

smARTflight

An Environmentally-Aware Adaptive Real-Time Flight Management System
Year: 2020
Media group: LIPIcs
Cover von TrueView

TrueView

A LIDAR Only Perception System for Autonomous Vehicle (Interactive Presentation)
Year: 2019
Media group: OASICS
Cover von High-Level Verification
Methods and Tools for Verification of System-Level Designs
Author: Kundu, Sudipta; Lerner, Sorin; Gupta, Rajesh K. Search for this author
Year: 2011
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0