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
Software Development
Filters
Sold By
Sold By
All Sellers
Fishpond
(562)
Age Range
Age Range
All Ranges
15+
(112)
All Ages
(16)
Country
Country
All Countries
Germany
(380)
Switzerland
(75)
United States
(42)
United Kingdom
(20)
Netherlands
(13)
More...
Results for "Algebras In Analysis"
Algebras In Analysis
655 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(562)
Age Range
Age Range
All Ranges
15+
(112)
All Ages
(16)
Country
Country
All Countries
Germany
(380)
Switzerland
(75)
United States
(42)
United Kingdom
(20)
Netherlands
(13)
More...
655 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))
By
Dang van Hung
,
Mizuhito Ogawa
Automated Technology for Verification and Analysis (11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science))
By
Dang van Hung
,
Mizuhito Ogawa
£45.12
Formal Modeling and Analysis of Timed Systems (12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues))
By
Legay, Axel
,
Bozga, Marius
Formal Modeling and Analysis of Timed Systems (12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings (Theoretical Computer Science and General Issues))
By
Legay, Axel
,
Bozga, Marius
£41.64
Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
By
Cyrille Artho
,
Axel Legay
,
Doron Peled
Automated Technology for Verification and Analysis (14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
By
Cyrille Artho
,
Axel Legay
,
Doron Peled
£47.98
Formal Concept Analysis (14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings (Lecture Notes in Artificial Intelligence))
By
Peggy Cellier
,
Sebastien Ferre
,
Peggy Cellier
Formal Concept Analysis (14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings (Lecture Notes in Artificial Intelligence))
By
Peggy Cellier
,
Sebastien Ferre
,
Peggy Cellier
£46.60
Formal Modeling and Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Joel Ouaknine
,
Frits W. Vaandrager
Formal Modeling and Analysis of Timed Systems (7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Joel Ouaknine
,
Frits W. Vaandrager
£45.01
Formal Modeling and Analysis of Timed Systems (11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
By
Víctor Braberman
,
Laurent Fribourg
Formal Modeling and Analysis of Timed Systems (11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
By
Víctor Braberman
,
Laurent Fribourg
£40.06
Specification and Analysis of Concurrent Systems (The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series))
By
Janicki, Ryszard
,
Lauer, Peter E.
Specification and Analysis of Concurrent Systems (The COSY Approach (Monographs in Theoretical Computer Science. An EATCS Series))
By
Janicki, Ryszard
,
Lauer, Peter E.
£88.75
Handbook of Logic in Computer Science (Volume 4. Semantic Modelling (Handbook of Logic in Computer Science))
By
Samson Abramsky
,
Dov M. Gabbay
,
T. S. E. Maibaum
Handbook of Logic in Computer Science (Volume 4. Semantic Modelling (Handbook of Logic in Computer Science))
By
Samson Abramsky
,
Dov M. Gabbay
,
T. S. E. Maibaum
£243
Elsewhere
£390.00
Save £147.00 (38%)
Introduction to Constraint Databases (Texts in Computer Science)
By
Peter Revesz
Introduction to Constraint Databases (Texts in Computer Science)
By
Peter Revesz
£45.13
Developments in Reliable Computing
By
Tibor Csendes
Developments in Reliable Computing
By
Tibor Csendes
£88.71
Studies in Computer Science (In Honor of Samuel D. Conte (Software Science and Engineering))
By
John R. Rice
,
Richard A. DeMillo
Studies in Computer Science (In Honor of Samuel D. Conte (Software Science and Engineering))
By
John R. Rice
,
Richard A. DeMillo
£45.02
Algorithms in Action
By
Adamchik, Victor
Algorithms in Action
By
Adamchik, Victor
£77.81
Combinatorial Testing in Cloud Computing (SpringerBriefs in Computer Science)
By
Tsai, Wei-Tek
,
Qi, Guanqiu
Combinatorial Testing in Cloud Computing (SpringerBriefs in Computer Science)
By
Tsai, Wei-Tek
,
Qi, Guanqiu
£45.89
Intelligent Automation and Computer Engineering (Lecture Notes in Electrical Engineering)
By
Sio-Iong Ao
,
Oscar Castillo
,
Xu Huang
Intelligent Automation and Computer Engineering (Lecture Notes in Electrical Engineering)
By
Sio-Iong Ao
,
Oscar Castillo
,
Xu Huang
£177
Transactions on Computational Science XXXI (Special Issue on Signal Processing and Security in Distributed Systems (Lecture Notes in Computer Science))
By
Marina L. Gavrilova
,
C. J. Kenneth Tan
,
Nabendu Chaki
,
Khalid Saeed
Transactions on Computational Science XXXI (Special Issue on Signal Processing and Security in Distributed Systems (Lecture Notes in Computer Science))
By
Marina L. Gavrilova
,
C. J. Kenneth Tan
,
Nabendu Chaki
,
Khalid Saeed
£45.06
Developments in Language Theory (23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Piotrek Hofman
,
Michał Skrzypczak
Developments in Language Theory (23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings (Theoretical Computer Science and General Issues) (Lecture Notes in Computer Science))
By
Piotrek Hofman
,
Michał Skrzypczak
£45.03
Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
By
Nicolas Peltier
,
Viorica Sofronie-Stokkermans
Automated Reasoning (10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II (Lecture Notes in Computer Science) (Lecture Notes in Artificial Intelligence))
By
Nicolas Peltier
,
Viorica Sofronie-Stokkermans
£64.82
Diagrammatic Representation and Inference (11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Ahti-Veikko Pietarinen
,
Peter Chapman
,
Leonie Bosveld-de Smet
,
Valeria Giardino
Diagrammatic Representation and Inference (11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings (Lecture Notes in Artificial Intelligence) (Lecture Notes in Computer Science))
By
Ahti-Veikko Pietarinen
,
Peter Chapman
,
Leonie Bosveld-de Smet
,
Valeria Giardino
£69.16
Computational Methods in Systems Biology (18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))
By
Alessandro Abate
,
Tatjana Petrov
,
Verena Wolf
Computational Methods in Systems Biology (18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings (Lecture Notes in Bioinformatics) (Lecture Notes in Computer Science))
By
Alessandro Abate
,
Tatjana Petrov
,
Verena Wolf
£45.03
Tools and Algorithms for the Construction and Analysis of Systems (28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Par)
By
Dana Fisman
,
Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems (28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Par)
By
Dana Fisman
,
Grigore Rosu
£32.95
Elsewhere
£34.99
Save £2.04 (6%)
Advances in Computing (17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers (Communications in Computer and Information Science))
By
Marta Tabares
,
Paola Vallejo
,
Biviana Suarez
,
Marco Suarez
Advances in Computing (17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10–11, 2023, Revised Selected Papers (Communications in Computer and Information Science))
By
Marta Tabares
,
Paola Vallejo
,
Biviana Suarez
,
Marco Suarez
£74
Elsewhere
£79.99
Save £5.99 (7%)
Abstract Software Specifications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
By
Dines Bjorner
Abstract Software Specifications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
By
Dines Bjorner
£36.23
Foundations of Software Technology and Theoretical Computer Science (Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Nori, Kesav V.
Foundations of Software Technology and Theoretical Computer Science (Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Nori, Kesav V.
£45.08
Parallel Computing in Science and Engineering (4th International Dfvlr Seminar on Foundations of Engineering Sciences, Bonn, Frg, June 25/26, 1987 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Rudiger Dierstein
,
Dieter Muller-Wichards
,
Hans-Martin Wacker
Parallel Computing in Science and Engineering (4th International Dfvlr Seminar on Foundations of Engineering Sciences, Bonn, Frg, June 25/26, 1987 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Rudiger Dierstein
,
Dieter Muller-Wichards
,
Hans-Martin Wacker
£44.97
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