UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

AP (2)

KDG (2)

VUB (1)

Resource type

digital (2)

book (1)

Language

English (2)

Year

From To

2023 (1)

2011 (1)

Listing 1 - 2 of 2
Sort by

Multi

Formal Modeling and Analysis of Timed Systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Authors: Petrucci, Laure --- Sproston, Jeremy
ISBN: 9783031426261 9783031426254 9783031426278 Year: 2023 Publisher: Cham Springer Nature, Imprint: Springer

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical control systems --- Computer science --- Information systems --- Computer. Automation --- NLP (neurolinguïstisch programmeren) --- toegepaste informatica --- computers --- informatica --- informatietechnologie --- software engineering --- computerkunde --- informatietheorie

Digital

Applications and Theory of Petri Nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Authors: Kristensen, Lars M. --- Petrucci, Laure
ISBN: 9783642218347 Year: 2011 Publisher: Berlin, Heidelberg Springer Berlin Heidelberg

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic --- Logic --- Computer science --- Programming --- Computer. Automation --- informatica --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering

Listing 1 - 2 of 2
Sort by