Filtre: Paperback

Cărți teoria matematică a calculului, pagina 2

97-192 din 2,366 rezultate

Fundamentals of Computation Theory: 24th International Symposium, FCT 2023, Trier, Germany, September 18–21, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14292

Editat de Henning Fernau et al.

22 sep 2023

Preț: 520^.33 lei 650^.42 lei

6-8 săpt.

-20%

Theory and Applications of Computability

Autor Dusko Pavlovic

21 sep 2024

Preț: 389^.75 lei 487^.19 lei

Indisponibil temporar

-20%

Autor Yoichi Robertus Fujii

16 sep 2024

Preț: 632^.15 lei 790^.18 lei

Indisponibil temporar

-20%

Autor Hiu Yung Wong

9 sep 2024

Preț: 356^.64 lei 445^.81 lei

Indisponibil temporar

-20%

Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14138

Editat de Laure Petrucci et al.

29 aug 2023

Preț: 342^.34 lei 427^.92 lei

6-8 săpt.

-20%

Frontiers of Algorithmics: 17th International Joint Conference, IJTCS-FAW 2023 Macau, China, August 14–18, 2023 Proceedings

Lecture Notes in Computer Science, nr. 13933

Editat de Minming Li et al.

26 aug 2023

Preț: 484^.77 lei 605^.96 lei

6-8 săpt.

-20%

Computer Algebra in Scientific Computing: 25th International Workshop, CASC 2023, Havana, Cuba, August 28 – September 1, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14139

Editat de François Boulier et al.

24 aug 2023

Preț: 518^.27 lei 647^.84 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 29th IFIP WG 1.5 International Workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14152

Editat de Luca Manzoni et al.

24 aug 2023

Preț: 368^.90 lei 461^.13 lei

6-8 săpt.

-20%

Synthesis Lectures on Mathematics & Statistics

Autor Arthur David Snider

12 aug 2024

Preț: 249^.67 lei 312^.09 lei

Indisponibil temporar

-20%

Normalization of Multidimensional Data for Multi-Criteria Decision Making Problems

International Series in Operations Research & Management Science

Autor Irik Z. Mukhametzyanov

27 iul 2024

Preț: 910^.38 lei 1137^.97 lei

Indisponibil temporar

-20%

New Trends of Mathematical Inverse Problems and Applications: ICNTAM 2022, Béni Mellal, Morocco, May 19–21

Springer Proceedings in Mathematics & Statistics, nr. 428

Editat de Amine Laghrib et al.

17 iul 2024

Preț: 1116^.63 lei 1395^.78 lei

Indisponibil temporar

-20%

Advances in Swarm Intelligence: 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I

Lecture Notes in Computer Science, nr. 13968

Editat de Ying Tan et al.

8 iul 2023

Preț: 521^.63 lei 652^.04 lei

6-8 săpt.

-20%

Visions of DNA Nanotechnology at 40 for the Next 40: A Tribute to Nadrian C. Seeman

Natural Computing Series

Editat de Nataša Jonoska et al.

5 iul 2023

Preț: 300^.19 lei 375^.24 lei

6-8 săpt.

-20%

An Introduction to Cellular Network Analysis Using Stochastic Geometry

Synthesis Lectures on Learning, Networks, and Algorithms

Autor Jeffrey G. Andrews et al.

27 iun 2024

Preț: 245^.99 lei 307^.48 lei

38-44 zile

-20%

Computational Science – ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part V

Lecture Notes in Computer Science, nr. 14077

Editat de Jiří Mikyška et al.

29 iun 2023

Preț: 754^.64 lei 943^.30 lei

6-8 săpt.

-20%

Das RSA-Verfahren: Verschlüsseln und Entschlüsseln auf Basis der Algebra: Klartext für Nichtmathematiker

essentials

Autor Guido Walz

28 iun 2023

Preț: 101^.25 lei 126^.56 lei

6-8 săpt.

-20%

Mathematical Optimization Theory and Operations Research: 22nd International Conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13930

Editat de Michael Khachay et al.

27 iun 2023

Preț: 515^.87 lei 606^.90 lei

6-8 săpt.

-15%

Combinatorial Algorithms: 34th International Workshop, IWOCA 2023, Tainan, Taiwan, June 7–10, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13889

Editat de Sun-Yuan Hsieh et al.

