Filtre: Paperback Tipărit la comandă Șterge tot

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

385-480 din 2,216 rezultate

DNA Computing and Molecular Programming: 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11145

Editat de David Doty et al.

8 sep 2018

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11152

Editat de Vlad Rusu

8 sep 2018

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 44th International Workshop, WG 2018, Cottbus, Germany, June 27–29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11159

Editat de Andreas Brandstädt et al.

3 sep 2018

Preț: 324^.68 lei 405^.84 lei

6-8 săpt.

-20%

Reachability Problems: 12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11123

Editat de Igor Potapov et al.

30 aug 2018

Preț: 314^.54 lei 393^.17 lei

6-8 săpt.

-20%

Imaginary Mathematics for Computer Science

Autor John Vince

13 dec 2018

Preț: 386^.49 lei 483^.12 lei

38-44 zile

-20%

Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11002

Editat de Andreas Podelski

29 aug 2018

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Multi-Objective Optimization: Evolutionary to Hybrid Framework

Editat de Jyotsna K. Mandal et al.

23 dec 2018

Preț: 1005^.25 lei 1256^.56 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11008

Editat de John Hooker

23 aug 2018

Preț: 644^.13 lei 805^.17 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11094

Editat de Barbara Gallina et al.

21 aug 2018

Preț: 524^.62 lei 655^.78 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11093

Editat de Barbara Gallina et al.

17 aug 2018

Preț: 321^.66 lei 402^.08 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11024

Editat de Annabelle McIver et al.

15 aug 2018

Preț: 326^.42 lei 408^.02 lei

6-8 săpt.

-20%

Logical Foundations of Cyber-Physical Systems

Autor André Platzer

8 feb 2019

Preț: 337^.48 lei 421^.86 lei

6-8 săpt.

-20%

Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 11011

Editat de Hans-Joachim Böckenhauer et al.

9 aug 2018

Preț: 337^.35 lei 421^.69 lei

6-8 săpt.

-20%

The Discrete Math Workbook: A Companion Manual Using Python

Texts in Computer Science

Autor Sergei Kurgalin et al.

12 aug 2020

Preț: 582^.64 lei 728^.30 lei

6-8 săpt.

-20%

Theoretische Informatik: Eine umfassende Einführung

Autor Lutz Priese et al.

7 aug 2018

Preț: 306^.20 lei 382^.75 lei

6-8 săpt.

-20%

Natural Computing Series

Editat de Susan Stepney et al.

8 feb 2019

Preț: 622^.90 lei 778^.62 lei

6-8 săpt.

-20%

Developments in Language Theory: 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11088

Editat de Mizuho Hoshi et al.

6 aug 2018

Preț: 333^.38 lei 416^.72 lei

6-8 săpt.

-20%

Fourier Analysis—A Signal Processing Approach

Autor D. Sundararajan

feb 2019

Preț: 405^.58 lei 506^.98 lei

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 21st International Conference, ITMM 2022, Karshi, Uzbekistan, October 25–29, 2022, Revised Selected Papers

Communications in Computer and Information Science, nr. 1803

Editat de Alexander Dudin et al.

13 mai 2023

Preț: 481^.73 lei 602^.16 lei

6-8 săpt.

-20%

Recent Advances in Applications of Computational and Fuzzy Mathematics

Editat de Snehashish Chakraverty et al.

19 ian 2019

Preț: 615^.63 lei 769^.54 lei

6-8 săpt.

-20%

Übungsbuch Automaten und formale Sprachen: 117 Aufgaben und Lösungen

Autor Stefan O. Knapp

24 iul 2018

Preț: 259^.98 lei 324^.97 lei

6-8 săpt.

-20%

Computational Artifacts: Towards a Philosophy of Computer Science

Autor Raymond Turner

30 ian 2019

Preț: 1114^.77 lei 1393^.47 lei

6-8 săpt.

-20%

Autor Hana Chockler et al.

7 oct 2020

Preț: 413^.43 lei 516^.79 lei

6-8 săpt.

-20%

Combinatorial Optimization: 5th International Symposium, ISCO 2018, Marrakesh, Morocco, April 11–13, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10856

Editat de Jon Lee et al.

18 iul 2018

Preț: 463^.90 lei 579^.88 lei

6-8 săpt.

-20%

High Performance Computing in Science and Engineering: Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22–25, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11087

Editat de Tomáš Kozubek et al.

17 iul 2018

Preț: 316^.59 lei 395^.75 lei

6-8 săpt.

-20%

Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10950

Editat de Annie Foret et al.

15 iul 2018

Preț: 312^.79 lei 390^.99 lei

6-8 săpt.

-20%

Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10931

Editat de James H. Davenport et al.

14 iul 2018

Preț: 330^.85 lei 413^.56 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10952

Editat de Stavros Konstantinidis et al.

11 iul 2018

Preț: 318^.48 lei 398^.10 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10855

Editat de Fabio Fioravanti et al.

10 iul 2018

Preț: 322^.74 lei 403^.43 lei

6-8 săpt.

-20%

Sailing Routes in the World of Computation: 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10936

Editat de Florin Manea et al.

5 iul 2018

Preț: 327^.04 lei 408^.80 lei

6-8 săpt.

-20%

Combinatorial Algorithms: 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10979

Editat de Costas Iliopoulos et al.

4 iul 2018

Preț: 325^.15 lei 406^.44 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10895

Editat de Jeremy Avigad et al.

4 iul 2018

Preț: 583^.26 lei 729^.08 lei

6-8 săpt.

-20%

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10900

Editat de Didier Galmiche et al.

iul 2018

Preț: 340^.99 lei 426^.24 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10977

Editat de Cezar Câmpeanu

30 iun 2018

Preț: 322^.43 lei 403^.04 lei

6-8 săpt.

-20%

Operations Research and Enterprise Systems: 9th International Conference, ICORES 2020, Valetta, Malta, February 22–24, 2020, and 10th International Conference, ICORES 2021, Virtual Event, February 4–6, 2021, Revised Selected Papers

Communications in Computer and Information Science, nr. 1623

Editat de Greg H. Parlier et al.

30 iul 2022

Preț: 317^.23 lei 396^.54 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10944

Editat de Lawrence S. Moss et al.

27 iun 2018

Preț: 431^.35 lei 539^.18 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10929

Editat de Olaf Beyersdorff et al.

26 iun 2018

Preț: 328^.16 lei 410^.20 lei

6-8 săpt.

-20%

Optimization Problems and Their Applications: 7th International Conference, OPTA 2018, Omsk, Russia, July 8-14, 2018, Revised Selected Papers

Communications in Computer and Information Science, nr. 871

Editat de Anton Eremeev et al.

17 iun 2018

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

6-8 săpt.

-20%

Computational Science – ICCS 2018: 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III

Lecture Notes in Computer Science, nr. 10862

Editat de Yong Shi et al.

13 iun 2018

Preț: 703^.26 lei 879^.08 lei

6-8 săpt.

-20%

Queueing Theory and Network Applications: 13th International Conference, QTNA 2018, Tsukuba, Japan, July 25-27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10932

Editat de Yutaka Takahashi et al.

12 iun 2018

Preț: 318^.17 lei 397^.71 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10867

Editat de Susan Stepney et al.

31 mai 2018

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Graph Transformation: 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10887

Editat de Leen Lambers et al.

29 mai 2018

Preț: 315^.00 lei 393^.74 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10875

Editat de Jan M. Baetens et al.

25 mai 2018

Preț: 313^.10 lei 391^.37 lei

6-8 săpt.

-20%

New Frontiers in Quantitative Methods in Informatics: 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers

Communications in Computer and Information Science, nr. 825

Editat de Simonetta Balsamo et al.

24 mai 2018

Preț: 314^.54 lei 393^.17 lei

6-8 săpt.

-20%

Bioinspired Optimization Methods and Their Applications: 8th International Conference, BIOMA 2018, Paris, France, May 16-18, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10835

Editat de Peter Korošec et al.

13 mai 2018

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10877

Editat de Victor Khomenko et al.

8 mai 2018

Preț: 326^.55 lei 408^.19 lei

6-8 săpt.

-20%

Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10817

Editat de Michael Butler et al.

8 mai 2018

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Autor Stephan Dreiseitl

7 mai 2018

Preț: 276^.93 lei 346^.16 lei

6-8 săpt.

-20%

An Introduction to Single-User Information Theory

Springer Undergraduate Texts in Mathematics and Technology

Autor Fady Alajaji et al.

22 dec 2018

