Did you mean: germany

search result

Cover von Special issue on verification of arithmetic hardware
Search for this author
Year: 1999
Publisher: Boston, Kluwer
Series: Formal methods in system design : 14. 1999, 1
Media group: SPECIAL ISSUE
Cover von Logic-based program synthesis and transformation
16th international symposium : Venice, Italy, July 12 - 14, 2006 : revised selected papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 4407
Media group: MONOGRAPHIE
Cover von Logic-Based Program Synthesis and Transformation
21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18 - 20, 2011 : Revised Selected Papers
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 7225
Media group: MONOGRAPHIE
Cover von Static analysis
15th international symposium : Valencia, Spain, July 16 - 18, 2008 : proceedings
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5079
Media group: MONOGRAPHIE
Cover von Practical Aspects of Declarative Languages
27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15537
Media group: MONOGRAPHIE
Cover von Towards Modelling Actor-Based Concurrency in Term Rewriting

Towards Modelling Actor-Based Concurrency in Term Rewriting

Year: 2015
Media group: OASICS
Cover von Program Inversion for Tail Recursive Functions

Program Inversion for Tail Recursive Functions

Year: 2011
Media group: ARTICLE
Cover von Performance analysis of communication systems
modelling with non-Markovian stochastic Petri nets
Author: German, Reinhard Search for this author
Year: 2000
Publisher: Chichester, Wiley
Series: Wiley-Interscience series in systems and optimization
Media group: MONOGRAPHIE
Cover von 13. GI / ITG Fachtagung Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen
27. bis 29. März 2006 in Nürnberg
Search for this author
Year: 2006
Publisher: Berlin, VDE-Verlag
Media group: MONOGRAPHIE
Cover von Integrated network management VIII
managing it all : IFIP / IEEE eighth international symposium on integrated network management, March 24 - 28, 2003, Colorado Springs, USA
Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: International Federation for Information Processing; 246
Media group: MONOGRAPHIE
OPEN V 11.1.0.0