4 iun 2023

Preț: 490^.30 lei 612^.88 lei

6-8 săpt.

-20%

Advances in Numerical Methods for Hyperbolic Balance Laws and Related Problems

SEMA SIMAI Springer Series, nr. 32

Editat de Giacomo Albi et al.

4 iun 2024

Preț: 1248^.82 lei 1561^.02 lei

38-44 zile

-20%

Unconventional Computation and Natural Computation: 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14003

Editat de Daniela Genova et al.

iun 2023

Preț: 398^.63 lei 498^.29 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 25th IFIP WG 1.02 International Conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13918

Editat de Henning Bordihn et al.

30 mai 2023

Preț: 370^.63 lei 463^.28 lei

6-8 săpt.

-20%

Variable Neighborhood Search: 9th International Conference, ICVNS 2022, Abu Dhabi, United Arab Emirates, October 25–28, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13863

Editat de Andrei Sleptchenko et al.

29 mai 2023

Preț: 340^.58 lei 425^.73 lei

6-8 săpt.

-20%

Algorithmic Aspects of Cloud Computing: 7th International Symposium, ALGOCLOUD 2022, Potsdam, Germany, September 6, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13799

Editat de Luca Foschini et al.

26 mai 2023

Preț: 338^.53 lei 423^.15 lei

6-8 săpt.

-20%

Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Autor Kenneth J. Supowit

11 iun 2024

Preț: 380^.09 lei 475^.10 lei

38-44 zile

-20%

Computers and Games: International Conference, CG 2022, Virtual Event, November 22–24, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13865

Editat de Cameron Browne et al.

24 mai 2023

Preț: 342^.66 lei 428^.32 lei

6-8 săpt.

-20%

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 20th International Conference, CPAIOR 2023, Nice, France, May 29 –June 1, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13884

Editat de Andre A. Cire

23 mai 2023

Preț: 631^.46 lei 789^.32 lei

6-8 săpt.

-20%

Integer Programming and Combinatorial Optimization: 24th International Conference, IPCO 2023, Madison, WI, USA, June 21–23, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13904

Editat de Alberto Del Pia et al.

22 mai 2023

Preț: 520^.65 lei 650^.80 lei

6-8 săpt.

-20%

Developments in Language Theory: 27th International Conference, DLT 2023, Umeå, Sweden, June 12–16, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13911

Editat de Frank Drewes et al.

19 mai 2023

Preț: 401^.00 lei 501^.25 lei

6-8 săpt.

-20%

Rigorous State-Based Methods: 9th International Conference, ABZ 2023, Nancy, France, May 30–June 2, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14010

Editat de Uwe Glässer et al.

15 mai 2023

Preț: 488^.56 lei 610^.69 lei

6-8 săpt.

-20%

Combinatorics on Words: 14th International Conference, WORDS 2023, Umeå, Sweden, June 12–16, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13899

Editat de Anna Frid et al.

12 mai 2023

Preț: 511^.94 lei 639^.93 lei

6-8 săpt.

-20%

Coping with Selfishness in Congestion Games: Analysis and Design via LP Duality

Monographs in Theoretical Computer Science. An EATCS Series

Autor Vittorio Bilò et al.

12 mai 2024

Preț: 1061^.05 lei 1326^.32 lei

38-44 zile

-20%

Structural Information and Communication Complexity: 30th International Colloquium, SIROCCO 2023, Alcalá de Henares, Spain, June 6–9, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13892

Editat de Sergio Rajsbaum et al.

11 mai 2023

Preț: 635^.44 lei 794^.30 lei

6-8 săpt.

-20%

Mathematical Foundations of Software Engineering: A Practical Guide to Essentials

Texts in Computer Science

Autor Gerard O'Regan

6 mai 2024

Preț: 412^.82 lei 516^.03 lei

38-44 zile

-20%

Algorithms and Models for the Web Graph: 18th International Workshop, WAW 2023, Toronto, ON, Canada, May 23–26, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13894

Editat de Megan Dewar et al.

28 apr 2023

Preț: 342^.66 lei 428^.32 lei

6-8 săpt.

-20%

Algorithms and Complexity: 13th International Conference, CIAC 2023, Larnaca, Cyprus, June 13–16, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13898

Editat de Marios Mavronicolas

