search result

Cover von Reliability, Safety, and Security of Railway Systems

Reliability, Safety, and Security of Railway Systems
Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14 - 16, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10598
Media group: MONOGRAPHIE
Cover von Reliability, Safety, and Security of Railway Systems

Reliability, Safety, and Security of Railway Systems
Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28 - 30, 2016, Proceedings
Search for this author
Year: 2016
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9707
Media group: MONOGRAPHIE
Cover von Stochastic Model Checking

Stochastic Model Checking
Rigouros Dependability Analysis Using Model Checking Techniues for Stochastic Systems : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22 - 26, 2012 : Advanced Lectures
Search for this author
Year: 2014
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Tutorial; 8453
Media group: MONOGRAPHIE
Cover von Human Work Interaction Design

Human Work Interaction Design
Work Analysis and HCI : Third IFIP 13.6 Working Conference, HWID 2012, Copenhagen, Denmark, December 5 - 6, 2012, Revised Selected Papers
Search for this author
Year: 2013
Publisher: Berlin, Springer
Series: IFIP Advances in Information and Communication Technology; 407
Media group: MONOGRAPHIE
Cover von Embedded Systems

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 Prostata Cancer Imaging

Prostata Cancer Imaging
Image Analysis and Image-Guided Interventions : International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011, Proceedings
Search for this author
Year: 2011
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6963
Media group: MONOGRAPHIE
Cover von EC2ND 2006

EC2ND 2006
proceedings of the second European conference on computer network defence, in conjunction with the first workshop on digital forensics and incident analysis : Faculty of Advanced Technology, University of Glamorgan, Wales, UK
Search for this author
Year: 2007
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Anaphora

Anaphora
analysis, algorithms and applications : 6th discourse anaphora and anaphor resolution colloquium : Lagos, Portugal, March 29 - 30, 2007 : selected papers
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 4410
Media group: MONOGRAPHIE
Cover von Global computing

Global computing
programming environments, languages, security, and analysis of systems : IST/FET international workshop, Rovereto, Italy, February 9 - 14, 2003 : revised papers
Search for this author
Year: 2003
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2874
Media group: MONOGRAPHIE
Cover von Graphonomics in Human Body Movement

Graphonomics in Human Body Movement
Bridging Research and Practice from Motor Control to Handwriting Analysis and Recognition : 21st International Conference of the International Graphonomics Society, IGS 2023, Evora, Portugal, October 16 - 19, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14285
Media group: MONOGRAPHIE
OPEN V 11.1.0.0