Tipo de Livro
-Autor
-Editora
-Ano de Publicação
-Cidade
+Sebos e Livreiros
+Preço
+Categoria
+Idioma
+Avaliação
+Compra Corporativa
+Exibindo: 1189 - 1232 de 23.524 resultados
Automatic verification of sequential infinite-state process
Automatic verification of sequential infinite-state process
1997
Automated reasoning with analytic tableaux and related meth
Automated reasoning with analytic tableaux and related meth
2002
Automated technology for verification and analysis
Automated technology for verification and analysis
2009
Automated deduction in equational logic and cubic curves
Automated deduction in equational logic and cubic curves
1996
Automatische komplexitätsanalyse funktionaler programme
Automatische komplexitätsanalyse funktionaler programme
1990
Automatisiertes lackieren mit steuerbaren spritzpistolen
Automatisiertes lackieren mit steuerbaren spritzpistolen
1989
Autonome fertigungszellen - gestaltung, steuerung und integ
Autonome fertigungszellen - gestaltung, steuerung und integ
1996
Automatisierte identifikation der streckenparameter servohy
Automatisierte identifikation der streckenparameter servohy
1989
Automated reasoning with analytic tableaux and related meth
Automated reasoning with analytic tableaux and related meth
1999
Automata for branching and layered temporal structures
Automata for branching and layered temporal structures
2010
Autonomes handeln als personale und gesellschaftliche aufga
Autonomes handeln als personale und gesellschaftliche aufga
1980
Automorphism groups of compact bordered klein surfaces
Automorphism groups of compact bordered klein surfaces
1990
Automatic tools for designing office information systems
Automatic tools for designing office information systems
1990