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.

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.

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)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2023)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2023)

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

ανά ARCS (Conferência), Brinkschulte, Uwe.
Έκδοση c2008

The Datacenter as a Computer

ανά Barroso, Luiz André, Hölzle, Urs, Ranganathan, Parthasarathy
Τόπος έκδοσης Synthesis Lectures on Computer Architecture (2019)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2023)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2020)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science (2022)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Computer Aided Verification

Τόπος έκδοσης Lecture Notes in Computer Science; Theoretical Computer Science and General Issues (2021)

Transactions on computational science I

ανά Gavrilova, Marina L., Tan, C. J. Kenneth.
Έκδοση c2008

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.

Advances in Electrical Engineering and Computational Science

ανά Gelman, Len.
Έκδοση 2009.

Advances in computational algorithms and data analysis

ανά Ao, Sio-Iong, Rieger, Burghard B., Chen, Su-Shing
Έκδοση 2009.

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

ανά SICA 2009, Cai, Zhihua.
Έκδοση 2009.

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

ανά ECSA 2007, Oquendo, Flavio.
Έκδοση 2007.