skip to main content
Idioma:
previous page 1 Resultados 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Formalising the network and hierarchical data models — an application of categorical Logic
Formalising the network and hierarchical data models — an application of categorical Logic
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Formalising the network and hierarchical data models — an application of categorical Logic

Cartmell, John

Category Theory and Computer Programming, 1986, p.466-492 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
12
Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol
Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol

Williams, David M. ; Treharne, Helen ; Ho, Anthony T.S. ; Culnane, Chris

Proceedings of the 10th ACM workshop on Multimedia and security, 2008, p.205-214

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
13
A 2-categorial Generalization of the Concept of Institution
A 2-categorial Generalization of the Concept of Institution
Material Type:
Artigo 		Adicionar ao Meu Espaço

A 2-categorial Generalization of the Concept of Institution

Vidal, J. Climent ; Tur, J. Soliveres

Studia logica, 2010-08, Vol.95 (3), p.301-344 [Periódico revisado por pares]

Dordrecht: Springer

Texto completo disponível

Citações Citado por
14
The teaching of novice computer programmers: bringing the scholarly-research approach to Australia
The teaching of novice computer programmers: bringing the scholarly-research approach to Australia
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

The teaching of novice computer programmers: bringing the scholarly-research approach to Australia

Clear, Tony ; Edwards, Jenny ; Lister, Raymond ; Simon, Beth ; Thompson, Errol ; Whalley, Jacqueline Hamilton, Margaret ; Hamilton, Simon

Proceedings of the tenth conference on Australasian computing education - Volume 78, 2008, Vol.78, p.63-68

Darlinghurst, Australia, Australia: Australian Computer Society, Inc

Texto completo disponível

Citações Citado por
15
Lambda-dropping: transforming recursive equations into programs with block structure
Lambda-dropping: transforming recursive equations into programs with block structure
Material Type:
Artigo 		Adicionar ao Meu Espaço

Lambda-dropping: transforming recursive equations into programs with block structure

Danvy, Olivier ; Schultz, Ulrik P.

Theoretical computer science, 2000-10, Vol.248 (1), p.243-287 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por
16
Other Books Received
Other Books Received
Material Type:
Artigo 		Adicionar ao Meu Espaço

Other Books Received

SIAM review, 1987-09, Vol.29 (3), p.508 [Periódico revisado por pares]

Philadelphia: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
17
Răzvan Diaconescu, Institution-independent Model Theory
Răzvan Diaconescu, Institution-independent Model Theory
Material Type:
Artigo 		Adicionar ao Meu Espaço

Răzvan Diaconescu, Institution-independent Model Theory

Tarlecki, Andrzej

Studia logica, 2014-02, Vol.102 (1), p.225-229 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
18
Sequence classification via large margin hidden Markov models
Sequence classification via large margin hidden Markov models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Sequence classification via large margin hidden Markov models

Kim, Minyoung ; Pavlovic, Vladimir

Data mining and knowledge discovery, 2011-09, Vol.23 (2), p.322-344 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

Citações Citado por
19
Towards terrain interaction prediction for bioinspired planetary exploration rovers
Towards terrain interaction prediction for bioinspired planetary exploration rovers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards terrain interaction prediction for bioinspired planetary exploration rovers

Yeomans, Brian ; Saaj, Chakravathini M

Bioinspiration & biomimetics, 2014-03, Vol.9 (1), p.016009-016009 [Periódico revisado por pares]

England: IOP Publishing

Texto completo disponível

Citações Citado por
20
A definition of creative-based music games
A definition of creative-based music games
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A definition of creative-based music games

Studley, Thomas ; Vella, Richard ; Scott, Nathan ; Nesbitt, Keith

Proceedings of the Australasian Computer Science Week Multiconference, 2018, p.1-10

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
previous page 1 Resultados 2 3 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (16)
  2. Book Chapters  (9)
  3. Anais de Congresso  (4)
  4. Livros  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1988  (12)
  2. 1988Até1996  (3)
  3. 1997Até2005  (5)
  4. 2006Até2011  (7)
  5. Após 2011  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.