Narrow your search

Library

KU Leuven (10)

Odisee (10)

Thomas More Kempen (10)

Thomas More Mechelen (10)

UCLL (10)

VIVES (10)

UGent (9)

ULiège (9)

ULB (7)

KBC (4)

More...

Resource type

book (13)


Language

English (13)


Year
From To Submit

2022 (4)

2021 (5)

2020 (2)

2019 (1)

2012 (1)

Listing 1 - 10 of 13 << page
of 2
>>
Sort by

Book
Software engineering for embedded systems : methods, practical techniques, and applications
Authors: ---
ISBN: 0128094338 0128094486 9780128094334 9780128094488 Year: 2019 Publisher: Oxford : Elsevier,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications, Second Edition provides the techniques and technologies in software engineering to optimally design and implement an embedded system. Written by experts with a solution focus, this encyclopedic reference gives an indispensable aid on how to tackle the day-to-day problems encountered when using software engineering methods to develop embedded systems. New sections cover peripheral programming, Internet of things, security and cryptography, networking and packet processing, and hands on labs. Users will learn about the principles of good architecture for an embedded system, design practices, details on principles, and much more. Provides a roadmap of key problems/issues and references to their solution in the text Reviews core methods and how to apply them Contains examples that demonstrate timeless implementation details Users case studies to show how key ideas can be implemented, the rationale for choices made, and design guidelines and trade-offs


Book
Formal Methods Teaching
Authors: --- --- ---
ISBN: 9783030915506 9783030915513 9783030915490 Year: 2021 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.


Book
Accelerator Programming Using Directives
Authors: --- --- ---
ISBN: 9783030977597 Year: 2022 Publisher: Cham Springer International Publishing :Imprint: Springer


Book
Accelerator programming using directives : 7th international workshop, WACCPD 2020, virtual event, November 20, 2020, proceedings
Authors: --- ---
ISBN: 3030977587 3030977595 Year: 2022 Publisher: Cham, Switzerland : Springer,


Book
Statistics for engineers : an introduction with examples from practice
Authors: ---
ISBN: 3658323973 3658323965 Year: 2021 Publisher: Wiesbaden, Germany : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Engineering --- Statistical methods. --- Engineering statistics --- Engineering mathematics --- Enginyeria --- Estadística matemàtica --- Estadística descriptiva --- Inferència estadística --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de sèries temporals --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Correlació (Estadística) --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Fiabilitat (Enginyeria) --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica


Book
Advances in Computer Science for Engineering and Education IV : (ICCSEEA2021) ; Kyiv, Ukraine, January 23-24, 2021
Authors: --- --- ---
ISBN: 3030804720 3030804712 Year: 2021 Publisher: Cham : Springer International Publishing AG,


Book
Engineering statistics : an introduction
Author:
ISBN: 9783031050107 Year: 2022 Publisher: Cham, Switzerland : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Engineering --- Statistical methods. --- Engineering statistics --- Engineering mathematics --- Enginyeria --- Estadística matemática --- Estadística descriptiva --- Inferència estadística --- Matemàtica estadística --- Mètodes estadístics --- Estadística --- Anàlisi d'error (Matemàtica) --- Anàlisi de regressió --- Anàlisi de sèries temporals --- Anàlisi de variància --- Anàlisi multivariable --- Anàlisi seqüencial --- Astronomia estadística --- Correlació (Estadística) --- Dependència (Estadística) --- Estadística no paramètrica --- Estadística robusta --- Física estadística --- Mètode dels moments (Estadística) --- Models lineals (Estadística) --- Models no lineals (Estadística) --- Teoria de l'estimació --- Teoria de la predicció --- Tests d'hipòtesi (Estadística) --- Biometria --- Mostreig (Estadística) --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Fiabilitat (Enginyeria) --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica


Book
Data science and intelligent systems.
Authors: --- ---
ISBN: 3030903206 3030903214 Year: 2021 Publisher: Cham, Switzerland : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence --- Control theory --- Internet of things. --- IoT (Computer networks) --- Things, Internet of --- Computer networks --- Embedded Internet devices --- Machine-to-machine communications --- Intel·ligència artificial --- Teoria de control --- Internet de les coses --- Enginyeria de programari --- Enginyeria de programes d'ordinador --- Enginyeria del software --- Enginyeria informàtica --- Enginyeria --- Programació (Ordinadors) --- Arquitectura del programari --- Desenvolupament de programari --- Mètodes formals (Informàtica) --- Internet dels objectes --- Xarxes d'ordinadors --- Control (Matemàtica) --- Control òptim --- Regulació --- Anàlisi de sistemes --- Teoria de màquines --- Control automàtic --- Filtre de Kalman --- Sistemes de control biològic --- Ciència cognitiva --- Mètodes de simulació --- Processament de dades --- Sistemes autoorganitzatius --- Aprenentatge automàtic --- Demostració automàtica de teoremes --- Intel·ligència artificial distribuïda --- Intel·ligència computacional --- Sistemes adaptatius --- Tractament del llenguatge natural (Informàtica) --- Raonament qualitatiu --- Representació del coneixement (Teoria de la informació) --- Sistemes de pregunta i resposta --- Traducció automàtica --- Visió per ordinador --- Xarxes neuronals (Informàtica) --- Xarxes semàntiques (Teoria de la informació) --- Agents intel·ligents (Programes d'ordinador) --- Programació per restriccions --- Vida artificial


Book
Advances in Software Engineering Techniques : 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers
Authors: --- --- --- ---
ISSN: 03029743 ISBN: 3642280374 3642280382 Year: 2012 Volume: 7054 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. The 19 revised full papers presented were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on software architectures and development; modelling and formal methods in software development; measurements, testing, and quality of software.

Keywords

Engineering & Applied Sciences --- Computer Science --- Information Technology --- Software Engineering --- Software engineering --- Computer software --- Development --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering. --- Computer Communication Networks. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Programming Techniques. --- Information Systems Applications (incl. Internet). --- Logic design. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Programming --- Distributed processing --- Desenvolupament de programari --- Desenvolupament d'aplicacions (Informàtica) --- Desenvolupament de programes d'ordinador --- UML (Informàtica) --- Depuració (Informàtica) --- Enginyeria de programari


Book
World 2.0 : From Working for Others to Working for Yourself
Author:
ISBN: 3030515885 3030515877 Year: 2020 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

.

Keywords

Bioinformatics . --- Computational biology . --- Electrical engineering. --- User interfaces (Computer systems). --- Application software. --- Industrial engineering. --- Production engineering. --- Computer Appl. in Life Sciences. --- Communications Engineering, Networks. --- User Interfaces and Human Computer Interaction. --- Information Systems Applications (incl. Internet). --- Industrial and Production Engineering. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Electric engineering --- Engineering --- Biology --- Bioinformatics --- Bio-informatics --- Biological informatics --- Information science --- Computational biology --- Systems biology --- Manufacturing engineering --- Process engineering --- Industrial engineering --- Mechanical engineering --- Management engineering --- Simplification in industry --- Value analysis (Cost control) --- Data processing --- Communications engineering / telecommunications. --- Management. --- Philosophy. --- Enginyeria --- Biologia computacional --- Biologia --- Biologia de sistemes --- Neurociència computacional --- Bioinformàtica --- Tecnologia --- Arquitectura --- Bioenginyeria --- Biotecnologia --- Ciència dels materials --- Criogènia --- Dibuix industrial --- Enginyeria biomèdica --- Enginyeria civil --- Enginyeria concurrent --- Enginyeria de programari --- Enginyeria de sistemes --- Enginyeria elèctrica --- Enginyeria industrial --- Enginyeria forense --- Enginyeria geotèrmica --- Enginyeria mecànica --- Enginyeria militar --- Enginyeria naval --- Enginyeria química --- Enginyeria sísmica --- Enginyeria de costes --- Fiabilitat (Enginyeria) --- Informàtica --- Maquinària --- Mesurament --- Normes tècniques --- Oceanografia aplicada --- Resistència de materials --- Tecnologia del vapor --- Història de l'enginyeria --- Mecànica

Listing 1 - 10 of 13 << page
of 2
>>
Sort by