Resultados da busca

27601

Automata, Languages and Programming Part II /

por Aceto, Luca, Damgard, Ivan, Goldberg, Leslie Ann, Halldórsson, Magnús M., Ingólfsdóttir, Anna, Walukiewicz, Igor, SpringerLink (Online service), International Colloquium, ICALP 2008

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27602

Automata, languages, and machines /

por Eilenberg, Samuel.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27603

Automata, languages, and machines /

por Eilenberg, Samuel.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27604

Automated analysis of free speech predicts psychosis onset in high-risk youths

por Bedi, Gillinder, Carrillo, Facundo, Cecchi, Guillermo A, Slezak, Diego Fernández, Sigman, Mariano, Mota, Natália B, Ribeiro, Sidarta Tollendal Gomes, Javitt, Daniel C, Copelli, Mauro, Corcoran, Cheryl M

Mais informações

article

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27605

An automated approach for performance deviation analysis of evolving software systems

por Pinto, Felipe Alves Pereira

Mais informações

doctoralThesis

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27606

Automated deduction in classical and non-classical logics : selected papers /

por Caferra, Ricardo, Salzer, Gernot.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27607

Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

por McRobbie, M. A., Slaney, J. K., International Conference on Automated Deduction

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27608

Automated information-retrieval systems /

por Belonogov, G. G., Kotov, R. G., Mkrtchyan, G. A.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27609

Automated model building /

por Caferra, Ricardo., Leitsch, Alexander, Peltier, Nicholas.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27610

Automated multi-camera surveillance algorithms and practice /

por Javed, Omar., Shah, Mubarak., SpringerLink (Online service)

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27611

Automated Nanohandling by Microrobots

por Fatikow, Sergej, SpringerLink (Online service)

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27612

Automated planning : theory and practice /

por Ghallab, Malik., Nau, Dana S., Traverso, Paolo

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27613

Automated reasoning : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12/15, 2008 : proceedings /

por Armando, Alessandro., Baumgartner, Peter, Dowek, Gilles., International Joint Conference, IJCAR 2008

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27614

Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /

por Basin, David, Rusinowitsch, Michaël., IJCAR 2004

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27615

Automated reasoning and its applications : essays in honor of Larry Wos /

por Wos, Larry., Veroff, Robert., Pieper, Gail W.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27616

Automated technology for verification and analysis

por Cha, Sungdeok (Steve), Choi, Jin-Young, Kim, Moonzoo, Lee, Insup, Viswanathan, Mahesh, SpringerLink (Online service), International Symposium, ATVA 2008

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27617

Automated theorem proving : theory and practice /

por Newborn, Monty.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27618

Automated theorem proving in software engineering /

por Schumann, Johann M.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27619

Automated theory formation in pure mathematics /

por Colton, Simon

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27620

Automatic algorithm recognition and replacement : a new approach to program optimization /

por Metzger, Robert C., Wen, Zhaofang.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27621

Automatic Brazilian Mercosur license plate recognition: an approach with synthetic images

por Ribeiro, Vinícius Campos Tinoco

Mais informações

bachelorThesis

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27622

Automatic control of internal combustion engines /

por Krutov, V. I., Lyubeznov, D.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27623

Automatic control systems /

por Kuo, Benjamin C., Golnaraghi, M. F.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27624

Automatic data processing : principles and procedures /

por Awad, Elias M., Data processing Management Association.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27625

Automatic Program Development A Tribute to Robert Paige /

por Danvy, Olivier, Henglein, Fritz, Mairson, Harry, Pettorossi, Alberto, SpringerLink (Online service)

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27626

Automatic Speech Recognition on Mobile Devices and over Communication Networks

por Tan, Zheng-Hua., Lindberg, Borge, SpringerLink (Online service)

Mais informações

Digital

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27627

Automatic syntax error reporting and recovery in parsing expression grammars

por Medeiros, Sérgio Queiroz de, Junior, Gilney de Azevedo Alvez, Mascarenhas, Fabio

Mais informações

article

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27628

Automatic tracking of cells for video microscopy in patch clamp experiments

por Peixoto, Helton M, Munguba, Hermany, Cruz, Rossana MS, Guerreiro, Ana MG, Leão, Richardson Naves

Mais informações

article

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27629

Automation method of the concrete redosage process in concrete business unit

por Torres, Raphael José Rodrigues, Carvalho, Zulmara Virginia de, Burlamaqui, Aquiles Medeiros Filgueira

Mais informações

article

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27630

Automation network selection /

por Caro, Dick.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27631

The automation of reasoning with incomplete information : from semantic foundations to efficient computation /

por Schaub, Torsten.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27632

Automatismos : pneumáticos e hidráulicos /

por Thibaut, R.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27633

Automatizacion y progreso social /

por Lilley, Samuel., García-Moncó, Dolores Cuadrado.

Mais informações

Livro

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27634

Automatização do certificado de calibração da Máquina de ensaio universal

por Alves, Matheus Terra

Mais informações

bachelorThesis

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27635

Automatização por robô de software para um sistema contábil

por Carvalho, Maxmyller Ferreira de Freitas

Mais informações

bachelorThesis

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27636

Automação da detecção de fraudes em sistemas de medição de energia elétrica utilizando lógica fuzzy em ambiente SCADA

por Meneses, Leonardo Telino de

Mais informações

Dissertação

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27637

Automação da detecção de fraudes em sistemas de medição de energia elétrica utilizando lógica Fuzzy em ambiente SCADA /

por Meneses, Leonardo Telino de., Maitelli, André Laurindo., Universidade Federal do Rio Grande do Norte.

Mais informações

Dissertação

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27638

Automação da drenagem no teste de produção convencional em tanque cilíndrico

por Silva, Paulo Sérgio e

Mais informações

Dissertação

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27639

Automação da drenagem no teste de produção convencional em tanque cilíndrico/

por Silva, Paulo Sérgio e., Maitelli, André Laurindo., Universidade Federal do Rio Grande do Norte.

Mais informações

Dissertação

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista:
27640

A automação da indústria têxtil no espaço de Jardim dePiranhas/RN: um estudo de caso

por Silva, Ramon

Mais informações

bachelorThesis

Adicionar à cesta Retirar da cesta
Salvar na lista

Na minha lista: