0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
GBP
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Computers
Movies
Music
All Products
\n
Books
Computers
Movies
Music
Computers
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
GBP
Search
All Products
Books
Computers
Programming
Compilers
Filters
Sold By
Sold By
All Sellers
Fishpond
(263)
Age Range
Age Range
All Ranges
15+
(58)
All Ages
(11)
Country
Country
All Countries
Germany
(206)
Switzerland
(30)
United States
(12)
Netherlands
(5)
United Kingdom
(4)
More...
Results for "Algebras In Analysis"
Algebras In Analysis
281 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(263)
Age Range
Age Range
All Ranges
15+
(58)
All Ages
(11)
Country
Country
All Countries
Germany
(206)
Switzerland
(30)
United States
(12)
Netherlands
(5)
United Kingdom
(4)
More...
281 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)
By
Paolo Ciancarini
,
Alessandro Fantechi
,
Roberto Gorrieri
Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)
By
Paolo Ciancarini
,
Alessandro Fantechi
,
Roberto Gorrieri
£177
Visual Language Theory
By
Kim Marriott
,
Bernd Meyer
Visual Language Theory
By
Kim Marriott
,
Bernd Meyer
£88.62
An Introduction to Programming with Mathematica (R)
By
Gaylord, Richard J.
,
Kamin, Samuel N.
,
Paul R. Wellin
An Introduction to Programming with Mathematica (R)
By
Gaylord, Richard J.
,
Kamin, Samuel N.
,
Paul R. Wellin
£45.16
Applications of Logic Databases (The Springer International Series in Engineering and Computer Science)
By
Raghu Ramakrishnan
Applications of Logic Databases (The Springer International Series in Engineering and Computer Science)
By
Raghu Ramakrishnan
£128
Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)
By
Paolo Ciancarini
,
Alessandro Fantechi
,
Roberto Gorrieri
Formal Methods for Open Object-Based Distributed Systems (IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (IFIP Advances in Information and Communi)
By
Paolo Ciancarini
,
Alessandro Fantechi
,
Roberto Gorrieri
£179
Hardware Description Languages and Their Applications (Specification, Modelling, Verification and Synthesis of Microelectronic Systems (IFIP Advances in Information and Communication Technology))
By
Carlos Delgado Kloos
,
Eduard Cerny
Hardware Description Languages and Their Applications (Specification, Modelling, Verification and Synthesis of Microelectronic Systems (IFIP Advances in Information and Communication Technology))
By
Carlos Delgado Kloos
,
Eduard Cerny
£130
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
By
Pym, David J.
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
By
Pym, David J.
£130
MATLAB Numerical Calculations
By
Lopez, Cesar
MATLAB Numerical Calculations
By
Lopez, Cesar
£35.63
Beginning X64 Assembly Programming (From Novice to Avx Professional)
By
Hoey, Jo Van
Beginning X64 Assembly Programming (From Novice to Avx Professional)
By
Hoey, Jo Van
£30.27
Elsewhere
£39.99
Save £9.72 (24%)
Practical C++20 Financial Programming (Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics)
By
Oliveira, Carlos
Practical C++20 Financial Programming (Problem Solving for Quantitative Finance, Financial Engineering, Business, and Economics)
By
Oliveira, Carlos
£36.89
Elsewhere
£49.99
Save £13.10 (26%)
Options and Derivatives Programming in C++23 (Algorithms and Programming Techniques for the Financial Industry)
By
Carlos Oliveira
Options and Derivatives Programming in C++23 (Algorithms and Programming Techniques for the Financial Industry)
By
Carlos Oliveira
£36.03
Elsewhere
£49.99
Save £13.96 (28%)
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
By
Pym, David J.
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
By
Pym, David J.
£128
Quality of Communication-Based Systems (Proceedings of an International Workshop Held at the Tu Berlin, Germany, September 1994)
By
Günter Hommel
Quality of Communication-Based Systems (Proceedings of an International Workshop Held at the Tu Berlin, Germany, September 1994)
By
Günter Hommel
£88.56
Machine Learning with R
By
Ghatak, Abhijit
Machine Learning with R
By
Ghatak, Abhijit
£69.12
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)
By
Tiziana Margaria
,
Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II (Theoretical Computer Science an ..)
By
Tiziana Margaria
,
Bernhard Steffen
£48.53
3
Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Andrei Voronkov
,
Irina Virbitskaite
Perspectives of System Informatics (9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Andrei Voronkov
,
Irina Virbitskaite
£47.40
Programming Languages and Systems (25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Lecture Notes ..)
By
Peter Thiemann
Programming Languages and Systems (25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Lecture Notes ..)
By
Peter Thiemann
£45.56
Declarative Programming and Knowledge Management (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in A ..)
By
Petra Hofstedt
,
Salvador Abreu
,
Ulrich John
Declarative Programming and Knowledge Management (Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers (Lecture Notes in Computer Science) (Lecture Notes in A ..)
By
Petra Hofstedt
,
Salvador Abreu
,
Ulrich John
£45
Graph Transformation (13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Lecture Notes in Computer Science))
By
Fabio Gadducci
,
Timo Kehrer
Graph Transformation (13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings (Lecture Notes in Computer Science))
By
Fabio Gadducci
,
Timo Kehrer
£44.70
Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))
By
Bruno C. d. S. Oliveira
Programming Languages and Systems (18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings (Lecture Notes in Computer Science))
By
Bruno C. d. S. Oliveira
£44.99
Ssa-Based Compiler Design
By
Fabrice Rastello
,
Florent Bouchez Tichadou
Ssa-Based Compiler Design
By
Fabrice Rastello
,
Florent Bouchez Tichadou
£88.69
Elsewhere
£109.99
Save £21.30 (19%)
SSA based Compiler Design
By
Fabrice Rastello
,
Florent Bouchez Tichadou
SSA based Compiler Design
By
Fabrice Rastello
,
Florent Bouchez Tichadou
£59.83
Elsewhere
£74.99
Save £15.16 (20%)
Formal Methods for Industrial Critical Systems (26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
By
Alberto Lluch Lafuente
,
Anastasia Mavridou
Formal Methods for Industrial Critical Systems (26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
By
Alberto Lluch Lafuente
,
Anastasia Mavridou
£45.02
Programming Languages and Systems (20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science))
By
Ilya Sergey
Programming Languages and Systems (20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022, Proceedings (Lecture Notes in Computer Science))
By
Ilya Sergey
£49.94
Elsewhere
£54.99
Save £5.05 (9%)
Previous Page
1
2
3
4
5
6
7
8
9
10
Next Page
Previous Page
1
2
3
4
5
6
7
8
9
10
Next Page
We use essential and some optional cookies to provide you the best shopping experience. Visit our
cookies policy page
for more information.
Accept all cookies
Accept only essential cookies