Preț: 353^.67 lei 442^.08 lei

38-44 zile

-20%

Computer Science – Theory and Applications: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10846

Editat de Fedor V. Fomin et al.

25 apr 2018

Preț: 623^.89 lei 779^.85 lei

6-8 săpt.

-20%

Guide to Discrete Mathematics: An Accessible Introduction to the History, Theory, Logic and Applications

Texts in Computer Science

Autor Gerard O'Regan

29 oct 2022

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Foundations of Information and Knowledge Systems: 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10833

Editat de Flavio Ferrarotti et al.

18 apr 2018

Preț: 626^.57 lei 783^.22 lei

6-8 săpt.

-20%

Computational Engineering: Theorie und Praxis der Transportmodelle

Autor Jürgen Geiser

18 apr 2018

Preț: 222^.00 lei 277^.50 lei

38-44 zile

-20%

Combinatorial Algorithms: 28th International Workshop, IWOCA 2017, Newcastle, NSW, Australia, July 17-21, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10765

Editat de Ljiljana Brankovic et al.

17 apr 2018

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Lecture Notes in Computer Science, nr. 10803

Editat de Christel Baier et al.

14 apr 2018

Preț: 361^.52 lei 451^.89 lei

6-8 săpt.

-20%

Mathematics and Computing: 4th International Conference, ICMC 2018, Varanasi, India, January 9-11, 2018, Revised Selected Papers

Communications in Computer and Information Science, nr. 834

Editat de Debdas Ghosh et al.

14 apr 2018

Preț: 322^.11 lei 402^.64 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10806

Editat de Dirk Beyer et al.

14 apr 2018

Preț: 356^.13 lei 445^.17 lei

6-8 săpt.

-20%

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Autor Bernhard Steffen et al.

3 apr 2018

Preț: 237^.56 lei 296^.95 lei

6-8 săpt.

-20%

Linked Data: Storing, Querying, and Reasoning

Autor Sherif Sakr et al.

11 ian 2019

Preț: 1000^.82 lei 1251^.03 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10792

Editat de Shmuel Tomi Klein et al.

8 mar 2018

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

An Introduction to the Technique of Formative Processes in Set Theory

Autor Domenico Cantone et al.

4 iun 2019

Preț: 313^.74 lei 392^.17 lei

6-8 săpt.

-20%

Probability and Statistics for Computer Science

Autor David Forsyth

4 iun 2019

Preț: 335^.91 lei 419^.89 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10729

Editat de Antonio Cerone et al.

3 feb 2018

Preț: 515^.51 lei 644^.39 lei

38-44 zile

-20%

Compressed Sensing and its Applications: Second International MATHEON Conference 2015

Applied and Numerical Harmonic Analysis

Editat de Holger Boche et al.

4 iun 2019

Preț: 625^.93 lei 782^.42 lei

6-8 săpt.

-20%

Autor Harald Nahrstedt

30 sep 2025

Preț: 320^.92 lei

6-8 săpt.

Space in Weak Propositional Proof Systems

Autor Ilario Bonacina

24 ian 2018

Preț: 318^.80 lei 398^.50 lei

6-8 săpt.

-20%

Perspectives of System Informatics: 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10742

Editat de Alexander K. Petrenko et al.

18 ian 2018

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%

Large-Scale Scientific Computing: 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13127

Editat de Ivan Lirkov et al.

18 mar 2022

Preț: 578^.83 lei 723^.54 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10747

Editat de Isil Dillig et al.

10 ian 2018

Preț: 332^.29 lei 415^.36 lei

6-8 săpt.

-20%

Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10686

Editat de Annie Foret et al.

10 ian 2018

Preț: 341^.26 lei 426^.57 lei

6-8 săpt.

-20%

Analytical and Computational Methods in Probability Theory: First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10684

Editat de Vladimir V. Rykov et al.

21 dec 2017

Preț: 332^.29 lei 415^.36 lei

6-8 săpt.

-20%

Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10693

Editat de Johannes Blömer et al.

21 dec 2017

Preț: 328^.29 lei 410^.37 lei

6-8 săpt.

-20%

Adventures in Computer Science: From Classical Bits to Quantum Bits

Autor Vicente Moret-Bonillo

31 aug 2018

Preț: 322^.14 lei 402^.69 lei

38-44 zile

-20%

Recent Trends in Algebraic Development Techniques: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10644

