Computer software

Advanced Methods for Knowledge Discovery from Complex Data / by: (書目-電子資源)

Randomized Algorithms for Analysis and Control of Uncertain Systems / by: (書目-電子資源)

Dissemination of Information in Communication Networks :Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (書目-電子資源)

Complexity Theory :Exploring the Limits of Efficient Algorithms / by: (書目-電子資源)

Design and Analysis of Randomized Algorithms :Introduction to Design Paradigms / by: (書目-電子資源)

Complexity Theory and Cryptology :An Introduction to Cryptocomplexity / by: (書目-電子資源)

Spatially Structured Evolutionary Algorithms :Artificial Evolution in Space and Time / by: (書目-電子資源)

Differential Evolution :A Practical Approach to Global Optimization / by: (書目-電子資源)

Design of Adaptive Finite Element Software :The Finite Element Toolbox ALBERTA / by: (書目-電子資源)

Complex Scheduling / by: (書目-電子資源)

Handbook of Nature-Inspired and Innovative Computing :Integrating Classical Models with Emerging Technologies / by: (書目-電子資源)

Genetic Programming Theory and Practice III / by: (書目-電子資源)

Theory of Computation / by: (書目-電子資源)

Information Visualization :Beyond the Horizon / by: (書目-電子資源)

Discrete Mathematics Using a Computer / by: (書目-電子資源)

Introduction to Reliable Distributed Programming / by: (書目-電子資源)

Parameterized Complexity Theory / by: (書目-電子資源)

Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic / by: (書目-電子資源)

Data Complexity in Pattern Recognition / by: (書目-電子資源)

Blind Equalization and System Identification :Batch Processing Algorithms, Performance and Applications / by: (書目-電子資源)

The Mathematica GuideBook for Numerics / by: (書目-電子資源)

The Mathematica GuideBook for Symbolics / by: (書目-電子資源)

Global Optimization :From Theory to Implementation / by: (書目-電子資源)

Computer Algebra Recipes :An Introductory Guide to the Mathematical Models of Science / by: (書目-電子資源)

Computing in Algebraic Geometry :A Quick Start using SINGULAR / by: (書目-電子資源)

Optimization in Public Transportation :Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network / by: (書目-電子資源)

Numerical Optimization :Theoretical and Practical Aspects / by: (書目-電子資源)

A gentle introduction to Stata / by: (書目-語言資料,印刷品)

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: (書目-電子資源)

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: (書目-電子資源)

