Resultados da pesquisa

1

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of So...

Publicado no Theoretical Computer Science and General Issues (2018)

Obter o texto integral

Livro

2

A carregar...

Fundamental Approaches to Software Engineering

Publicado no Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Obter o texto integral

Livro

3

A carregar...

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

Publicado no Security and Cryptology (2018)

Obter o texto integral

Livro

4

A carregar...

Programming Languages and Systems

Publicado no Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Obter o texto integral

Livro

5

A carregar...

Programming Languages and Systems

Publicado no Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Obter o texto integral

Livro

6

A carregar...

Programming Languages and Systems

Publicado no Lecture Notes in Computer Science (2022)

Obter o texto integral

Livro

7

A carregar...

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Por Amal Ahmed
Publicado no Theoretical Computer Science and General Issues Series (2018)

Obter o texto integral

Livro

8

A carregar...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Publicado no Theoretical Computer Science and General Issues (2018)

Obter o texto integral

Livro

9

A carregar...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Por Dirk Beyer, Marieke Huisman
Publicado no Theoretical Computer Science and General Issues (2018)

Obter o texto integral

Livro

10

A carregar...

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

Publicado no Theoretical Computer Science and General Issues (2018)

Obter o texto integral

Livro

Refinar a Pesquisa