Skip to main content

216 Result(s)

within Software Engineering/Programming and Operating Systems Remove this filter Book Remove this filter 2023 - 2023 Remove this filter

You are now only searching within the eBook Package English Computer Science package

STOP searching within this package
previous disabled Page of 11
and

  1. No Access

    Book and Conference Proceedings

    Formal Methods for Industrial Critical Systems

    28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

    Alessandro Cimatti, Laura Titolo in Lecture Notes in Computer Science (2023)

  2. No Access

    Book and Conference Proceedings

    Advanced Information Systems Engineering Workshops

    CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings

    Marcela Ruiz, Pnina Soffer in Lecture Notes in Business Information Processing (2023)

  3. No Access

    Book and Conference Proceedings

    Service-Oriented Computing

    21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part II

    Flavia Monti, Stefanie Rinderle-Ma… in Lecture Notes in Computer Science (2023)

  4. No Access

    Book

    Formal Methods for an Informal World

    ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

    Antonio Cerone in Lecture Notes in Computer Science (2023)

  5. Book and Conference Proceedings

    Automated Reasoning with Analytic Tableaux and Related Methods

    32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

    Revantha Ramanayake, Josef Urban in Lecture Notes in Computer Science (2023)

  6. No Access

    Book and Conference Proceedings

    Computer and Communication Engineering

    Third International Conference, CCCE 2023, Stockholm, Sweden, March 10–12, 2023, Revised Selected Papers

    Filippo Neri, Ke-Lin Du… in Communications in Computer and Information Science (2023)

  7. No Access

    Book and Conference Proceedings

    Intelligent Robotics and Applications

    16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part IX

    Huayong Yang, Honghai Liu, Jun Zou… in Lecture Notes in Computer Science (2023)

  8. No Access

    Book and Conference Proceedings

    Service-Oriented Computing

    17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 – July 1, 2023, Revised Selected Papers

    Marco Aiello, Johanna Barzen, Schahram Dustdar… in Communications in Computer and Information Science (2023)

  9. No Access

    Book and Conference Proceedings

    Software Architecture

    17th European Conference, ECSA 2023, Istanbul, Turkey, September 18–22, 2023, Proceedings

    Bedir Tekinerdogan, Catia Trubiani… in Lecture Notes in Computer Science (2023)

  10. No Access

    Book

    Development of Safety-Critical Systems

    Architecture and Software

    Gopinath Karmakar, Amol Wakankar… (2023)

  11. No Access

    Book and Conference Proceedings

    Graph Transformation

    16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings

    Maribel Fernández, Christopher M. Poskitt in Lecture Notes in Computer Science (2023)

  12. No Access

    Book and Conference Proceedings

    Cross-Cultural Design

    15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part III

    Pei-Luen Patrick Rau in Lecture Notes in Computer Science (2023)

  13. No Access

    Book and Conference Proceedings

    Innovations for Community Services

    23rd International Conference, I4CS 2023, Bamberg, Germany, September 11–13, 2023, Proceedings

    Udo R. Krieger, Gerald Eichler… in Communications in Computer and Information Science (2023)

  14. No Access

    Book and Conference Proceedings

    Job Scheduling Strategies for Parallel Processing

    25th International Workshop, JSSPP 2022, Virtual Event, June 3, 2022, Revised Selected Papers

    Dalibor Klusáček, Corbalán Julita… in Lecture Notes in Computer Science (2023)

  15. No Access

    Book and Conference Proceedings

    HCI in Mobility, Transport, and Automotive Systems

    5th International Conference, MobiTAS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23–28, 2023, Proceedings, Part II

    Heidi Krömker in Lecture Notes in Computer Science (2023)

  16. No Access

    Book and Conference Proceedings

    Intelligent Robotics and Applications

    16th International Conference, ICIRA 2023, Hangzhou, China, July 5–7, 2023, Proceedings, Part I

    Huayong Yang, Honghai Liu, Jun Zou… in Lecture Notes in Computer Science (2023)

  17. No Access

    Book and Conference Proceedings

    AIxIA 2023 – Advances in Artificial Intelligence

    XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6–9, 2023, Proceedings

    Roberto Basili, Domenico Lembo… in Lecture Notes in Computer Science (2023)

  18. No Access

    Book and Conference Proceedings

    Blockchain – ICBC 2023

    6th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, September 23–26, 2023, Proceedings

    Qin Wang, Jun Feng, Liang-Jie Zhang in Lecture Notes in Computer Science (2023)

  19. No Access

    Book and Conference Proceedings

    Dynamic Logic. New Trends and Applications

    4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

    Carlos Areces, Diana Costa in Lecture Notes in Computer Science (2023)

  20. No Access

    Book

    Introduction to Software Architecture

    Innovative Design using Clean Architecture and Model-Driven Engineering

    Kevin Lano, Sobhan Yassipour Tehrani in Undergraduate Topics in Computer Science (2023)

previous disabled Page of 11