Filtre: Paperback

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

577-672 din 2,366 rezultate

Implementation and Application of Automata: 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10329

Editat de Arnaud Carayol et al.

28 mai 2017

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

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10321

Editat de Ahmed Bouajjani et al.

28 mai 2017

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

Natural and Artificial Computation for Biomedicine and Neuroscience: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part I

Lecture Notes in Computer Science, nr. 10337

Editat de José Manuel Ferrández Vicente et al.

27 mai 2017

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Biomedical Applications Based on Natural and Artificial Computing: International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10338

Editat de José Manuel Ferrández Vicente et al.

27 mai 2017

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

6-8 săpt.

-20%

Designing the Digital Transformation: 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10243

Editat de Alexander Maedche et al.

23 mai 2017

Preț: 329^.91 lei 412^.39 lei

6-8 săpt.

-20%

On Sets and Graphs: Perspectives on Logic and Combinatorics

Autor Eugenio G. Omodeo et al.

9 sep 2018

Preț: 401^.78 lei 502^.22 lei

6-8 săpt.

-20%

Human Aspects of Information Security, Privacy and Trust: 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10292

Editat de Theo Tryfonas

13 mai 2017

Preț: 342^.57 lei 428^.20 lei

6-8 săpt.

-20%

The Incomputable: Journeys Beyond the Turing Barrier

Theory and Applications of Computability

Editat de S. Barry Cooper et al.

28 iul 2018

Preț: 784^.89 lei 981^.12 lei

6-8 săpt.

-20%

Unveiling Dynamics and Complexity: 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10307

Editat de Jarkko Kari et al.

12 mai 2017

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

6-8 săpt.

-20%

Undergraduate Topics in Computer Science

Autor Md. Saidur Rahman

10 mai 2017

Preț: 286^.87 lei 358^.59 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10248

Editat de Alberto Dennunzio et al.

6 mai 2017

Preț: 316^.11 lei 395^.14 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10258

Editat de Wil van der Aalst et al.

5 mai 2017

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

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10240

Editat de Matthew J. Patitz et al.

28 apr 2017

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Process Algebras for Petri Nets: The Alphabetization of Distributed Systems

Monographs in Theoretical Computer Science. An EATCS Series

Autor Roberto Gorrieri

9 mai 2018

Preț: 512^.12 lei 640^.15 lei

6-8 săpt.

-20%

Relational and Algebraic Methods in Computer Science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10226

Editat de Peter Höfner et al.

25 apr 2017

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry: 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers

Communications in Computer and Information Science, nr. 708

Editat de Federico Rossi et al.

21 apr 2017

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

6-8 săpt.

-20%

Texts in Theoretical Computer Science. An EATCS Series

Autor Roberto Bruni et al.

18 iul 2018

Preț: 380^.30 lei 475^.37 lei

6-8 săpt.

-20%

System Modeling and Optimization: 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers

IFIP Advances in Information and Communication Technology, nr. 494

Editat de Lorena Bociu et al.

25 iul 2018

Preț: 668^.24 lei 835^.30 lei

38-44 zile

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Lecture Notes in Computer Science, nr. 10206

Editat de Axel Legay et al.

31 mar 2017

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

6-8 săpt.

-20%

Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10185

Editat de T.V. Gopal et al.

21 mar 2017

Preț: 340^.04 lei 425^.05 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10203

Editat de Javier Esparza et al.

16 mar 2017

Preț: 333^.54 lei 416^.93 lei

6-8 săpt.

-20%

NASA Monographs in Systems and Software Engineering

Editat de Mike Hinchey et al.

3 mai 2018

Preț: 647^.78 lei 809^.73 lei

38-44 zile

-20%

Arithmetic of Finite Fields: 6th International Workshop, WAIFI 2016, Ghent, Belgium, July 13-15, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10064

Editat de Sylvain Duquesne et al.

10 mar 2017

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Autor Dirk Draheim

4 mai 2018

Preț: 726^.76 lei 908^.45 lei

6-8 săpt.

-20%

Introduction to Mathematica® with Applications

