نتائج البحث - 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 /

بواسطة European Conference on Model Driven Architecture -Foundations and Applications, Paige, Richard F., Hartman, Alan., Rensink, Arend.
منشور في 2009.

“...Lecture notes in computer science...”
احصل على النص الكامل

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

بواسطة Conference on Foundations of Software Technology and Theoretical Computer Science, Arun-Kumar, S., Garg, Naveen.
منشور في 2006.

“...Lecture notes in computer science ;...”
احصل على النص الكامل

Livro

3

Handbook of Digital 3D Reconstruction of Historical Architecture

Handbook of Digital 3D Reconstruction of Historical Architecture

بواسطة 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
الحاوية / القاعدة Synthesis Lectures on Engineers, Technology, & Society (2024)

الموضوعات: “...thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing...”
احصل على النص الكامل

Livro

4

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science (2023)

الموضوعات: “...architecture verification and validation...”
احصل على النص الكامل

Livro

5

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science (2023)

الموضوعات: “...architecture verification and validation...”
احصل على النص الكامل

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 /

بواسطة ARCS (Conferência), Brinkschulte, Uwe.
منشور في c2008

“...Lecture notes in computer science ;...”
احصل على النص الكامل

Livro

7

The Datacenter as a Computer

The Datacenter as a Computer

بواسطة Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy
الحاوية / القاعدة Synthesis Lectures on Computer Architecture (2019)

الموضوعات: “...Computer architecture...”
احصل على النص الكامل

Livro

8

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science (2023)

الموضوعات: “...architecture verification and validation...”
احصل على النص الكامل

Livro

9

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

الموضوعات: “...Theory of Computation...”
احصل على النص الكامل

Livro

10

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science (2022)

الموضوعات: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
احصل على النص الكامل

Livro

11

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

الموضوعات: “...Theory of Computation...”
احصل على النص الكامل

Livro

12

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science (2022)

الموضوعات: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
احصل على النص الكامل

Livro

13

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

الموضوعات: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
احصل على النص الكامل

Livro

14

Computer Aided Verification

Computer Aided Verification

الحاوية / القاعدة Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

الموضوعات: “...thema EDItEUR::U Computing and Information Technology::UM Computer programming / software...”
احصل على النص الكامل

Livro

15

Transactions on computational science I

Transactions on computational science I

بواسطة Gavrilova, Marina L., Tan, C. J. Kenneth.
منشور في c2008

“...Lecture notes in computer science ;...”
احصل على النص الكامل

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

بواسطة SFM 2011, Bernardo, Marco., Issarny, Valerie.
منشور في 2011.

“...Lectures notes in computer science...”
احصل على النص الكامل

Livro

17

Advances in Electrical Engineering and Computational Science

Advances in Electrical Engineering and Computational Science

بواسطة Gelman, Len.
منشور في 2009.

“...Lecture Notes in Electrical Engineering,...”
احصل على النص الكامل

Livro

18

Advances in computational algorithms and data analysis

Advances in computational algorithms and data analysis

بواسطة Ao, Sio-Iong, Rieger, Burghard B., Chen, Su-Shing
منشور في 2009.

“...Lecture Notes in Electrical Engineering...”
احصل على النص الكامل

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

بواسطة SICA 2009, Cai, Zhihua.
منشور في 2009.

“...Lecture notes in computer science...”
احصل على النص الكامل

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 /

بواسطة ECSA 2007, Oquendo, Flavio.
منشور في 2007.

“...Lecture notes in computer science...”
احصل على النص الكامل

Livro