skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Ten commandments revisited: a ten-year perspective on the industrial application of formal methods

Bowen, Jonathan P. ; Hinchey, Michael G.

Foundations of Software Engineering: Proceedings of the 10th international workshop on Formal methods for industrial critical systems; 05-06 Sept. 2005, 2005, p.8-16

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
2
Community Consultation in Developing Museum Projects: A Case Study Using the Repertory Grid Technique
Community Consultation in Developing Museum Projects: A Case Study Using the Repertory Grid Technique
Material Type:
Artigo 		Adicionar ao Meu Espaço

Community Consultation in Developing Museum Projects: A Case Study Using the Repertory Grid Technique

Canning, Ciara ; Holmes, Kirsten

Cultural trends, , Vol.15 (4), p.275-297 [Periódico revisado por pares]

Routledge

Texto completo disponível

Citações Citado por
3
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
4
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
5
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
6
Global Models: Some Uses and Possible Developments
Global Models: Some Uses and Possible Developments
Material Type:
Artigo 		Adicionar ao Meu Espaço

Global Models: Some Uses and Possible Developments

Deutsch, Karl W.

International political science review, 1990-04, Vol.11 (2), p.165-175 [Periódico revisado por pares]

Thousand Oaks, CA: Butterworths Scientific Limited

Texto completo disponível

Citações Citado por
7
'What do you do?': Stand-up comedy versus the proper job
'What do you do?': Stand-up comedy versus the proper job
Material Type:
Artigo 		Adicionar ao Meu Espaço

'What do you do?': Stand-up comedy versus the proper job

Double, Oliver

Ephemera, 2015-08, Vol.15 (3), p.651 [Periódico revisado por pares]

Leicester: Nick Butler (On Behalf of the Editorial Collective of Ephemera)

Texto completo disponível

Citações Citado por
8
Key extensions of abstract data types, final algebras, and database semantics
Key extensions of abstract data types, final algebras, and database semantics
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Key extensions of abstract data types, final algebras, and database semantics

Ehrich, H. -D.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
Applications of Computer Software in the Sociological Analysis of Qualitative Data
Applications of Computer Software in the Sociological Analysis of Qualitative Data
Material Type:
Artigo 		Adicionar ao Meu Espaço

Applications of Computer Software in the Sociological Analysis of Qualitative Data

Fielding, Nigel G. ; Lee, Raymond M.

Bulletin de méthodologie sociologique, 1997-12, Vol.57 (1), p.3-24 [Periódico revisado por pares]

Thousand Oaks, CA: SAGE Publications

Texto completo disponível

Citações Citado por
10
Theories as categories
Theories as categories
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Theories as categories

Fourman, Michael P.

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por

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.