Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 58 Para Buscar '', tiempo de consulta: 0.02s Limitar resultados
1
Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010 : proceedings /
Publicado 2010
Ver documento en línea
Procedimiento de la Conferencia Libro
2
Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, proceedings /
Publicado 2016
Ver documento en línea
Procedimiento de la Conferencia Libro
3
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, june 5-8, 2018, proceedings /
Publicado 2018
Ver documento en línea
Procedimiento de la Conferencia Artículo
4
Abstract state machines, alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, june 2-6, 2014, proceedings /
Publicado 2014
Ver documento en línea
Procedimiento de la Conferencia Libro
5
Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012, proceedings /
Publicado 2012
Ver documento en línea
Procedimiento de la Conferencia Libro
6
Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /
Publicado 2008
Ver documento en línea
Procedimiento de la Conferencia Libro
7
Computability, complexity, and languages : fundamentals of theoretical computer science /
Libro
8
Introduction to automata theory, languages, and computation /
Libro
9
Introduction to computability /
Libro
10
An introduction to formal languages and automata /
por Linz, Peter, Linz, Peter
Publicado 2006
Libro
11
Implementación de una base móvil con evasión de obstáculos utilizando Navigation de ROS /
Tesis Libro
12
Robotics : kinematics, dynamics and controls /
por Pennock, G. R.
Publicado 1994
Libro
13
Robotics, spatial mechanisms, and mechanical systems /
por Kinzel, G.
Publicado 1992
Libro
14
Robótica : manipuladores y robots móviles /
Libro
15
Sequential machines : selected papers /
por Burks, Arthur W., Burks, Arthur W.
Publicado 1964
Libro
16
Teoría de autómatas y lenguajes formales
por Kelley, Dean, Kelley, Dean
Publicado 1995
Libro
17
Teoría de la computación : lenguajes formales, autómatas y complejidad
Libro
18
Advanced robotics : 1989 : proceedings of the 4th International Conference on Advanced Robotics Columbus, Ohio, June 13-15, 1989 /
por Waldron, Kenneth J. 1943-
Publicado 1989
Libro
19
Algebraic theory of automata /
por Gecseg, F., Gecseg, F., Peak, I.
Publicado 1972
Libro
20
Algebraic theory of machines, languages, and simigroups
por Arbib, Michael A., Arbib, Michael A.
Publicado 1969
Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda