
Software Fault Prevention, Verification, and Validation
25 feb 2025
Paperback
Preț: 356.30 lei 445.38 lei
3-5 săpt. | 7-13 zile
-20%

Approximation and Online Algorithms
12 feb 2025
Paperback
Preț: 355.31 lei 444.13 lei
3-5 săpt. | 7-13 zile
-20%
Basiswissen der mathematischen Bildbearbeitung: Zwischen Theorie und Anwendung
Autor Anna Breger
3 feb 2025
Paperback
Preț: 82.24 lei 102.80 lei
18-23 zile | 7-13 zile
-20%
Python Programming for Mathematics
Autor Julien Guillod
27 dec 2024
Paperback
Preț: 322.48 lei 403.10 lei
3-5 săpt. | 7-13 zile
-20%
General Quantum Variational Calculus
Autor Svetlin G. Georgiev et al.
19 dec 2024
Paperback
Preț: 427.64 lei 534.54 lei
3-5 săpt. | 7-13 zile
-20%

Computational Science – ICCS 2024: 24th International Conference, Malaga, Spain, July 2–4, 2024, Proceedings, Part VI
Editat de Leonardo Franco et al.
30 iun 2024
Paperback
Preț: 462.85 lei 578.55 lei
3-5 săpt. | 7-13 zile
-20%
Digitale Signatur: Unterschreiben mit Hilfe der Algebra
Autor Olaf Manz
2 feb 2024
Paperback
Preț: 81.93 lei 102.41 lei
18-23 zile | 7-13 zile
-20%
Bridging the Gap Between AI and Reality
Editat de Bernhard Steffen
2 oct 2025
Paperback
Preț: 274.16 lei 342.70 lei
18-23 zile | 7-13 zile
-20%
Mathematics for Computer Scientists: A Practice-Oriented Approach
Autor Peter Hartmann
31 aug 2023
Paperback
Preț: 430.87 lei 538.58 lei
3-5 săpt. | 7-13 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II
Editat de Sriram Sankaranarayanan et al.
20 apr 2023
Paperback
Preț: 256.72 lei 320.90 lei
3-5 săpt. | 7-13 zile
-20%
Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11–14, 2022, Proceedings
Editat de Luca Di Gaspero et al.
23 feb 2023
Paperback
Preț: 498.76 lei 623.44 lei
3-5 săpt. | 7-13 zile
-20%
Algorithms and Discrete Applied Mathematics: 9th International Conference, CALDAM 2023, Gandhinagar, India, February 9–11, 2023, Proceedings
Editat de Amitabha Bagchi et al.
3 feb 2023
Paperback
Preț: 531.80 lei 664.76 lei
3-5 săpt. | 7-13 zile
-20%
Graph Drawing and Network Visualization: 30th International Symposium, GD 2022, Tokyo, Japan, September 13–16, 2022, Revised Selected Papers
Editat de Patrizio Angelini et al.
19 ian 2023
Paperback
Preț: 497.70 lei 622.12 lei
3-5 săpt. | 7-13 zile
-20%
Arithmetic of Finite Fields: 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers
Editat de Sihem Mesnager et al.
11 ian 2023
Paperback
Preț: 460.69 lei 575.87 lei
3-5 săpt. | 7-13 zile
-20%
Computing and Combinatorics: 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings
Editat de Yong Zhang et al.
2 ian 2023
Paperback
Preț: 499.01 lei 623.76 lei
3-5 săpt. | 7-13 zile
-20%
Measuring Ontologies for Value Enhancement: Aligning Computing Productivity with Human Creativity for Societal Adaptation: First International Workshop, MOVE 2020, Virtual Event, October 17–18, 2020, Revised Selected Papers
Editat de Rubina Polovina et al.
2 ian 2023
Paperback
Preț: 459.65 lei 574.57 lei
3-5 săpt. | 7-13 zile
-20%
Advances in Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers
Editat de Nicholas Olenev et al.
2 ian 2023
Paperback
Preț: 389.10 lei 486.38 lei
3-5 săpt. | 7-13 zile
-20%
SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings
Editat de Leszek Gąsieniec
21 dec 2022
Paperback
Preț: 461.52 lei 576.89 lei
3-5 săpt. | 7-13 zile
-20%
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Editat de Omri Isac et al.
16 dec 2022
Paperback
Preț: 389.14 lei 486.44 lei
3-5 săpt. | 7-13 zile
-20%
Encrypt, Sign, Attack: A compact introduction to cryptography
Autor Olaf Manz
15 dec 2022
Paperback
Preț: 196.80 lei 246.01 lei
3-5 săpt. | 7-13 zile
-20%
Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings
Editat de Guido Governatori et al.
14 dec 2022
Paperback
Preț: 390.72 lei 488.40 lei
3-5 săpt. | 7-13 zile
-20%
Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
Editat de Yixiang Chen et al.
11 dec 2022
Paperback
Preț: 459.78 lei 574.74 lei
3-5 săpt. | 7-13 zile
-20%
Theoretical Computer Science: 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers
Editat de Zhiping Cai et al.
10 dec 2022
Paperback
Preț: 459.60 lei 574.49 lei
3-5 săpt. | 7-13 zile
-20%
Engineering Mathematics and Computing
Editat de Park Gyei-Kark et al.
5 oct 2023
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Parallel Problem Solving from Nature – PPSN XVII: 17th International Conference, PPSN 2022, Dortmund, Germany, September 10–14, 2022, Proceedings, Part I
Editat de Günter Rudolph et al.
15 aug 2022
Paperback
Preț: 499.60 lei 624.50 lei
3-5 săpt. | 7-13 zile
-20%
Cellular Automata: 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022, Proceedings
Editat de Bastien Chopard et al.
13 aug 2022
Paperback
Preț: 495.67 lei 619.59 lei
3-5 săpt. | 7-13 zile
-20%
Understanding Computation: Pillars, Paradigms, Principles
Autor Arnold L. Rosenberg et al.
10 aug 2023
Paperback
Preț: 498.80 lei 623.50 lei
3-5 săpt. | 7-13 zile
-20%
Computability
Autor George Tourlakis
3 aug 2023
Paperback
Preț: 395.96 lei 494.95 lei
3-5 săpt. | 7-13 zile
-20%
Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers
Editat de Cameron Browne et al.
aug 2022
Paperback
Preț: 424.70 lei 530.87 lei
3-5 săpt. | 7-13 zile
-20%
Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings
Editat de Yo-Sub Han et al.
aug 2022
Paperback
Preț: 458.90 lei 573.63 lei
3-5 săpt. | 7-13 zile
-20%
Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers
Editat de Kyungmin Bae
30 iul 2022
Paperback
Preț: 425.13 lei 531.41 lei
3-5 săpt. | 7-13 zile
-20%
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 19th International Conference, CPAIOR 2022, Los Angeles, CA, USA, June 20-23, 2022, Proceedings
Editat de Pierre Schaus
11 iun 2022
Paperback
Preț: 496.88 lei 621.10 lei
3-5 săpt. | 7-13 zile
-20%
Integer Programming and Combinatorial Optimization: 23rd International Conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022, Proceedings
Editat de Karen Aardal et al.
28 mai 2022
Paperback
Preț: 531.71 lei 664.65 lei
3-5 săpt. | 7-13 zile
-20%
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, Part II
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 255.01 lei 318.77 lei
3-5 săpt. | 7-13 zile
-20%
Property Testing: Problems and Techniques
Autor Arnab Bhattacharyya et al.
10 mar 2023
Paperback
Preț: 396.80 lei 496.00 lei
3-5 săpt. | 7-13 zile
-20%
Principles of Parallel Scientific Computing: A First Guide to Numerical Concepts and Programming Methods
Autor Tobias Weinzierl
10 feb 2022
Paperback
Preț: 286.87 lei 358.59 lei
3-5 săpt. | 7-13 zile
-20%
Statistics for Data Scientists: An Introduction to Probability, Statistics, and Data Analysis
Autor Maurits Kaptein et al.
3 feb 2022
Paperback
Preț: 287.11 lei 358.89 lei
3-5 săpt. | 7-13 zile
-20%
Introduction to Computation: Haskell, Logic and Automata
Autor Donald Sannella et al.
20 ian 2022
Paperback
Preț: 217.50 lei 271.88 lei
3-5 săpt. | 7-13 zile
-20%
Computational Thinking: A Perspective on Computer Science
Autor Zhiwei Xu et al.
7 dec 2021
Hardback
Preț: 256.90 lei 321.12 lei
3-5 săpt. | 7-13 zile
-20%
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Editat de Ernst-Rüdiger Olderog et al.
22 noi 2021
Paperback
Preț: 389.41 lei 486.76 lei
3-5 săpt. | 7-13 zile
-20%
Algebraic Graph Algorithms: A Practical Guide Using Python
Autor K. Erciyes
18 noi 2021
Paperback
Preț: 236.93 lei 296.16 lei
3-5 săpt. | 7-13 zile
-20%
Modelling Puzzles in First Order Logic
Autor Adrian Groza
27 oct 2021
Paperback
Preț: 321.93 lei 402.42 lei
3-5 săpt. | 7-13 zile
-20%
Sublinear Computation Paradigm: Algorithmic Revolution in the Big Data Era
Editat de Naoki Katoh et al.
20 oct 2021
Paperback
Preț: 253.55 lei 316.94 lei
3-5 săpt. | 7-13 zile
-20%
Monte Carlo Search: First Workshop, MCS 2020, Held in Conjunction with IJCAI 2020, Virtual Event, January 7, 2021, Proceedings
Editat de Tristan Cazenave et al.
16 oct 2021
Paperback
Preț: 388.26 lei 485.33 lei
3-5 săpt. | 7-13 zile
-20%
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Editat de Antonio Cerone et al.
20 aug 2021
Paperback
Preț: 461.62 lei 577.02 lei
3-5 săpt. | 7-13 zile
-20%

