Search Results - "Petri net"

61

Cover Image

Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /

Published 2009

Get full text

Electronic

62

Cover Image

Web Services and Formal Methods 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /

Published 2013

Get full text

Electronic

63

Cover Image

Web Services and Formal Methods 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers /

Published 2009

Get full text

Electronic

64

Cover Image

Computer Performance Engineering 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings /

Published 2009

Get full text

Electronic

65

Cover Image

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings /

Published 2010

Get full text

Electronic

66

Cover Image

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /

Published 2009

Get full text

Electronic

67

Cover Image

Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /

Published 2009

Get full text

Electronic

68

Cover Image

Emerging Trends in Technological Innovation First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal...

Published 2010

Get full text

Electronic

69

Cover Image

Formal Modeling and Analysis of Timed Systems 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings /

Published 2013

Get full text

Electronic

70

Cover Image

Reliability Engineering Theory and Practice /

by Birolini, Alessandro.
Published 2010

Get full text

Electronic

71

Cover Image

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings /

Published 2010

Get full text

Electronic

72

Cover Image

CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings /

Published 2010

Get full text

Electronic

73

Cover Image

Identity and Privacy in the Internet Age 14th Nordic Conference on Secure IT Systems, NordSec 2009, Oslo, Norway, 14-16 October 2009. Proceedings /

Published 2009

Get full text

Electronic

74

Cover Image

Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings /

Published 2009

Get full text

Electronic

75

Cover Image

Intelligent Distributed Computing IV Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 /

Published 2010

Get full text

Electronic

76

Cover Image

Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design

by Stapelberg, Rudolph Frederick.
Published 2009

Get full text

Electronic

77

Cover Image

Intelligent Computing Theories 9th International Conference, ICIC 2013, Nanning, China, July 28-31, 2013. Proceedings /

Published 2013

Get full text

Electronic

78

Cover Image

Simulation and Modeling Methodologies, Technologies and Applications International Conference, SIMULTECH 2011 Noordwijkerhout, The Netherlands, July 29-31, 2011 Revised Selected Pa...

Published 2013

Get full text

Electronic

79

Cover Image

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /

Published 2013

Get full text

Electronic

[1]
« Prev
1
2
3
4