Computer software

Advanced Methods for Knowledge Discovery from Complex Data / by: (Electronic resources)

Randomized Algorithms for Analysis and Control of Uncertain Systems / by: (Electronic resources)

Dissemination of Information in Communication Networks :Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (Electronic resources)

Complexity Theory :Exploring the Limits of Efficient Algorithms / by: (Electronic resources)

Design and Analysis of Randomized Algorithms :Introduction to Design Paradigms / by: (Electronic resources)

Complexity Theory and Cryptology :An Introduction to Cryptocomplexity / by: (Electronic resources)

Spatially Structured Evolutionary Algorithms :Artificial Evolution in Space and Time / by: (Electronic resources)

Differential Evolution :A Practical Approach to Global Optimization / by: (Electronic resources)

Design of Adaptive Finite Element Software :The Finite Element Toolbox ALBERTA / by: (Electronic resources)

Complex Scheduling / by: (Electronic resources)

Handbook of Nature-Inspired and Innovative Computing :Integrating Classical Models with Emerging Technologies / by: (Electronic resources)

Genetic Programming Theory and Practice III / by: (Electronic resources)

Theory of Computation / by: (Electronic resources)

Information Visualization :Beyond the Horizon / by: (Electronic resources)

Discrete Mathematics Using a Computer / by: (Electronic resources)

Introduction to Reliable Distributed Programming / by: (Electronic resources)

Parameterized Complexity Theory / by: (Electronic resources)

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic / by: (Electronic resources)

Data Complexity in Pattern Recognition / by: (Electronic resources)

Blind Equalization and System Identification :Batch Processing Algorithms, Performance and Applications / by: (Electronic resources)

The Mathematica GuideBook for Numerics / by: (Electronic resources)

The Mathematica GuideBook for Symbolics / by: (Electronic resources)

Global Optimization :From Theory to Implementation / by: (Electronic resources)

Computer Algebra Recipes :An Introductory Guide to the Mathematical Models of Science / by: (Electronic resources)

Computing in Algebraic Geometry :A Quick Start using SINGULAR / by: (Electronic resources)

Optimization in Public Transportation :Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network / by: (Electronic resources)

Numerical Optimization :Theoretical and Practical Aspects / by: (Electronic resources)

A gentle introduction to Stata / by: (Language materials, printed)

SOFSEM 2008: Theory and Practice of Computer Science :34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008. Proceedings / by: (Electronic resources)

SOFSEM 2006: Theory and Practice of Computer Science32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 21-27, 2006, Proceedings / by: (Electronic resources)

