ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science  (73)
  • Springer Nature  (73)
  • American Chemical Society
  • American Meteorological Society (AMS)
  • 2020-2024  (73)
  • 2020-2023
  • 2021  (73)
  • 2021  (73)
Collection
Language
Years
  • 2020-2024  (73)
  • 2020-2023
Year
  • 1
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Publication Date: 2024-04-14
    Description: brain computer interface; artificial intelligence; computer networks; classification databases; HCI machine learning; signal processing; user interfaces
    Keywords: brain computer interface ; artificial intelligence ; computer networks ; classification databases ; HCI machine learning ; signal processing ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Publication Date: 2024-04-14
    Description: Computational Science and Engineering; Numerical Analysis;
    Keywords: Computational Science and Engineering ; Numerical Analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: DevOps; continuous delivery; software lifecycle; concurrent parallel testing; service management; ITIL; GRC; PaaS; containerization; API management; lean principles; technical debt; end-to-end automation; automation
    Keywords: DevOps ; continuous delivery ; software lifecycle ; concurrent parallel testing ; service management ; ITIL ; GRC ; PaaS ; containerization ; API management ; lean principles ; technical debt ; end-to-end automation ; automation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Publication Date: 2024-04-14
    Description: Big data; Computing ethics; Women in computing; Research ethics
    Keywords: Big data ; Computing ethics ; Women in computing ; Research ethics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; software engineering ; specifications ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: Information Systems and Communication Service; Education, general
    Keywords: Information Systems and Communication Service ; Education, general ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2024-04-14
    Description: cyber security; IT management; computer science; computer engineering; digital vulnerability
    Keywords: cyber security ; IT management ; computer science ; computer engineering ; digital vulnerability ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2024-04-04
    Description: Computational Science and Engineering; software Engineering; Programming Techniques
    Keywords: Computational Science and Engineering ; software Engineering ; Programming Techniques ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Publication Date: 2024-04-14
    Description: artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
    Keywords: artificial intelligence ; computer software ; selection and evaluation ; formal logic ; graph theory ; modal logic ; petri nets ; program compilers ; programming language ; semantics ; separation logic ; software engineering ; theorem proving ; type systems ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computer system failures ; Computers ; Computers ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: Software Engineering; Software Development; Software Processes; Software Architectures; Software Management
    Keywords: Software Engineering ; Software Development ; Software Processes ; Software Architectures ; Software Management ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security systems ; semantics ; separation logic ; software engineering ; verification ; world wide web ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2024-04-14
    Description: cloud computing; communication channels; information theory; computer networks; computer systems; data communication systems; Human-Computer Interactopm (HCI); internet; Internet of Services (IoS); Internet of Things (IoT); multimedia systems; quality of experience (QoE); quality of service (QoS); telecommunication networks; telecommunication traffic; user interfaces
    Keywords: cloud computing ; communication channels ; information theory ; computer networks ; computer systems ; data communication systems ; Human-Computer Interactopm (HCI) ; internet ; Internet of Services (IoS) ; Internet of Things (IoT) ; multimedia systems ; quality of experience (QoE) ; quality of service (QoS) ; telecommunication networks ; telecommunication traffic ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: computer software maintenance; computer software selection and evaluation; formal logic; formal methods; formal specification; programming languages; semantics; software engineering; specifications; verification
    Keywords: computer software maintenance ; computer software selection and evaluation ; formal logic ; formal methods ; formal specification ; programming languages ; semantics ; software engineering ; specifications ; verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Publication Date: 2024-04-14
    Description: finite difference methods; programming; python; verification; numerical methods; differential equations
    Keywords: finite difference methods ; programming ; python ; verification ; numerical methods ; differential equations ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Publication Date: 2024-04-14
    Description: collaboration; information systems; Linux; open access; open source software
    Keywords: collaboration ; information systems ; Linux ; open access ; open source software ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-30
    Description: Computer Systems Organization and Communication Networks; Software Engineering; Complex Systems; Information Systems Applications (incl. Internet); Computer Applications
    Keywords: Computer Systems Organization and Communication Networks ; Software Engineering ; Complex Systems ; Information Systems Applications (incl. Internet) ; Computer Applications ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-30
    Description: application; blueprints; self-management; self-organisation; resource management; supply chain; big data; PaaS; Saas; HPCaaS
    Keywords: application ; blueprints ; self-management ; self-organisation ; resource management ; supply chain ; big data ; PaaS ; Saas ; HPCaaS ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJC Business strategy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process. Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage. The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a continuum of former and future releases.
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; Computers ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Publication Date: 2024-04-14
    Description: Control Theory; Engineering Design Tradeoffs; Robust Control; Feedback Control Systems; Wolfram Mathematica Software; Optimal Control
    Keywords: Control Theory ; Engineering Design Tradeoffs ; Robust Control ; Feedback Control Systems ; Wolfram Mathematica Software ; Optimal Control ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Publication Date: 2024-04-14
    Description: artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software engineering specifications; theorem proving; type; systems verification
    Keywords: artificial intelligence ; computer architecture ; computer software selection and evaluation ; distributed computer systems ; formal logic ; formal model ; java ; model checking ; processors ; program compilers ; program verification ; programming language ; semantics ; separation logic ; software engineering specifications ; theorem proving ; type ; systems verification ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Publication Date: 2024-04-14
    Description: agile software development; lean development; scrum; project management; software development
    Keywords: agile software development ; lean development ; scrum ; project management ; software development ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Publication Date: 2024-04-05
    Description: This open access book makes quantum computing more accessible than ever before. A fast-growing field at the intersection of physics and computer science, quantum computing promises to have revolutionary capabilities far surpassing “classical” computation. Getting a grip on the science behind the hype can be tough: at its heart lies quantum mechanics, whose enigmatic concepts can be imposing for the novice. This classroom-tested textbook uses simple language, minimal math, and plenty of examples to explain the three key principles behind quantum computers: superposition, quantum measurement, and entanglement. It then goes on to explain how this quantum world opens up a whole new paradigm of computing. The book bridges the gap between popular science articles and advanced textbooks by making key ideas accessible with just high school physics as a prerequisite. Each unit is broken down into sections labelled by difficulty level, allowing the course to be tailored to the student’s experience of math and abstract reasoning. Problem sets and simulation-based labs of various levels reinforce the concepts described in the text and give the reader hands-on experience running quantum programs. This book can thus be used at the high school level after the AP or IB exams, in an extracurricular club, or as an independent project resource to give students a taste of what quantum computing is really about. At the college level, it can be used as a supplementary text to enhance a variety of courses in science and computing, or as a self-study guide for students who want to get ahead. Additionally, readers in business, finance, or industry will find it a quick and useful primer on the science behind computing’s future.
    Keywords: Quantum Physics ; Quantum Computing ; Computer Science, general ; Science Education ; Quantum Information Technology, Spintronics ; Computer Science ; Spintronics ; Open Access ; Introduction to quantum computing ; quantum computing textbook ; quantum computing for high school students ; introduction to quantum cryptography ; quantum gates ; quantum algorithms ; quantum superposition ; what is a qubit? ; quantum key distribution ; Quantum physics (quantum mechanics & quantum field theory) ; Mathematical theory of computation ; Teaching of a specific subject ; Science: general issues ; thema EDItEUR::P Mathematics and Science::PH Physics::PHP Particle and high-energy physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...