Autor Marian Mureşan

13 iul 2018

Preț: 729^.13 lei 911^.41 lei

6-8 săpt.

-20%

Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10148

Editat de Helle Hvid Hansen et al.

22 feb 2017

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

6-8 săpt.

-20%

Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity

Lecture Notes in Computer Science, nr. 10110

Autor Thomas Zeume

18 feb 2017

Preț: 313^.24 lei 391^.55 lei

6-8 săpt.

-20%

Membrane Computing: 17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10105

Editat de Alberto Leporati et al.

17 feb 2017

Preț: 323^.55 lei 404^.44 lei

6-8 săpt.

-20%

Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10152

Editat de Sergiy Bogomolov et al.

17 feb 2017

Preț: 311^.18 lei 388^.98 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10168

Editat de Frank Drewes et al.

16 feb 2017

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

6-8 săpt.

-20%

Computer Vision for Driver Assistance: Simultaneous Traffic and Driver Monitoring

Computational Imaging and Vision, nr. 45

Autor Mahdi Rezaei et al.

9 sep 2018

Preț: 820^.70 lei 1025^.87 lei

38-44 zile

-20%

Operations Research and Enterprise Systems: 5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers

Communications in Computer and Information Science, nr. 695

Editat de Begoña Vitoriano et al.

15 feb 2017

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

6-8 săpt.

-20%

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Undergraduate Topics in Computer Science

Autor Mauricio Ayala-Rincón et al.

13 feb 2017

Preț: 286^.39 lei 357^.99 lei

6-8 săpt.

-20%

Quantum Interaction: 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10106

Editat de Jose Acacio de Barros et al.

26 ian 2017

Preț: 319^.42 lei 399^.28 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10145

Editat de Ahmed Bouajjani et al.

12 ian 2017

Preț: 333^.22 lei 416^.53 lei

6-8 săpt.

-20%

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10134

Editat de Jonathan P. Bowen et al.

11 ian 2017

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

6-8 săpt.

-20%

Fehlerkorrigierende Codes: Konstruieren, Anwenden, Decodieren

Autor Olaf Manz

21 dec 2016

Preț: 207^.53 lei 259^.41 lei

6-8 săpt.

-20%

Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 10160

Editat de Thomas Gibson-Robinson et al.

18 dec 2016

Preț: 321^.81 lei 402^.26 lei

6-8 săpt.

-20%

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks

Editat de Sotiris Nikoletseas et al.

29 apr 2018

Preț: 970^.83 lei 1213^.53 lei

6-8 săpt.

-20%

A New Perspective on Nonmonotonic Logics

Autor Dov M. Gabbay et al.

29 iun 2018

Preț: 624^.33 lei 780^.42 lei

6-8 săpt.

-20%

An Introduction to Online Computation: Determinism, Randomization, Advice

Texts in Theoretical Computer Science. An EATCS Series

Autor Dennis Komm

28 iun 2018

Preț: 427^.27 lei 534^.09 lei

38-44 zile

-20%

Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings

Lecture Notes in Computer Science, nr. 10054

Editat de Maxime Amblard et al.

10 noi 2016

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

6-8 săpt.

-20%

Mathematik für Informatiker: Grundlagen und Anwendungen

Autor Werner Struckmann et al.

3 noi 2016

Preț: 390^.78 lei 488^.47 lei

6-8 săpt.

-20%

Probability Logics: Probability-Based Formalization of Uncertain Reasoning

Autor Zoran Ognjanović et al.

29 iun 2018

Preț: 821^.20 lei 1026^.49 lei

38-44 zile

-20%

Autor Borut Robič

14 noi 2021

Preț: 408^.90 lei 511^.13 lei

6-8 săpt.

-20%

Mathematical Analysis and the Mathematics of Computation

Autor Werner Römisch et al.

16 iun 2018

Preț: 586^.27 lei 732^.83 lei

6-8 săpt.

-20%

Performance Assessment for Process Monitoring and Fault Detection Methods

Autor Kai Zhang

13 oct 2016

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

6-8 săpt.

-20%

Concise Guide to Computing Foundations: Core Concepts and Select Scientific Applications

Autor Kevin Brewer et al.

16 iun 2018

Preț: 288^.27 lei 360^.34 lei

6-8 săpt.

-20%

Probabilistic Graphical Models: Principles and Applications

Advances in Computer Vision and Pattern Recognition

Autor Luis Enrique Sucar

24 dec 2021

Preț: 323^.86 lei 404^.83 lei

6-8 săpt.

-20%

Channel Coding Techniques for Wireless Communications

Forum for Interdisciplinary Mathematics

Autor K. Deergha Rao

3 dec 2020

Preț: 586^.90 lei 733^.62 lei

38-44 zile

-20%

Graph-Theoretic Concepts in Computer Science: 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9941

Editat de Pinar Heggernes

28 sep 2016

Preț: 320^.86 lei 401^.08 lei

6-8 săpt.

-20%

Hybrid Systems Biology: 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9957

Editat de Eugenio Cinquemani et al.

27 sep 2016

Preț: 260^.16 lei 325^.21 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9965

Editat de Augusto Sampaio et al.

22 sep 2016

Preț: 329^.41 lei 411^.77 lei

6-8 săpt.

-20%

Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9933

Editat de Maurice H. ter Beek et al.

14 sep 2016

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

6-8 săpt.

-20%

Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9899

Editat de Kim Guldstrand Larsen et al.

13 sep 2016

Preț: 315^.62 lei 394^.52 lei

6-8 săpt.

-20%

Combinatorial Optimization: 4th International Symposium, ISCO 2016, Vietri sul Mare, Italy, May 16-18, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9849

Editat de Raffaele Cerulli et al.

10 sep 2016

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

6-8 săpt.

-20%

Grundkurs Theoretische Informatik: Eine anwendungsbezogene Einführung - Für Studierende in allen Informatik-Studiengängen

Autor Gottfried Vossen et al.

9 sep 2016

Preț: 414^.95 lei 518^.69 lei

6-8 săpt.

-20%

Computer Safety, Reliability, and Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9922

Editat de Amund Skavhaug et al.

4 sep 2016

Preț: 321^.98 lei 402^.47 lei

6-8 săpt.

-20%

Autor Ping-Qi PAN

3 ian 2024

Preț: 1799^.48 lei 2249^.35 lei

38-44 zile

-20%

Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9923

Editat de Amund Skavhaug et al.

sep 2016

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Cellular Automata: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9863

Editat de Samira El Yacoubi et al.

30 aug 2016

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

6-8 săpt.

-20%

Lecture Notes in Economics and Mathematical Systems, nr. 688

Autor Jiuping Xu et al.

30 aug 2016

Preț: 325^.47 lei 406^.84 lei

6-8 săpt.

-20%

Texts in Computer Science

Autor Stefano Crespi Reghizzi et al.

23 aug 2016

Preț: 462^.00 lei 577^.51 lei

6-8 săpt.

-20%

Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9892

Editat de Michel Rueher

23 aug 2016

Preț: 650^.32 lei 812^.90 lei

6-8 săpt.

-20%

Discrete and Topological Models in Molecular Biology

Natural Computing Series

Editat de Nataša Jonoska et al.

23 aug 2016

Preț: 632^.09 lei 790^.11 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9942

Editat de Dorel Lucanu

18 aug 2016

Preț: 315^.31 lei 394^.14 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9884

Editat de Martin Fränzle et al.

17 aug 2016

Preț: 318^.00 lei 397^.50 lei

6-8 săpt.

-20%

DNA Computing and Molecular Programming: 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9818

Editat de Yannick Rondelez et al.

14 aug 2016

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

6-8 săpt.

-20%

Self-aware Computing Systems: An Engineering Approach

Natural Computing Series

Editat de Peter R. Lewis et al.

22 apr 2018

Preț: 623^.39 lei 779^.23 lei

6-8 săpt.

-20%

Finitely Supported Mathematics: An Introduction

Autor Andrei Alexandru et al.

22 apr 2018

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

6-8 săpt.

-20%