Rapid Integration of Software Engineering Techniques (vol. # 3943)Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / by: (Electronic resources)

Software Process ChangeInternational Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings / by: (Electronic resources)

Mathematical Software - ICMS 2006Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / by: (Electronic resources)

Software Architecture (vol. # 4344)Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers / by: (Electronic resources)

SOFSEM 2005: Theory and Practice of Computer Science31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovsky Jan, Slovakia, January 22-28, 2005, Proceedings / by: (Electronic resources)

COTS-Based Software Systems4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by: (Electronic resources)

Foundations of Software Science and Computational Structures8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 / by: (Electronic resources)

Formal Methods for Mobile Computing5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures / by: (Electronic resources)

Rapid Integration of Software Engineering TechniquesFirst International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (Electronic resources)

Software Architecture2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by: (Electronic resources)

Software and Data TechnologiesFirst International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / by: (Electronic resources)

SOFSEM 2009theory and practice of computer science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, Czech Republic, January 24-30, 2009 : proceedings / by: (Electronic resources)

COTS-based software systemssecond international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 proceedings / by: (Electronic resources)

Formal methods for software architecturesThird International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 2003 : advanced lectures / by: (Electronic resources)

Foundations of software science and computational structures6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / by: (Electronic resources)

COTS-based software systemsthird international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / by: (Electronic resources)

Formal methods for the design of real-time systemsInternational School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / by: (Electronic resources)

Foundations of software science and computation structures7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / by: (Electronic resources)

Software architecturefirst European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings / by: (Electronic resources)

Trustworthy software development processesInternational Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (Electronic resources)

Foundations of software science and computational structures13th international conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings / by: (Electronic resources)

Foundations of software technology and theoretical computer science17th conference, Kharagpur, India, December 18-20, 1997 : proceedings / by: (Electronic resources)

SOFSEM'97theory and practice of informatics : 24th Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 1997 :proceedings / by: (Electronic resources)

Theoretical aspects of computer softwareThird International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / by: (Electronic resources)

Foundations of software science and computation structuresFirst International Conference, FoSSaCS'98 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings / by: (Electronic resources)

SOFSEM'98theory and practice of informatics : 25th Conference on Current Trends in Theory and Practice of Informatics, Jasna, Slovakia, November 21-27, 1998 : proceedings / by: (Electronic resources)

Foundations of software science and computation structuresSecond International Conference, FOSSACS '99 held as part of the joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings / by: (Electronic resources)

Foundations of software science and computation structuresThird International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000 : proceedings / by: (Electronic resources)

SOFSEM 2000theory and practice of informatics : 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000 : proceedings / by: (Electronic resources)

Foundations of software science and computation structures4th International Conference, FOSSACS 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6,2001 : proceedings / by: (Electronic resources)

SOFSEM 2001theory and practice of informatics : 28th Conference on Current Trends in Theory and Practice of Informatics, Piest'any, Slovak Rebulic, November 24-December 1, 2001, proceedings / by: (Electronic resources)

Theoretical aspects of computer software4th international symposium, TACS 2001, Sendai, Japan, October29-31, 2001 : proceedings / by: (Electronic resources)

COTS-based software systemsfirst international conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings / by: (Electronic resources)

Foundations of software science and computation structures5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / by: (Electronic resources)

SOFSEM 2002theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 : proceedings / by: (Electronic resources)

Soft-ware 2002computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings / by: (Electronic resources)

Software visualizationinternational seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers / by: (Electronic resources)

Mathematical software - ICMS 2010Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (Electronic resources)

Foundations of software science and computational structures14th International Conference, FOSSACS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings / by: (Electronic resources)

Software process improvement and capability determination11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (Electronic resources)

SOFSEM 2012theory and practice of computer science : 38th conference on current trends in theory and practice of computer science, Spindleruv Mlyn, Czech Republic, January 21-27, 2012 : proceedings / by: (Electronic resources)

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.Volume 2 by: (Electronic resources)

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.Volume 1 by: (Electronic resources)

Foundations of software science and computational structures15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings / by: (Electronic resources)

Global trends in information systems and software applications4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011 : proceedings.Part II / by: (Electronic resources)

Information and software technologies18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / by: (Electronic resources)

Requirements engineeringfoundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / by: (Electronic resources)

Theory of quantum computation, communication, and cryptography6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / by: (Electronic resources)

Foundations of software science and computation structures17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / by: (Electronic resources)

Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / by: (Electronic resources)

Information and software technologies20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014 : proceedings / by: (Language materials, printed)

Foundations of software science and computation structures18th International Conference, FOSSACS 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part III / by: (Electronic resources)

Software technologies9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (Electronic resources)

Foundations of software science and computation structures19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / by: (Electronic resources)

Mathematical software - ICMS 20165th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / by: (Electronic resources)

Java programming 24-hour trainer by: (Electronic resources)

Software technologiesapplications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 : revised selected papers / by: (Electronic resources)

Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (Electronic resources)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part VI / by: (Electronic resources)

Foundations of software science and computation structures21st International Conference, FOSSACS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part II / by: (Electronic resources)

Mathematical software - ICMS 20186th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part V / by: (Electronic resources)

Software technologiesapplications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers / by: (Electronic resources)

Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (Electronic resources)

Information science and applications 2018ICISA 2018 / by: (Electronic resources)

Software challenges to exascale computingsecond Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings / by: (Electronic resources)

Foundations of software science and computation structures22nd 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 / by: (Electronic resources)

Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (Electronic resources)

Foundations of Software Science and Computation Structures20th International Conference, FOSSACS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (Electronic resources)

Foundations of software science and computation structures23rd 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 / by: (Electronic resources)

Mathematical software - ICMS 20207th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings / by: (Electronic resources)

Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part VII / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part V / by: (Electronic resources)

Foundations of software science and computation structures24th 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 / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VIII / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part IX / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VII / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VI / by: (Electronic resources)

Foundations of software science and computation structures25th International Conference, FOSSACS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 202222nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 202222nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 WorkshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part II / by: (Electronic resources)

Applied computing for software and smart systemsproceedings of ACSS 2022 / by: (Electronic resources)

Foundations of software science and computation structures26th 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 / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part VII / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part VIII / by: (Electronic resources)

Computational science and its applications - ICCSA 202323rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 202323rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part IX / by: (Electronic resources)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part II / by: (Electronic resources)

Applied computing for software and smart systemsproceedings of ACSS 2023 / by: (Electronic resources)

Computational science and its applications - ICCSA 202424th International Conference, Hanoi, Vietnam, July 1-4, 2024 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 202424th International Conference, Hanoi, Vietnam, July 1-4, 2024 : proceedings.Part II / by: (Electronic resources)

Software technologies18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023 : revised selected papers / by: (Electronic resources)

Information and software technologies29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023 : proceedings / by: (Electronic resources)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part I / by: (Electronic resources)

Foundations of software science and computation structures27th International Conference, FoSSaCS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024 : proceedings.Part II / by: (Electronic resources)

Mathematical software - ICMS 20248th International Conference, Durham, UK, July 22-25, 2024 : proceedings / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part V / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part VI / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part VIII / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part X / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part I / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part XI / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part IX / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part IV / by: (Electronic resources)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part VII / by: (Electronic resources)

Engineering trustworthy software systems6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures / by: (Electronic resources)

Foundations of software science and computation structures28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings / by: (Electronic resources)

Digital product management in the era of data economy, artificial intelligence, and ecosystemsfirst International Conference on Digital Product Management, ICDPM 2024, Gothenburg, Sweden, June 12, 2024 : proceedings / by: (Electronic resources)

Applied computing for software and smart systemsproceedings of ACSS 2024 / by: (Electronic resources)

Computational science and its applications - ICCSA 202525th International Conference, Istanbul, Turkey, June 30 - July 3, 2025 : proceedings.Part III / by: (Electronic resources)

Computational science and its applications - ICCSA 202525th International Conference, Istanbul, Turkey, June 30-July 3, 2025 : proceedings.Part II / by: (Electronic resources)

Computational science and its applications - ICCSA 202525th International Conference, Istanbul, Turkey, June 30-July 3, 2025 : proceedings.Part I / by: (Electronic resources)