Resultados da busca - Synthesis Lectures on Computer Architecture

1

Model driven architecture - foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 : proceedings /

Model driven architecture - foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009 : proceedings /

por European Conference on Model Driven Architecture -Foundations and Applications, Paige, Richard F., Hartman, Alan., Rensink, Arend.
Publicado em 2009.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

2

FSTTCS 2006: foundations of software technology and theoretical computer science 26th International Conference, Kolkata, India, December 13-15, 2006: proceedings /

FSTTCS 2006: foundations of software technology and theoretical computer science 26th International...

por Conference on Foundations of Software Technology and Theoretical Computer Science, Arun-Kumar, S., Garg, Naveen.
Publicado em 2006.

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

3

Handbook of Digital 3D Reconstruction of Historical Architecture

Handbook of Digital 3D Reconstruction of Historical Architecture

por Münster, Sander, Apollonio, Fabrizio Ivan, Bluemel, Ina, Fallavollita, Federico, Foschi, Riccardo, Grellert, Marc, Ioannides, Marinos, Jahn, Peter Heinrich, Kurdiovsky, Richard, Kuroczyński, Piotr, Lutteroth, Jan-Eric, Messemer, Heike, Schelbert, Georg
Publicado no Synthesis Lectures on Engineers, Technology, & Society (2024)

Assuntos: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing...”
Obter o texto integral

Livro

4

Computer Aided Verification

Computer Aided Verification

Publicado no Lecture Notes in Computer Science (2023)

Assuntos: “...architecture verification and validation...”
Obter o texto integral

Livro

5

Computer Aided Verification

Computer Aided Verification

Publicado no Lecture Notes in Computer Science (2023)

Assuntos: “...architecture verification and validation...”
Obter o texto integral

Livro

6

Architecture of computing systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008 : proceedings /

Architecture of computing systems - ARCS 2008 21st International Conference, Dresden, Germany, February 25-28, 2008 : proceedings /

por ARCS (Conferência), Brinkschulte, Uwe.
Publicado em c2008

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

7

The Datacenter as a Computer

The Datacenter as a Computer

por Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy
Publicado no Synthesis Lectures on Computer Architecture (2019)

Assuntos: “...Computer architecture...”
Obter o texto integral

Livro

8

Computer Aided Verification

Computer Aided Verification

Publicado no Lecture Notes in Computer Science (2023)

Assuntos: “...architecture verification and validation...”
Obter o texto integral

Livro

9

Computer Aided Verification

Computer Aided Verification

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

Assuntos: “...Theory of Computation...”
Obter o texto integral

Livro

10

Computer Aided Verification

Computer Aided Verification

Publicado no Lecture Notes in Computer Science (2022)

Assuntos: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Obter o texto integral

Livro

11

Computer Aided Verification

Computer Aided Verification

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

Assuntos: “...Theory of Computation...”
Obter o texto integral

Livro

12

Computer Aided Verification

Computer Aided Verification

Publicado no Lecture Notes in Computer Science (2022)

Assuntos: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Obter o texto integral

Livro

13

Computer Aided Verification

Computer Aided Verification

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

Assuntos: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Obter o texto integral

Livro

14

Computer Aided Verification

Computer Aided Verification

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

Assuntos: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Obter o texto integral

Livro

15

Transactions on computational science I

Transactions on computational science I

por Gavrilova, Marina L., Tan, C. J. Kenneth.
Publicado em c2008

“...Lecture notes in computer science ;...”
Obter o texto integral

Livro

16

Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011 : advanced lectures /

Formal methods for eternal networked software systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011...

por SFM 2011, Bernardo, Marco., Issarny, Valerie.
Publicado em 2011.

“...Lectures notes in computer science...”
Obter o texto integral

Livro

17

Advances in Electrical Engineering and Computational Science

Advances in Electrical Engineering and Computational Science

por Gelman, Len.
Publicado em 2009.

“...Lecture Notes in Electrical Engineering,...”
Obter o texto integral

Livro

18

Advances in computational algorithms and data analysis

Advances in computational algorithms and data analysis

por Ao, Sio-Iong, Rieger, Burghard B., Chen, Su-Shing
Publicado em 2009.

“...Lecture Notes in Electrical Engineering...”
Obter o texto integral

Livro

19

Advances in computation and intelligence 4th International Symposium on Intelligence Computation and Applications, ISICA 2009, Huangshi, China, October 23-25, 2009 : proceedings /

Advances in computation and intelligence 4th International Symposium on Intelligence Computation...

por SICA 2009, Cai, Zhihua.
Publicado em 2009.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

20

Software architecture first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /

Software architecture first European conference, ECSA 2007, Madrid, Spain, September 24-26, 2007 : proceedings /

por ECSA 2007, Oquendo, Flavio.
Publicado em 2007.

“...Lecture notes in computer science...”
Obter o texto integral

Livro

1
2
3
Seguinte
[3]

Cannot write session to /tmp/vufind_sessions/sess_fsmamp2osklksu1hl79j50qi8f