25 apr 2023

Preț: 489^.35 lei 611^.69 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13992

Editat de Orna Kupferman et al.

21 apr 2023

Preț: 305^.71 lei 382^.13 lei

6-8 săpt.

-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

Lecture Notes in Computer Science, nr. 13994

Editat de Sriram Sankaranarayanan et al.

20 apr 2023

Preț: 256^.72 lei 320^.90 lei

3-5 săpt. | 7-11 zile

-20%

200 Problems on Languages, Automata, and Computation

Editat de Filip Murlak et al.

19 apr 2023

Preț: 220^.26 lei 275^.32 lei

6-8 săpt.

-20%

Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker

Texts & Monographs in Symbolic Computation

Autor Wolfgang Schreiner

13 apr 2024

Preț: 355^.37 lei 444^.21 lei

Indisponibil temporar

-20%

Parallel and Distributed Computing, Applications and Technologies: 23rd International Conference, PDCAT 2022, Sendai, Japan, December 7–9, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13798

Editat de Hiroyuki Takizawa et al.

8 apr 2023

Preț: 523^.50 lei 654^.38 lei

6-8 săpt.

-20%

Perspectives in Formal Induction, Revision and Evolution

Autor Wei Li et al.

30 mar 2024

Preț: 1067^.46 lei 1334^.33 lei

38-44 zile

-20%

Pedigree Polytopes: New Insights on Computational Complexity of Combinatorial Optimisation Problems

Autor Tirukkattuppalli Subramanyam Arthanari

29 mar 2024

Preț: 1003^.46 lei 1254^.33 lei

38-44 zile

-20%

Information Theory: Three Theorems by Claude Shannon

UNITEXT, nr. 144

Autor Antoine Chambert-Loir

16 mar 2023

Preț: 421^.42 lei 526^.77 lei

38-44 zile

-20%

Stochastic Methods for Modeling and Predicting Complex Dynamical Systems: Uncertainty Quantification, State Estimation, and Reduced-Order Models

Synthesis Lectures on Mathematics & Statistics

Autor Nan Chen

14 mar 2024

Preț: 304^.62 lei

38-44 zile

Genetic Programming Theory and Practice XIX

Genetic and Evolutionary Computation

Editat de Leonardo Trujillo et al.

13 mar 2024

Preț: 946^.44 lei 1183^.05 lei

38-44 zile

-20%

Sampled-data Control of Logical Networks

Autor Yang Liu et al.

10 mar 2024

Preț: 942^.23 lei 1177^.80 lei

38-44 zile

-20%

Metaheuristics: 14th International Conference, MIC 2022, Syracuse, Italy, July 11–14, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13838

Editat de Luca Di Gaspero et al.

23 feb 2023

Preț: 498^.76 lei 623^.44 lei

3-5 săpt. | 7-11 zile

-20%

Logic and Its Applications: 10th Indian Conference, ICLA 2023, Indore, India, March 3–5, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13963

Editat de Mohua Banerjee et al.

15 feb 2023

Preț: 398^.95 lei 498^.68 lei

6-8 săpt.

-20%

Distributed Optimization in Networked Systems: Algorithms and Applications

Wireless Networks

Autor Qingguo Lü et al.

10 feb 2024

Preț: 1069^.25 lei 1336^.56 lei

38-44 zile

-20%

Algorithms and Architectures for Parallel Processing: 22nd International Conference, ICA3PP 2022, Copenhagen, Denmark, October 10–12, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13777

Editat de Weizhi Meng et al.

11 ian 2023

Preț: 699^.94 lei 874^.94 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 – September 2, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13638

Editat de Sihem Mesnager et al.

11 ian 2023

Preț: 460^.69 lei 575^.87 lei

3-5 săpt. | 7-11 zile

-20%

Concise Guide to Numerical Algorithmics: The Foundations and Spirit of Scientific Computing

SpringerBriefs in Computer Science

Autor John Lawrence Nazareth

3 ian 2023

Preț: 309^.78 lei 387^.22 lei

6-8 săpt.

-20%

Frontiers of Algorithmic Wisdom: International Joint Conference, IJTCS-FAW 2022, Hong Kong, China, August 15–19, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13461

Editat de Minming Li et al.

2 ian 2023

Preț: 347^.89 lei 434^.85 lei

