Computer software
Overview
Works: | 184 works in 105 publications in 105 languages |
---|
Titles
Formal methods for mobile computing :5th 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:
(Language materials, printed)
High Performance Computational Science and Engineering :IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22-27, 2004, Toulouse, France /
by:
(Electronic resources)
Artificial Intelligence Applications and Innovations :IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China /
by:
(Electronic resources)
Information Processing with Evolutionary Algorithms :From Industrial Applications to Academic Speculations /
by:
(Electronic resources)
Evolutionary Multiobjective Optimization :Theoretical Advances and Applications /
by:
(Electronic resources)
Dissemination of Information in Communication Networks :Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
by:
(Electronic resources)
Design and Analysis of Randomized Algorithms :Introduction to Design Paradigms /
by:
(Electronic resources)
Spatially Structured Evolutionary Algorithms :Artificial Evolution in Space and Time /
by:
(Electronic resources)
Design of Adaptive Finite Element Software :The Finite Element Toolbox ALBERTA /
by:
(Electronic resources)
Handbook of Nature-Inspired and Innovative Computing :Integrating Classical Models with Emerging Technologies /
by:
(Electronic resources)
Formal Models of Communicating Systems :Languages, Automata, and Monadic Second-Order Logic /
by:
(Electronic resources)
Blind Equalization and System Identification :Batch Processing Algorithms, Performance and Applications /
by:
(Electronic resources)
Computer Algebra Recipes :An Introductory Guide to the Mathematical Models of Science /
by:
(Electronic resources)
Optimization in Public Transportation :Stop Location, Delay Management and Tariff Zone Design in a Public Transportation Network /
by:
(Electronic resources)
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)
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)
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 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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Software challenges to exascale computingsecond Workshop, SCEC 2018, Delhi, India, December 13-14, 2018 : proceedings /
by:
(Electronic resources)
Engineering trustworthy software systems4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
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)
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)
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)
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)
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)
Show more
Fewer
Subjects