UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

AP (3)

KDG (3)

Resource type

digital (3)

Language

English (3)

Year

From To

2013 (1)

2010 (1)

2006 (1)

Listing 1 - 3 of 3
Sort by

Digital

Coordination Models and Languages (vol. # 4038) : 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Authors: Ciancarini, Paolo --- Wiklicky, Herbert
ISBN: 9783540346951 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- informatica --- programmeren (informatica) --- software engineering --- KI (kunstmatige intelligentie) --- robots --- AI (artificiële intelligentie)

Digital

Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Authors: Bernardo, Marco --- Vink, Erik --- Pierro, Alessandra --- Wiklicky, Herbert
ISBN: 9783642388743 Year: 2013 Publisher: Berlin, Heidelberg Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract
This book presents 5 tutorial lectures given by leading researchers at the 13th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2013, held in Bertinoro, Italy, in June 2013. SFM 2013 was devoted to dynamical systems and covered several topics including chaotic dynamics; information theory; systems biology; hybrid systems; quantum computing; and automata-based models and model checking.

Keywords
Logic --- Biomathematics. Biometry. Biostatistics --- Molecular biology --- Computer science --- Programming --- Computer. Automation --- bio-informatica --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- biometrie --- software engineering --- computerkunde --- moleculaire biologie

Digital

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures
Authors: Aldini, Alessandro --- Bernardo, Marco --- Di Pierro, Alessandra --- Wiklicky, Herbert
ISBN: 9783642136788 9783642136771 9783642136795 Year: 2010 Publisher: Berlin, Heidelberg Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Immunology. Immunopathology --- Programming --- Computer. Automation --- monoklonale antilichamen --- polyklonale antilichamen --- immunologie --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica

Listing 1 - 3 of 3
Sort by