skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Science Citation Index Expanded (Web of Science) remover tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps

Bozga, Liana ; Ene, Cristian ; Lakhnech, Yassine

CONCUR 2004 - Concurrency Theory, 2004, p.177-192 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Evolving Visual Object Recognition for Legged Robots
Evolving Visual Object Recognition for Legged Robots
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Evolving Visual Object Recognition for Legged Robots

Zagal, Juan Cristóbal ; Ruiz-del-Solar, Javier ; Guerrero, Pablo ; Palma, Rodrigo

Lecture notes in computer science, 2004, p.181-191 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
How Contests Can Foster the Research Activities on Robotics in Developing Countries: Chile – A Case Study
How Contests Can Foster the Research Activities on Robotics in Developing Countries: Chile – A Case Study
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

How Contests Can Foster the Research Activities on Robotics in Developing Countries: Chile – A Case Study

Ruiz-del-Solar, Javier ; Zagal, Juan Cristóbal

Lecture notes in computer science, 2004, p.748-756 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
MgO Based Magnetic Tunnel Junctions With Co20Fe60B20 Sensing Layer for Magnetic Field Sensors
MgO Based Magnetic Tunnel Junctions With Co20Fe60B20 Sensing Layer for Magnetic Field Sensors
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

MgO Based Magnetic Tunnel Junctions With Co20Fe60B20 Sensing Layer for Magnetic Field Sensors

TAKENAGA, T ; YOSHIDA, C ; FURUKAWA, T ; OHJI, H ; SUGII, T ; YAMAZAKI, Y ; HATADA, A ; NAKABAYASHI, M ; IBA, Y ; TAKAHASHI, A ; NOSHIRO, H ; TSUNODA, K ; AOKI, M

IEEE transactions on magnetics, 2013, Vol.49 (7), p.3878-3881

New York, NY: Institute of Electrical and Electronics Engineers

Texto completo disponível

Citações Citado por
5
RoboCup Advanced 3D Monitor
RoboCup Advanced 3D Monitor
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

RoboCup Advanced 3D Monitor

Penedo, Carla ; Pavão, João ; Nunes, Pedro ; Custódio, Luis

Lecture notes in computer science, 2004, p.637-644 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
6
Zing: Exploiting Program Structure for Model Checking Concurrent Software
Zing: Exploiting Program Structure for Model Checking Concurrent Software
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Zing: Exploiting Program Structure for Model Checking Concurrent Software

Andrews, Tony ; Qadeer, Shaz ; Rajamani, Sriram K. ; Rehof, Jakob ; Xie, Yichen

CONCUR 2004 - Concurrency Theory, 2004, p.1-15 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.