Theoretical Computer Science and General Issues

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

Lecture Notes in Computer Science, nr. 10982

Editat de Hana Chockler et al.

22 iul 2018

Preț: 367^.94 lei 459^.93 lei

6-8 săpt.

-20%

Job Scheduling Strategies for Parallel Processing: 22nd International Workshop, JSSPP 2018, Vancouver, BC, Canada, May 25, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11332

Editat de Dalibor Klusáček et al.

15 ian 2019

Preț: 320^.17 lei 400^.21 lei

6-8 săpt.

-20%

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 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

Lecture Notes in Computer Science, nr. 11423

Editat de Luís Caires

6 apr 2019

Preț: 380^.75 lei 475^.93 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

Lecture Notes in Computer Science, nr. 11562

Editat de Isil Dillig et al.

13 iul 2019

Preț: 368^.10 lei 460^.12 lei

6-8 săpt.

-20%

Languages and Compilers for Parallel Computing: 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22–24, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11998

Editat de Santosh Pande et al.

26 mar 2021

Preț: 321^.17 lei 401^.47 lei

6-8 săpt.

-20%

Algorithmic Aspects of Cloud Computing: 5th International Symposium, ALGOCLOUD 2019, Munich, Germany, September 10, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12041

Editat de Ivona Brandic et al.

30 aug 2020

Preț: 348^.97 lei 436^.21 lei

6-8 săpt.

-20%

Functional and Logic Programming: 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12073

Editat de Keisuke Nakano et al.

9 sep 2020

Preț: 323^.93 lei 404^.90 lei

6-8 săpt.

-20%

Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12075

Editat de Peter Müller

18 apr 2020

Preț: 322^.70 lei 403^.37 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12077

Editat de Jean Goubault-Larrecq et al.

18 apr 2020

Preț: 369^.65 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 12094

Editat de Daniela Petrişan et al.

20 aug 2020

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

6-8 săpt.

-20%

Mathematical Optimization Theory and Operations Research: 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12095

Editat de Alexander Kononov et al.

17 iun 2020

Preț: 337^.05 lei 421^.31 lei

6-8 săpt.

-20%

Learning and Intelligent Optimization: 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12096

Editat de Ilias S. Kotsireas et al.

18 iul 2020

Preț: 390^.15 lei

6-8 săpt.

Mathematical Software – ICMS 2020: 7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12097

Editat de Anna Maria Bigatti et al.

8 iul 2020

Preț: 337^.69 lei 422^.11 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

Lecture Notes in Computer Science, nr. 12098

Editat de Marcella Anselmo et al.

24 iun 2020

Preț: 332^.83 lei 416^.03 lei

6-8 săpt.

-20%

LATIN 2020: Theoretical Informatics: 14th Latin American Symposium, São Paulo, Brazil, January 5-8, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12118

Editat de Yoshiharu Kohayakawa et al.

3 dec 2020

Preț: 652^.75 lei 815^.94 lei

6-8 săpt.

-20%

Computational Science – ICCS 2020: 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part V

Lecture Notes in Computer Science, nr. 12141

Editat de Valeria V. Krzhizhanovskaya et al.

19 iun 2020

Preț: 343^.55 lei 429^.44 lei

6-8 săpt.

-20%

Advances in Swarm Intelligence: 11th International Conference, ICSI 2020, Belgrade, Serbia, July 14–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12145

Editat de Ying Tan et al.

13 iul 2020

Preț: 346^.95 lei 433^.69 lei

6-8 săpt.

-20%

High Performance Computing: 35th International Conference, ISC High Performance 2020, Frankfurt/Main, Germany, June 22–25, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12151

Editat de Ponnuswamy Sadayappan et al.

16 iun 2020

Preț: 536^.29 lei 670^.36 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

Lecture Notes in Computer Science, nr. 12152

Editat de Ryszard Janicki et al.

25 iun 2020

Preț: 334^.29 lei 417^.86 lei

6-8 săpt.

-20%

Architecture of Computing Systems – ARCS 2020: 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12155

Editat de André Brinkmann et al.

9 iul 2020

Preț: 325^.71 lei 407^.14 lei

6-8 săpt.

-20%

Structural Information and Communication Complexity: 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12156

Editat de Andrea Werneck Richa et al.

30 iul 2020

Preț: 331^.86 lei 414^.82 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

Lecture Notes in Computer Science, nr. 12159

Editat de Henning Fernau

13 iun 2020

Preț: 334^.11 lei 417^.64 lei

6-8 săpt.

-20%

Combinatorial Optimization: 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4–6, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12176

Editat de Mourad Baïou et al.

20 iul 2020

Preț: 327^.63 lei 409^.54 lei

6-8 săpt.

-20%

Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12178

Editat de Luca Pulina et al.

iul 2020

Preț: 339^.15 lei 423^.94 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

Lecture Notes in Computer Science, nr. 12218

Editat de Simon K. S. Cheung et al.

20 iul 2020

Preț: 525^.39 lei 618^.10 lei

6-8 săpt.

-15%

Trends in Functional Programming: 21st International Symposium, TFP 2020, Krakow, Poland, February 13–14, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12222

Editat de Aleksander Byrski et al.

18 aug 2020

Preț: 325^.03 lei 406^.29 lei

6-8 săpt.

-20%

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Lecture Notes in Computer Science, nr. 12224

Editat de Shuvendu K. Lahiri et al.

16 iul 2020

Preț: 289^.84 lei 362^.30 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

Lecture Notes in Computer Science, nr. 12247

Editat de Maciej Malawski et al.

16 aug 2020

Preț: 345^.98 lei 432^.47 lei

6-8 săpt.

-20%

Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part II

Lecture Notes in Computer Science, nr. 12250

Editat de Osvaldo Gervasi et al.

2 oct 2020

Preț: 670^.91 lei 838^.64 lei

6-8 săpt.

-20%

Computational Science and Its Applications – ICCSA 2020: 20th International Conference, Cagliari, Italy, July 1–4, 2020, Proceedings, Part V

Lecture Notes in Computer Science, nr. 12253

Editat de Osvaldo Gervasi et al.

3 oct 2020

Preț: 660^.40 lei 825^.50 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

Lecture Notes in Computer Science, nr. 12269

Editat de Thomas Bäck et al.

3 sep 2020

Preț: 601^.50 lei 751^.87 lei

6-8 săpt.

-20%

Computing and Combinatorics: 26th International Conference, COCOON 2020, Atlanta, GA, USA, August 29–31, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12273

Editat de Donghyun Kim et al.

27 aug 2020

Preț: 653^.89 lei 817^.36 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

Lecture Notes in Computer Science, nr. 12281

Editat de Luís S. Barbosa et al.

13 aug 2020

Preț: 318^.74 lei 398^.42 lei

6-8 săpt.

-20%

Information Retrieval: 26th China Conference, CCIR 2020, Xi'an, China, August 14–16, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12285

Editat de Zhicheng Dou et al.

31 iul 2020

Preț: 321^.00 lei 401^.25 lei

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10–12, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12286

Editat de Hector Zenil

18 oct 2020

Preț: 321^.49 lei 401^.86 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

Lecture Notes in Computer Science, nr. 12288

Editat de Nathalie Bertrand et al.

17 aug 2020

Preț: 327^.63 lei 409^.54 lei

6-8 săpt.

-20%

Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12289

Editat de Marco Gribaudo et al.

3 noi 2020

Preț: 327^.83 lei 409^.78 lei

6-8 săpt.

-20%

Algorithmic Aspects in Information and Management: 14th International Conference, AAIM 2020, Jinhua, China, August 10–12, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12290

Editat de Zhao Zhang et al.

9 aug 2020

Preț: 344^.19 lei 430^.24 lei

6-8 săpt.

-20%

Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12296

Editat de Emmanuel Hebrard et al.

19 sep 2020

Preț: 396^.98 lei

6-8 săpt.

Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday

Lecture Notes in Computer Science, nr. 12300

Editat de Vivek Nigam et al.

29 oct 2020

Preț: 378^.87 lei 473^.59 lei

6-8 săpt.

-20%

Graph-Theoretic Concepts in Computer Science: 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12301

Editat de Isolde Adler et al.

16 oct 2020

Preț: 333^.47 lei 416^.84 lei

