Filtre: Paperback

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

481-576 din 2,366 rezultate

Ü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ț: 344^.97 lei 431^.21 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: 8th International Conference, ICORES 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers

Communications in Computer and Information Science, nr. 1162

Editat de Greg H. Parlier et al.

11 dec 2019

Preț: 315^.31 lei 394^.14 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 I

Lecture Notes in Computer Science, nr. 10860

Editat de Yong Shi et al.

13 iun 2018

Preț: 342^.11 lei 427^.64 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 I

Lecture Notes in Computer Science, nr. 10805

Editat de Dirk Beyer et al.

12 apr 2018

Preț: 354^.38 lei 442^.98 lei

6-8 săpt.

-20%

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Autor Bernhard Steffen et al.

24 ian 2019

Preț: 198^.17 lei 247^.71 lei

3-5 săpt. | 4-10 zile

-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

7 iun 2019

Preț: 312^.79 lei 390^.99 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: 12th International Conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11958

Editat de Ivan Lirkov et al.

14 feb 2020

Preț: 336^.73 lei 420^.91 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

23 mai 2018

Preț: 1122^.58 lei 1403^.22 lei

3-5 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%

Monte Carlo Simulation: Methods, Assessment & Applications

Editat de Frederick J Mitchell

31 aug 2017

Preț: 593^.56 lei 859^.68 lei

3-5 săpt.

-31%

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%

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10422

Editat de Francesco Ranzato

21 aug 2017

Preț: 328^.79 lei 410^.99 lei

6-8 săpt.

-20%

Theoretical Computer Science and Discrete Mathematics: First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10398

Editat de S. Arumugam et al.

17 aug 2017

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

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10488

Editat de Stefano Tonetta et al.

17 aug 2017

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

6-8 săpt.

-20%

Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10432

Editat de Srečko Brlek et al.

16 aug 2017

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Fundamentals of Computation Theory: 21st International Symposium, FCT 2017, Bordeaux, France, September 11–13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10472

Editat de Ralf Klasing et al.

16 aug 2017

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

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10503

Editat de Nathalie Bertrand et al.

12 aug 2017

Preț: 324^.03 lei 405^.04 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10491

Editat de Serge Gaspers et al.

9 aug 2017

Preț: 328^.94 lei 411^.17 lei

6-8 săpt.

-20%

TRIZ – The Theory of Inventive Problem Solving: Current Research and Trends in French Academic Institutions

Editat de Denis Cavallucci

3 aug 2018

Preț: 765^.52 lei 956^.91 lei

38-44 zile

-20%

Model-Based Safety and Assessment: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10437

Editat de Marco Bozzano et al.

2 aug 2017

Preț: 319^.13 lei 398^.90 lei

6-8 săpt.

-20%

Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10460

Editat de Luca Aceto et al.

25 iul 2017

Preț: 337^.98 lei 422^.48 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10184

Editat de Manuel V Hermenegildo et al.

25 iul 2017

Preț: 323^.73 lei 404^.66 lei

6-8 săpt.

-20%

Developments in Language Theory: 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10396

Editat de Émilie Charlier et al.

21 iul 2017

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

6-8 săpt.

-20%

Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10426

Editat de Rupak Majumdar et al.

13 iul 2017

Preț: 335^.29 lei 419^.11 lei

6-8 săpt.

-20%

Numerical Software Verification: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10381

Editat de Alessandro Abate et al.

12 iul 2017

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

6-8 săpt.

-20%

Die Vermessung des Datenuniversums: Datenintegration mithilfe des Statistikstandards SDMX

Autor Reinhold Stahl et al.

29 iun 2017

Preț: 186^.56 lei 233^.20 lei

38-44 zile

-20%

Security of Industrial Control Systems and Cyber-Physical Systems: Second International Workshop, CyberICPS 2016, Heraklion, Crete, Greece, September 26-30, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10166

Editat de Nora Cuppens-Boulahia et al.

13 iun 2017

Preț: 311^.98 lei 389^.98 lei

6-8 săpt.

-20%

Analytical and Stochastic Modelling Techniques and Applications: 24th International Conference, ASMTA 2017, Newcastle-upon-Tyne, UK, July 10-11, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10378

Editat de Nigel Thomas et al.

9 iun 2017

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

6-8 săpt.

-20%

Human Mental Workload: Models and Applications: First International Symposium, H-WORKLOAD 2017, Dublin, Ireland, June 28-30, 2017, Revised Selected Papers

Communications in Computer and Information Science, nr. 726

Editat de Luca Longo et al.

4 iun 2017

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

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10316

Editat de Giovanni Pighizzini et al.

3 iun 2017

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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