Výsledky vyhľadávania - "Computer programming / software engineering"

Mobile Gait Analysis: From Prototype towards Clinical Grade Wearable

Autori: Hannink, Julius

Predmety: Parkinsonismus, Bewegungsstörung, Maschinelles Lernen, Beschleunigungssensor, Ganganalyse, Machine learning, Computer programming / software engineering

Popis súboru: application/pdf

Relation: FAU Studien aus der Informatik

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/109163

Automatic Code Generation for Massively Parallel Applications in Computational Fluid Dynamics

Autori: Kuckuk, Sebastian

Predmety: Hochleistungsrechnen, Domänenspezifische Programmiersprache, Codegenerierung, Partielle Differentialgleichung, Numerische Strömungssimulation, Mehrgitterverfahren, Computer programming / software engineering, Human–computer interaction

Popis súboru: application/pdf

Relation: FAU Studien aus der Informatik

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/109167

Simulation of the laser melting process of titanium using Smoothed Particle Hydrodynamics

Autori: Blank, Michael

Predmety: Smoothed Particle Hydrodynamics, Ray tracing, Rapid Prototyping, Titan, Benetzung, Selektives Laserschmelzen, Computersimulation, Oberflächenspannung, Mechanical engineering, Engineering: general, Other technologies and applied sciences, Computer programming / software engineering

Popis súboru: application/pdf

Relation: FAU Forschungen : Reihe B

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/105766

Today's TBB

Autori: Voss, Michael J. Reinders, James R.

Predmety: Multicore, concurrency, parallel, parallel programming, thread, heterogeneous programming, algorithms, library, STL, Compilers and interpreters, Computer programming / software engineering, Algorithms and data structures, Databases

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/100764

Agent-Based Evolutionary Game Dynamics: a guide to implement and analyze Agent-Based Models within the framework of Evolutionary Game Theory

Autori: Izquierdo Millán, Luis Rodrigo Izquierdo, Segismundo S. Sandholm, William H.

Zdroj: Repositorio Institucional de la Universidad de Burgos (RIUBU)
instname

Predmety: Probability and statistics, Mathematical statistics, Mathematical modelling, Estadística matemática, Game Theory, Evolution, Computer modelling and simulation, Computer programming / software engineering, Stochastics, Object-oriented programming (OOP), Teoría de juegos

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10259/9649

Engineering Agile Big-Data Systems

Autori: Feeney, Kevin Davies, Jim Welch, James

Predmety: thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining, Computer programming / software engineering, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, Data mining

Popis súboru: image/jpeg; application/pdf

Prístupová URL adresa: https://library.oapen.org/bitstream/20.500.12657/59749/1/9781000795868.pdf
https://library.oapen.org/handle/20.500.12657/59749
https://directory.doabooks.org/handle/20.500.12854/94314
https://library.oapen.org/handle/20.500.12657/59749

Open Mapping towards Sustainable Development Goals

Prispievatelia: Solís, Patricia Zeballos, Marcela

Predmety: YouthMappers, Sustainable development goals, Open street map, Open spatial data, Community engagement, Youth empowerment, Geography, Literature: history and criticism, Computer programming / software engineering, Sustainability

Popis súboru: application/pdf

Relation: Sustainable Development Goals Series

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/60143

Behavioural Types

Prispievatelia: Gay, Simon Ravara, António

Predmety: Computer programming / software engineering, Energy

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/59807

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

Prispievatelia: Payá-Vayá, Guillermo Blume, Holger

Predmety: Computer programming / software engineering, Energy, Transport technology and trades

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/59740

Computer-Driven Instructional Design with INTUITEL

Prispievatelia: Fuchs, Kevin Henning, Peter A.

Predmety: Computer programming / software engineering, Energy

Popis súboru: application/pdf

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/59737

Automated Reasoning

Prispievatelia: Blanchette, Jasmin Kovács, Laura Pattinson, Dirk

Predmety: artificial intelligence, automata theory, computer hardware, computer networks, computer programming, computer systems, embedded systems, formal languages, formal logic, logic programming, network protocols, semantics, software architecture, software design, software engineering, theoretical computer science, Mathematical theory of computation, Software Engineering, Computer networking and communications, Artificial intelligence, Computer programming / software engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/57927

Essentials of computing systems

Autori: João M. Fernandes Universidade do Minho

Prispievatelia: João M. Fernandes Universidade do Minho

Predmety: programmers, thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering, Informação, Sistemas de computação, Programação, computing systems

Popis súboru: image/png; application/pdf

Prístupová URL adresa: https://hdl.handle.net/1822/79071
https://hdl.handle.net/1822/79059

Programming Languages and Systems

Prispievatelia: Sergey, Ilya

Predmety: automata theory, computer programming, computer systems, databases, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, linguistics, ontologies, parallel processing systems, program compilers, programming languages, semantics, software design, software engineering, software quality, verification, Programming and scripting languages: general, Computer science, Algorithms and data structures, Network hardware, Computer programming / software engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/54028

Computer Aided Verification

Prispievatelia: Silva, Alexandra Leino, K. Rustan M.

Predmety: architecture verification, artificial intelligence, computer programming, distributed computer systems, distributed systems, embedded systems, formal logic, formal methods, formal verifications, model checker, model checking, signal processing, software architecture, software design, software engineering, software quality, Software Engineering, Mathematical theory of computation, Artificial intelligence, Computer programming / software engineering, Computer modelling and simulation

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/50429

The Once-Only Principle

Prispievatelia: Krimmer, Robert Prentza, Andriana Mamrot, Szymon

Predmety: Computer Applications, Special Purpose and Application-Based Systems, Programming Techniques, Software Engineering/Programming and Operating Systems, Computer Application in Administrative Data Processing, Computer and Information Systems Applications, Software Engineering, access control, communication systems, computer systems, cryptography, databases, Field Programmable Gate Array (FPGA), gateways (computer networks), information systems, internet protocols, network protocols, object-oriented design, object-oriented programming, object-oriented programming languages, signal processing, social networks, software architecture, software design, system architectures, Information technology: general issues, Expert systems / knowledge-based systems, Computer programming / software engineering, Operating systems, Information technology: general topics

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/50047

Automated Deduction – CADE 28

Prispievatelia: Platzer, André Sutcliffe, Geoff

Predmety: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Artificial intelligence

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/50048

Foundations of Software Science and Computation Structures

Prispievatelia: Kiefer, Stefan Tasson, Christine

Predmety: 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, Artificial intelligence, Databases

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48218

Tools and Algorithms for the Construction and Analysis of Systems

Prispievatelia: Groote, Jan Friso Larsen, Kim Guldstrand

Predmety: 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, Computer networking and communications, Computer programming / software engineering

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48219

Fundamental Approaches to Software Engineering

Prispievatelia: Guerra, Esther Stoelinga, Mariëlle

Predmety: 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, Artificial intelligence

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48217

Programming Languages and Systems

Prispievatelia: Yoshida, Nobuko

Predmety: Programming Languages, Compilers, Interpreters, Natural Language Processing (NLP), Software Engineering, Logics and Meanings of Programs, Computer Systems Organization and Communication Networks, Compilers and Interpreters, Computer Science Logic and Foundations of Programming, Computer Engineering and Networks, computer programming, concurrency theory, distributed computer systems, formal logic, lamdba calculi, linguistics, logic, object-oriented programming, parallel processing systems, probabilistic programming, process calculi, program compilers, semantics, software design, software quality, theory, types, verification and validation, Programming & scripting languages: general, Compilers & interpreters, Natural language & machine translation, Computer programming / software engineering, Computer architecture & logic design, Computer networking & communications, Programming and scripting languages: general, Artificial intelligence, Computer networking and communications

Popis súboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Prístupová URL adresa: https://library.oapen.org/handle/20.500.12657/48221