6-8 săpt.

-20%

Computing and Combinatorics: 28th International Conference, COCOON 2022, Shenzhen, China, October 22–24, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13595

Editat de Yong Zhang et al.

2 ian 2023

Preț: 499^.01 lei 623^.76 lei

3-5 săpt. | 7-11 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

Communications in Computer and Information Science, nr. 1694

Editat de Rubina Polovina et al.

2 ian 2023

Preț: 459^.65 lei 574^.57 lei

3-5 săpt. | 7-11 zile

-20%

Advances in Optimization and Applications: 13th International Conference, OPTIMA 2022, Petrovac, Montenegro, September 26–30, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1739

Editat de Nicholas Olenev et al.

2 ian 2023

Preț: 389^.10 lei 486^.38 lei

3-5 săpt. | 7-11 zile

-20%

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Computer Science Foundations and Applied Logic

Autor William M. Farmer

3 ian 2024

Preț: 429^.90 lei 537^.38 lei

6-8 săpt.

-20%

Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13660

Editat de Jean-François Raskin et al.

29 dec 2022

Preț: 584^.22 lei 730^.27 lei

6-8 săpt.

-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

Lecture Notes in Computer Science, nr. 13466

Editat de Omri Isac et al.

16 dec 2022

Preț: 389^.14 lei 486^.44 lei

3-5 săpt. | 7-11 zile

-20%

Encrypt, Sign, Attack: A compact introduction to cryptography

Mathematics Study Resources, nr. 4

Autor Olaf Manz

15 dec 2022

Preț: 196^.80 lei 246^.01 lei

3-5 săpt. | 7-11 zile

-20%

Artificial Intelligence Logic and Applications: The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings

Communications in Computer and Information Science, nr. 1657

Editat de Yixiang Chen et al.

11 dec 2022

Preț: 459^.78 lei 574^.74 lei

3-5 săpt. | 7-11 zile

-20%

Theoretical Computer Science: 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1693

Editat de Zhiping Cai et al.

10 dec 2022

Preț: 459^.60 lei 574^.49 lei

3-5 săpt. | 7-11 zile

-20%

Combinatorial Optimization: 7th International Symposium, ISCO 2022, Virtual Event, May 18–20, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13526

Editat de Ivana Ljubić et al.

22 noi 2022

Preț: 486^.66 lei 608^.32 lei

6-8 săpt.

-20%

R-Calculus, III: Post Three-Valued Logic

Perspectives in Formal Induction, Revision and Evolution

Autor Wei Li et al.

21 noi 2023

Preț: 1112^.40 lei 1390^.50 lei

6-8 săpt.

-20%

Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems

Autor Guanjun Liu

5 noi 2023

Preț: 1112^.56 lei 1390^.71 lei

6-8 săpt.

-20%

Den Fehlerteufel ausgetrickst: Codierungstheorie verständlich erklärt

essentials

Autor Olaf Manz

noi 2022

Preț: 101^.88 lei 127^.34 lei

6-8 săpt.

-20%

Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13706

Editat de Dimitrios Poulakis et al.

18 oct 2022

Preț: 332^.50 lei 415^.63 lei

38-44 zile

-20%

Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13608

Editat de Anthony W. Lin et al.

12 oct 2022

Preț: 343^.62 lei 429^.53 lei

6-8 săpt.

-20%

Feedback Arc Set: A History of the Problem and Algorithms

SpringerBriefs in Computer Science

Autor Robert Kudelić

11 oct 2022

Preț: 312^.30 lei 390^.38 lei

6-8 săpt.

-20%

Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13478

Editat de Adrian Riesco et al.

10 oct 2022

Preț: 327^.54 lei 409^.42 lei

6-8 săpt.

-20%

Studies in Computational Intelligence, nr. 1042

Editat de Park Gyei-Kark et al.

5 oct 2023

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13572

Editat de Helmut Seidl et al.

3 oct 2022

Preț: 329^.25 lei 411^.55 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 48th International Workshop, WG 2022, Tübingen, Germany, June 22–24, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13453

Editat de Michael A. Bekos et al.

oct 2022

Preț: 464^.70 lei 580^.87 lei

6-8 săpt.

-20%

Mathematical Optimization Theory and Operations Research: Recent Trends: 21st International Conference, MOTOR 2022, Petrozavodsk, Russia, July 2–6, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1661