6-8 săpt.

-20%

String Processing and Information Retrieval: 27th International Symposium, SPIRE 2020, Orlando, FL, USA, October 13–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12303

Editat de Christina Boucher et al.

17 sep 2020

Preț: 327^.96 lei 409^.95 lei

6-8 săpt.

-20%

Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12310

Editat de Frank de Boer et al.

12 sep 2020

Preț: 356^.91 lei 446^.13 lei

6-8 săpt.

-20%

Dynamic Data Driven Applications Systems: Third International Conference, DDDAS 2020, Boston, MA, USA, October 2-4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12312

Editat de Frederica Darema et al.

3 noi 2020

Preț: 330^.71 lei 413^.39 lei

6-8 săpt.

-20%

High Performance Computing: ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21–25, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12321

Editat de Heike Jagode et al.

20 oct 2020

Preț: 471^.57 lei 589^.46 lei

6-8 săpt.

-20%

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12328

Editat de Santiago Escobar et al.

11 dec 2020

Preț: 323^.60 lei 404^.50 lei

6-8 săpt.

-20%

Theory and Applications of Models of Computation: 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12337

Editat de Jianer Chen et al.

12 oct 2020

Preț: 335^.11 lei 418^.89 lei

6-8 săpt.

-20%

Frontiers in Algorithmics: 14th International Workshop, FAW 2020, Haikou, China, October 19-21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12340

Editat de Minming Li

23 sep 2020

Preț: 320^.02 lei 400^.03 lei

6-8 săpt.

-20%

Wireless Algorithms, Systems, and Applications: 15th International Conference, WASA 2020, Qingdao, China, September 13–15, 2020, Proceedings, Part II

Lecture Notes in Computer Science, nr. 12385

Editat de Dongxiao Yu et al.

9 sep 2020

Preț: 320^.02 lei 400^.03 lei

6-8 săpt.

-20%

Artificial Neural Networks and Machine Learning – ICANN 2020: 29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15–18, 2020, Proceedings, Part I

Lecture Notes in Computer Science, nr. 12396

Editat de Igor Farkaš et al.

20 oct 2020

Preț: 664^.76 lei 830^.95 lei

6-8 săpt.

-20%

Green, Pervasive, and Cloud Computing: 15th International Conference, GPC 2020, Xi'an, China, November 13–15, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12398

Editat de Zhiwen Yu et al.

27 noi 2020

Preț: 338^.51 lei 423^.14 lei

6-8 săpt.

-20%

Swarm Intelligence: 12th International Conference, ANTS 2020, Barcelona, Spain, October 26–28, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12421

Editat de Marco Dorigo et al.

23 oct 2020

Preț: 330^.39 lei 413^.00 lei

6-8 săpt.

-20%

Optimization and Applications: 11th International Conference, OPTIMA 2020, Moscow, Russia, September 28 – October 2, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12422

Editat de Nicholas Olenev et al.

6 noi 2020

Preț: 329^.25 lei 411^.56 lei

6-8 săpt.

-20%

Bioinspired Optimization Methods and Their Applications: 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12438

Editat de Bogdan Filipič et al.

8 noi 2020

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

6-8 săpt.

-20%

Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12442

Editat de Galina Jirásková et al.

7 noi 2020

Preț: 324^.89 lei 406^.11 lei

6-8 săpt.

-20%

Reachability Problems: 14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12448

Editat de Sylvain Schmitz et al.

13 oct 2020

Preț: 321^.64 lei 402^.05 lei

6-8 săpt.

-20%

Algorithms and Architectures for Parallel Processing: 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III

Lecture Notes in Computer Science, nr. 12454

Editat de Meikang Qiu

30 sep 2020

Preț: 650^.34 lei 765^.10 lei

6-8 săpt.

-15%

High Performance Computing in Science and Engineering: 4th International Conference, HPCSE 2019, Karolinka, Czech Republic, May 20–23, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12456

Editat de Tomáš Kozubek et al.

8 ian 2021

Preț: 321^.00 lei 401^.25 lei

6-8 săpt.

-20%

Euro-Par 2020: Parallel Processing Workshops: Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12480

Editat de Bartosz Balis et al.

14 mar 2021

