Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 58 Para Buscar '', tiempo de consulta: 0.03s 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
Logic and machines : decision problems and complexity, proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Münster/Westfalen /
por Borger, Egon 1946-
Publicado 1984
Libro
13
Machine elements and machine dynamics /
por Pennock, G. R.
Publicado 1994
Libro
14
The recursive universe : cosmic complexity and the limits of scientific knowledge /
por Poundstone, William 1955-
Publicado 1985
Libro
15
Lenguajes formales y teoría de autómatas /
Libro
16
Robotics : kinematics, dynamics and controls /
por Pennock, G. R.
Publicado 1994
Libro
17
Robotics, spatial mechanisms, and mechanical systems /
por Kinzel, G.
Publicado 1992
Libro
18
Robótica : manipuladores y robots móviles /
Libro
19
Sequential machines : selected papers /
por Burks, Arthur W., Burks, Arthur W.
Publicado 1964
Libro
20
An introduction to mathematical machine theory /
Libro
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda