A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof
Autor Petro Lutsyk et al.
10 mai 2020
Paperback
Preț: 336.23 lei 420.29 lei
6-8 săpt.
-20%
Theoretical Computer Science and General Issues
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Editat de Ezio Bartocci et al.
21 sep 2019
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Analysis of Experimental Algorithms: Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers
Editat de Ilias Kotsireas et al.
15 noi 2019
Paperback
Preț: 498.20 lei 622.75 lei
3-5 săpt. | 4-10 zile
-20%
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Editat de Fabrizio Biondi et al.
14 sep 2019
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Reachability Problems: 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Editat de Emmanuel Filiot et al.
6 sep 2019
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%
Quantum Interaction: 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers
Editat de Bob Coecke et al.
21 noi 2019
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-20%
Advanced Parallel Processing Technologies: 13th International Symposium, APPT 2019, Tianjin, China, August 15–16, 2019, Proceedings
Editat de Pen-Chung Yew et al.
10 aug 2019
Paperback
Preț: 313.56 lei 391.95 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Editat de Peter Csaba Ölveczky et al.
2 sep 2019
Paperback
Preț: 365.45 lei 456.81 lei
38-44 zile
-20%
Euro-Par 2019: Parallel Processing: 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
Editat de Ramin Yahyapour
13 aug 2019
Paperback
Preț: 468.69 lei 585.86 lei
6-8 săpt.
-20%
Artificial Neural Networks and Machine Learning – ICANN 2019: Image Processing: 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part III
Editat de Igor V. Tetko et al.
7 sep 2019
Paperback
Preț: 341.92 lei 427.41 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Editat de Étienne André et al.
13 aug 2019
Paperback
Preț: 320.86 lei 401.08 lei
6-8 săpt.
-20%
Computer Vision Systems: 12th International Conference, ICVS 2019, Thessaloniki, Greece, September 23–25, 2019, Proceedings
Editat de Dimitrios Tzovaras et al.
23 noi 2019
Paperback
Preț: 344.48 lei 430.60 lei
6-8 săpt.
-20%
Computational Logistics: 10th International Conference, ICCL 2019, Barranquilla, Colombia, September 30 – October 2, 2019, Proceedings
Editat de Carlos Paternina-Arboleda et al.
12 sep 2019
Paperback
Preț: 327.54 lei 409.42 lei
6-8 săpt.
-20%
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Editat de Brijesh Dongol et al.
16 oct 2019
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
Editat de Mário S. Alvim et al.
12 sep 2019
Paperback
Preț: 329.25 lei 411.55 lei
6-8 săpt.
-20%
Information Retrieval: 25th China Conference, CCIR 2019, Fuzhou, China, September 20–22, 2019, Proceedings
Editat de Qi Zhang et al.
18 sep 2019
Paperback
Preț: 314.67 lei 393.34 lei
6-8 săpt.
-20%
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings
Editat de David Parker et al.
2 sep 2019
Paperback
Preț: 323.55 lei 404.44 lei
6-8 săpt.
-20%
Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers
Editat de Ignasi Sau et al.
12 sep 2019
Paperback
Preț: 431.52 lei 507.68 lei
6-8 săpt.
-15%
Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings
Editat de Pierre Ganty et al.
10 noi 2019
Paperback
Preț: 311.84 lei 389.81 lei
6-8 săpt.
-20%
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Editat de Maurice H. ter Beek et al.
14 sep 2019
Paperback
Preț: 333.68 lei 417.09 lei
6-8 săpt.
-20%
On the Move to Meaningful Internet Systems: OTM 2019 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS and SIAnA 2019, Rhodes, Greece, October 21–25, 2019, Revised Selected Papers
Editat de Christophe Debruyne et al.
13 feb 2020
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Languages and Compilers for Parallel Computing: 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers
Editat de Mary Hall et al.
13 noi 2019
Paperback
Preț: 315.31 lei 394.14 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Editat de Robert Mark Hierons et al.
26 oct 2019
Paperback
Preț: 325.79 lei 407.24 lei
6-8 săpt.
-20%
Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Editat de Pedro Ribeiro et al.
12 sep 2019
Paperback
Preț: 316.73 lei 395.91 lei
6-8 săpt.
-20%
High Performance Computing: ISC High Performance 2019 International Workshops, Frankfurt, Germany, June 16-20, 2019, Revised Selected Papers
Editat de Michèle Weiland et al.
3 dec 2019
Paperback
Preț: 584.38 lei 730.48 lei
6-8 săpt.
-20%
Graph Drawing and Network Visualization: 27th International Symposium, GD 2019, Prague, Czech Republic, September 17–20, 2019, Proceedings
Editat de Daniel Archambault et al.
28 noi 2019
Paperback
Preț: 326.16 lei 407.70 lei
Indisponibil temporar
-20%
Informatics in Schools. New Ideas in School Informatics: 12th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2019, Larnaca, Cyprus, November 18–20, 2019, Proceedings
Editat de Sergei N. Pozdniakov et al.
28 oct 2019
Paperback
Preț: 374.71 lei
6-8 săpt.
Stabilization, Safety, and Security of Distributed Systems: 21st International Symposium, SSS 2019, Pisa, Italy, October 22–25, 2019, Proceedings
Editat de Mohsen Ghaffari et al.
15 noi 2019
Paperback
Preț: 325.15 lei 406.44 lei
6-8 săpt.
-20%
Computational Data and Social Networks: 8th International Conference, CSoNet 2019, Ho Chi Minh City, Vietnam, November 18–20, 2019, Proceedings
Editat de Andrea Tagarelli et al.
12 noi 2019
Paperback
Preț: 324.03 lei 405.04 lei
6-8 săpt.
-20%
Theory and Practice of Natural Computing: 8th International Conference, TPNC 2019, Kingston, ON, Canada, December 9–11, 2019, Proceedings
Editat de Carlos Martín-Vide et al.
8 noi 2019
Paperback
Preț: 372.86 lei 466.08 lei
6-8 săpt.
-20%
Security, Privacy, and Applied Cryptography Engineering: 9th International Conference, SPACE 2019, Gandhinagar, India, December 3–7, 2019, Proceedings
Editat de Shivam Bhasin et al.
21 noi 2019
Paperback
Preț: 317.55 lei 396.94 lei
6-8 săpt.
-20%
Combinatorial Optimization and Applications: 13th International Conference, COCOA 2019, Xiamen, China, December 13–15, 2019, Proceedings
Editat de Yingshu Li et al.
24 noi 2019
Paperback
Preț: 335.29 lei 419.11 lei
6-8 săpt.
-20%
Neural Information Processing: 26th International Conference, ICONIP 2019, Sydney, NSW, Australia, December 12–15, 2019, Proceedings, Part V
Editat de Tom Gedeon et al.
6 dec 2019
Paperback
Preț: 645.25 lei 806.57 lei
6-8 săpt.
-20%
Approximation and Online Algorithms: 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers
Editat de Evripidis Bampis et al.
25 ian 2020
Paperback
Preț: 435.73 lei
6-8 săpt.
Algorithms and Architectures for Parallel Processing: 19th International Conference, ICA3PP 2019, Melbourne, VIC, Australia, December 9–11, 2019, Proceedings, Part I
Editat de Sheng Wen et al.
22 ian 2020
Paperback
Preț: 397.81 lei
6-8 săpt.
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Editat de Nikolaj Bjørner et al.
14 dec 2019
Paperback
Preț: 319.13 lei 398.90 lei
6-8 săpt.
-20%
Learning and Intelligent Optimization: 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers
Editat de Nikolaos F. Matsatsinis et al.
22 ian 2020
Paperback
Preț: 380.09 lei
6-8 săpt.
Numerical Computations: Theory and Algorithms: Third International Conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019, Revised Selected Papers, Part II
Editat de Yaroslav D. Sergeyev et al.
14 feb 2020
Paperback
Preț: 332.10 lei 415.13 lei
6-8 săpt.
-20%
Mathematical Aspects of Computer and Information Sciences: 8th International Conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019, Revised Selected Papers
Editat de Daniel Slamanig et al.
4 mar 2020
Paperback
Preț: 328.29 lei 410.37 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Editat de Dirk Beyer et al.
7 feb 2020
Paperback
Preț: 496.85 lei 621.06 lei
3-5 săpt. | 4-10 zile
-20%
Euro-Par 2019: Parallel Processing Workshops: Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers
Editat de Ulrich Schwardmann et al.
20 mai 2020
Paperback
Preț: 643.69 lei 804.61 lei
6-8 săpt.
-20%
Complexity and Approximation: In Memory of Ker-I Ko
Editat de Ding-Zhu Du et al.
21 feb 2020
Paperback
Preț: 390.12 lei 487.65 lei
3-5 săpt. | 4-10 zile
-20%
Dynamic Logic. New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editat de Luís Soares Barbosa et al.
14 ian 2020
Paperback
Preț: 317.05 lei 396.31 lei
6-8 săpt.
-20%
Variable Neighborhood Search: 7th International Conference, ICVNS 2019, Rabat, Morocco, October 3–5, 2019, Revised Selected Papers
Editat de Rachid Benmansour et al.
8 apr 2020
Paperback
Preț: 315.62 lei 394.52 lei
6-8 săpt.
-20%
SOFSEM 2020: Theory and Practice of Computer Science: 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020, Proceedings
Editat de Alexander Chatzigeorgiou et al.
17 ian 2020
Paperback
Preț: 397.81 lei
6-8 săpt.
Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II
Editat de Roberto Moreno-Díaz et al.
3 apr 2020
Paperback
Preț: 331.17 lei 413.96 lei
6-8 săpt.
-20%
Algorithms and Discrete Applied Mathematics: 6th International Conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020, Proceedings
Editat de Manoj Changat et al.
25 ian 2020
Paperback
Preț: 463.04 lei 544.75 lei
6-8 săpt.
-15%
Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Editat de Huaikou Miao et al.
20 feb 2020
Paperback
Preț: 323.55 lei 404.44 lei
6-8 săpt.
-20%
Logic-Based Program Synthesis and Transformation: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Editat de Maurizio Gabbrielli
22 apr 2020
Paperback
Preț: 318.97 lei 398.71 lei
6-8 săpt.
-20%
WALCOM: Algorithms and Computation: 14th International Conference, WALCOM 2020, Singapore, Singapore, March 31 – April 2, 2020, Proceedings
Editat de M. Sohel Rahman et al.
28 ian 2020
Paperback
Preț: 432.47 lei 540.58 lei
6-8 săpt.
-20%
Computational Complexity and Property Testing: On the Interplay Between Randomness and Computation
Editat de Oded Goldreich et al.
4 apr 2020
Paperback
Preț: 530.08 lei 662.60 lei
3-5 săpt. | 4-10 zile
-20%
Artificial Evolution: 14th International Conference, Évolution Artificielle, EA 2019, Mulhouse, France, October 29–30, 2019, Revised Selected Papers
Editat de Lhassane Idoumghar et al.
16 apr 2020
Paperback
Preț: 316.91 lei 396.14 lei
6-8 săpt.
-20%
Trends in Functional Programming: 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12–14, 2019, Revised Selected Papers
Editat de William J. Bowman et al.
30 apr 2020
Paperback
Preț: 312.92 lei 391.15 lei
6-8 săpt.
-20%
Relational and Algebraic Methods in Computer Science: 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings
Editat de Uli Fahrenberg et al.
18 mar 2020
Paperback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%
From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement
Editat de Alessandra Di Pierro et al.
15 feb 2020
Paperback
Preț: 374.14 lei
6-8 săpt.
Reversible Computation: Extending Horizons of Computing: Selected Results of the COST Action IC1405
Editat de Irek Ulidowski et al.
14 mai 2020
Paperback
Preț: 250.84 lei 313.55 lei
3-5 săpt. | 4-10 zile
-20%
Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Editat de Alexander Raschke et al.
15 mai 2020
Paperback
Preț: 326.55 lei 408.19 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Editat de Heike Wehrheim et al.
21 apr 2020
Paperback
Preț: 305.25 lei 381.56 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Editat de Armin Biere et al.
18 apr 2020
Paperback
Preț: 272.35 lei 340.44 lei
6-8 săpt.
-20%
Supercomputing Frontiers: 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
Editat de Dhabaleswar K. Panda
23 mai 2020
Paperback
Preț: 312.92 lei 391.15 lei
6-8 săpt.
-20%
Applied Reconfigurable Computing. Architectures, Tools, and Applications: 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings
Editat de Fernando Rincón et al.
26 mar 2020
Paperback
Preț: 325.79 lei 407.24 lei
6-8 săpt.
-20%
Algorithms and Models for the Web Graph: 17th International Workshop, WAW 2020, Warsaw, Poland, September 21–22, 2020, Proceedings
Editat de Bogumił Kamiński et al.
14 mai 2020
Paperback
Preț: 314.54 lei 393.17 lei
6-8 săpt.
-20%
Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings
Editat de Daniela Petrişan et al.
20 aug 2020
Paperback
Preț: 316.11 lei 395.14 lei
6-8 săpt.
-20%
Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings
Editat de Alexander Kononov et al.
17 iun 2020
Paperback
Preț: 329.74 lei 412.17 lei
6-8 săpt.
-20%
Learning and Intelligent Optimization: 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers
Editat de Ilias S. Kotsireas et al.
18 iul 2020
Paperback
Preț: 381.72 lei
6-8 săpt.
Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings
Editat de Anna Maria Bigatti et al.
8 iul 2020
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings
Editat de Marcella Anselmo et al.
24 iun 2020
Paperback
Preț: 325.61 lei 407.00 lei
6-8 săpt.
-20%
Genetic Programming: 23rd European Conference, EuroGP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
Editat de Ting Hu et al.
13 mar 2020
Paperback
Preț: 320.37 lei 400.47 lei
6-8 săpt.
-20%
Evolutionary Computation in Combinatorial Optimization: 20th European Conference, EvoCOP 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
Editat de Luís Paquete et al.
10 mar 2020
Paperback
Preț: 317.55 lei 396.94 lei
6-8 săpt.
-20%
Artificial Intelligence in Music, Sound, Art and Design: 9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
Editat de Juan Romero et al.
10 apr 2020
Paperback
Preț: 317.05 lei 396.31 lei
6-8 săpt.
-20%
Applications of Evolutionary Computation: 23rd European Conference, EvoApplications 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15–17, 2020, Proceedings
Editat de Pedro A. Castillo et al.
11 mar 2020
Paperback
Preț: 340.04 lei 425.05 lei
6-8 săpt.
-20%
Integer Programming and Combinatorial Optimization: 21st International Conference, IPCO 2020, London, UK, June 8–10, 2020, Proceedings
Editat de Daniel Bienstock et al.
14 apr 2020
Paperback
Preț: 409.57 lei 511.97 lei
6-8 săpt.
-20%
Combinatorial Algorithms: 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings
Editat de Leszek Gąsieniec et al.
29 mai 2020
Paperback
Preț: 326.87 lei 408.59 lei
6-8 săpt.
-20%
Computational Science – ICCS 2020: 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I
Editat de Valeria V. Krzhizhanovskaya et al.
19 iun 2020
Paperback
Preț: 340.35 lei 425.44 lei
6-8 săpt.
-20%
Advances in Swarm Intelligence: 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings
Editat de Ying Tan et al.
13 iul 2020
Paperback
Preț: 339.42 lei 424.28 lei
6-8 săpt.
-20%
High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings
Editat de Ponnuswamy Sadayappan et al.
16 iun 2020
Paperback
Preț: 498.20 lei 622.75 lei
3-5 săpt. | 4-10 zile
-20%
Structural Information and Communication Complexity: 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings
Editat de Andrea Werneck Richa et al.
30 iul 2020
Paperback
Preț: 324.68 lei 405.84 lei
6-8 săpt.
-20%
Computer Science – Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings
Editat de Henning Fernau
13 iun 2020
Paperback
Preț: 326.87 lei 408.59 lei
6-8 săpt.
-20%
Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers
Editat de Aleksander Byrski et al.
18 aug 2020
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
Euro-Par 2020: Parallel Processing: 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings
Editat de Maciej Malawski et al.
16 aug 2020
Paperback
Preț: 338.47 lei 423.09 lei
6-8 săpt.
-20%
Parallel Problem Solving from Nature – PPSN XVI: 16th International Conference, PPSN 2020, Leiden, The Netherlands, September 5-9, 2020, Proceedings, Part I
Editat de Thomas Bäck et al.
3 sep 2020
Paperback
Preț: 588.19 lei 735.24 lei
6-8 săpt.
-20%
Topics in Theoretical Computer Science: Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
Editat de Luís S. Barbosa et al.
13 aug 2020
Paperback
Preț: 311.84 lei 389.81 lei
6-8 săpt.
-20%
Information Retrieval: 26th China Conference, CCIR 2020, Xi'an, China, August 14–16, 2020, Proceedings
Editat de Zhicheng Dou et al.
31 iul 2020
Paperback
Preț: 314.04 lei 392.55 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings
Editat de Nathalie Bertrand et al.
17 aug 2020
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Algorithmic Aspects in Information and Management: 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings
Editat de Zhao Zhang et al.
9 aug 2020
Paperback
Preț: 336.73 lei 420.91 lei
6-8 săpt.
-20%
Network and Parallel Computing
Editat de Xiaoxin Tang et al.
29 sep 2019
Paperback
Preț: 326.27 lei 407.84 lei
6-8 săpt.
-20%
Application and Theory of Petri Nets and Concurrency: 41st International Conference, PETRI NETS 2020, Paris, France, June 24–25, 2020, Proceedings
Editat de Ryszard Janicki et al.
25 iun 2020
Paperback
Preț: 327.04 lei 408.80 lei
6-8 săpt.
-20%
Architecture of Computing Systems – ARCS 2020: 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings
Editat de André Brinkmann et al.
9 iul 2020
Paperback
Preț: 318.67 lei 398.33 lei
6-8 săpt.
-20%
Treewidth, Kernels, and Algorithms: Essays Dedicated to Hans L. Bodlaender on the Occasion of His 60th Birthday
Editat de Fedor V. Fomin et al.
17 mar 2020
Paperback
Preț: 391.01 lei 488.77 lei
3-5 săpt. | 4-10 zile
-20%
Combinatorial Optimization: 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers
Editat de Mourad Baïou et al.
20 iul 2020
Paperback
Preț: 320.55 lei 400.68 lei
6-8 săpt.
-20%
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Editat de Luca Pulina et al.
iul 2020
Paperback
Preț: 331.80 lei 414.75 lei
6-8 săpt.
-20%
Blended Learning. Education in a Smart Learning Environment: 13th International Conference, ICBL 2020, Bangkok, Thailand, August 24–27, 2020, Proceedings
Editat de Simon K. S. Cheung et al.
20 iul 2020
Paperback
Preț: 496.37 lei 583.96 lei
3-5 săpt. | 4-10 zile
-15%
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Editat de Shuvendu K. Lahiri et al.
16 iul 2020
Paperback
Preț: 283.61 lei 354.51 lei
6-8 săpt.
-20%
Large-Scale Scientific Computing: 13th International Conference, LSSC 2021, Sozopol, Bulgaria, June 7–11, 2021, Revised Selected Papers
Editat de Ivan Lirkov et al.
18 mar 2022
Paperback
Preț: 578.83 lei 723.54 lei
6-8 săpt.
-20%
Programming Languages and Systems
Autor Peter Müller
8 oct 2020
Hardback
Preț: 927.63 lei 1204.71 lei
38-44 zile
-23%
Foundations of Software Science and Computation Structures
Autor Jean Goubault-Larrecq et al.
8 oct 2020
Hardback
Preț: 827.24 lei 1074.34 lei
38-44 zile
-23%