Abstract state machines,B and Z : first international conference, ABZ 2008, London, UK, september 16-18, 2008. Proceedings.

Código QR

Abstract state machines,B and Z : first international conference, ABZ 2008, London, UK, september 16-18, 2008. Proceedings.

Detalles Bibliográficos
Formato:	Artículo
Lenguaje:	English
Acceso en línea:	Ver documento en línea

Ejemplares similares

Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012. Proceedings.

Abstract state machines, alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010. Proceedings.

Abstract state machines, alloy, B, TLA, VDM, and Z : 6th international conference, ABZ 2018, Southampton, UK, june 5–8, 2018, proceedings.

Abstract state machines, alloy, B, TLA, VDM, and Z : 5th international conference, ABZ 2016, Linz, Austria, may 23-27, 2016, proceedings.

Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014, Toulouse, France, june 2-6, 2014. Proceedings.

Statistical abstract of the United States /

Science abstracts. Series B, electrical and electronics abstracts /

International Symposium on History of Machines and Mechanisms Proceedings of HMM 2008 /
Publicado: (2009)

Statistical abstract of the United States 1998.
Publicado: (1998)

Statistical abstract of the United States 1991.
Publicado: (1991)

Statistical abstract of the United States 1996.
Publicado: (1996)

Microbiology abstracts. Section B : Bacteriology /
Publicado: (1966)

Historical abstracts. Part B: Twentieth century abstracts (1914-1970)
Publicado: (1971)

Introduction to the theory of finite-state machines /
por: Gill, Arthur
Publicado: (1962)

Statistical abstract of the United States-Mexico borderlands /
Publicado: (1984)

Statistical abstract of the United States 1997 : the national data book.
Publicado: (1997)

Introduction to the theory of finite-state machines /
por: Gill, Arthur, 1930-
Publicado: (1962)

Abstracts : alphabetized by first author
Publicado: (1996)

Finite state machines in hardware : theory and design (with VHDL and SystemVerilog) /
por: Pedroni, Volnei A. 1952-, et al.
Publicado: (2013)

Statistical abstract of the United States 1987 : national data book and guide to sources.
Publicado: (1986)

Statistical abstract of the United States 1988 : national data book and guide to sources.
Publicado: (1987)

Designing logic systems using state machines /
por: Clare, Christopher R., et al.
Publicado: (1973)

Nutrition abstracts and reviews. Serie B : Livestock feeds and feeding
Publicado: (1977)

Dissertation abstracts International : B the sciences and engineering
Publicado: (1991)

Advances in Machine Learning : First Asian Conference on Machine Learning, ACML 2009, Nanjing, China, November 2-4, 2009. Proceedings.

Dissertation abstracts international : Section B: The sciences and engineering.
Publicado: (1938)

Robotics and intelligent machines in agriculture : proceedings of the First International Conference on Robotics and Intelligent Machines in Agriculture : October 2-4, 1983 Curtis Hixon Convention Center Tampa, Florida
Publicado: (1984)

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part I /
Publicado: (2017)

Machine Learning and Knowledge Discovery in Databases European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III /
Publicado: (2017)

Machine Learning and Knowledge Discovery in Databases : European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part II /
Publicado: (2017)

Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
Publicado: (2017)

Artificial neural networks and machine learning – ICANN 2020 : 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, september 15–18, 2020, proceedings.

Abstracts : Sixteenth Conference on Great Lakes Research
Publicado: (1973)

Abstract spaces and approximation : proceedings of the conference held at the Mathematical Research Institute at Oberwolfach, Black Forest, July 18-27, 1968 /
por: Butzer, Paul Leo 1928-, et al.
Publicado: (1969)

Proceedings of the sixteenth international machine tool design and research conference /
Publicado: (1976)

Advanced machine learning technologies and applications : First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings.

Geo abstracts : Series B,
Publicado: (1966)

Abstracts : International Dialogue on the Chinese Dream /
Publicado: (2013)

Cyber Security Cryptography and Machine Learning : First International Conference, CSCML 2017, Beer-Sheva, Israel, June 29-30, 2017, Proceedings /
Publicado: (2017)

Dissertation abstracts international : C european abstracts
Publicado: (1991)