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: John Gilbert Presslie Barnes 23 träffar

Titel Författare År Språk
1-5 Programming in Ada (flera utgåvor) John Gilbert Presslie Barnes cop. 1994 Engelska
6 High integrity Ada - the SPARK approach J. G. P. (John Gilbert Presslie) Barnes 1997 Engelska
7 Programming in Ada 95 John Gilbert Presslie Barnes 1998 Engelska
8 Ada in use - proceedings of the first Ada International Conference Paris 14-16 May 1985 Ada International Conference 1985) Paris : 1985 Engelska
9-10 Ada 95 rationale - the language, the standard libraries (flera utgåvor) cop. 1995 Engelska
11 RTL/2 design and philosophy John Gilbert Presslie Barnes cop. 1976 Engelska
12 High integrity software - the Spark approach to safety and security John Gilbert Presslie Barnes 2003 Engelska
13 Programming in Ada 2005 J. G. P. (John Gilbert Presslie) Barnes 2006 Engelska
14 Ada 2005 Rationale - The Language, The Standard Libraries J. G. P. (John Gilbert Presslie) Barnes 2008 Engelska
15-16 Gems of geometry (flera utgåvor) J. G. P. (John Gilbert Presslie) Barnes cop. 2009 Engelska
17 Programming in Ada 2012 J. G. P. (John Gilbert Presslie) Barnes 2014 Engelska
18 Programming in Ada 2012 / John Barnes. electronic resource J. G. P. author. (John Gilbert Presslie) Barnes uuuu-uuuu Okänt
19 Proceedings of the ACM SIGAda 1985 International Ada Conference J. G. P. (John Gilbert Presslie) Barnes uuuu-uuuu Okänt
20 Programming in Ada 2012 with a preview of Ada 2022 J. G. P. (John Gilbert Presslie) Barnes 2022 Engelska

1 2 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.