search result

Cover von Artificial intelligence
methodology, systems, and applications : 12th international conference, Varna, Bulgaria, September 12 - 15, 2006, proceedings
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4183
Media group: MONOGRAPHIE
Cover von ARCS'06
19th international conference on architecture of computing systems : workshop proceedings : March 16, 2006, Frankfurt am Main
Search for this author
Year: 2006
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 81
Media group: MONOGRAPHIE
Cover von Artificial intelligence
methodology, systems and applications : 11th international conference, Varna, Bulgaria, September 2 - 4, 2004 : proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 3192
Media group: MONOGRAPHIE
Cover von Artificial intelligence
methodology, systems, and applications : 10th international conference, Varna, Bulgaria, September 4 - 6, 2002 : proceedings
Search for this author
Year: 2002
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 2443
Media group: MONOGRAPHIE
Cover von Special section on the 1999 formal methods conference; 8
special issues for FM 99 : the first world congress on formal methods in the development of computing systems : S. 673 - 814
Search for this author
Year: 2000
Publisher: Piscataway, IEEE
Count: 8
Media group: SPECIAL ISSUE
Cover von OOPSLA 96
conference on object-oriented programming systems, languages, and applications : conference proceedings, eleventh annual conference, San Jose, California, 96
Search for this author
Year: 1996
Publisher: New York, ACM
Series: ACM Sigplan notices : 31. 1996, 10
Media group: KONGRESSBERICHT
Cover von Digital rights management
technologies, issues, challenges and systems : first international conference, Sydney, Australia, October 31 - November 2, 2005 : revised selected papers
Search for this author
Year: 2006
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3919
Media group: MONOGRAPHIE
Cover von DAAT‑MCS

DAAT‑MCS

A Framework to Deploy, Analyse, and Auto‑Tune Interference Mitigation Techniques in Mixed‑Criticality Systems
Year: 2026
Media group: LIPIcs
Cover von Trustworthy Robotic Process Automation
Challenges and Emerging Research Directions : article in Advanced Information Systems Engineering Workshops (CAiSE 2026)
Search for this author
Year: 2026
Publisher: Berlin, Springer
Media group: ARTICLE
Cover von Computational Social Choice
Research and Development : 25th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2026 (Blue Sky Ideas Track) : accepted paper
Search for this author
Year: 2026
Publisher: Cornell University, arXiv.org
Media group: ARTICLE
OPEN V 11.1.0.0