Mathematics of Program Construction: 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010, Proceedings
Editat de Claude Bolduc et al.
iun 2010
Paperback
Preț: 327.36 lei 409.20 lei
3-5 săpt.
-20%
Theoretical Computer Science and General Issues
Mathematical Software – ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings
Editat de Gert-Martin Greuel et al.
6 iul 2016
Paperback
Preț: 332.10 lei 415.13 lei
6-8 săpt.
-20%
Computational Social Networks: 5th International Conference, CSoNet 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Editat de Hien T. Nguyen et al.
12 iul 2016
Paperback
Preț: 323.23 lei 404.04 lei
6-8 săpt.
-20%
Computing and Combinatorics: 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings
Editat de Thang N. Dinh et al.
20 iul 2016
Paperback
Preț: 336.55 lei 420.69 lei
6-8 săpt.
-20%
Wireless Algorithms, Systems, and Applications: 11th International Conference, WASA 2016, Bozeman, MT, USA, August 8-10, 2016. Proceedings
Editat de Qing Yang et al.
4 aug 2016
Paperback
Preț: 334.18 lei 417.72 lei
6-8 săpt.
-20%
Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Editat de Jouko Väänänen et al.
6 aug 2016
Paperback
Preț: 327.99 lei 409.99 lei
6-8 săpt.
-20%
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
Editat de Jasmin Christian Blanchette et al.
7 aug 2016
Paperback
Preț: 330.36 lei 412.95 lei
6-8 săpt.
-20%
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
Editat de Gul Agha et al.
3 aug 2016
Paperback
Preț: 324.81 lei 406.00 lei
6-8 săpt.
-20%
Distributed Computing: 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings
Editat de Cyril Gavoille et al.
4 sep 2016
Paperback
Preț: 330.36 lei 412.95 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
Editat de Helle Hvid Hansen et al.
22 feb 2017
Paperback
Preț: 324.03 lei 405.04 lei
6-8 săpt.
-20%
Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
Editat de Alexandru Baltag et al.
24 aug 2017
Paperback
Preț: 339.24 lei 424.04 lei
6-8 săpt.
-20%
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings
Editat de Annie Foret et al.
15 iul 2018
Paperback
Preț: 312.79 lei 390.99 lei
6-8 săpt.
-20%
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Editat de Hana Chockler et al.
22 iul 2018
Paperback
Preț: 359.94 lei 449.93 lei
6-8 săpt.
-20%
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Editat de David N. Jansen et al.
26 aug 2018
Paperback
Preț: 319.92 lei 399.90 lei
6-8 săpt.
-20%
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
Editat de Cliff Jones et al.
29 sep 2018
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%
Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings
Editat de Mohamed Faouzi Atig et al.
31 aug 2018
Paperback
Preț: 316.91 lei 396.14 lei
6-8 săpt.
-20%
Learning and Intelligent Optimization: 12th International Conference, LION 12, Kalamata, Greece, June 10–15, 2018, Revised Selected Papers
Editat de Roberto Battiti et al.
2019
Paperback
Preț: 328.79 lei 410.99 lei
6-8 săpt.
-20%
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Editat de Mikołaj Bojańczyk et al.
5 apr 2019
Paperback
Preț: 359.63 lei 449.54 lei
6-8 săpt.
-20%
Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Editat de Rosalie Iemhoff et al.
10 iun 2019
Paperback
Preț: 338.31 lei 422.88 lei
6-8 săpt.
-20%
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Editat de Isil Dillig et al.
13 iul 2019
Paperback
Preț: 360.08 lei 450.11 lei
6-8 săpt.
-20%
At the Intersection of Language, Logic, and Information: ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers
Editat de Jennifer Sikos et al.
6 iul 2019
Paperback
Preț: 316.91 lei 396.14 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%
Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Editat de Patrick Blackburn et al.
15 sep 2019
Paperback
Preț: 382.65 lei
6-8 săpt.
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%
Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings
Editat de Dun Deng et al.
17 dec 2020
Paperback
Preț: 454.39 lei 567.99 lei
6-8 săpt.
-20%
Cellular Automata: 14th International Conference on Cellular Automata for Research and Industry, ACRI 2020, Lodz, Poland, December 2–4, 2020, Proceedings
Editat de Tomasz M. Gwizdałła et al.
13 feb 2021
Paperback
Preț: 319.42 lei 399.28 lei
6-8 săpt.
-20%
Parallel and Distributed Computing, Applications and Technologies: 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings
Editat de Yong Zhang et al.
21 feb 2021
Paperback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Editat de Esther Guerra et al.
20 mar 2021
Paperback
Preț: 296.69 lei 370.86 lei
6-8 săpt.
-20%