Suggested Topics within your search.
Showing 1 - 20 results of 58 for search '', query time: 0.03s Refine Results
1
Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /
Published 2010
Ver documento en línea
Conference Proceeding Book
2
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /
Published 2016
Ver documento en línea
Conference Proceeding Book
3
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /
Published 2018
Ver documento en línea
Conference Proceeding Article
4
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings /
Published 2014
Ver documento en línea
Conference Proceeding Book
5
Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012, proceedings /
Published 2012
Ver documento en línea
Conference Proceeding Book
6
Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /
Published 2008
Ver documento en línea
Conference Proceeding Book
7
Computability, complexity, and languages : fundamentals of theoretical computer science /
Book
8
Introduction to automata theory, languages, and computation /
Book
9
Introduction to computability /
Book
10
An introduction to formal languages and automata /
by Linz, Peter, Linz, Peter
Published 2006
Book
11
Implementación de una base móvil con evasión de obstáculos utilizando Navigation de ROS /
Thesis Book
12
Robotics : kinematics, dynamics and controls /
by Pennock, G. R.
Published 1994
Book
13
Robotics, spatial mechanisms, and mechanical systems /
by Kinzel, G.
Published 1992
Book
14
Robótica : manipuladores y robots móviles /
Book
15
Sequential machines : selected papers /
by Burks, Arthur W., Burks, Arthur W.
Published 1964
Book
16
Teoría de autómatas y lenguajes formales
by Kelley, Dean, Kelley, Dean
Published 1995
Book
17
Teoría de la computación : lenguajes formales, autómatas y complejidad
Book
18
Advanced robotics : 1989 : proceedings of the 4th International Conference on Advanced Robotics Columbus, Ohio, June 13-15, 1989 /
by Waldron, Kenneth J. 1943-
Published 1989
Book
19
Algebraic theory of automata /
by Gecseg, F., Gecseg, F., Peak, I.
Published 1972
Book
20
Algebraic theory of machines, languages, and simigroups
Book
Search Tools: Get RSS Feed — Email this Search