Did you mean: technology

search result

Cover von Formal techniques, modelling and analysis of timed and fault-tolerant systems

Formal techniques, modelling and analysis of timed and fault-tolerant systems
joint international conferences on formal modelling and analysis of timed systems, FORMATS 2004 and formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22 -24, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3253
Media group: MONOGRAPHIE
Cover von Special issue PACT 96, fourth international conference on parallel architectures and compilation techniques

Special issue PACT 96, fourth international conference on parallel architectures and compilation techniques
part 2
Search for this author
Year: 1997
Publisher: New York, Plenum Press
Series: International journal of parallel programming : 25. 1997, 5
Media group: SPECIAL ISSUE
Cover von Proceedings of the 1996 conference on parallel architectures and compilation techniques

Proceedings of the 1996 conference on parallel architectures and compilation techniques
October 20 - 23, 1996, Boston, Massachusetts
Search for this author
Year: 1996
Publisher: Los Alamitos, IEEE
Media group: KONGRESSBERICHT
Cover von 6th international conference on modelling techniques and tools for computer performance evaluation

6th international conference on modelling techniques and tools for computer performance evaluation
Search for this author
Year: 1995
Publisher: Amsterdam, North-Holland
Series: Performance evaluation : 22. 1995, 1
Media group: SPECIAL ISSUE
Cover von 23rd International Conference on Rewriting Techniques and Applications (RTA'12)

23rd International Conference on Rewriting Techniques and Applications (RTA'12)
May 28 - June 2, 2012, Nagoya, Japan
Search for this author
Year: 2012
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 15
Media group: LIPIcs
Cover von 22nd International Conference on Rewriting Techniques and Applications (RTA'11)

22nd International Conference on Rewriting Techniques and Applications (RTA'11)
May 30 - June 1, 2011, Novi Sad, Serbia
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 10
Media group: LIPIcs
Cover von Proceedings of the 21st International Conference on Rewriting Techniques and Applications

Proceedings of the 21st International Conference on Rewriting Techniques and Applications
July 11 - 13, 2010, Edinburgh, Scottland, UK
Search for this author
Year: 2010
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 6
Media group: LIPIcs
Cover von Formal techniques in real-time and fault-tolerant systems

Formal techniques in real-time and fault-tolerant systems
proceedings of a symposium : Warwick, UK, September 22 - 23, 1988
Search for this author
Year: 1988
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 331
Media group: MONOGRAPHIE
Cover von 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation

2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation
WPTE 2015 : July 2, 2015, Warsaw, Poland
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 46
Media group: OASICS
Cover von First International Workshop on Rewriting Techniques for Program Transformations and Evaluation

First International Workshop on Rewriting Techniques for Program Transformations and Evaluation
WPTE 2014 : July 13, 2014, Vienna, Austria
Search for this author
Year: 2014
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 40
Media group: OASICS
OPEN V 11.1.0.0