Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

по Atkinson, Colin
Опубликовано в: Springer e-books (2005)

Transactions on Petri Nets and Other Models of Concurrency VIII

Опубликовано в: Springer eBooks (2013)

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

Опубликовано в: Springer eBooks (2013)

Validation of Evolving Software

Опубликовано в: Springer eBooks (2015)

Numerical Analysis Using Sage

по Anastassiou, George A., Mezei, Razvan A.
Опубликовано в: Springer eBooks (2015)

Game Development Tool Essentials

по Ardolino, Alessandro, Arnaud, Remi, Berinstein, Paula, Franco, Simon, Herubel, Adrien, McCutchan, John, Nedelcu, Nicusor, Nitschke, Benjamin, Robinet, Fabrice, Ronchi, Christian, Samour, Gustavo, Turkowski, Rita, Walter, Robert
Опубликовано в: Springer eBooks (2014)

Transactions on Petri Nets and Other Models of Concurrency IX

Опубликовано в: Springer eBooks (2014)

Arduino Music and Audio Projects

по Cook, Mike
Опубликовано в: Springer eBooks (2015)

Exploring the Raspberry Pi 2 with C++

по Gay, Warren
Опубликовано в: Springer eBooks (2015)

Hardening Azure Applications

по Machiraju, Suren, Gaurav, Suraj
Опубликовано в: Springer eBooks (2015)

Aspect-Oriented Security Hardening of UML Design Models

по Mouheb, Djedjiga, Debbabi, Mourad, Pourzandi, Makan, Wang, Lingyu, Nouh, Mariam, Ziarati, Raha, Alhadidi, Dima, Talhi, Chamseddine, Lima, Vitor
Опубликовано в: Springer eBooks (2015)

Transactions on Petri Nets and Other Models of Concurrency X

Опубликовано в: Springer eBooks (2015)

MATLAB Linear Algebra

по López, César Pérez
Опубликовано в: Springer eBooks (2014)

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8вЂ"10, 2006, Como, Italy /

по Damiani, Ernesto
Опубликовано в: Springer e-books (2006)

Unboxing Android USB A Hands-On Approach with Real World Examples /

по Regupathy, Rajaram
Опубликовано в: Springer eBooks (2014)

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3920) 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory...

по Hermanns, Holger
Опубликовано в: Springer e-books (2006)

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice o...

по Ramakrishnan, C. R.
Опубликовано в: Springer eBooks (2008)

Tools and Algorithms for the Construction and Analysis of Systems (vol. # 3440) 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory a...

по Halbwachs, Nicolas
Опубликовано в: Springer e-books (2005)

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice o...

по Grumberg, Orna
Опубликовано в: Springer e-books (2007)

Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /

по George, Chris W.
Опубликовано в: Springer e-books (2007)