Synthesis of Arithmetic Circuits (FPGA, ASIC and Embedded Systems)

By Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter

Synthesis of Arithmetic Circuits (FPGA, ASIC and Embedded Systems)

By Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter

£125 Elsewhere ~~£163.95~~ Save £38.95 (24%)

Minimum-Distortion Embedding (Foundations and Trends® in Machine Learning)

By Agrawal, Akshay, Ali, Alnur, Stephen Boyd

Minimum-Distortion Embedding (Foundations and Trends® in Machine Learning)

By Agrawal, Akshay, Ali, Alnur, Stephen Boyd

£63.03 Elsewhere ~~£71.00~~ Save £7.97 (11%)

Smart Distributed Embedded Systems for Healthcare Applications (Explainable AI XAI for Engineering Applications)

By Preeti Nagrath, Jafar A. Alzubi, Bhawna Singla, Joel J. P. C. Rodrigues

Smart Distributed Embedded Systems for Healthcare Applications (Explainable AI XAI for Engineering Applications)

By Preeti Nagrath, Jafar A. Alzubi, Bhawna Singla, Joel J. P. C. Rodrigues

£48.16

Model-Driven Dependability Assessment of Software Systems

By Bernardi, Simona, Merseguer, José, Dorina C. Petriu

Model-Driven Dependability Assessment of Software Systems

By Bernardi, Simona, Merseguer, José, Dorina C. Petriu

£88.55

Lectures on Embedded Systems (European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 -29, 1996 (Lecture Notes in Computer Science))

By Grzegorz Rozenberg, Frits W. Vaandrager

Lectures on Embedded Systems (European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25 -29, 1996 (Lecture Notes in Computer Science))

By Grzegorz Rozenberg, Frits W. Vaandrager

£45.60

Model-Driven Dependability Assessment of Software Systems

By Bernardi, Simona, Merseguer, José, Dorina Corina Petriu

Model-Driven Dependability Assessment of Software Systems

By Bernardi, Simona, Merseguer, José, Dorina Corina Petriu

£90.28

Arithmetic Optimization Techniques for Hardware and Software Design

By Ryan Kastner, Anup Hosangadi, Farzan Fallah

Arithmetic Optimization Techniques for Hardware and Software Design

By Ryan Kastner, Anup Hosangadi, Farzan Fallah

£51.10 Elsewhere ~~£76.99~~ Save £25.89 (34%)

Formal Methods and Software Engineering (11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Programming and Software Engineering))

By Karin Breitman, Ana Cavalcanti

Formal Methods and Software Engineering (11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings (Programming and Software Engineering))

By Karin Breitman, Ana Cavalcanti

£89.15

Search Based Software Engineering (Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Gordon Fraser, Jerffeson Teixeira de Souza

Search Based Software Engineering (Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Gordon Fraser, Jerffeson Teixeira de Souza

£45.02

Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

By Patrick Keast, Graeme Fairweather

Numerical Integration (Recent Developments, Software and Applications (NATO Science Series C))

By Patrick Keast, Graeme Fairweather

£180

Modeling and Verification of Real-Time Systems (Formalisms and Software Tools)

By Nicolas Navet, Stephan Merz

Modeling and Verification of Real-Time Systems (Formalisms and Software Tools)

By Nicolas Navet, Stephan Merz

£161 Elsewhere ~~£211.95~~ Save £50.95 (24%)

Introduction to Software Architecture (Innovative Design using Clean Architecture and Model-Driven Engineering (Undergraduate Topics in Computer Science))

By Yassipour Tehrani, Sobhan, Lano, Kevin

Introduction to Software Architecture (Innovative Design using Clean Architecture and Model-Driven Engineering (Undergraduate Topics in Computer Science))

By Yassipour Tehrani, Sobhan, Lano, Kevin

£42.94 Elsewhere ~~£49.99~~ Save £7.05 (14%)

Formal Methods and Software Engineering (4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : Proceedings (Lecture Notes in Computer Science))

By Chris George, Huaikou Miao

Formal Methods and Software Engineering (4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : Proceedings (Lecture Notes in Computer Science))

By Chris George, Huaikou Miao

£89.41

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

FST TCS 2002 - Foundations of Software Technology and Theoretical Computer Science (22nd Conference Kanpur, India, December 12-14, 2002, Proceedings (Lecture Notes in Computer Science))

By Manindra Agrawal, Professor Anil Seth

£45.54

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

Formal Methods in Software and Systems Modeling (Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg

£45.61

Operational Semantics for Timed Systems (A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Programming and Software Engineering))

By Rust, Heinrich

Operational Semantics for Timed Systems (A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems (Programming and Software Engineering))

By Rust, Heinrich

£45.14

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

Integrated Formal Methods (5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

£45.59

Foundations of Software Science and Computation Structures (4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Lecture No ..)

By Furio Honsell, Marino Miculan

Foundations of Software Science and Computation Structures (4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Lecture No ..)

By Furio Honsell, Marino Miculan

£45.86

Algebraic Methodology and Software Technology (5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Maurice Nivat

Algebraic Methodology and Software Technology (5th International Conference, AMAST '96, Munich, Germany, July 1996 - Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))

By Martin Wirsing, Maurice Nivat

£89.95

Foundations of Software Science and Computation Structures (Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed ..)

By Wolfgang Thomas

Foundations of Software Science and Computation Structures (Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed ..)

By Wolfgang Thomas

£44.95

Coordination Models and Languages (10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Doug Lea, Gianluigi Zavattaro

Coordination Models and Languages (10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))

By Doug Lea, Gianluigi Zavattaro

£44.99

Model-Driven Development of Reliable Automotive Services (Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Ingolf Kruger, Michael Meisinger

Model-Driven Development of Reliable Automotive Services (Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering))

By Manfred Broy, Ingolf Kruger, Michael Meisinger

£47.25

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

Integrated Formal Methods (6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))

By Jim Davies, Jeremy Gibbons

£89.95

Foundations of Software Science and Computational Structures (11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedi)

By Roberto Amadio

Foundations of Software Science and Computational Structures (11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008, Proceedi)

By Roberto Amadio

£45.11

View:
Safe Search(?):