Combinatorial Algorithms: 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9843

Editat de Veli Mäkinen et al.

9 aug 2016

Preț: 328^.62 lei 410^.77 lei

6-8 săpt.

-20%

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9807

Editat de Jasmin Christian Blanchette et al.

7 aug 2016

Preț: 330^.36 lei 412^.95 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9803

Editat de Jouko Väänänen et al.

6 aug 2016

Preț: 327^.99 lei 409^.99 lei

6-8 săpt.

-20%

Descriptive Set Theoretic Methods in Automata Theory: Decidability and Topological Complexity

Lecture Notes in Computer Science, nr. 9802

Autor Michał Skrzypczak

6 aug 2016

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

6-8 săpt.

-20%

Formal Grammar: 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

Lecture Notes in Computer Science, nr. 9804

Editat de Annie Foret et al.

6 aug 2016

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

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9826

Editat de Gul Agha et al.

3 aug 2016

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

6-8 săpt.

-20%

Statistical Analysis of Noise in MRI: Modeling, Filtering and Estimation

Autor Santiago Aja-Fernández et al.

31 mai 2018

Preț: 1013^.81 lei 1267^.25 lei

38-44 zile

-20%

Developments in Language Theory: 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9840

Editat de Srečko Brlek et al.

21 iul 2016

Preț: 325^.92 lei 407^.40 lei

6-8 săpt.

-20%

Domain-Specific Conceptual Modeling: Concepts, Methods and Tools

Editat de Dimitris Karagiannis et al.

31 mai 2018

Preț: 635^.26 lei 794^.08 lei

6-8 săpt.

-20%

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II

Lecture Notes in Computer Science, nr. 9780

Editat de Swarat Chaudhuri et al.

14 iul 2016

Preț: 331^.30 lei 414^.13 lei

6-8 săpt.

-20%

Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9705

Editat de Yo-Sub Han et al.

6 iul 2016

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

6-8 săpt.

-20%

Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9725

Editat de Gert-Martin Greuel et al.

6 iul 2016

Preț: 332^.10 lei 415^.13 lei

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9778

Editat de Riccardo Dondi et al.

5 iul 2016

Preț: 317^.05 lei 396^.31 lei

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9777

Editat de Cezar Câmpeanu et al.

28 iun 2016

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

6-8 săpt.

-20%

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9609

Editat de Manuel Mazzara et al.

28 iun 2016

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

6-8 săpt.

-20%

Turing Computability: Theory and Applications

Theory and Applications of Computability

Autor Robert I. Soare

7 iun 2018

Preț: 374^.60 lei 468^.25 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9664

Editat de Matthew Cook et al.

27 iun 2016

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9688

Editat de Elvira Albert et al.

27 iun 2016

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9761

Editat de Rachid Echahed et al.

22 iun 2016

Preț: 318^.67 lei 398^.33 lei

6-8 săpt.

-20%

Human Aspects of Information Security, Privacy, and Trust: 4th International Conference, HAS 2016, Held as Part of HCI International 2016, Toronto, ON, Canada, July 17-22, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9750

Editat de Theo Tryfonas

21 iun 2016

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9726

Editat de Martyn Amos et al.

15 iun 2016

Preț: 315^.93 lei 394^.92 lei

6-8 săpt.

-20%

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9706

Editat de Nicola Olivetti et al.

12 iun 2016

Preț: 525^.57 lei 656^.96 lei

6-8 săpt.

-20%

Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9575

Editat de Katsumi Inoue et al.

12 iun 2016

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

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Lecture Notes in Computer Science, nr. 9710

Editat de Nadia Creignou et al.

12 iun 2016

Preț: 333^.68 lei 417^.09 lei

6-8 săpt.

-20%

Relaxed Abduction: Robust Information Interpretation for Industrial Applications

Autor Thomas Hubauer

10 iun 2016

Preț: 311^.84 lei 389^.81 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings

Lecture Notes in Computer Science, nr. 9698

Editat de Fabrice Kordon et al.

9 iun 2016

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

6-8 săpt.

-20%

Papetărie, jocuri, reviste

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