Lecture Notes in Computer Science

Accelerator Programming Using Directives

Editat de Sridutt Bhalachandra et al.

17 apr 2021

Preț: 311^.78 lei 389^.72 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures

Lecture Notes in Computer Science

Editat de Stefan Kiefer et al.

23 mar 2021

Preț: 308^.74 lei 385^.92 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Patricia Bouyer et al.

29 mar 2022

Preț: 303^.44 lei 379^.30 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Constantin Enea et al.

17 iul 2023

Preț: 305^.04 lei 381^.30 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Ilya Sergey

29 mar 2022

Preț: 310^.15 lei 387^.68 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Naoki Kobayashi et al.

6 apr 2024

Preț: 293^.24 lei 366^.54 lei

3-5 săpt.

-20%

Lecture Notes in Computer Science

Editat de Christoph Benzmüller et al.

2 iul 2024

Preț: 295^.50 lei 369^.37 lei

38-44 zile

-20%

Participative Urban Health and Healthy Aging in the Age of AI

Lecture Notes in Computer Science

Editat de Hamdi Aloulou et al.

22 iun 2022

Preț: 295^.26 lei 369^.08 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science

Editat de Yujiu Yang et al.

16 sep 2025

Preț: 311^.61 lei 389^.51 lei

6-8 săpt.

-20%

GI Gesellschaft für Informatik e. V.: 3. Jahrestagung Hamburg, 8.–10. Oktober 1973

Lecture Notes in Computer Science, nr. 1

Autor Wilfried Brauer

1973

Preț: 306^.69 lei 383^.36 lei

6-8 săpt.

-20%

Fifth Conference on Optimization Techniques. Rome 1973: Part 2

Lecture Notes in Computer Science, nr. 4

Editat de Roberto Conti et al.

19 dec 1973

Preț: 347^.61 lei

6-8 săpt.

ECI Conference 1976: Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

Lecture Notes in Computer Science, nr. 44

Editat de K. Samelson

iul 1976

Preț: 294^.64 lei 368^.30 lei

6-8 săpt.

-20%

Theoretical Computer Science: 3rd GI Conference Darmstadt, March 28-30, 1977

Lecture Notes in Computer Science, nr. 48

Editat de H. Tzschach et al.

mar 1977

Preț: 298^.90 lei 373^.63 lei

6-8 săpt.

-20%

Interactive Systems: Proceedings, 6. Informatik-Symposium, IBM Germany, Bad Homburg v.d.H., September 1976

Lecture Notes in Computer Science, nr. 49

Editat de A. Blaser et al.

apr 1977

Preț: 297^.01 lei 371^.26 lei

6-8 săpt.

-20%

Automata, Languages and Programming: Fourth Colloquium, University of Turku, Finnland, July 18-22, 1977

Lecture Notes in Computer Science, nr. 52

Editat de A. Salomaa et al.

11 iul 1977

Preț: 306^.03 lei 382^.53 lei

6-8 săpt.

-20%

Trends in Information Processing Systems: 3rd Conference of the European Cooperation in Informatics, Munich, October 20-22, 1981

Lecture Notes in Computer Science, nr. 123

Editat de A.J.W. Duijvestijn et al.

oct 1981

Preț: 295^.76 lei 369^.70 lei

6-8 săpt.

-20%

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985

Lecture Notes in Computer Science, nr. 182

Editat de K. Mehlhorn

dec 1984

Preț: 296^.69 lei 370^.86 lei

6-8 săpt.

-20%

STACS 86: 3rd Annual Symposium on Theoretical Aspects of Computer Science - Orsay, France, January 16-18, 1986

Lecture Notes in Computer Science, nr. 210

Editat de B. Monien et al.

dec 1985

Preț: 296^.51 lei 370^.64 lei

6-8 săpt.

-20%

TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987: Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)

Lecture Notes in Computer Science, nr. 249

Editat de Hartmut Ehrig et al.

27 feb 1987

Preț: 293^.20 lei 366^.50 lei

6-8 săpt.

-20%

Unobstructed Shortest Paths in Polyhedral Environments

Lecture Notes in Computer Science, nr. 251

Autor Varol Akman

11 mar 1987

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

6-8 săpt.

-20%

Electronic Dictionaries and Automata in Computational Linguistics: LITP Spring School in Theoretical Computer Science, Saint- Pierre d'Oleron, France, May 25-29, 1987. Proceedings

Lecture Notes in Computer Science, nr. 377

Editat de Maurice Gross et al.

26 iul 1989

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

A Formal Model of Visualization in Computer Graphics Systems

Lecture Notes in Computer Science, nr. 421

Autor Tamiya Onodera et al.

4 apr 1990

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

6-8 săpt.

-20%

Database Systems of the 90s: International Symposium, Müggelsee, Berlin, FRG, November 5-7, 1990, Proceedings

Lecture Notes in Computer Science, nr. 466

Editat de Albrecht Blaser

26 oct 1990

Preț: 295^.09 lei 368^.86 lei

6-8 săpt.

-20%

Information Systems and Artificial Intelligence: Integration Aspects: First Workshop, Ulm, FRG, March 19-21, 1990. Proceedings

Lecture Notes in Computer Science, nr. 474

Editat de Dimitris Karagiannis

12 feb 1991

Preț: 293^.02 lei 366^.28 lei

6-8 săpt.

-20%

Algebraic System Specification and Development: A Survey and Annotated Bibliography

Lecture Notes in Computer Science, nr. 501

Editat de Michel Bidoit et al.

26 iun 1991

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

6-8 săpt.

-20%

The Newton-Cauchy Framework: A Unified Approach to Unconstrained Nonlinear Minimization

Lecture Notes in Computer Science, nr. 769

Autor John L. Nazareth

28 feb 1994

Preț: 311^.67 lei 389^.59 lei

6-8 săpt.

-20%

Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

Lecture Notes in Computer Science, nr. 1001

Editat de Madhu Sudan

13 dec 1995

Preț: 310^.87 lei 388^.59 lei

6-8 săpt.

-20%

Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

Lecture Notes in Computer Science, nr. 2067

Editat de Franck Cassez et al.

24 oct 2001

Preț: 305^.75 lei 382^.18 lei

6-8 săpt.

-20%

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Lecture Notes in Computer Science, nr. 3655

Editat de Alessandro Aldini et al.

12 sep 2005

Preț: 292^.71 lei 365^.88 lei

6-8 săpt.

-20%

Knowledge Discovery from XML Documents: First International Workshop, KDXD 2006, Singapore, April 9, 2006, Proceedings

Lecture Notes in Computer Science, nr. 3915

Editat de Richi Nayak et al.

23 mar 2006

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Euro-Par 2008 Workshops - Parallel Processing: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Las Palmas de Gran Canaria, Spain, August 25-26, 2008, Revised Selected Papers

Lecture Notes in Computer Science, nr. 5415

Editat de Eduardo César et al.

22 apr 2009

Preț: 293^.66 lei 367^.08 lei

Indisponibil temporar

-20%

Network Economics for Next Generation Networks: 6th International Workshop on Internet Charging and QoS Technologies, ICQT 2009, Aachen, Germany, May 11-15, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5539

Editat de Peter Reichl et al.

7 mai 2009

Preț: 311^.50 lei 389^.38 lei

6-8 săpt.

-20%

Advances in Data Mining. Applications and Theoretical Aspects: 9th Industrial Conference, ICDM 2009, Leipzig, Germany, July 20 - 22, 2009. Proceedings

Lecture Notes in Computer Science, nr. 5633

Editat de Petra Perner

10 iul 2009

Preț: 327^.36 lei 409^.20 lei

6-8 săpt.

-20%

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures

Lecture Notes in Computer Science, nr. 5705

Editat de Alessandro Aldini et al.

17 aug 2009

Preț: 296^.84 lei 371^.04 lei

6-8 săpt.

-20%

Database Programming Languages: 12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5708

Editat de Philippa Gardner et al.

6 aug 2009

Preț: 311^.50 lei 389^.38 lei

6-8 săpt.

-20%

Machine Learning in Medical Imaging: First International Workshop, MLMI 2010, Held in Conjunction with MICCAI 2010, Beijing, China, September 20, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6357

Editat de Fei Wang et al.

3 sep 2010