Editat de Phillip James et al.

8 dec 2017

Preț: 316^.91 lei 396^.14 lei

6-8 săpt.

-20%

Autor Karsten Wolf

6 dec 2017

Preț: 202^.29 lei 252^.86 lei

6-8 săpt.

-20%

Autor Teck Kiang Tan

9 dec 2018

Preț: 620^.07 lei 775^.09 lei

6-8 săpt.

-20%

Monographs in Theoretical Computer Science. An EATCS Series

Autor Kenichi Morita

17 noi 2017

Preț: 1127^.46 lei 1409^.32 lei

6-8 săpt.

-20%

Generalized Jeffrey Conditionalization: A Frequentist Semantics of Partial Conditionalization

SpringerBriefs in Computer Science

Autor Dirk Draheim

16 noi 2017

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Übungsbuch zur Analysis: Aufgaben und ausführliche Lösungen (nicht nur) für Studierende der Informatik

Autor Jens Kunath

16 noi 2017

Preț: 259^.78 lei 324^.73 lei

38-44 zile

-20%

Graph-Theoretic Concepts in Computer Science: 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10520

Editat de Hans L. Bodlaender et al.

2 noi 2017

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Modern Language Models and Computation: Theory with Applications

Autor Alexander Meduna et al.

18 mai 2018

Preț: 633^.52 lei 791^.91 lei

6-8 săpt.

-20%

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV: Special Issue on Consistency and Inconsistency in Data-Centric Applications

Lecture Notes in Computer Science, nr. 10620

Editat de Abdelkader Hameurlain et al.

17 oct 2017

Preț: 315^.00 lei 393^.74 lei

6-8 săpt.

-20%

Simulated Evolution and Learning: 11th International Conference, SEAL 2017, Shenzhen, China, November 10–13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10593

Editat de Yuhui Shi et al.

15 oct 2017

Preț: 656^.82 lei 821^.02 lei

6-8 săpt.

-20%

Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10608

Editat de Mohammad Reza Mousavi et al.

14 oct 2017

Preț: 312^.79 lei 390^.99 lei

6-8 săpt.

-20%

Combinatorial Optimization and Graph Algorithms: Communications of NII Shonan Meetings

Editat de Takuro Fukunaga et al.

11 dec 2018

Preț: 612^.75 lei 765^.94 lei

6-8 săpt.

-20%

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings

Communications in Computer and Information Science, nr. 800

Editat de Alexander Dudin et al.

3 oct 2017

Preț: 325^.30 lei 406^.63 lei

6-8 săpt.

-20%

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10500

Editat de Joost-Pieter Katoen et al.

29 sep 2017

Preț: 324^.81 lei 406^.00 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10580

Editat de Dang Van Hung et al.

17 sep 2017

Preț: 321^.17 lei 401^.46 lei

6-8 săpt.

-20%

Design Patterns für mathematische Beweise: Ein Leitfaden insbesondere für Informatiker

Autor Hans Jürgen Ohlbach et al.

14 sep 2017

Preț: 229^.96 lei 287^.45 lei

6-8 săpt.

-20%

The Mathematical-Function Computation Handbook: Programming Using the MathCW Portable Software Library

Autor Nelson H.F. Beebe

18 mai 2018

Preț: 858^.32 lei 1072^.89 lei

6-8 săpt.

-20%

Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10506

Editat de Matthew Hague et al.

25 aug 2017

Preț: 315^.80 lei 394^.74 lei

6-8 săpt.

-20%

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications

Undergraduate Topics in Computer Science

Autor Gerard O'Regan

24 aug 2017

Preț: 816^.37 lei 1020^.47 lei

38-44 zile

-20%

DNA Computing and Molecular Programming: 23rd International Conference, DNA 23, Austin, TX, USA, September 24–28, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10467

Editat de Robert Brijder et al.

24 aug 2017

Preț: 318^.97 lei 398^.71 lei

6-8 săpt.

-20%

Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10455

Editat de Alexandru Baltag et al.

24 aug 2017

Preț: 339^.24 lei 424^.04 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10416

Editat de J. Christopher Beck

23 aug 2017

Preț: 341^.79 lei 427^.24 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10499

Editat de Mauricio Ayala-Rincón et al.

21 aug 2017

Preț: 331^.97 lei 414^.96 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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