skip to main content
Idioma:
Você quis dizer: börges e?
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Technology remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Subject-Oriented Business Process Management
Subject-Oriented Business Process Management
Material Type:
Livro 		Adicionar ao Meu Espaço

Subject-Oriented Business Process Management

Fleischmann, Albert ; Schmidt, Werner ; Stary, Christian ; Obermeier, Stefan ; Börger, Egon

Cham: Springer Nature 2012

Texto completo disponível

Citações Citado por
2
High Level System Design and Analysis Using Abstract State Machines
High Level System Design and Analysis Using Abstract State Machines
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

High Level System Design and Analysis Using Abstract State Machines

Börger, Egon

Applied Formal Methods — FM-Trends 98, 1999, p.1-43 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
An ASM semantics for UML activity diagrams
An ASM semantics for UML activity diagrams
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

An ASM semantics for UML activity diagrams

BÖRGER, E ; CAVARRA, A ; RICCOBENE, E

Lecture notes in computer science, 2000, p.293-308 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
4
Defining the Java Virtual Machine as platform for provably correct Java compilation
Defining the Java Virtual Machine as platform for provably correct Java compilation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Defining the Java Virtual Machine as platform for provably correct Java compilation

Börger, Egon ; Schulte, Wolfram

Lecture notes in computer science, 1998, p.17-35 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
5
Qualification tests of 474 photomultiplier tubes for the inner detector of the Double Chooz experiment
Qualification tests of 474 photomultiplier tubes for the inner detector of the Double Chooz experiment
Material Type:
Artigo 		Adicionar ao Meu Espaço

Qualification tests of 474 photomultiplier tubes for the inner detector of the Double Chooz experiment

Bauer, C ; Borger, E ; Hofacker, R ; Jänner, K ; Kaether, F ; Langbrandtner, C ; Lindner, M ; Lucht, S ; Reissfelder, M ; Schönert, S ; Stüken, A ; Wiebusch, C

Journal of instrumentation, 2011-06, Vol.6 (6), p.P06008-17 [Periódico revisado por pares]

IOP Publishing

Texto completo disponível

Citações Citado por
6
A mathematical definition of full Prolog
A mathematical definition of full Prolog
Material Type:
Artigo 		Adicionar ao Meu Espaço

A mathematical definition of full Prolog

Börger, Egon ; Rosenzweig, Dean

Science of computer programming, 1995-06, Vol.24 (3), p.249-286 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
7
Correctness of compiling Occam to transputer code
Correctness of compiling Occam to transputer code
Material Type:
Artigo 		Adicionar ao Meu Espaço

Correctness of compiling Occam to transputer code

BÖRGER, E ; DURDANOVIC, I

Computer journal, 1996, Vol.39 (1), p.52-92 [Periódico revisado por pares]

Oxford: Oxford University Press

Texto completo disponível

Citações Citado por
8
Abstract state machines and high-level system design and analysis
Abstract state machines and high-level system design and analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Abstract state machines and high-level system design and analysis

Börger, Egon

Theoretical computer science, 2005, Vol.336 (2), p.205-207 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
9
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis

Börger, Egon

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

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
10
A practical method for specification and analysis of exception handling-a Java/JVM case study
A practical method for specification and analysis of exception handling-a Java/JVM case study
Material Type:
Artigo 		Adicionar ao Meu Espaço

A practical method for specification and analysis of exception handling-a Java/JVM case study

Borger, E. ; Schulte, W.

IEEE transactions on software engineering, 2000-09, Vol.26 (9), p.872-887 [Periódico revisado por pares]

New York: IEEE

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. Revistas revisadas por pares (60)

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1993  (5)
  2. 1993Até1998  (6)
  3. 1999Até2004  (41)
  4. 2005Até2012  (9)
  5. Após 2012  (7)
  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.