Editat de Yury Kochetov et al.

oct 2022

Preț: 323^.10 lei 403^.87 lei

6-8 săpt.

-20%

Autor André Schulz

28 sep 2022

Preț: 240^.57 lei 300^.71 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13230

Editat de Antonio Cerone et al.

25 sep 2022

Preț: 322^.93 lei 403^.66 lei

6-8 săpt.

-20%

Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13544

Editat de Ekaterina Komendantskaya

22 sep 2022

Preț: 374^.11 lei 467^.64 lei

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 16th International Conference, AAIM 2022, Guangzhou, China, August 13–14, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13513

Editat de Qiufen Ni et al.

18 sep 2022

Preț: 329^.12 lei 411^.39 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13479

Editat de Erika Ábrahám et al.

11 sep 2022

Preț: 325^.61 lei 407^.00 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21–23, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13474

Editat de Alicia Villanueva

11 sep 2022

Preț: 341^.21 lei 426^.52 lei

6-8 săpt.

-20%

Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5–7, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13525

Editat de Christel Seguin et al.

9 sep 2022

Preț: 346^.46 lei 433^.08 lei

6-8 săpt.

-20%

A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13560

Editat de Nils Jansen et al.

7 sep 2022

Preț: 333^.87 lei 417^.33 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13465

Editat de Sergiy Bogomolov et al.

29 aug 2022

Preț: 348^.38 lei 435^.48 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

Lecture Notes in Computer Science, nr. 13398

Editat de Günter Rudolph et al.

15 aug 2022

Preț: 499^.60 lei 624^.50 lei

3-5 săpt. | 7-11 zile

-20%

Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques

Undergraduate Topics in Computer Science

Autor Alberto Pettorossi

13 aug 2022

Preț: 376^.53 lei 470^.67 lei

38-44 zile

-20%

Cellular Automata: 15th International Conference on Cellular Automata for Research and Industry, ACRI 2022, Geneva, Switzerland, September 12–15, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13402

Editat de Bastien Chopard et al.

13 aug 2022

Preț: 495^.67 lei 619^.59 lei

3-5 săpt. | 7-11 zile

-20%

Understanding Computation: Pillars, Paradigms, Principles

Texts in Computer Science

Autor Arnold L. Rosenberg et al.

10 aug 2023

Preț: 498^.80 lei 623^.50 lei

3-5 săpt. | 7-11 zile

-20%

Blockchain Scalability and its Foundations in Distributed Systems

Autor Vincent Gramoli

6 aug 2023

Preț: 312^.47 lei 390^.59 lei

6-8 săpt.

-20%

Autor George Tourlakis

3 aug 2023

Preț: 395^.96 lei 494^.95 lei

3-5 săpt. | 7-11 zile

-20%

Advances in Computer Games: 17th International Conference, ACG 2021, Virtual Event, November 23–25, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13262

Editat de Cameron Browne et al.

aug 2022

Preț: 424^.70 lei 530^.87 lei

3-5 săpt. | 7-11 zile

-20%

Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13439

Editat de Yo-Sub Han et al.

aug 2022

Preț: 458^.90 lei 573^.63 lei

3-5 săpt. | 7-11 zile

-20%

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13252

Editat de Kyungmin Bae

30 iul 2022

Preț: 425^.13 lei 531^.41 lei

3-5 săpt. | 7-11 zile

-20%

Reverse Mathematics: Problems, Reductions, and Proofs

Theory and Applications of Computability

Autor Damir D. Dzhafarov et al.

26 iul 2023

Preț: 411^.94 lei 514^.93 lei

6-8 săpt.

-20%

Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13225

Editat de Helle Hvid Hansen et al.

23 iul 2022

Preț: 671^.39 lei 839^.25 lei

6-8 săpt.

-20%

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13385

Editat de Jasmin Blanchette et al.

17 iul 2022

Preț: 315^.07 lei 393^.84 lei

6-8 săpt.

-20%

Foundations of Information and Knowledge Systems: 12th International Symposium, FoIKS 2022, Helsinki, Finland, June 20–23, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13388

Editat de Ivan Varzinczak

10 iul 2022

Preț: 454^.57 lei 568^.21 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Cărți teoria matematică a calculului, pagina 2