Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Dines Bjørner 42 träffar

Titel Författare År Språk
1 Abstract software specifications - proceedings Copenhagen Winter School on Abstract Software Specifications (1979) 1980 Engelska
2 Baltic computer science - selected papers cop. 1991 Engelska
3-4 Domain science and engineering : a foundation for software development / Dines Bjørner (flera utgåvor) D. 1937- author. (Dines) Bjørner uuuu-uuuu Okänt
5 Software Engineering 1 electronic resource : Abstraction and Modelling / by Dines Bjørner Dines. author. Bjørner uuuu-uuuu Okänt
6 Software Engineering 2 electronic resource : Specification of Systems and Languages / by Dines Bjørner Dines. author. Bjørner uuuu-uuuu Okänt
7 Software Engineering 3 electronic resource : Domains, Requirements, and Software Design / by Dines Bjørner Dines. author. Bjørner uuuu-uuuu Okänt
8 Domain Science and Engineering : A Foundation for Software Development Dines. Bjørner 2021 Engelska
9 Formal specification and software development Dines Bjørner cop. 1982 Engelska
10-11 Logics of Specification Languages (flera utgåvor) Dines. Bjørner 2008 Engelska
12 Software Engineering 1 electronic resource - Abstraction and Modelling Dines. Bjørner 2006 Engelska
13 Software Engineering 1 Dines Bjørner 2006 Okänt
14 Software engineering 1, Abstraction and modelling Dines Bjørner 2005 Engelska
15 Software Engineering 2 electronic resource - Specification of Systems and Languages Dines. Bjørner 2006 Engelska
16 Software Engineering 2 Dines Bjørner 2006 Okänt
17 Software engineering 2, Specification of systems and languages Dines Bjørner 2006 Engelska
18 Software Engineering 3 Dines Bjørner 2006 Okänt
19 Perspectives of System Informatics Dines Bjørner uuuu-uuuu Okänt
20 Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99 Akademgorodok, Novosibirsk, Russia July 69, 1999 Proceedings Dines Bjørner uuuu-uuuu Okänt

1 2 3 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.