Model-Based Methodologies for Pervasive and Embedded Software (8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck

Model-Based Methodologies for Pervasive and Embedded Software (8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012, Revised Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Ricardo J. Machado, Rita Suzana Maciel, Julia Rubin, Goetz Botterweck

£40.12

Power Estimation and Optimization Methodologies for Vliw-Based Embedded Systems

By Zaccaria, Vittorio, Silvano, Cristina, Donatella Sciuto, Cristina Silvano

Power Estimation and Optimization Methodologies for Vliw-Based Embedded Systems

By Zaccaria, Vittorio, Silvano, Cristina, Donatella Sciuto, Cristina Silvano

£94.93

Global Specification and Validation of Embedded Systems (Integrating Heterogeneous Components)

By Gabriela Nicolescu, Ahmed Amine Jerraya

Global Specification and Validation of Embedded Systems (Integrating Heterogeneous Components)

By Gabriela Nicolescu, Ahmed Amine Jerraya

£82.90 Elsewhere ~~£89.99~~ Save £7.09 (8%)

Global Specification and Validation of Embedded Systems (Integrating Heterogeneous Components)

By Gabriela Nicolescu, Ahmed Amine Jerraya

Global Specification and Validation of Embedded Systems (Integrating Heterogeneous Components)

By Gabriela Nicolescu, Ahmed Amine Jerraya

£91.91

Collaborative Design for Embedded Systems (Co-Modelling and Co-Simulation)

By John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Collaborative Design for Embedded Systems (Co-Modelling and Co-Simulation)

By John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

£47.30

Collaborative Design for Embedded Systems (Co-modelling and Co-simulation)

By John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Collaborative Design for Embedded Systems (Co-modelling and Co-simulation)

By John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

£45.08

The Common Component Modeling Example (Comparing Software Component Models (Programming and Software Engineering))

By Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil

The Common Component Modeling Example (Comparing Software Component Models (Programming and Software Engineering))

By Andreas Rausch, Ralf H. Reussner, Raffaela Mirandola, Frantisek Plasil

£45.07

Transactions on Aspect-Oriented Software Development VIII (Transactions on Aspect-Oriented Software Development)

By Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen

Transactions on Aspect-Oriented Software Development VIII (Transactions on Aspect-Oriented Software Development)

By Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen

£44.90

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Proceedings of the GM R & D Workshop, Bangalore, India, January 2007)

By S. Ramesh, P. Sampath

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Proceedings of the GM R & D Workshop, Bangalore, India, January 2007)

By S. Ramesh, P. Sampath

£120 Elsewhere ~~£129.99~~ Save £9.99 (8%)

Languages for Embedded Systems and their Applications (Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering))

By Martin Radetzki

Languages for Embedded Systems and their Applications (Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering))

By Martin Radetzki

£120 Elsewhere ~~£129.99~~ Save £9.99 (8%)

Software Engineering and Methodology for Emerging Domains (15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016. Proceedings (Communications in Computer and Information Science))

By Zhang, Lu, Xu, Chang

Software Engineering and Methodology for Emerging Domains (15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016. Proceedings (Communications in Computer and Information Science))

By Zhang, Lu, Xu, Chang

£46.47

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Proceedings of the GM R & D Workshop, Bangalore, India, January 2007)

By S. Ramesh, P. Sampath

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Proceedings of the GM R & D Workshop, Bangalore, India, January 2007)

By S. Ramesh, P. Sampath

£126

Languages for Embedded Systems and their Applications (Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering))

By Martin Radetzki

Languages for Embedded Systems and their Applications (Selected Contributions on Specification, Design, and Verification from FDL'08 (Lecture Notes in Electrical Engineering))

By Martin Radetzki

£119 Elsewhere ~~£129.99~~ Save £10.99 (8%)

Product-Focused Software Process Improvement (16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo

Product-Focused Software Process Improvement (16th International Conference, PROFES 2015, Bolzano, Italy, December 2-4, 2015, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Pekka Abrahamsson, Luis Corral, Markku Oivo, Barbara Russo

£48.43

Software Language Engineering (First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008 : Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Dragan Gasevic, Ralf Lammel, Eric van Wyk

Software Language Engineering (First International Conference, SLE 2008 Toulouse, France, September 29-30, 2008 : Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Dragan Gasevic, Ralf Lammel, Eric van Wyk

£44.99

Trustworthy Software Development Processes (International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl

Trustworthy Software Development Processes (International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Qing Wang, Vahid Garousi, Raymond Madachy, Dietmar Pfahl

£45.05

Software and System Development Using Virtual Platforms (Full-System Simulation with Wind River Simics)

By Daniel, Engblom, Jakob (PhD, Product Line Manager for Simics Tools at Wi

Software and System Development Using Virtual Platforms (Full-System Simulation with Wind River Simics)

By Daniel, Engblom, Jakob (PhD, Product Line Manager for Simics Tools at Wi

£57.24 Elsewhere ~~£73.99~~ Save £16.75 (23%)

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control (Method, Software and Industrial Application)

By Choi, Shiu Hong, Kang, Shu Gang

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control (Method, Software and Industrial Application)

By Choi, Shiu Hong, Kang, Shu Gang

£88.60

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control (Method, Software and Industrial Application)

By Choi, Shiu Hong, Kang, Shu Gang

Multi-Agent Based Beam Search for Real-Time Production Scheduling and Control (Method, Software and Industrial Application)

By Choi, Shiu Hong, Kang, Shu Gang

£83.62 Elsewhere ~~£89.99~~ Save £6.37 (7%)

NASA Formal Methods (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Julia M. Badger, Kristin Yvonne Rozier

NASA Formal Methods (11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Julia M. Badger, Kristin Yvonne Rozier

£59.85

UML Modeling Languages and Applications (__UML__ 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues Da Silva, Ambrosio Toval Alvarez

UML Modeling Languages and Applications (__UML__ 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Nuno Jardim Nunes, Bran Selic, Alberto Rodrigues Da Silva, Ambrosio Toval Alvarez

£45.02

Models in Software Engineering (Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Giese, Holger

Models in Software Engineering (Workshops and Symposia at MODELS 2007 Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Giese, Holger

£45.03

Models in Software Engineering (Workshops and Symposia at Models 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Kuehne

Models in Software Engineering (Workshops and Symposia at Models 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Thomas Kuehne

£45.02

Early Aspects - Current Challenges and Future Directions (10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Ana Moreira

Early Aspects - Current Challenges and Future Directions (10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Ana Moreira

£45

View:
Safe Search(?):