Preț: 330^.71 lei 413^.39 lei

6-8 săpt.

-20%

Theory and Practice of Natural Computing: 9th International Conference, TPNC 2020, Taoyuan, Taiwan, December 7–9, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12494

Editat de Carlos Martín-Vide et al.

4 noi 2020

Preț: 321^.49 lei 401^.86 lei

6-8 săpt.

-20%

Stabilization, Safety, and Security of Distributed Systems: 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12514

Editat de Stéphane Devismes et al.

25 noi 2020

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

6-8 săpt.

-20%

Advances in Computer Games: 16th International Conference, ACG 2019, Macao, China, August 11–13, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12516

Editat de Tristan Cazenave et al.

20 dec 2020

Preț: 321^.95 lei 402^.44 lei

6-8 săpt.

-20%

Informatics in Schools. Engaging Learners in Computational Thinking: 13th International Conference, ISSEP 2020, Tallinn, Estonia, November 16–18, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12518

Editat de Külli Kori et al.

6 noi 2020

Preț: 378^.64 lei

6-8 săpt.

Verification and Evaluation of Computer and Communication Systems: 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12519

Editat de Belgacem Ben Hedia et al.

20 dec 2020

Preț: 326^.82 lei 408^.52 lei

6-8 săpt.

-20%

Next-Gen Digital Services. A Retrospective and Roadmap for Service Computing of the Future: Essays Dedicated to Michael Papazoglou on the Occasion of His 65th Birthday and His Retirement

Lecture Notes in Computer Science, nr. 12521

Editat de Marco Aiello et al.

10 apr 2021

Preț: 326^.68 lei 408^.35 lei

6-8 săpt.

-20%

Neural Information Processing: 27th International Conference, ICONIP 2020, Bangkok, Thailand, November 23–27, 2020, Proceedings, Part III

Lecture Notes in Computer Science, nr. 12534

Editat de Haiqin Yang et al.

19 noi 2020

Preț: 652^.75 lei 815^.94 lei

6-8 săpt.

-20%

Arithmetic of Finite Fields: 8th International Workshop, WAIFI 2020, Rennes, France, July 6–8, 2020, Revised Selected and Invited Papers

Lecture Notes in Computer Science, nr. 12542

Editat de Jean Claude Bajard et al.

17 feb 2021

Preț: 326^.68 lei 408^.35 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12545

Editat de Violet Ka I Pun et al.

25 noi 2020

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

6-8 săpt.

-20%

Advances in Neural Networks – ISNN 2020: 17th International Symposium on Neural Networks, ISNN 2020, Cairo, Egypt, December 4–6, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12557

Editat de Min Han et al.

29 noi 2020

Preț: 326^.99 lei 408^.74 lei

6-8 săpt.

-20%

Variable Neighborhood Search: 8th International Conference, ICVNS 2021, Abu Dhabi, United Arab Emirates, March 21–25, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12559

Editat de Nenad Mladenovic et al.

18 feb 2021

Preț: 378^.23 lei 472^.79 lei

6-8 săpt.

-20%

Functional and Constraint Logic Programming: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12560

Editat de Michael Hanus et al.

6 mai 2021

Preț: 320^.02 lei 400^.03 lei

6-8 săpt.

-20%

Logic-Based Program Synthesis and Transformation: 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12561

Editat de Maribel Fernández

13 feb 2021

Preț: 497^.64 lei 622^.04 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

Lecture Notes in Computer Science, nr. 12564

Editat de Dun Deng et al.

17 dec 2020

Preț: 464^.60 lei 580^.76 lei

6-8 săpt.

-20%

Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12569

Editat de Manuel A. Martins et al.

22 dec 2020

Preț: 327^.45 lei 409^.32 lei

6-8 săpt.

-20%

Computational Data and Social Networks: 9th International Conference, CSoNet 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12575

Editat de Sriram Chellappan et al.

4 ian 2021

Preț: 339^.80 lei 424^.75 lei

6-8 săpt.

-20%

Combinatorial Optimization and Applications: 14th International Conference, COCOA 2020, Dallas, TX, USA, December 11–13, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12577

Editat de Weili Wu et al.

5 dec 2020

Preț: 661^.35 lei 826^.70 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12597

