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
HKD
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
HKD
Search
All Products
Books
Computers
Programming
Compilers
Filters
Sold By
Sold By
All Sellers
Fishpond
(1,748)
Age Range
Age Range
All Ranges
15+
(337)
All Ages
(83)
Country
Country
All Countries
Germany
(1,093)
Switzerland
(351)
United States
(185)
Netherlands
(50)
United Kingdom
(33)
More...
Results for "Springer Science"
Springer Science
1,890 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(1,748)
Age Range
Age Range
All Ranges
15+
(337)
All Ages
(83)
Country
Country
All Countries
Germany
(1,093)
Switzerland
(351)
United States
(185)
Netherlands
(50)
United Kingdom
(33)
More...
Related Searches:
springer science fiction
1,890 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Formal Methods and Software Engineering (25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science))
By
Kazuhiro Ogata
,
Dominique Mery
,
Meng Sun
,
Shaoying Liu
Formal Methods and Software Engineering (25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science))
By
Kazuhiro Ogata
,
Dominique Mery
,
Meng Sun
,
Shaoying Liu
HK$671
Database Systems for Advanced Applications. DASFAA 2024 International Workshops (BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings (Lecture Notes in Computer Science))
By
Atsuyuki Morishima
,
Guoliang Li
,
Yoshiharu Ishikawa
,
Sihem Amer-Yahia
Database Systems for Advanced Applications. DASFAA 2024 International Workshops (BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings (Lecture Notes in Computer Science))
By
Atsuyuki Morishima
,
Guoliang Li
,
Yoshiharu Ishikawa
,
Sihem Amer-Yahia
HK$660
Programming Languages and Systems (22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings (Lecture Notes in Computer Science))
By
Oleg Kiselyov
Programming Languages and Systems (22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings (Lecture Notes in Computer Science))
By
Oleg Kiselyov
HK$573
Formal Methods and Software Engineering (24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science))
By
Yi Li
,
Sofiène Tahar
Formal Methods and Software Engineering (24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science))
By
Yi Li
,
Sofiène Tahar
HK$560
Programming Languages and Systems (21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings (Lecture Notes in Computer Science))
By
Chung-Kil Hur
Programming Languages and Systems (21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26–29, 2023, Proceedings (Lecture Notes in Computer Science))
By
Chung-Kil Hur
HK$600
Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))
By
Alessandro Ricci
,
Philipp Haller
Programming with Actors (State-of-the-Art and Research Perspectives (Lecture Notes in Computer Science))
By
Alessandro Ricci
,
Philipp Haller
HK$477
Scalable Uncertainty Management (12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings (Lecture Notes in Computer Science))
By
Davide Ciucci
,
Gabriella Pasi
,
Barbara Vantaggi
Scalable Uncertainty Management (12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings (Lecture Notes in Computer Science))
By
Davide Ciucci
,
Gabriella Pasi
,
Barbara Vantaggi
HK$500
Model and Data Engineering (8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
By
El Hassan Abdelwahed
,
Ladjel Bellatreche
,
Mattéo Golfarelli
,
Dominique Méry
Model and Data Engineering (8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings (Lecture Notes in Computer Science) (Programming and Software Engineering))
By
El Hassan Abdelwahed
,
Ladjel Bellatreche
,
Mattéo Golfarelli
,
Dominique Méry
HK$500
Symposium on Real-Time and Hybrid Systems (Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science))
By
Cliff Jones
,
Ji Wang
,
Naijun Zhan
Symposium on Real-Time and Hybrid Systems (Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday (Lecture Notes in Computer Science))
By
Cliff Jones
,
Ji Wang
,
Naijun Zhan
HK$481
Relational and Algebraic Methods in Computer Science (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
By
Jules Desharnais
,
Walter Guttmann
,
Stef Joosten
Relational and Algebraic Methods in Computer Science (17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
By
Jules Desharnais
,
Walter Guttmann
,
Stef Joosten
HK$660
High Performance Computing (ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers (Lecture Notes in Computer Science))
By
Rio Yokota
,
Miche le Weiland
,
John Shalf
,
Sadaf Alam
High Performance Computing (ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers (Lecture Notes in Computer Science))
By
Rio Yokota
,
Miche le Weiland
,
John Shalf
,
Sadaf Alam
HK$585
Theoretical Aspects of Computing – ICTAC 2018 (15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
By
Bernd Fischer
,
Tarmo Uustalu
Theoretical Aspects of Computing – ICTAC 2018 (15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings (Lecture Notes in Computer Science) (Theoretical Computer Science and General Issues))
By
Bernd Fischer
,
Tarmo Uustalu
HK$794
Programming Languages and Systems (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Sukyoung Ryu
Programming Languages and Systems (16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Sukyoung Ryu
HK$540
Engineering Trustworthy Software Systems (Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Jonathan P. Bowen
,
Zhiming Liu
,
Zili Zhang
Engineering Trustworthy Software Systems (Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Jonathan P. Bowen
,
Zhiming Liu
,
Zili Zhang
HK$500
Leveraging Applications of Formal Methods, Verification and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))
By
Tiziana Margaria
,
Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Modeling (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I (Lecture Notes in Computer Science))
By
Tiziana Margaria
,
Bernhard Steffen
HK$578
Leveraging Applications of Formal Methods, Verification and Validation. Verification (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes i ..)
By
Tiziana Margaria
,
Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Verification (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II (Theoretical Computer Science and General Issues) (Lecture Notes i ..)
By
Tiziana Margaria
,
Bernhard Steffen
HK$558
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)
By
Tiziana Margaria
,
Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III (Theoretical Computer Science and General Issues) (Lecture ..)
By
Tiziana Margaria
,
Bernhard Steffen
HK$560
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Theoretical Computer Science and General Issues) (Lecture ..)
By
Tiziana Margaria
,
Bernhard Steffen
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice (8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (Theoretical Computer Science and General Issues) (Lecture ..)
By
Tiziana Margaria
,
Bernhard Steffen
HK$560
Verified Software. Theories, Tools, and Experiments (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Ruzica Piskac
,
Philipp Rümmer
Verified Software. Theories, Tools, and Experiments (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers (Programming and Software Engineering) (Lecture Notes in Computer Science))
By
Ruzica Piskac
,
Philipp Rümmer
HK$500
Product-Focused Software Process Improvement (19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings (Lecture Notes in Computer Science))
By
Marco Kuhrmann
,
Kurt Schneider
,
Dietmar Pfahl
,
Sousuke Amasaki
Product-Focused Software Process Improvement (19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings (Lecture Notes in Computer Science))
By
Marco Kuhrmann
,
Kurt Schneider
,
Dietmar Pfahl
,
Sousuke Amasaki
HK$500
Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))
By
Christian Colombo
,
Martin Leucker
Runtime Verification (18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings (Lecture Notes in Computer Science))
By
Christian Colombo
,
Martin Leucker
HK$733
Security Standardisation Research (4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))
By
Cas Cremers
,
Anja Lehmann
Security Standardisation Research (4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings (Security and Cryptology) (Lecture Notes in Computer Science))
By
Cas Cremers
,
Anja Lehmann
HK$500
Software Technologies (Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science))
By
Manuel Mazzara
,
Iulian Ober
,
Gwen Salaun
Software Technologies (Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science))
By
Manuel Mazzara
,
Iulian Ober
,
Gwen Salaun
HK$577
Formal Languages and Compilation (Texts in Computer Science)
By
Crespi Reghizzi, Stefano
,
Morzenti, Angelo
,
Angelo Morzenti
Formal Languages and Compilation (Texts in Computer Science)
By
Crespi Reghizzi, Stefano
,
Morzenti, Angelo
,
Angelo Morzenti
HK$788
Previous Page
1
...
4
5
6
7
8
9
10
11
12
Next Page
Previous Page
1
...
4
5
6
7
8
9
10
11
12
Next Page