Advances in Swarm Intelligence
Editat de Ying Tan et al.
19 oct 2025
Paperback
Preț: 541.94 lei 677.42 lei
18-23 zile | 7-13 zile
-20%
Fundamentals of Quantum Computing: Theory and Practice
Autor Venkateswaran Kasirajan
23 iun 2022
Paperback
Preț: 417.00 lei 521.26 lei
6-8 săpt.
-20%
Algorithms and Complexity: 12th International Conference, CIAC 2021, Virtual Event, May 10–12, 2021, Proceedings
Editat de Tiziana Calamoneri et al.
5 mai 2021
Paperback
Preț: 461.62 lei 577.02 lei
3-5 săpt. | 7-13 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
Editat de Jan Friso Groote et al.
20 mar 2021
Paperback
Preț: 254.70 lei 318.38 lei
3-5 săpt. | 7-13 zile
-20%
Konkrete Mathematik (nicht nur) für Informatiker: Mit vielen Grafiken und Algorithmen in Python
Autor Edmund Weitz
22 feb 2021
Hardback
Preț: 510.21 lei 637.76 lei
18-23 zile | 7-13 zile
-20%
Logical Methods: The Art of Thinking Abstractly and Mathematically
Autor Roger Antonsen
11 feb 2021
Paperback
Preț: 252.10 lei 315.13 lei
3-5 săpt. | 7-13 zile
-20%
Understand Mathematics, Understand Computing: Discrete Mathematics That All Computing Students Should Know
Autor Arnold L. Rosenberg et al.
7 dec 2021
Paperback
Preț: 387.91 lei 484.89 lei
6-8 săpt.
-20%
Computer Algebra in Scientific Computing: 24th International Workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022, Proceedings
Editat de François Boulier et al.
12 aug 2022
Paperback
Preț: 496.13 lei 620.16 lei
3-5 săpt. | 7-13 zile
-20%
Sets, Logic and Maths for Computing
Autor David Makinson
20 mai 2020
Paperback
Preț: 322.84 lei 403.55 lei
3-5 săpt. | 7-13 zile
-20%
Graph Transformation for Software Engineers: With Applications to Model-Based Development and Domain-Specific Language Engineering
Autor Reiko Heckel et al.
14 mai 2021
Paperback
Preț: 403.53 lei 504.41 lei
6-8 săpt.
-20%
Computational Complexity and Property Testing: On the Interplay Between Randomness and Computation
Editat de Oded Goldreich et al.
4 apr 2020
Paperback
Preț: 530.49 lei 663.11 lei
3-5 săpt. | 7-13 zile
-20%
Deep Learning Architectures: A Mathematical Approach
Autor Ovidiu Calin
14 feb 2020
Hardback
Preț: 579.51 lei 724.39 lei
3-5 săpt. | 7-13 zile
-20%
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Editat de Dirk Beyer et al.
7 feb 2020
Paperback
Preț: 497.25 lei 621.56 lei
3-5 săpt. | 7-13 zile
-20%
Human Mental Workload: Models and Applications: 5th International Symposium, H-WORKLOAD 2021, Virtual Event, November 24–26, 2021, Proceedings
Editat de Luca Longo et al.
21 noi 2021
Paperback
Preț: 388.57 lei 485.70 lei
3-5 săpt. | 7-13 zile
-20%
Unconventional Computation and Natural Computation: 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Editat de Ian McQuillan et al.
26 apr 2019
Paperback
Preț: 355.93 lei 444.92 lei
3-5 săpt. | 7-13 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 320.92 lei 401.15 lei
3-5 săpt. | 7-13 zile
-20%
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Autor Steven L. Brunton et al.
4 mai 2022
Hardback
Preț: 381.97 lei 477.47 lei
3-5 săpt. | 7-13 zile
-20%
Computational Thinking: First Algorithms, Then Code
Autor Paolo Ferragina et al.
13 sep 2024
Paperback
Preț: 329.34 lei 411.68 lei
3-5 săpt. | 7-13 zile
-20%
The Discrete Math Workbook: A Companion Manual for Practical Study
Autor Sergei Kurgalin et al.
8 aug 2018
Hardback
Preț: 397.00 lei 478.32 lei
3-5 săpt. | 7-13 zile
-17%
Mathematics of Big Data – Spreadsheets, Databases, Matrices, and Graphs
Autor Jeremy Kepner et al.
23 iul 2018
Hardback
Preț: 527.41 lei 659.25 lei
3-5 săpt. | 7-13 zile
-20%
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1011.14 lei 1263.93 lei
18-23 zile | 7-13 zile
-20%
Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications
Autor Gerard O'Regan
29 oct 2021
Hardback
Preț: 203.41 lei 254.26 lei
3-5 săpt. | 7-13 zile
-20%
Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches
Autor Bernhard Steffen et al.
24 ian 2019
Paperback
Preț: 198.17 lei 247.71 lei
3-5 săpt. | 7-13 zile
-20%
Linear Programming Computation
Autor Ping-Qi PAN
2 ian 2023
Hardback
Preț: 1694.95 lei 2118.68 lei
3-5 săpt. | 7-13 zile
-20%
Effective DevOps
Autor Jennifer Davis et al.
6 iun 2016
Paperback
Preț: 236.14 lei 295.18 lei
3-5 săpt. | 7-13 zile
-20%
Concise Computer Mathematics: Tutorials on Theory and Problems
Autor Ovidiu Bagdasar
12 noi 2013
Paperback
Preț: 387.81 lei 484.76 lei
3-5 săpt. | 7-13 zile
-20%
Unternehmensmodellierung: Grundlagen, Methode und Praktiken
Autor Kurt Sandkuhl et al.
7 oct 2013
Hardback
Preț: 388.72 lei 485.90 lei
18-23 zile | 7-13 zile
-20%
The Logic of Categorial Grammars
Autor Richard Moot et al.
2 iul 2012
Paperback
Preț: 437.70 lei 547.12 lei
3-5 săpt. | 7-13 zile
-20%
Instruction Sequences for Computer Science
Autor Jan A. Bergstra et al.
18 iul 2014
Paperback
Preț: 689.65 lei 862.07 lei
18-23 zile | 7-13 zile
-20%
Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings
Editat de Sergei Artemov et al.
17 dec 2021
Paperback
Preț: 461.34 lei 542.75 lei
3-5 săpt. | 7-13 zile
-15%
Foundations of Cryptography: Volume 1, Basic Tools
Autor Oded Goldreich
17 ian 2007
Paperback
Preț: 381.72 lei 477.14 lei
3-5 săpt. | 7-13 zile
-20%
The Art of Computer Programming, Volume 1, Fascicle 1: MMIX -- A RISC Computer for the New Millennium
Autor Donald E Knuth
13 feb 2005
Paperback
Preț: 107.30 lei 134.13 lei
3-5 săpt. | 7-13 zile
-20%
Logic in Computer Science: Modelling and Reasoning about Systems
Autor Michael Huth et al.
25 aug 2004
Paperback
Preț: 396.94 lei 496.17 lei
3-5 săpt. | 7-13 zile
-20%
Algorithms on Trees and Graphs: With Python Code
Autor Gabriel Valiente
13 oct 2022
Paperback
Preț: 379.50 lei 474.37 lei
6-8 săpt.
-20%
Logik für Informatiker
Autor Uwe Schöning
20 ian 2000
Paperback
Preț: 186.55 lei 233.18 lei
18-23 zile | 7-13 zile
-20%
Fundamentals of the Theory of Computation: Principles and Practice: Principles and Practice
Autor Raymond Greenlaw et al.
14 iul 1998
Paperback
Preț: 374.63 lei 468.28 lei
3-5 săpt. | 7-13 zile
-20%
Garbage Collection – Algorithms for Automatic Dynamic Memory Management
Autor R. Jones
11 iul 1996
Hardback
Preț: 474.49 lei 593.12 lei
3-5 săpt. | 7-13 zile
-20%
The Computer - My Life
Autor Konrad Zuse et al.
28 sep 1993
Hardback
Preț: 398.72 lei 498.40 lei
3-5 săpt. | 7-13 zile
-20%