Editat de Fritz Henglein et al.

12 ian 2021

Preț: 594^.36 lei 742^.95 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

Lecture Notes in Computer Science, nr. 12599

Editat de Tomasz M. Gwizdałła et al.

13 feb 2021

Preț: 326^.50 lei 408^.12 lei

6-8 săpt.

-20%

Algorithms and Discrete Applied Mathematics: 7th International Conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12601

Editat de Apurva Mudgal et al.

20 ian 2021

Preț: 590^.13 lei 737^.67 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

Lecture Notes in Computer Science, nr. 12606

Editat de Yong Zhang et al.

21 feb 2021

Preț: 332^.69 lei 415^.86 lei

6-8 săpt.

-20%

SOFSEM 2021: Theory and Practice of Computer Science: 47th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12607

Editat de Tomáš Bureš et al.

21 ian 2021

Preț: 651^.32 lei 814^.15 lei

6-8 săpt.

-20%

WALCOM: Algorithms and Computation: 15th International Conference and Workshops, WALCOM 2021, Yangon, Myanmar, February 28 – March 2, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12635

Editat de Ryuhei Uehara et al.

31 ian 2021

Preț: 329^.57 lei 411^.97 lei

6-8 săpt.

-20%

Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12638

Editat de Alberto Leporati et al.

19 feb 2021

Preț: 329^.75 lei 412^.19 lei

6-8 săpt.

-20%

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 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

Lecture Notes in Computer Science, nr. 12648

Editat de Nobuko Yoshida

23 mar 2021

Preț: 318^.79 lei 398^.49 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

Lecture Notes in Computer Science, nr. 12649

Editat de Esther Guerra et al.

20 mar 2021

Preț: 303^.24 lei 379^.05 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 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

Lecture Notes in Computer Science, nr. 12650

Editat de Stefan Kiefer et al.

23 mar 2021

Preț: 313^.10 lei 391^.38 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 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, Part II

Lecture Notes in Computer Science, nr. 12652

Editat de Jan Friso Groote et al.

23 mar 2021

Preț: 308^.10 lei 385^.13 lei

6-8 săpt.

-20%

Evolutionary Multi-Criterion Optimization: 11th International Conference, EMO 2021, Shenzhen, China, March 28–31, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12654

Editat de Hisao Ishibuchi et al.

24 mar 2021

Preț: 658^.93 lei 823^.66 lei

6-8 săpt.

-20%

Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12669

Editat de Markus Roggenbach

11 apr 2021

Preț: 320^.02 lei 400^.03 lei

6-8 săpt.

-20%

Genetic Programming: 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12691

Editat de Ting Hu et al.

25 mar 2021

Preț: 326^.68 lei 408^.35 lei

6-8 săpt.

-20%

Evolutionary Computation in Combinatorial Optimization: 21st European Conference, EvoCOP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12692

Editat de Christine Zarges et al.

27 mar 2021

Preț: 324^.71 lei 405^.89 lei

6-8 săpt.

-20%

Artificial Intelligence in Music, Sound, Art and Design: 10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12693

Editat de Juan Romero et al.

2 apr 2021

Preț: 588^.02 lei 735^.02 lei

6-8 săpt.

-20%

Applications of Evolutionary Computation: 24th International Conference, EvoApplications 2021, Held as Part of EvoStar 2021, Virtual Event, April 7–9, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12694

Editat de Pedro A. Castillo et al.

apr 2021

Preț: 997^.10 lei 1246^.38 lei

6-8 săpt.

-20%

Integer Programming and Combinatorial Optimization: 22nd International Conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12707

Editat de Mohit Singh et al.

9 apr 2021

Preț: 336^.90 lei 421^.12 lei

6-8 săpt.

-20%

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12709

Editat de Alexander Raschke et al.

23 mai 2021

Preț: 377^.13 lei 471^.41 lei

6-8 săpt.

-20%

Application and Theory of Petri Nets and Concurrency: 42nd International Conference, PETRI NETS 2021, Virtual Event, June 23–25, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12734

Editat de Didier Buchs et al.

21 mai 2021

Preț: 336^.72 lei 420^.90 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Theoretical Computer Science and General Issues