bib.howest.be Zoekresultaten

U zocht naar: Auteur Bjørner

« Vorige | 1 - 10 van 12 | Volgende »

1. Domain Science and Engineering : A Foundation for Software Development

Auteur:: Bjørner, Dines.
Uitgever:: Cham Springer International Publishing AG 2021
Type:: e-book

2. FM 2015: Formal Methods

Auteur:: Bjørner; Bjørner, Nikolaj; de Boer, Frank
Uitgever:: Springer International Publishing 2015
Type:: e-book

3. Software Engineering 2

Auteur:: Bjørner, Dines; Bjørner, Dines; Rozenberg, Grzegorz; Salomaa, Arto
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

4. Logics of Specification Languages

Auteur:: Bjørner, Dines; Bjorner, Dines; Henson, Martin C.
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

5. Automated Deduction – CADE-23

Auteur:: Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book

6. Logic for Programming, Artificial Intelligence, and Reasoning

Auteur:: Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

7. Software Engineering 1

Auteur:: Bjørner, Dines; Brauer, Wilfried; Rozenberg, Grzegorz; Salomaa, Arto
Uitgever:: Springer Berlin Heidelberg 2006
Type:: e-book

8. Distributed Computing and Internet Technology

Auteur:: Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida; Parida, Laxmi; Prasad, Sanjiva
Uitgever:: Springer International Publishing 2016
Type:: e-book

9. Formal Methods and Hybrid Real-Time Systems

Auteur:: Jones, Cliff B.; Bjørner, Dines; Chaochen, Zhou; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2007
Type:: e-book

10. Configuration Spaces

Auteur:: Bjorner, A.; Björner, Anders; Cohen, F.; Cohen, Fred; De Concini, Corrado; Procesi, Claudo; Salvetti, Mario
Uitgever:: Scuola Normale Superiore 2012
Type:: e-book