Zoeken

U zocht naar: Auteur Bjørner, Nikolaj Filter Auteur: Bjørner, Nikolaj weghalen Type e-book Filter Type: e-book weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. FM 2015: Formal Methods
thumbnail
Full text!
Auteur:
Bjørner; Bjørner, Nikolaj; de Boer, Frank
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. Automated Deduction – CADE-23
thumbnail
Full text!
Auteur:
Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book
3. Logic for Programming, Artificial Intelligence, and Reasoning
thumbnail
Full text!
Auteur:
Hutchison, David; Kanade, Takeo; Bjørner, Nikolaj; Voronkov, Andrei
Uitgever:
Springer Berlin Heidelberg 2012
Type:
e-book
4. Distributed Computing and Internet Technology
thumbnail
Full text!
Auteur:
Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida; Parida, Laxmi; Prasad, Sanjiva
Uitgever:
Springer International Publishing 2016
Type:
e-book