skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Semantic Account of Rigorous Simulation
A Semantic Account of Rigorous Simulation
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

A Semantic Account of Rigorous Simulation

Duracz, Adam ; Moggi, Eugenio ; Taha, Walid ; Lin, Zhenchao

Principles of Modeling, 2018, p.223-239 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
2
Methods, Languages and Tools for Future System Development
Methods, Languages and Tools for Future System Development
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Methods, Languages and Tools for Future System Development

Steffen, Bernhard

Computing and Software Science, p.239-249 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
3
Microservices: yesterday, today, and tomorrow
Microservices: yesterday, today, and tomorrow
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Microservices: yesterday, today, and tomorrow

Dragoni, Nicola ; Giallorenzo, Saverio ; Lafuente, Alberto ; Mazzara, Manuel ; Montesi, Fabrizio ; Mustafin, Ruslan ; Safina, Larisa

Present and Ulterior Software Engineering, 2017

Springer

Sem texto completo

Citações Citado por
4
Enabling Modern Application Development with Swift on the Nao/Pepper Robots
Enabling Modern Application Development with Swift on the Nao/Pepper Robots
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Enabling Modern Application Development with Swift on the Nao/Pepper Robots

McColl, Callum ; Estivill-Castro, Vladimir ; Gilmore, Eugene ; McColl, Morgan ; Hexel, René

RoboCup 2021: Robot World Cup XXIV, p.15-27 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
5
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts

Bernardo, Bruno ; Cauderlier, Raphaël ; Hu, Zhenlei ; Pesin, Basile ; Tesson, Julien

Formal Methods. FM 2019 International Workshops, p.368-379 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
6
An Introduction to Quantum Programming in Quipper
An Introduction to Quantum Programming in Quipper
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

An Introduction to Quantum Programming in Quipper

Green, Alexander S. ; Lumsdaine, Peter LeFanu ; Ross, Neil J. ; Selinger, Peter ; Valiron, Benoît

Reversible Computation, p.110-124 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
On the Expressivity of Total Reversible Programming Languages
On the Expressivity of Total Reversible Programming Languages
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

On the Expressivity of Total Reversible Programming Languages

Matos, Armando B. ; Paolini, Luca ; Roversi, Luca

Reversible Computation, 2020, p.128-143 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo

Citações Citado por
8
Machines as Thought Partners: Reflections on 50 Years of Prolog
Machines as Thought Partners: Reflections on 50 Years of Prolog
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Machines as Thought Partners: Reflections on 50 Years of Prolog

Gelfond, Gregory ; Balduccini, Marcello ; Ferrucci, David ; Kalyanpur, Adi ; Lally, Adam

Prolog: The Next 50 Years, p.386-392 [Periódico revisado por pares]

Cham: Springer Nature Switzerland

Sem texto completo

Citações Citado por
9
Completeness in Static Analysis by Abstract Interpretation: A Personal Point of View
Completeness in Static Analysis by Abstract Interpretation: A Personal Point of View
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Completeness in Static Analysis by Abstract Interpretation: A Personal Point of View

Monniaux, David

Challenges of Software Verification, 2023, Vol.238, p.93-108

Singapore: Springer Nature Singapore

Sem texto completo

Citações Citado por
10
Industrial Software for Computer Aided Process Engineering (CAPE) Modeling and Programming Skills Development
Industrial Software for Computer Aided Process Engineering (CAPE) Modeling and Programming Skills Development
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Industrial Software for Computer Aided Process Engineering (CAPE) Modeling and Programming Skills Development

Kelly, Jeffrey D. ; Menezes, Brenno C.

Computer Aided Chemical Engineering, 2020, Vol.48, p.2035-2040 [Periódico revisado por pares]

Texto completo disponível

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (6.748)
  2. Revistas revisadas por pares (1.639)

Data de Publicação 

De até
Refinar
  1. Antes de1984  (67)
  2. 1984Até1993  (391)
  3. 1994Até2003  (1.434)
  4. 2004Até2014  (5.365)
  5. Após 2014  (2.943)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (9.747)
  2. Francês  (54)
  3. Japonês  (40)
  4. Alemão  (3)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.