search result

Cover von Information Systems
Modeling, Development, and Integration : Third International United Information Systems Conference, Sydney, Australia, April 21 - 24, 2009, Proceedings
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 20
Media group: MONOGRAPHIE
Cover von Critical Systems
Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18 - 20, 2017 : Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10471
Media group: MONOGRAPHIE
Cover von Critical Systems
Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26 - 28, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9933
Media group: MONOGRAPHIE
Cover von Declarative systems
proceedings of the IFIP TC 10/WG 10.1 workshop on concepts and characteristics of declarative systems, Budapest, Hungary, 16 - 20 October, 1988
Search for this author
Year: 1990
Publisher: Amsterdam, North-Holland
Media group: MONOGRAPHIE
Cover von Semantic Systems
In the Era of Knowledge Graphs : 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7 - 10, 2020, Proceedings
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12378
Media group: MONOGRAPHIE
Cover von Information Systems
Methods, Models, and Applications : 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1 - 3, 2012, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: Lecture notes in business information processing; 137
Media group: MONOGRAPHIE
Cover von Embedded Systems
Design, Analysis and Verification : 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17 - 19, 2013, Proceedings
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: IFIP Advances in Information and Communication Technology; 403
Media group: MONOGRAPHIE
Cover von Intelligent systems
safety, reliability and maintainability issues : proceedings of the NATO advanced research workshop on intelligent systems : safety, reliability and maintainability issues, held in Kusadasi, Izmir, Turkey, August 25 - 28, 1992
Search for this author
Year: 1993
Publisher: New York, Springer
Series: NATO ASI Series / F; 114
Media group: MONOGRAPHIE
Cover von Systems Thinking
New Directions in Theory, Practice and Application : Proceedings of the Seventeenth IFSR Conversation : International Federation for Systems Research : April 27 - May 2, 2014, St. Magdalena / Linz (Austria)
Search for this author
Year: 2014
Publisher: Linz, University
Series: SEA-Publications; 41
Media group: MONOGRAPHIE
Cover von Communication systems
the state of the art : IFIP 17th world computer congress : TC6 stream on communication systems : the state of the art, August 25 - 30, 2002, Montreal, Quebec, Canada
Search for this author
Year: 2002
Publisher: Boston, Kluwer
Series: International Federation for Information Processing; 220
Media group: MONOGRAPHIE
OPEN V 11.1.0.0