Preț: 316^.28 lei 395^.35 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 6420

Editat de Antonio Casimiro et al.

16 noi 2010

Preț: 311^.50 lei 389^.38 lei

3-5 săpt.

-20%

Transactions on Pattern Languages of Programming II: Special lssue on Applying Patterns

Lecture Notes in Computer Science, nr. 6510

James Noble et al.

17 mar 2011

Preț: 310^.87 lei 388^.59 lei

3-5 săpt.

-20%

Research in Computational Molecular Biology: 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6577

Editat de Vineet Bafna et al.

23 mar 2011

Preț: 305^.01 lei 381^.25 lei

Indisponibil temporar

-20%

Transactions on Data Hiding and Multimedia Security VIII

Lecture Notes in Computer Science, nr. 7228

Editat de Yun Q. Shi

6 iul 2012

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

6-8 săpt.

-20%

Internet and Distributed Computing Systems: 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7646

Editat de Yang Xiang et al.

13 oct 2012

Preț: 292^.71 lei 365^.88 lei

6-8 săpt.

-20%

Advances in Data Mining: Applications and Theoretical Aspects: 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings

Lecture Notes in Computer Science, nr. 7987

Editat de Petra Perner

11 iul 2013

Preț: 293^.42 lei 366^.77 lei

6-8 săpt. | 10-14 zile

-20%

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8053

Editat de Víctor Braberman et al.

8 aug 2013

Preț: 292^.88 lei 366^.11 lei

6-8 săpt.

-20%

Reasoning Web. Semantic Technologies for Intelligent Data Access: 9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings

Lecture Notes in Computer Science, nr. 8067

Editat de Sebastian Rudolph et al.

9 iul 2013

Preț: 292^.40 lei 365^.50 lei

6-8 săpt.

-20%

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8071

Editat de Leonid Libkin et al.

8 aug 2013

Preț: 292^.40 lei 365^.50 lei

6-8 săpt.

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8123

Editat de Didier Galmiche et al.

21 aug 2013

Preț: 292^.57 lei 365^.71 lei

6-8 săpt.

-20%

Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications: First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers

Lecture Notes in Computer Science, nr. 8336

Editat de Igor Paprotny et al.

15 mai 2014

Preț: 311^.04 lei 388^.81 lei

6-8 săpt.

-20%

Intelligence and Security Informatics: Pacific Asia Workshop, PAISI 2014, Tainan, Taiwan, May 13, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8440

Editat de Michael Chau et al.

15 mai 2014

Preț: 310^.87 lei 388^.59 lei

6-8 săpt.

-20%

Pattern Recognition in Bioinformatics: 9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8626

Editat de Matteo Comin et al.

5 aug 2014

Preț: 301^.49 lei

6-8 săpt.

Informatics in SchoolsTeaching and Learning Perspectives: 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8730

Editat de Yasemin Gülbahar et al.

25 aug 2014

Preț: 303^.90 lei

6-8 săpt.

Advances in Bioinformatics and Computational Biology: 9th Brazilian Symposium on Bioinformatics, BSB 2014, Belo Horizonte, Brazil, October 28-30, 2014, Proceedings

Lecture Notes in Computer Science, nr. 8826

Editat de Sérgio Campos

oct 2014

Preț: 302^.59 lei

6-8 săpt.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI: Selected Papers from ACOMP 2013

Lecture Notes in Computer Science, nr. 8960

Editat de Abdelkader Hameurlain et al.

2 ian 2015

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

6-8 săpt.

-20%

Lightweight Cryptography for Security and Privacy: 4th International Workshop, LightSec 2015, Bochum, Germany, September 10-11, 2015, Revised Selected Papers

Lecture Notes in Computer Science, nr. 9542

Editat de Tim Güneysu et al.

23 ian 2016

Preț: 302^.95 lei

6-8 săpt.

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%

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXII: Special Issue on Big Data Analytics and Knowledge Discovery

Lecture Notes in Computer Science, nr. 10420

Editat de Abdelkader Hameurlain et al.

10 aug 2017

Preț: 311^.67 lei 389^.59 lei

6-8 săpt.

-20%

