Risultati della ricerca - 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 /

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

“...Lecture notes in computer science...”
Testo

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

di Conference on Foundations of Software Technology and Theoretical Computer Science, Arun-Kumar, S., Garg, Naveen.
Pubblicazione 2006.

“...Lecture notes in computer science ;...”
Testo

Livro

3

Handbook of Digital 3D Reconstruction of Historical Architecture

Handbook of Digital 3D Reconstruction of Historical Architecture

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

Soggetti: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing...”
Testo

Livro

4

Computer Aided Verification

Computer Aided Verification

Pubblicato in Lecture Notes in Computer Science (2023)

Soggetti: “...architecture verification and validation...”
Testo

Livro

5

Computer Aided Verification

Computer Aided Verification

Pubblicato in Lecture Notes in Computer Science (2023)

Soggetti: “...architecture verification and validation...”
Testo

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 /

di ARCS (Conferência), Brinkschulte, Uwe.
Pubblicazione c2008

“...Lecture notes in computer science ;...”
Testo

Livro

7

The Datacenter as a Computer

The Datacenter as a Computer

di Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy
Pubblicato in Synthesis Lectures on Computer Architecture (2019)

Soggetti: “...Computer architecture...”
Testo

Livro

8

Computer Aided Verification

Computer Aided Verification

Pubblicato in Lecture Notes in Computer Science (2023)

Soggetti: “...architecture verification and validation...”
Testo

Livro

9

Computer Aided Verification

Computer Aided Verification

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

Soggetti: “...Theory of Computation...”
Testo

Livro

10

Computer Aided Verification

Computer Aided Verification

Pubblicato in Lecture Notes in Computer Science (2022)

Soggetti: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Testo

Livro

11

Computer Aided Verification

Computer Aided Verification

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

Soggetti: “...Theory of Computation...”
Testo

Livro

12

Computer Aided Verification

Computer Aided Verification

Pubblicato in Lecture Notes in Computer Science (2022)

Soggetti: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Testo

Livro

13

Computer Aided Verification

Computer Aided Verification

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

Soggetti: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Testo

Livro

14

Computer Aided Verification

Computer Aided Verification

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

Soggetti: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
Testo

Livro

15

Transactions on computational science I

Transactions on computational science I

di Gavrilova, Marina L., Tan, C. J. Kenneth.
Pubblicazione c2008

“...Lecture notes in computer science ;...”
Testo

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

di SFM 2011, Bernardo, Marco., Issarny, Valerie.
Pubblicazione 2011.

“...Lectures notes in computer science...”
Testo

Livro

17

Advances in Electrical Engineering and Computational Science

Advances in Electrical Engineering and Computational Science

di Gelman, Len.
Pubblicazione 2009.

“...Lecture Notes in Electrical Engineering,...”
Testo

Livro

18

Advances in computational algorithms and data analysis

Advances in computational algorithms and data analysis

di Ao, Sio-Iong, Rieger, Burghard B., Chen, Su-Shing
Pubblicazione 2009.

“...Lecture Notes in Electrical Engineering...”
Testo

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

di SICA 2009, Cai, Zhihua.
Pubblicazione 2009.

“...Lecture notes in computer science...”
Testo

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 /

di ECSA 2007, Oquendo, Flavio.
Pubblicazione 2007.

“...Lecture notes in computer science...”
Testo

Livro

Cannot write session to /tmp/vufind_sessions/sess_fsmamp2osklksu1hl79j50qi8f