Showing 1 - 20 results of 150 for search '"Computer programs"', query time: 0.15s Refine Results
  1. 1
    Compiler construction : 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /

    Compiler construction : 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-... by CC (Conference) London, England), SpringerLink (Online service), ETAPS (Conference)

    Published: Springer, 2015
    Subjects: “…Compilers (Computer programs) Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  2. 2
    Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /

    Mathematics of program construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / by International Conference on the Mathematics of Program Construction Porto, Portugal, SpringerLink (Online service)

    Published: Springer, 2019
    Subjects: “…Computer programming Mathematics Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  3. 3
    Modern problems in construction selected papers from MPC 2021 /

    Modern problems in construction selected papers from MPC 2021 / by MPC (Conference) Kursk, Russia), SpringerLink (Online service)

    Published: Springer, 2023
    Subjects: “…Computer programming Mathematics Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  4. 4
    Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings /

    Formal methods for industrial critical systems : 24th international conference, FMICS 2019, Amsterdam, the Netherlands, August 30-31, 2019 : proceedings / by International Workshop on Formal Methods for Industrial Critical Systems Amsterdam, Netherlands, SpringerLink (Online service)

    Published: Springer, 2019
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  5. 5
    Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings /

    Formal methods for industrial critical systems : 26th international conference, FMICS 2021, Paris, France, August 24-26, 2021 : proceedings / by International Workshop on Formal Methods for Industrial Critical Systems Online, SpringerLink (Online service)

    Published: Springer, 2021
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  6. 6
    Nuclear power plants : innovative technologies for instrumentation and control systems : the fifth International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant (ISNPP) /

    Nuclear power plants : innovative technologies for instrumentation and control systems : the fifth International Symposium on Software Reliability, Industrial Safety, Cyber Securit... by International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant Beijing, China, SpringerLink (Online service)

    Published: Springer, 2021
    Subjects: “…Nuclear power plants Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  7. 7
    Persuasive technology : 16th international conference, PERSUASIVE 2021, virtual event, April 12-14, 2021 : proceedings /

    Persuasive technology : 16th international conference, PERSUASIVE 2021, virtual event, April 12-14, 2021 : proceedings / by International Conference on Persuasive Technology for Human Well-Being Online, SpringerLink (Online service)

    Published: Springer, 2021
    Subjects: “…Persuasion (Psychology) Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  8. 8
    Trust, privacy and security in digital business : 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, proceedings /

    Trust, privacy and security in digital business : 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, proceedings / by TrustBus (Conference) Vienna, Austria), SpringerLink (Online service)

    Published: Springer, 2022
    Subjects: “…Business Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  9. 9
    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings /

    Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings / by International Workshop on Formal Methods for Industrial Critical Systems Oslo, Norway, SpringerLink (Online service)

    Published: Springer, 2015
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  10. 10
    Computational logistics : 12th international conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021 : proceedings /

    Computational logistics : 12th international conference, ICCL 2021, Enschede, The Netherlands, September 27-29, 2021 : proceedings / by ICCL (Conference) Online), SpringerLink (Online service)

    Published: Springer, 2021
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  11. 11
    Computational logistics : 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings /

    Computational logistics : 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings / by ICCL (Conference) Berlin, Germany)

    Published: Springer, 2023
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  12. 12
    Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers /

    Trends in functional programming : 22nd International Symposium, TFP 2021 virtual event, Februay 17-19, 2021 : revised selected papers / by International Symposium on Trends in Functional Programming Online, SpringerLink (Online service)

    Published: Springer, 2021
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  13. 13
    Computational logistics : 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings /

    Computational logistics : 11th International Conference, ICCL 2020, Enschede, the Netherlands, September 28-30, 2020, Proceedings / by ICCL (Conference) Online), SpringerLink (Online service)

    Published: Springer, 2020
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  14. 14
    Computational logistics : 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings /

    Computational logistics : 13th International Conference, ICCL 2022, Barcelona, Spain, September 21-23, 2022, Proceedings / by ICCL (Conference) Barcelona, Spain), SpringerLink (Online service)

    Published: Springer, 2022
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  15. 15
    Presented abstracts from the U.S. Geological Survey 2020 Rocky Mountain Region Science Exchange (September 15-17, 2020) /

    Presented abstracts from the U.S. Geological Survey 2020 Rocky Mountain Region Science Exchange (September 15-17, 2020) / by Rocky Mountain Region Science Exchange Online

    Subjects: “…Environmental monitoring Computer programs Congresses.…”
    Get full text
    Government Document Online Conference Proceeding Book
    Save to List
    Saved in:
  16. 16
    Future internet testing : first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised selected papers /

    Future internet testing : first International Workshop, FITTEST 2013, Istanbul, Turkey, November 12, 2013, Revised selected papers / by FITTEST (Workshop) Istanbul, Turkey), SpringerLink (Online service)

    Published: Springer, 2014
    Subjects: Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  17. 17
    XML for publishers /

    XML for publishers / by Fahlgren, Keith, Safari Books Online, O'Reilly (Firm), TOC Conference (Tools of Change for Publishing)

    Published: O'Reilly Media, 2008
    Subjects: “…Electronic publishing Computer programs.…”
    Get full text
    Online Conference Proceeding Video Online Video
    Save to List
    Saved in:
  18. 18
    Communication, software and networks : proceedings of INDIA 2022 /

    Communication, software and networks : proceedings of INDIA 2022 / by International Conference on Information System Design and Intelligent Applications Hyderabad, India, SpringerLink (Online service)

    Published: Springer, 2023
    Subjects: “…Artificial intelligence Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  19. 19
    Intelligent system design : proceedings of INDIA 2022 /

    Intelligent system design : proceedings of INDIA 2022 / by International Conference on Information System Design and Intelligent Applications Hyderabad, India, SpringerLink (Online service)

    Published: Springer, 2023
    Subjects: “…Artificial intelligence Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:
  20. 20
    Information systems design and intelligent applications : proceedings of fifth international conference, INDIA 2018.

    Information systems design and intelligent applications : proceedings of fifth international conference, INDIA 2018. by International Conference on Information System Design and Intelligent Applications Balaclava, Mauritius, SpringerLink (Online service)

    Published: Springer, 2019
    Subjects: “…Artificial intelligence Computer programs Congresses.…”
    Get full text
    Online Conference Proceeding Book
    Save to List
    Saved in:

Search Tools: