Name: Separation Logic for High-Level Synthesis (Springer Theses)
Brand: Springer
SKU: 190896949
Price: 91.9 GBP
Availability: InStock

Cellular Automata and Groups (Springer Monographs in Mathematics)

By Ceccherini-Silberstein, Tullio G., Coornaert, Michel

Cellular Automata and Groups (Springer Monographs in Mathematics)

By Ceccherini-Silberstein, Tullio G., Coornaert, Michel

£101

A Tiny Handbook of R (Springer Briefs in Statistics)

By Allerhand, Mike

A Tiny Handbook of R (Springer Briefs in Statistics)

By Allerhand, Mike

£51.16 Elsewhere ~~£54.99~~ Save £3.83 (7%)

Mathematik kompakt [German] (für Ingenieure und Informatiker (Springer-Lehrbuch))

By Schwenkert, Rainer, Stry, Yvonne

Mathematik kompakt [German] (für Ingenieure und Informatiker (Springer-Lehrbuch))

By Schwenkert, Rainer, Stry, Yvonne

£26.08 Elsewhere ~~£27.99~~ Save £1.91 (7%)

Understanding High-Dimensional Spaces (SpringerBriefs in Computer Science)

By Skillicorn, David B.

Understanding High-Dimensional Spaces (SpringerBriefs in Computer Science)

By Skillicorn, David B.

£41.97 Elsewhere ~~£44.99~~ Save £3.02 (7%)

Grundzuge Der Theoretischen Logik (Grundlehren Der Mathematischen Wissenschaften [German] (Springer Hardcover))

By Ackermann, Wilhelm, Hilbert, David

Grundzuge Der Theoretischen Logik (Grundlehren Der Mathematischen Wissenschaften [German] (Springer Hardcover))

By Ackermann, Wilhelm, Hilbert, David

£51.32 Elsewhere ~~£54.99~~ Save £3.67 (7%)

Softwarereflexionen [German] (Ideen und Konzepte fur die Praxis (Springer Compass))

By Robert L. Baber, Erdmuthe Raufelder

Softwarereflexionen [German] (Ideen und Konzepte fur die Praxis (Springer Compass))

By Robert L. Baber, Erdmuthe Raufelder

£34.01

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I [German] (Springer Compass)

By Kurbel, Karl

Programmierstil in Pascal, Cobol, Fortran, Basic, PL/I [German] (Springer Compass)

By Kurbel, Karl

£55.51

A Primer in Petri Net Design (Springer Compass International)

By Reisig, Wolfgang

A Primer in Petri Net Design (Springer Compass International)

By Reisig, Wolfgang

£86.68 Elsewhere ~~£89.99~~ Save £3.31 (4%)

Die Software-Krise und Ihre Macher [German] (Springer Compass International)

By Weber, Herbert

Die Software-Krise und Ihre Macher [German] (Springer Compass International)

By Weber, Herbert

£34

CASE in der Praxis [German] (Softwareentwicklungsumgebungen fur Informationssysteme (Springer Compass))

By Bertram, Horst, Bröhl, Adolf-Peter, Adolf-Peter Brohl

CASE in der Praxis [German] (Softwareentwicklungsumgebungen fur Informationssysteme (Springer Compass))

By Bertram, Horst, Bröhl, Adolf-Peter, Adolf-Peter Brohl

£34.05

Objektorientierte Informationssysteme [German] (Konzepte, Darstellungsmittel, Methoden (Springers Angewandte Informatik))

By Gerti, Michael Schrefl

Objektorientierte Informationssysteme [German] (Konzepte, Darstellungsmittel, Methoden (Springers Angewandte Informatik))

By Gerti, Michael Schrefl

£47.27

JRuby Rails Web Application Development (SpringerBriefs in Computer Science)

By Vohra, Deepak

JRuby Rails Web Application Development (SpringerBriefs in Computer Science)

By Vohra, Deepak

£46.05

1

Agile Risk Management (SpringerBriefs in Computer Science)

By Moran, Alan

Agile Risk Management (SpringerBriefs in Computer Science)

By Moran, Alan

£51.15 Elsewhere ~~£54.99~~ Save £3.84 (7%)

Modeling Discrete Competitive Facility Location (SpringerBriefs in Optimization)

By Karakitsiou, Athanasia

Modeling Discrete Competitive Facility Location (SpringerBriefs in Optimization)

By Karakitsiou, Athanasia

£46.70

Computational Complexity of Solving Equation Systems (SpringerBriefs in Philosophy)

By Broniek, Przemys¿aw

Computational Complexity of Solving Equation Systems (SpringerBriefs in Philosophy)

By Broniek, Przemys¿aw

£46.76

OSS Reliability Measurement and Assessment (Springer Series in Reliability Engineering)

By Yamada, Shigeru, Tamura, Yoshinobu

OSS Reliability Measurement and Assessment (Springer Series in Reliability Engineering)

By Yamada, Shigeru, Tamura, Yoshinobu

£92.57

An Integrated Solution Based Irregular Driving Detection (Springer Theses)

By Sun, Rui

An Integrated Solution Based Irregular Driving Detection (Springer Theses)

By Sun, Rui

£92.38

Separation Logic for High-level Synthesis (Springer Theses)

By Winterstein, Felix

Separation Logic for High-level Synthesis (Springer Theses)

By Winterstein, Felix

£92.36

Non-Convex Multi-Objective Optimization (Springer Optimization and Its Applications)

By Pardalos, Panos M., Zilinskas, Antanas, Julius Zilinskas

Non-Convex Multi-Objective Optimization (Springer Optimization and Its Applications)

By Pardalos, Panos M., Zilinskas, Antanas, Julius Zilinskas

£82.57 Elsewhere ~~£89.99~~ Save £7.42 (8%)

Failure-Modes-Based Software Reading (SpringerBriefs in Computer Science)

By Zhu, Yang-Ming

Failure-Modes-Based Software Reading (SpringerBriefs in Computer Science)

By Zhu, Yang-Ming

£46.93

Readings in Formal Epistemology (Sourcebook (Springer Graduate Texts in Philosophy))

By Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, Henrik Boensvang

Readings in Formal Epistemology (Sourcebook (Springer Graduate Texts in Philosophy))

By Horacio Arlo-Costa, Vincent F. Hendricks, Johan van Benthem, Henrik Boensvang

£81.54 Elsewhere ~~£89.99~~ Save £8.45 (9%)

OSS Reliability Measurement and Assessment (Springer Series in Reliability Engineering)

By Tamura, Yoshinobu, Yamada, Shigeru

OSS Reliability Measurement and Assessment (Springer Series in Reliability Engineering)

By Tamura, Yoshinobu, Yamada, Shigeru

£92.19

Separation Logic for High-Level Synthesis (Springer Theses)

By Felix Winterstein

Separation Logic for High-Level Synthesis (Springer Theses)

By Felix Winterstein

£91.90

View:
Safe Search(?):