Computing and Software Science: State of the Art and Perspectives
Editat de Bernhard Steffen et al.
5 oct 2019
Paperback
Preț: 209.90 lei 262.38 lei
43-57 zile
-20%
Theoretical Computer Science and General Issues
Central European Functional Programming School: 6th Summer School, CEFP 2015, Budapest, Hungary, July 6–10, 2015, Revised Selected Papers
Editat de Viktória Zsók et al.
14 aug 2019
Paperback
Preț: 434.17 lei 542.71 lei
43-57 zile
-20%
Trends in Functional Programming: 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers
Editat de David Van Horn et al.
21 feb 2019
Paperback
Preț: 315.31 lei 394.14 lei
43-57 zile
-20%
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Editat de Tiziana Margaria et al.
26 iun 2019
Paperback
Preț: 326.87 lei 408.59 lei
43-57 zile
-20%
High Performance Computing: ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers
Editat de Rio Yokota et al.
25 ian 2019
Paperback
Preț: 342.57 lei 428.20 lei
43-57 zile
-20%
Green, Pervasive, and Cloud Computing: 13th International Conference, GPC 2018, Hangzhou, China, May 11-13, 2018, Revised Selected Papers
Editat de Shijian Li
15 mar 2019
Paperback
Preț: 331.30 lei 414.13 lei
43-57 zile
-20%
On the Move to Meaningful Internet Systems: OTM 2018 Workshops: Confederated International Workshops: EI2N, FBM, ICSP, and Meta4eS 2018, Valletta, Malta, October 22–26, 2018, Revised Selected Papers
Editat de Christophe Debruyne et al.
7 feb 2019
Paperback
Preț: 319.42 lei 399.28 lei
43-57 zile
-20%
Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers
Editat de Josep Silva
16 mar 2019
Paperback
Preț: 314.67 lei 393.34 lei
43-57 zile
-20%
Variable Neighborhood Search: 6th International Conference, ICVNS 2018, Sithonia, Greece, October 4–7, 2018, Revised Selected Papers
Editat de Angelo Sifaleras et al.
14 mar 2019
Paperback
Preț: 470.77 lei
43-57 zile
High Performance Computing for Computational Science – VECPAR 2018: 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers
Editat de Hermes Senger et al.
26 mar 2019
Paperback
Preț: 318.97 lei 398.71 lei
43-57 zile
-20%
Finite Difference Methods. Theory and Applications: 7th International Conference, FDM 2018, Lozenetz, Bulgaria, June 11-16, 2018, Revised Selected Papers
Editat de Ivan Dimov et al.
26 ian 2019
Paperback
Preț: 339.11 lei 423.88 lei
43-57 zile
-20%
Algorithms and Discrete Applied Mathematics: 5th International Conference, CALDAM 2019, Kharagpur, India, February 14-16, 2019, Proceedings
Editat de Sudebkumar Prasant Pal et al.
19 ian 2019
Paperback
Preț: 320.37 lei 400.47 lei
43-57 zile
-20%
Membrane Computing: 19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Editat de Thomas Hinze et al.
2 feb 2019
Paperback
Preț: 319.60 lei 399.50 lei
43-57 zile
-20%
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Editat de Fred Mesnard et al.
23 feb 2019
Paperback
Preț: 316.28 lei 395.35 lei
43-57 zile
-20%
Algorithmic Aspects of Cloud Computing: 4th International Symposium, ALGOCLOUD 2018, Helsinki, Finland, August 20–21, 2018, Revised Selected Papers
Editat de Yann Disser et al.
28 apr 2019
Paperback
Preț: 315.00 lei 393.74 lei
43-57 zile
-20%
Evolutionary Multi-Criterion Optimization: 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings
Editat de Kalyanmoy Deb et al.
4 feb 2019
Paperback
Preț: 643.33 lei 804.17 lei
43-57 zile
-20%
Molecular Logic and Computational Synthetic Biology: First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Editat de Madalena Chaves et al.
28 apr 2019
Paperback
Preț: 313.87 lei 392.34 lei
43-57 zile
-20%
Supercomputing Frontiers: 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings
Editat de David Abramson et al.
16 apr 2019
Paperback
Preț: 338.69 lei 423.37 lei
43-57 zile
-20%
Language and Automata Theory and Applications: 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings
Editat de Carlos Martín-Vide et al.
15 feb 2019
Paperback
Preț: 328.94 lei 411.17 lei
43-57 zile
-20%
Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 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 Reiner Hähnle et al.
4 apr 2019
Paperback
Preț: 354.88 lei 443.60 lei
43-57 zile
-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
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 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, Part II
Editat de Tomáš Vojnar et al.
4 apr 2019
Paperback
Preț: 353.89 lei 442.37 lei
43-57 zile
-20%
Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings
Editat de T.V. Gopal et al.
7 mar 2019
Paperback
Preț: 340.04 lei 425.05 lei
43-57 zile
-20%
Applied Reconfigurable Computing: 15th International Symposium, ARC 2019, Darmstadt, Germany, April 9–11, 2019, Proceedings
Editat de Christian Hochberger et al.
29 mar 2019
Paperback
Preț: 326.24 lei 407.80 lei
43-57 zile
-20%
Genetic Programming: 22nd European Conference, EuroGP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Editat de Lukas Sekanina et al.
27 mar 2019
Paperback
Preț: 320.37 lei 400.47 lei
43-57 zile
-20%
Evolutionary Computation in Combinatorial Optimization: 19th European Conference, EvoCOP 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Editat de Arnaud Liefooghe et al.
28 mar 2019
Paperback
Preț: 370.10 lei
43-57 zile
Applications of Evolutionary Computation: 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings
Editat de Paul Kaufmann et al.
30 mar 2019
Paperback
Preț: 337.18 lei 421.48 lei
43-57 zile
-20%
Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Editat de Alexandra Silva et al.
4 iul 2019
Paperback
Preț: 323.41 lei 404.26 lei
43-57 zile
-20%
Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Editat de Michał Pałka et al.
24 apr 2019
Paperback
Preț: 341.08 lei 426.35 lei
43-57 zile
-20%
Frontiers in Algorithmics: 13th International Workshop, FAW 2019, Sanya, China, April 29 – May 3, 2019, Proceedings
Editat de Yijia Chen et al.
9 apr 2019
Paperback
Preț: 315.00 lei 393.74 lei
43-57 zile
-20%
Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings
Editat de Andrea Lodi et al.
18 apr 2019
Paperback
Preț: 460.99 lei 542.35 lei
43-57 zile
-15%
Green, Pervasive, and Cloud Computing: 14th International Conference, GPC 2019, Uberlândia, Brazil, May 26–28, 2019, Proceedings
Editat de Rodrigo Miani et al.
27 apr 2019
Paperback
Preț: 318.67 lei 398.33 lei
43-57 zile
-20%
Algorithms and Complexity: 11th International Conference, CIAC 2019, Rome, Italy, May 27–29, 2019, Proceedings
Editat de Pinar Heggernes
6 apr 2019
Paperback
Preț: 433.72 lei 542.15 lei
43-57 zile
-20%
Understanding the Brain Function and Emotions: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part I
Editat de José Manuel Ferrández Vicente et al.
10 mai 2019
Paperback
Preț: 327.54 lei 409.42 lei
43-57 zile
-20%
From Bioinspired Systems and Biomedical Applications to Machine Learning: 8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3–7, 2019, Proceedings, Part II
Editat de José Manuel Ferrández Vicente et al.
10 mai 2019
Paperback
Preț: 329.41 lei 411.77 lei
43-57 zile
-20%
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019, Proceedings
Editat de Louis-Martin Rousseau et al.
28 apr 2019
Paperback
Preț: 394.85 lei
43-57 zile
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
43-57 zile
-20%
High Performance Computing: 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings
Editat de Michèle Weiland et al.
17 mai 2019
Paperback
Preț: 432.60 lei 540.75 lei
43-57 zile
-20%
Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings
Editat de Susanna Donatelli et al.
31 mai 2019
Paperback
Preț: 328.79 lei 410.99 lei
43-57 zile
-20%
Cellular Automata and Discrete Complex Systems: 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings
Editat de Alonso Castillo-Ramirez et al.
14 mai 2019
Paperback
Preț: 311.67 lei 389.59 lei
43-57 zile
-20%
Computer Science – Theory and Applications: 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings
Editat de René van Bevern et al.
16 mai 2019
Paperback
Preț: 324.68 lei 405.84 lei
43-57 zile
-20%
Computational Science – ICCS 2019: 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V
Editat de João M. F. Rodrigues et al.
8 iun 2019
Paperback
Preț: 700.74 lei 875.93 lei
43-57 zile
-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
43-57 zile
-20%
Algebraic Informatics: 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings
Editat de Miroslav Ćirić et al.
24 mai 2019
Paperback
Preț: 318.80 lei 398.50 lei
43-57 zile
-20%
Blended Learning: Educational Innovation for Personalized Learning: 12th International Conference, ICBL 2019, Hradec Kralove, Czech Republic, July 2–4, 2019, Proceedings
Editat de Simon K. S. Cheung et al.
31 mai 2019
Paperback
Preț: 429.31 lei 505.07 lei
43-57 zile
-15%
Mathematical Optimization Theory and Operations Research: 18th International Conference, MOTOR 2019, Ekaterinburg, Russia, July 8-12, 2019, Proceedings
Editat de Michael Khachay et al.
13 iun 2019
Paperback
Preț: 587.70 lei 734.63 lei
43-57 zile
-20%
Advances in Neural Networks – ISNN 2019: 16th International Symposium on Neural Networks, ISNN 2019, Moscow, Russia, July 10–12, 2019, Proceedings, Part II
Editat de Huchuan Lu et al.
27 iun 2019
Paperback
Preț: 336.09 lei 420.11 lei
43-57 zile
-20%
Computing with Foresight and Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings
Editat de Florin Manea et al.
19 iun 2019
Paperback
Preț: 321.66 lei 402.08 lei
43-57 zile
-20%
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Editat de Carsten Lutz et al.
iun 2019
Paperback
Preț: 337.81 lei 422.26 lei
43-57 zile
-20%
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
Editat de José Luiz Fiadeiro et al.
26 iun 2019
Paperback
Preț: 314.67 lei 393.34 lei
43-57 zile
-20%
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings
Editat de Md. Aquil Khan et al.
5 feb 2019
Paperback
Preț: 315.80 lei 394.74 lei
43-57 zile
-20%
Implementation and Application of Automata: 24th International Conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019, Proceedings
Editat de Michal Hospodár et al.
27 iun 2019
Paperback
Preț: 318.48 lei 398.10 lei
43-57 zile
-20%
Wireless Algorithms, Systems, and Applications: 14th International Conference, WASA 2019, Honolulu, HI, USA, June 24–26, 2019, Proceedings
Editat de Edoardo S. Biagioni et al.
21 iun 2019
Paperback
Preț: 337.35 lei 421.69 lei
43-57 zile
-20%
Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Editat de Michal Hospodár et al.
26 iun 2019
Paperback
Preț: 320.55 lei 400.68 lei
43-57 zile
-20%
Computational Science and Its Applications – ICCSA 2019: 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI
Editat de Sanjay Misra et al.
29 iun 2019
Paperback
Preț: 334.49 lei 418.11 lei
43-57 zile
-20%
Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings
Editat de Mikoláš Janota et al.
29 iun 2019
Paperback
Preț: 326.55 lei 408.19 lei
43-57 zile
-20%
Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Editat de Esther Guerra et al.
25 iun 2019
Paperback
Preț: 317.23 lei 396.54 lei
43-57 zile
-20%
Algorithms and Models for the Web Graph: 16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6–7, 2019, Proceedings
Editat de Konstantin Avrachenkov et al.
4 iul 2019
Paperback
Preț: 312.62 lei 390.78 lei
43-57 zile
-20%
Combinatorial Algorithms: 30th International Workshop, IWOCA 2019, Pisa, Italy, July 23–25, 2019, Proceedings
Editat de Charles J. Colbourn et al.
11 iul 2019
Paperback
Preț: 465.01 lei 581.26 lei
43-57 zile
-20%
Structural Information and Communication Complexity: 26th International Colloquium, SIROCCO 2019, L'Aquila, Italy, July 1–4, 2019, Proceedings
Editat de Keren Censor-Hillel et al.
13 iul 2019
Paperback
Preț: 324.35 lei 405.44 lei
43-57 zile
-20%
Algorithms and Data Structures: 16th International Symposium, WADS 2019, Edmonton, AB, Canada, August 5–7, 2019, Proceedings
Editat de Zachary Friggstad et al.
13 iul 2019
Paperback
Preț: 334.80 lei 418.49 lei
43-57 zile
-20%
Developments in Language Theory: 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Editat de Piotrek Hofman et al.
10 iul 2019
Paperback
Preț: 321.49 lei 401.86 lei
43-57 zile
-20%
Fundamentals of Computation Theory: 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
Editat de Leszek Antoni Gąsieniec et al.
10 iul 2019
Paperback
Preț: 323.86 lei 404.83 lei
43-57 zile
-20%
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
Editat de Michele Boreale et al.
4 iul 2019
Paperback
Preț: 330.05 lei 412.56 lei
43-57 zile
-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
43-57 zile
-20%
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings
Editat de Raffaella Bernardi et al.
5 iul 2019
Paperback
Preț: 311.84 lei 389.81 lei
43-57 zile
-20%
Combinatorics on Words: 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Editat de Robert Mercaş et al.
9 aug 2019
Paperback
Preț: 321.98 lei 402.47 lei
43-57 zile
-20%
Network and Parallel Computing
Editat de Xiaoxin Tang et al.
29 sep 2019
Paperback
Preț: 326.27 lei 407.84 lei
43-57 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
43-57 zile
-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
43-57 zile
-20%
Queueing Theory and Network Applications: 14th International Conference, QTNA 2019, Ghent, Belgium, August 27–29, 2019, Proceedings
Editat de Tuan Phung-Duc et al.
15 aug 2019
Paperback
Preț: 324.99 lei 406.23 lei
43-57 zile
-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
43-57 zile
-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.72 lei 457.15 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
43-57 zile
-20%
Artificial Neural Networks and Machine Learning – ICANN 2019: Theoretical Neural Computation: 28th International Conference on Artificial Neural Networks, Munich, Germany, September 17–19, 2019, Proceedings, Part I
Editat de Igor V. Tetko et al.
6 sep 2019
Paperback
Preț: 647.77 lei 809.72 lei
43-57 zile
-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
43-57 zile
-20%
Embedded Computer Systems: Architectures, Modeling, and Simulation: 19th International Conference, SAMOS 2019, Samos, Greece, July 7–11, 2019, Proceedings
Editat de Dionisios N. Pnevmatikatos et al.
8 aug 2019
Paperback
Preț: 329.60 lei 412.00 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-15%
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
43-57 zile
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
43-57 zile
-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
43-57 zile
-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
43-57 zile
-20%
DNA Computing and Molecular Programming
Editat de Chris Thachuk et al.
24 iul 2019
Paperback
Preț: 373.43 lei 466.78 lei
43-57 zile
-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
43-57 zile
-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
43-57 zile
-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
43-57 zile
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
43-57 zile
-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
43-57 zile
-20%
Programming Languages and Systems
Autor Luís Caires
7 oct 2020
Hardback
Preț: 487.97 lei 609.96 lei
43-57 zile
-20%
Computer Aided Verification
Autor Serdar Tasiran et al.
7 oct 2020
Hardback
Preț: 442.87 lei 553.59 lei
43-57 zile
-20%