Resultados de búsqueda - 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 2009.

“...Lecture notes in computer science...”
Enlace del recurso

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 2006.

“...Lecture notes in computer science ;...”
Enlace del recurso

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 en Synthesis Lectures on Engineers, Technology, & Society (2024)

Materias: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing...”
Enlace del recurso

Livro

4

Computer Aided Verification

Computer Aided Verification

Publicado en Lecture Notes in Computer Science (2023)

Materias: “...architecture verification and validation...”
Enlace del recurso

Livro

5

Computer Aided Verification

Computer Aided Verification

Publicado en Lecture Notes in Computer Science (2023)

Materias: “...architecture verification and validation...”
Enlace del recurso

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 c2008

“...Lecture notes in computer science ;...”
Enlace del recurso

Livro

7

The Datacenter as a Computer

The Datacenter as a Computer

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

Materias: “...Computer architecture...”
Enlace del recurso

Livro

8

Computer Aided Verification

Computer Aided Verification

Publicado en Lecture Notes in Computer Science (2023)

Materias: “...architecture verification and validation...”
Enlace del recurso

Livro

9

Computer Aided Verification

Computer Aided Verification

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

Materias: “...Theory of Computation...”
Enlace del recurso

Livro

10

Computer Aided Verification

Computer Aided Verification

Publicado en Lecture Notes in Computer Science (2022)

Materias: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Enlace del recurso

Livro

11

Computer Aided Verification

Computer Aided Verification

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

Materias: “...Theory of Computation...”
Enlace del recurso

Livro

12

Computer Aided Verification

Computer Aided Verification

Publicado en Lecture Notes in Computer Science (2022)

Materias: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Enlace del recurso

Livro

13

Computer Aided Verification

Computer Aided Verification

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

Materias: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Enlace del recurso

Livro

14

Computer Aided Verification

Computer Aided Verification

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

Materias: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Enlace del recurso

Livro

15

Transactions on computational science I

Transactions on computational science I

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

“...Lecture notes in computer science ;...”
Enlace del recurso

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 2011.

“...Lectures notes in computer science...”
Enlace del recurso

Livro

17

Advances in Electrical Engineering and Computational Science

Advances in Electrical Engineering and Computational Science

por Gelman, Len.
Publicado 2009.

“...Lecture Notes in Electrical Engineering,...”
Enlace del recurso

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 2009.

“...Lecture Notes in Electrical Engineering...”
Enlace del recurso

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 2009.

“...Lecture notes in computer science...”
Enlace del recurso

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 2007.

“...Lecture notes in computer science...”
Enlace del recurso

Livro