Search Results - "COMPUTERS / Logic Design"

Refine Results
  1. 1

    Reversible Computation: Extending Horizons of Computing

    Authors: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz et al.

    Resource Type: eBook.

    Subjects: Reversible computing

    Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

    PDF Full Text ePub Full Text
    Save to List
  2. 2

    Variant Construction From Theoretical Foundation to Applications

    Authors: Jeffrey Zheng

    Resource Type: eBook.

    Subjects: Electronic circuits, Information theory, Analysis of variance, Logic design

    Categories: TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Logic Design, MATHEMATICS / Applied

    PDF Full Text ePub Full Text
    Save to List
  3. 3

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Authors: Tomáš Vojnar Lijun Zhang

    Resource Type: eBook.

    Subjects: Artificial intelligence, System analysis--Congresses, System design--Congresses, Computer software--Verification--Congresses

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

    PDF Full Text ePub Full Text
    Save to List
  4. 4

    High-Performance Modelling and Simulation for Big Data Applications : Selected Results of the COST Action IC1406 CHiPSet

    Authors: Joanna Kołodziej Horacio González-Vélez

    Resource Type: eBook.

    Subjects: Computer science, Computer Communication Networks, Computer system performance, Operating systems (Computers), Logic design

    Categories: COMPUTERS / Computer Architecture, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Logic Design, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General

    PDF Full Text ePub Full Text
    Save to List
  5. 5

    Supercomputing Frontiers : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings

    Authors: Rio Yokota Weigang Wu

    Resource Type: eBook.

    Subjects: Computer engineering, Electronic data processing, Electronic digital computers, Artificial intelligence, Logic design, Computer science, Computer organization, Computers, Operating systems (Computers)

    Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Hardware / General

    PDF Full Text ePub Full Text
    Save to List
  6. 6

    Proof Search in Multi-Agent Dialogues for Modal Logic (Volume 32)

    Authors: Sticht, Martin

    Source: MODID-27268f5e0cd:Bamberg University Press

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/6b246f8d-23a5-481d-ab59-38402fe7f24e
    https://openresearchlibrary.org/ext/api/media/6b246f8d-23a5-481d-ab59-38402fe7f24e/assets/external_content.pdf
    https://doi.org/10.20378/irbo-52527

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  7. 7

    Interaction Design in Virtual Reality Game Using Arduino Sensors

    Authors: Tseng, Juin-Ling

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/c1314319-e9e0-4222-91fd-68c0440fda7a
    https://openresearchlibrary.org/ext/api/media/c1314319-e9e0-4222-91fd-68c0440fda7a/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71016

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  8. 8

    Multiplayer Disciplinarily-integrated Agent-Based Games : Surge Gameblox

    Authors: Clark, Douglas B.

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/b68cdf4d-6059-4bc1-a038-26ce7fb9a61a
    https://openresearchlibrary.org/ext/api/media/b68cdf4d-6059-4bc1-a038-26ce7fb9a61a/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.73051

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  9. 9

    Game Engine Solutions

    Authors: Zarrad, Anis

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/706afc92-0037-471b-bb32-b2400f7d08f9
    https://openresearchlibrary.org/ext/api/media/706afc92-0037-471b-bb32-b2400f7d08f9/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71429

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  10. 10

    Digital Games in The Science Classroom : Leveraging internal and External Scaffolds During Game Play

    Authors: Krinks, Kara

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/5d756364-7a28-407b-a100-aaf4e260e021
    https://openresearchlibrary.org/ext/api/media/5d756364-7a28-407b-a100-aaf4e260e021/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.72071

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  11. 11

    Artificial intelligence : Are You Sure? Beware of What You Wish!

    Authors: da, Hugo Miguel

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/4a28b945-d7a6-4e60-aef3-a27ef2344167
    https://openresearchlibrary.org/ext/api/media/4a28b945-d7a6-4e60-aef3-a27ef2344167/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71143

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  12. 12

    An Evaluation of Open Digital Gaming Platforms for Developing Computational Thinking Skills

    Authors: Eguíluz, Andoni

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/3b604f68-5222-4829-9d31-bffa45275795
    https://openresearchlibrary.org/ext/api/media/3b604f68-5222-4829-9d31-bffa45275795/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71339

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  13. 13

    Educational Games in Higher Education

    Authors: İnce, Ebru Yilmaz

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/2b12a458-3833-4409-8bc1-fa2adaf1d609
    https://openresearchlibrary.org/ext/api/media/2b12a458-3833-4409-8bc1-fa2adaf1d609/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71017

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  14. 14

    Gamesourcing : Perspectives and Implementations

    Authors: Zelinka, Ivan

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/24ee0976-8a8b-4715-a303-2685c515d614
    https://openresearchlibrary.org/ext/api/media/24ee0976-8a8b-4715-a303-2685c515d614/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71703

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  15. 15

    Developing Educational Simulation for Rockwell Hardness Test Machine

    Authors: Shubber, Ahmed Hadi

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/2011ab74-ec97-4e35-9f87-d5632a77c8b3
    https://openresearchlibrary.org/ext/api/media/2011ab74-ec97-4e35-9f87-d5632a77c8b3/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71430

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  16. 16

    War-Gaming Applications for Achieving Optimum Acquisition of Future Space Systems

    Authors: Nguyen, Tien M.

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/8eaee8e9-4d3a-423d-ad01-855f2647da95
    https://openresearchlibrary.org/ext/api/media/8eaee8e9-4d3a-423d-ad01-855f2647da95/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.71044

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  17. 17

    Worked Examples in Physics Games : Challenges in integrating Proven Cognitive Scaffolds into Game Mechanics

    Authors: Adams, Deanne

    Source: MODID-6d55e02e354:IntechOpen

    Subject Terms: Computers / Logic Design, bisacsh:COM036000

    File Description: application/pdf

    Availability: https://openresearchlibrary.org/viewer/1ccb3728-e006-46f4-b4e1-49adaa6e1de1
    https://openresearchlibrary.org/ext/api/media/1ccb3728-e006-46f4-b4e1-49adaa6e1de1/assets/external_content.pdf
    https://doi.org/10.5772/intechopen.72152

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  18. 18

    Designing with Algorithms : A Mathematical Guide

    Authors: Arash Soleimani

    Resource Type: eBook.

    Subjects: Design--Mathematics

    Categories: ARCHITECTURE / Design, Drafting, Drawing & Presentation, ARCHITECTURE / Interior Design / General, COMPUTERS / Logic Design, COMPUTERS / Programming / Algorithms, DESIGN / General, DESIGN / Fashion & Accessories, DESIGN / Furniture, DESIGN / Graphic Arts / Typography, DESIGN / Product, DESIGN / Textile & Costume, ART / Video Game Art

    Save to List
  19. 19

    Fast and Slow : Methods for Timely HCI and Interaction Design Research

    Authors: Mikael Wiberg

    Resource Type: eBook.

    Subjects: User-centered system design--Research, Human-computer interaction

    Categories: COMPUTERS / General, COMPUTERS / Programming / Games, COMPUTERS / Computer Science, COMPUTERS / Logic Design, COMPUTERS / Software Development & Engineering / Systems Analysis & Design, COMPUTERS / Internet / Web Design, COMPUTERS / Data Science / Data Modeling & Design, COMPUTERS / Human-Computer Interaction (HCI), SCIENCE / Research & Methodology

    Save to List
  20. 20

    Global Optimization, Computation, Approximation And Applications

    Authors: Panos M Pardalos Themistocles M Rassias

    Resource Type: eBook.

    Categories: COMPUTERS / Logic Design, MATHEMATICS / Optimization

    Save to List

Search Tools: