Narrow your search

Library

KU Leuven (5)

UGent (3)

VUB (2)

AP (1)

EhB (1)

KDG (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLouvain (1)

More...

Resource type

book (9)

digital (1)


Language

English (7)

Spanish (2)


Year
From To Submit

2024 (1)

2017 (2)

2013 (1)

2011 (1)

2010 (3)

More...
Listing 1 - 9 of 9
Sort by

Book
Testing software and systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. proceedings
Authors: --- --- ---
ISBN: 3642165729 9786613568007 1280390085 3642165737 Year: 2010 Publisher: New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer software --- Computer systems --- Telecommunication systems --- Engineering & Applied Sciences --- Computer Science --- Testing --- Information Technology --- Software Engineering --- Communication systems --- Communications systems --- Systems, Communication --- Computer science. --- Software engineering. --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer software engineering --- Engineering --- Informatics --- Science --- Programming --- Electronic systems --- Telecommunication --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Natal


Book
Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
Authors: --- --- ---
ISBN: 9783642165733 9783642165726 9783642165740 Year: 2010 Publisher: Berlin Heidelberg Springer Berlin Heidelberg

Loading...
Export citation

Choose an application

Bookmark

Abstract

Testing has steadily become more and more important within the development of software and systems, motivating an increasing amount of research aimed at tryingtosolvebothnewchallengesimposedbytheadvancementinvariousareas of computer science and long-standing problems. Testing has evolved during the last decades from an ad-hoc and under-exposed area of systems development to an important and active research area. The22ndInternationalConferenceonTestingSoftwareandSystems(ICTSS) involved the merger of two traditional and important events which have served the testing community as an important venue for discussing advancements in the area. Those events, namely, TestCom (the IFIP TC 6/WG 6.1 Inter- tional Conference on Testing of Communicating Systems), and FATES (Inter- tional Workshop on Formal Approaches to Testing of Software), together form a large event on testing, validation, and speci?cation of software and systems. They have a long history. TestCom is an IFIP-sponsored series of international conferences,previouslyalsocalledInternationalWorkshoponProtocolTestS- tems(IWPTS)orInternationalWorkshoponTestingofCommunicatingSystems (IWTCS). It is devoted to testing of communicating systems, including testing of communication protocols, services, distributed platforms, and middleware.


Book
Los fragmentos de Lucilio en la "edición" inédita de Antonio Agustín : estudio y comentario
Authors: ---
ISBN: 9788476845042 8476845049 Year: 1994 Publisher: Murcia: Universidad de Murcia,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Proceedings of the 31st Brazilian Symposium on Software Engineering
Authors: ---
ISBN: 1450353266 Year: 2017 Publisher: New York NY ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Multi
Testing Software and Systems
Authors: --- --- ---
ISBN: 9783642165733 9783642165726 9783642165740 Year: 2010 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg


Book
SBES 2017 : XXXI Brazilian Symposium on Software Engineering : proceedings : September 20-22, 2017, Fortaleza, CE, Brazil
Authors: ---
Year: 2017 Publisher: New York : ACM,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Rodrigo Sánchez de Arévalo : Tratado sobre la división del reino y cuándo es lícita la primogenitura
Authors: ---
ISBN: 9788499600239 8499600239 Year: 2011 Publisher: Logroño Instituto de Estudios Riojanos

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The 28th annual ACM Symposium on Applied Computing : Coimbra, Portugal, March 18-22, 2013
Authors: --- --- --- ---
ISBN: 1450316565 Year: 2013 Publisher: [Place of publication not identified] ACM

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Acta conventus neo-latini lovaniensis : proceedings of the eighteenth international congress of neo-Latin studies (Leuven 2022)

Loading...
Export citation

Choose an application

Bookmark

Abstract

"Every third year, the members of the International Association for Neo-Latin Studies (IANLS) assemble for a week-long conference. Over the years, this event has evolved into the largest single conference in the field of Neo-Latin studies. The papers presented at these conferences offer, then, a general overview of the current status of Neo-Latin research; its current trends, popular topics, and methodologies. In 2022, the members of IANLS gathered for a conference in Leuven where 50 years ago the first of these congresses took place.This volume presents the conference's papers which were submitted after the event and which have undergone a peer-review process. The papers deal with a broad range of fields, including literature, history, philology, and religious studies"--

Listing 1 - 9 of 9
Sort by