Search Results - Lecture notes in engineering and computer science

Lecture Notes in Engineering and Computer Science

Authors: A. Cifci Uyaroğlu, Yılmaz A. T. Hocaoglu et al.

Contributors: A. Cifci Uyaroğlu, Yılmaz A. T. Hocaoglu et al.

Subject Terms: Engineering

Access URL: https://hdl.handle.net/20.500.12619/64976

Lecture Notes in Engineering and Computer Science

Authors: Korkusuz Polat, Tülay Arslankaya, Seher Korkusuz Polat, T et al.

Contributors: Korkusuz Polat, Tülay Arslankaya, Seher Korkusuz Polat, T et al.

Subject Terms: Engineering

Access URL: https://hdl.handle.net/20.500.12619/48271

Software for Exascale Computing - SPPEXA 2016-2019

Authors: Hans-Joachim Bungartz Severin Reiz Benjamin Uekermann et al.

Resource Type: eBook.

Subjects: Computer science

Categories: COMPUTERS / Computer Simulation, COMPUTERS / Computer Science, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Hardware / General, MATHEMATICS / Applied, SCIENCE / Physics / Mathematical & Computational, TECHNOLOGY & ENGINEERING / Engineering (General)

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Authors: Isil Dillig Serdar Tasiran

Resource Type: eBook.

Subjects: Computer science, Logic design, Software engineering, Computer logic, Artificial intelligence, Computer industry, Computer programs--Verification--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

From Graphs to the Science Computer of a Space Telescope: The Power of Petri Nets in Systems Engineering

Authors: Graczyk, Rafal Bujwan, Waldemar Darmetko, Marcin et al.

Source: urn:isbn:978-3-03-106652-8
Application and Theory of Petri Nets and Concurrency - 43rd International Conference, PETRI NETS 2022, Proceedings (2022); Lecture Notes in Computer Science, Bergen, Nor [Nor], 19-06-2022 => 24-06-2022

Subject Terms: On-Board Computer, Performance Modeling, Petri Net, Scientific Payload, Systems Engineering, Design-process, Development stages, Onboard computers, Performance characteristics, Performance risk, Power, Risk trade-offs, Scientific payloads, Space system engineering, Theoretical Computer Science, Computer Science (all), Physical, chemical, mathematical & earth Sciences, Space science, astronomy & astrophysics, Physique, chimie, mathématiques & sciences de la terre, Aérospatiale, astronomie & astrophysique

Relation: https://link.springer.com/content/pdf/10.1007/978-3-031-06653-5_9

Access URL: https://orbi.uliege.be/handle/2268/302626

Haptics: Science, Technology, Applications : 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22–25, 2022, Proceedings

Authors: Hasti Seifi Astrid M. L. Kappers Oliver Schneider et al.

Resource Type: eBook.

Subjects: Haptic devices--Congresses, Human-computer interaction--Congresses

Categories: COMPUTERS / Human-Computer Interaction (HCI), COMPUTERS / Business & Productivity Software / General, COMPUTERS / Artificial Intelligence / Computer Vision & Pattern Recognition, COMPUTERS / Hardware / General, COMPUTERS / User Interfaces, TECHNOLOGY & ENGINEERING / Robotics

Fundamental Approaches to Software Engineering : 21st International Conference, FASE 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: Alessandra Russo Andy Schürr

Resource Type: eBook.

Subjects: Software engineering, Programming languages (Electronic computers), Computer science, Computer organization, Computers

Categories: COMPUTERS / Software Development & Engineering / General, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Hardware / General

Foundations of Software Science and Computation Structures

Authors: Jean Goubault-Larrecq Barbara König

Resource Type: eBook.

Subjects: Software engineering--Congresses, Computer software--Congresses

Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Hardware / General, MATHEMATICS / Discrete Mathematics

Proceedings of the 7th International Conference on Knowledge Innovation and Invention, Volume 1

Contributors: Meen, Teen-Hang Yang, Cheng-Fu Chang, Chun-Yen

Subject Terms: Open Access, Electrical Engineering, Big Data Computation, Information Technology, Machine Learning, Computer Science, Electrical engineering, Databases

File Description: application/pdf

Relation: Lecture Notes in Electrical Engineering; Engineering; Engineering (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/108706

Computer Aided Verification

Contributors: Piskac, Ruzica Rakamarić, Zvonimir

Subject Terms: Computer Science, Informatics, Conference Proceedings, Research, Applications, Artificial intelligence, Mathematical theory of computation, Software Engineering

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/105429

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman

Resource Type: eBook.

Subjects: Data structures (Computer science), Computer logic, Computers, Computer science, Computer system failures, Software engineering, Electronic data processing, Electronic digital computers

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Software Development & Engineering / General

Agile Processes, in Software Engineering, and Extreme Programming : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings

Authors: Helen Sharp Tracy Hall

Resource Type: eBook.

Subjects: Software engineering, Management information systems, Electronic data processing, Computer science, Software engineering--Congresses, Agile software development--Congresses, Business, eXtreme programming--Congresses

Categories: COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Project Management

Digital Interaction and Machine Intelligence

Authors: Cezary Biele Janusz Kacprzyk Wiesław Kopeć et al.

Resource Type: eBook.

Subjects: Human-computer interaction--Congresses, Artificial intelligence--Congresses

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / General, MATHEMATICS / Probability & Statistics / General, TECHNOLOGY & ENGINEERING / Engineering (General)

Frontiers of Combining Systems

Contributors: Thiemann, René Weidenbach, Christoph

Subject Terms: Open Access, artificial intelligence, computer networks, automated reasoning, computer systems, description logics, formal languages, formal logic, constraint solving, decision procedures, network protocols, ontologies, semantics, software architecture, software design, software engineering, software quality, verification and validation, Software Engineering, Computer hardware, Mathematical theory of computation, Artificial intelligence

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/107663

Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Authors: Heike Wehrheim Jordi Cabot

Resource Type: eBook.

Subjects: Software engineering--Congresses

Categories: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General

Automated Reasoning with Analytic Tableaux and Related Methods

Contributors: Pozzato, Gian Luca Uustalu, Tarmo

Subject Terms: Open Access, tableaux, tableaux calculus, sequent calculus, proof theory, theorem proving, proof assistant, natural deduction, formalized proof, decision procedures, automated deduction, SMT, Artificial intelligence, Mathematical theory of computation, Software Engineering, Systems analysis and design, Computer hardware

File Description: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/107643

Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

Authors: Bernhard Steffen

Resource Type: eBook.

Subjects: Machine learning, Artificial intelligence--Moral and ethical aspects, Artificial intelligence

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

3D Research Challenges in Cultural Heritage IV

Contributors: Ioannides, Marinos Issini, Giovanni Oliveira, Daniel

Subject Terms: cultural heritage, digital heritage, 3D digitization, structural analysis, BIM, HBIM, HHBIM, 3D Data, digital twin, extended reality, photogrammetry, virtual reality, Computer applications in the social and behavioural sciences, Computer applications in the arts and humanities, Virtual reality, Augmented reality (AR), Image processing, Computer applications in industry and technology, Civil engineering, surveying and building, Cultural studies, Museology and heritage studies, Archaeology

File Description: application/pdf

Relation: Lecture Notes in Computer Science

Access URL: https://library.oapen.org/handle/20.500.12657/105412

Advancements in Fluid Power Technology: Sustainability, Electrification, and Digitalization

Contributors: Ericson, Liselott Krus, Petter

Subject Terms: Computer Science, Informatics, Conference Proceedings, Research, Applications, Applications of Artificial Intelligence in Fluid Power, Control and Automation in Fluid Power, Energy Efficiency in Fluid Power Systems, Electrification of Fluid Power Systems, Fluid Power in Renewable Energy Systems, Advances in Fluid Power Components, Aerospace Applications, Safety and Reliability of Fluid Power Systems, Environmental and Sustainability Aspects of Fluid Power, Fluid Power Systems Modelling and Simulation, Open Access, Engineering: Mechanics of fluids, Mechanical engineering, Energy technology and engineering

File Description: application/pdf

Relation: Lecture Notes in Mechanical Engineering; Engineering; Engineering (R0)

Access URL: https://library.oapen.org/handle/20.500.12657/106055