Search Results - "Lecture Notes in Computer Science; Theoretical Computer Science and General Issues"

Search alternatives:
notes » noted (Expand Search)

1

Supercomputing Frontiers

Supercomputing Frontiers

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

Get full text

Livro

2

Brain-Inspired Computing

Brain-Inspired Computing

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

Get full text

Livro

3

Computer Aided Verification

Computer Aided Verification

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

Get full text

Livro

4

Programming Languages and Systems

Programming Languages and Systems

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

Get full text

Livro

5

Computer Aided Verification

Computer Aided Verification

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

Get full text

Livro

6

Computer Aided Verification

Computer Aided Verification

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

Get full text

Livro

7

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

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

Get full text

Livro

8

Computer Aided Verification

Computer Aided Verification

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

Get full text

Livro

9

Programming Languages and Systems

Programming Languages and Systems

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

Get full text

Livro

10

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

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

Get full text

Livro

11

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

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

Get full text

Livro

12

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

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

Get full text

Livro

13

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

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

Get full text

Livro

14

Reversible Computation: Extending Horizons of Computing

Reversible Computation: Extending Horizons of Computing

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

Get full text

Livro

15

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

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

Get full text

Livro

16

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

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

Get full text

Livro

17

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

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

Get full text

Livro