Rapid Integration of Software Engineering Techniques (vol. # 3943)Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers / by: (書目-電子資源)

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: (書目-電子資源)

Mathematical Software - ICMS 2006Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings / by: (書目-電子資源)

Software Architecture (vol. # 4344)Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers / by: (書目-電子資源)

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: (書目-電子資源)

COTS-Based Software Systems4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Rapid Integration of Software Engineering TechniquesFirst International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers / by: (書目-電子資源)

Software Architecture2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005, Proceedings / by: (書目-電子資源)

Software and Data TechnologiesFirst International Conference, ICSOFT 2006, Setubal, Portugal, September 11-14, 2006, Revised Selected Papers / by: (書目-電子資源)

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: (書目-電子資源)

COTS-based software systemssecond international conference, ICCBSS 2003, Ottawa, Ont., February 10-13, 2003 proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

COTS-based software systemsthird international conference, ICCBSS 2004, Redondo Beach, CA, USA, February 1-4, 2004 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Software architecturefirst European workshop, EWSA 2004, St. Andrews, UK, May 21-22, 2004 : proceedings / by: (書目-電子資源)

Trustworthy software development processesInternational Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 ; Proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Foundations of software technology and theoretical computer science17th conference, Kharagpur, India, December 18-20, 1997 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Theoretical aspects of computer softwareThird International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Theoretical aspects of computer software4th international symposium, TACS 2001, Sendai, Japan, October29-31, 2001 : proceedings / by: (書目-電子資源)

COTS-based software systemsfirst international conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Soft-ware 2002computing in an imperfect world : first international conference, Soft-Ware 2002, Belfast, Northern Ireland, April 8-10, 2002 : proceedings / by: (書目-電子資源)

Software visualizationinternational seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers / by: (書目-電子資源)

Mathematical software - ICMS 2010Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Software process improvement and capability determination11th international conference, SPICE 2011, Dublin, Ireland, May 30 - June 1, 2011 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.Volume 2 by: (書目-電子資源)

Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.Volume 1 by: (書目-電子資源)

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: (書目-電子資源)

Global trends in information systems and software applications4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011 : proceedings.Part II / by: (書目-電子資源)

Information and software technologies18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012 : proceedings / by: (書目-電子資源)

Requirements engineeringfoundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings / by: (書目-電子資源)

Theory of quantum computation, communication, and cryptography6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 201414th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V / by: (書目-電子資源)

Mathematical software - ICMS 20144th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings / by: (書目-電子資源)

Information and software technologies20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014 : proceedings / by: (書目-語言資料,印刷品)

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: (書目-電子資源)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 201515th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part III / by: (書目-電子資源)

Software technologies9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 201616th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III / by: (書目-電子資源)

Mathematical software - ICMS 20165th International Conference, Berlin, Germany, July 11-14, 2016 : proceedings / by: (書目-電子資源)

Java programming 24-hour trainer by: (書目-電子資源)

Software technologiesapplications and foundations : STAF 2016 Collocated workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016 : revised selected papers / by: (書目-電子資源)

Engineering trustworthy software systemssecond International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016 : tutorial lectures / by: (書目-電子資源)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 201717th International Conference, Trieste, Italy, July 3-6, 2017 : proceedings.Part VI / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part II / by: (書目-電子資源)

Mathematical software - ICMS 20186th International Conference, South Bend, IN, USA, July 24-27, 2018 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 201818th International Conference, Melbourne, VIC, Australia, July 2-5, 2018 : proceedings.Part V / by: (書目-電子資源)

Software technologiesapplications and foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018 : revised selected papers / by: (書目-電子資源)

Engineering trustworthy software systemsthird International School, SETSS 2017, Chongqing, China, April 17-22, 2017 : tutorial lectures / by: (書目-電子資源)

Information science and applications 2018ICISA 2018 / by: (書目-電子資源)

Software challenges to exascale computingsecond Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 201919th International Conference, Saint Petersburg, Russia, July 1-4, 2019 : proceedings.Part II / by: (書目-電子資源)

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: (書目-電子資源)

Mathematical software - ICMS 20207th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings / by: (書目-電子資源)

Engineering trustworthy software systems5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019 : tutorial lectures / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part VII / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 202020th International Conference, Cagliari, Italy, July 1-4, 2020 : proceedings.Part V / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VIII / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part IX / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VII / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 202121st International Conference, Cagliari, Italy, September 13-16, 2021 : proceedings.Part VI / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 202222nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 202222nd International Conference, Malaga, Spain, July 4-7, 2022 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 WorkshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2022 workshopsMalaga, Spain, July 4-7, 2022 : proceedings.Part II / by: (書目-電子資源)

Applied computing for software and smart systemsproceedings of ACSS 2022 / by: (書目-電子資源)

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: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part VII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part VIII / by: (書目-電子資源)

Computational science and its applications - ICCSA 202323rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 202323rd International Conference, Athens, Greece, July 3-6, 2023 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part IX / by: (書目-電子資源)

Computational science and its applications - ICCSA 2023 workshopsAthens, Greece, July 3-6, 2023 : proceedings.Part II / by: (書目-電子資源)

Applied computing for software and smart systemsproceedings of ACSS 2023 / by: (書目-電子資源)

Computational science and its applications - ICCSA 202424th International Conference, Hanoi, Vietnam, July 1-4, 2024 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 202424th International Conference, Hanoi, Vietnam, July 1-4, 2024 : proceedings.Part II / by: (書目-電子資源)

Software technologies18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023 : revised selected papers / by: (書目-電子資源)

Information and software technologies29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023 : proceedings / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Mathematical software - ICMS 20248th International Conference, Durham, UK, July 22-25, 2024 : proceedings / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part V / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part VI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part VIII / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 workshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part X / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part I / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part XI / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part IX / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part IV / by: (書目-電子資源)

Computational science and its applications - ICCSA 2024 WorkshopsHanoi, Vietnam, July 1-4, 2024 : proceedings.Part VII / by: (書目-電子資源)

Engineering trustworthy software systems6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, tutorial lectures / by: (書目-電子資源)

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: (書目-電子資源)

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: (書目-電子資源)

Applied computing for software and smart systemsproceedings of ACSS 2024 / by: (書目-電子資源)

Computational science and its applications - ICCSA 202525th International Conference, Istanbul, Turkey, June 30 - July 3, 2025 : proceedings.Part III / by: (書目-電子資源)

Computational science and its applications - ICCSA 202525th International Conference, Istanbul, Turkey, June 30-July 3, 2025 : proceedings.Part II / by: (書目-電子資源)

Computational science and its applications - ICCSA 202525th International Conference, Istanbul, Turkey, June 30-July 3, 2025 : proceedings.Part I / by: (書目-電子資源)