Simulation and Synthesis in Medical Imaging: Second International Workshop, SASHIMI 2017, Held in Conjunction with MICCAI 2017, Québec City, QC, Canada, September 10, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10557

Editat de Sotirios A. Tsaftaris et al.

30 sep 2017

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Data Integration in the Life Sciences: 12th International Conference, DILS 2017, Luxembourg, Luxembourg, November 14-15, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10649

Editat de Marcos Da Silveira et al.

25 oct 2017

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Graphs in Biomedical Image Analysis and Integrating Medical Imaging and Non-Imaging Modalities: Second International Workshop, GRAIL 2018 and First International Workshop, Beyond MIC 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 20, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11044

Editat de Danail Stoyanov et al.

16 sep 2018

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Video Analytics. Face and Facial Expression Recognition: Third International Workshop, FFER 2018, and Second International Workshop, DLPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11264

Editat de Xiang Bai et al.

19 ian 2019

Preț: 310^.41 lei 388^.01 lei

6-8 săpt.

-20%

The Future of Digital Democracy: An Interdisciplinary Approach

Lecture Notes in Computer Science, nr. 11300

Editat de Pierluigi Contucci et al.

19 ian 2019

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

6-8 săpt.

-20%

Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction: 5th IAPR TC 9 Workshop, MPRSS 2018, Beijing, China, August 20, 2018, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11377

Editat de Friedhelm Schwenker et al.

15 mai 2019

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

6-8 săpt.

-20%

Cellular Automata and Discrete Complex Systems: 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11525

Editat de Alonso Castillo-Ramirez et al.

14 mai 2019

Preț: 311^.67 lei 389^.59 lei

6-8 săpt.

-20%

Current Trends in Web Engineering: ICWE 2019 International Workshops, DSKG, KDWEB, MATWEP, Daejeon, South Korea, June 11, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11609

Editat de Marco Brambilla et al.

24 iun 2020

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

6-8 săpt.

-20%

Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support: Second International Workshop, iMIMIC 2019, and 9th International Workshop, ML-CDS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 17, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11797

Editat de Kenji Suzuki et al.

26 oct 2019

Preț: 311^.04 lei 388^.81 lei

6-8 săpt.

-20%

Web and Big Data: APWeb-WAIM 2019 International Workshops, KGMA and DSEA, Chengdu, China, August 1–3, 2019, Revised Selected Papers

Lecture Notes in Computer Science, nr. 11809

Editat de Jingkuan Song et al.

noi 2019

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

6-8 săpt.

-20%

Mathematical and Computational Oncology: First International Symposium, ISMCO 2019, Lake Tahoe, NV, USA, October 14–16, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11826

Editat de George Bebis et al.

15 noi 2019

Preț: 311^.67 lei 389^.59 lei

6-8 săpt.

-20%

Verification and Evaluation of Computer and Communication Systems: 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11847

Editat de Pierre Ganty et al.

10 noi 2019

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

6-8 săpt.

-20%

Multiscale Multimodal Medical Imaging: First International Workshop, MMMI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11977

Editat de Quanzheng Li et al.

20 dec 2019

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Radiomics and Radiogenomics in Neuro-oncology: First International Workshop, RNO-AI 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13, 2019, Proceedings

Lecture Notes in Computer Science, nr. 11991

Editat de Hassan Mohy-ud-Din et al.

25 feb 2020

Preț: 310^.73 lei 388^.41 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

Lecture Notes in Computer Science, nr. 12076

Editat de Heike Wehrheim et al.

21 apr 2020

Preț: 305^.25 lei 381^.56 lei

6-8 săpt.

-20%

The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12157

Editat de Mohamed Jmaiel et al.

25 iun 2020

Preț: 300^.19 lei 375^.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

Lecture Notes in Computer Science, nr. 12281

Editat de Luís S. Barbosa et al.

13 aug 2020

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

6-8 săpt.

-20%

Multi-Agent-Based Simulation XXI: 21st International Workshop, MABS 2020, Auckland, New Zealand, May 10, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12316

Editat de Samarth Swarup et al.

19 ian 2021

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Services – SERVICES 2020: 16th World Congress, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18-20, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12411

Editat de Joao Eduardo Ferreira et al.

17 sep 2020

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

6-8 săpt.

-20%

Current Trends in Web Engineering: ICWE 2020 International Workshops, KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 9–12, 2020, Revised Selected Papers

Lecture Notes in Computer Science, nr. 12451

Editat de In-Young Ko et al.

11 dec 2020

Preț: 310^.23 lei 387^.79 lei

6-8 săpt.

-20%

Head and Neck Tumor Segmentation: First Challenge, HECKTOR 2020, Held in Conjunction with MICCAI 2020, Lima, Peru, October 4, 2020, Proceedings

Lecture Notes in Computer Science, nr. 12603

Editat de Vincent Andrearczyk et al.

13 ian 2021

Preț: 311^.36 lei 389^.19 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ț: 296^.69 lei 370^.86 lei

6-8 săpt.

-20%

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12699

Editat de André Platzer et al.

8 iul 2021

Preț: 309^.83 lei 387^.29 lei

6-8 săpt.

-20%

Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings

Lecture Notes in Computer Science, nr. 12740

Editat de Frédéric Loulergue et al.

18 iun 2021

Preț: 311^.67 lei 389^.59 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

Lecture Notes in Computer Science, nr. 13241

Editat de Einar Broch Johnsen et al.

29 mar 2022

Preț: 295^.58 lei 369^.47 lei

6-8 săpt.

-20%

Database Systems for Advanced Applications: 27th International Conference, DASFAA 2022, Virtual Event, April 11–14, 2022, Proceedings, Part I

Lecture Notes in Computer Science, nr. 13245

Autor Steven F. Barrett et al.

12 mai 2022

Preț: 292^.75 lei 365^.93 lei

Indisponibil temporar

-20%

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II

Lecture Notes in Computer Science, nr. 13372

Editat de Sharon Shoham et al.

6 aug 2022

Preț: 305^.41 lei 381^.75 lei

6-8 săpt.

-20%

Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13990

Editat de Thomas Wies

18 apr 2023

Preț: 305^.88 lei 382^.35 lei

6-8 săpt.

-20%

Fundamental Approaches to Software Engineering: 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13991

Editat de Leen Lambers et al.

20 apr 2023

Preț: 294^.46 lei 368^.08 lei

6-8 săpt.

-20%

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Lecture Notes in Computer Science, nr. 13992

Editat de Orna Kupferman et al.

21 apr 2023

Preț: 305^.71 lei 382^.13 lei

6-8 săpt.

-20%

Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

Lecture Notes in Computer Science, nr. 14095

Editat de Andrew Reynolds et al.

5 sep 2024

Preț: 311^.36 lei 389^.19 lei

6-8 săpt.

-20%

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14132

Editat de Brigitte Pientka et al.

3 sep 2023

Preț: 303^.44 lei 379^.30 lei

38-44 zile

-20%

Digital Health Transformation, Smart Ageing, and Managing Disability: 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14237

Editat de Kim Jongbae et al.

22 sep 2023

Preț: 297^.64 lei 372^.04 lei

3-5 săpt.

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14278

Editat de Revantha Ramanayake et al.

14 sep 2023

Preț: 302^.56 lei 378^.20 lei

6-8 săpt.

-20%

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II

Lecture Notes in Computer Science, nr. 14682

Editat de Arie Gurfinkel et al.

2 sep 2024

Preț: 302^.32 lei 377^.90 lei

6-8 săpt.

-20%

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III

Lecture Notes in Computer Science, nr. 14683

Editat de Arie Gurfinkel et al.

5 sep 2024

Preț: 302^.32 lei 377^.90 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 15000

Editat de Barbara Steffen et al.

28 noi 2025

Preț: 294^.32 lei 367^.90 lei

6-8 săpt.

-20%

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science, nr. 15980

Editat de Gian Luca Pozzato et al.

7 noi 2025

Preț: 301^.03 lei 376^.29 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 16154

Editat de Kejiang Ye et al.

25 sep 2025

Preț: 311^.78 lei 389^.72 lei

6-8 săpt.

-20%

Lecture Notes in Computer Science, nr. 16159

Editat de Shiping Chen et al.

27 oct 2025

Preț: 311^.78 lei 389^.72 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Lecture Notes in Computer Science