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: Institutionen för datavetenskap (Göteborg) 442 träffar

Titel Författare År Språk
301 Proving and disproving correctness of functional programs - a first-order axiomatization of Haskell Institutionen för datavetenskap (Göteborg) Martin Sjögren 2004 Engelska
302 Kommunikationsprotokoll för informationsinsamling Institutionen för datavetenskap (Göteborg) Anders Axelsson 1997 Svenska
303 An efficient algorithm for a sharing analysis with polymorphism and subtyping Institutionen för datavetenskap (Göteborg) Josef Svenningsson 2000 Engelska
304 E-commerce-economy system integration Institutionen för datavetenskap (Göteborg) Per Russberg 2000 Engelska
305 Stålmarck's method for automated theorem proving in first order logic Institutionen för datavetenskap (Göteborg) Magnus Björk 2003 Engelska
306 Mead - an implementation of Java virtual machine for APZ 21230 processor Institutionen för datavetenskap (Göteborg) Arash Tavakoli 1999 Engelska
307 Component software engineering - using Microsoft's COM technology Institutionen för datavetenskap (Göteborg) Vinh-Sang Tri 1997 Engelska
308 Online course evaluation - Kursutvärdering online Institutionen för datavetenskap (Göteborg) Magnus Mörstam 2001 Engelska
309 C programming language extended with datatypes and pattern matching Institutionen för datavetenskap (Göteborg) Iskandar Botros Hannoun 1996 Engelska
310 Timelog - tidmätning av programvara Institutionen för datavetenskap (Göteborg) Henrik Sigurdsson 1997 Svenska
311 Query devices for selecting discrete subranges Institutionen för datavetenskap (Göteborg) Malin Norrliden Marie Fougelberg 2002 Engelska
312 Utredning av ett nytt grafiskt användargränssnitt till Maestro Institutionen för datavetenskap (Göteborg) Åse-Marie Josefsson 2001 Svenska
313 Real-time shadows in interactive 3D computer graphics Institutionen för datavetenskap (Göteborg) Lars Ahlzén 2003 Engelska
314 Kopplade spel - utökning av TV-spel med mobil funktionalitet Institutionen för datavetenskap (Göteborg) Johan Peitz 2004 Svenska
315 Majken - en schack-dator i Prolog Institutionen för datavetenskap (Göteborg) Foroogh Khangholi 2002 Svenska
316 Collaborative editing using CORBA with focus on consistency Institutionen för datavetenskap (Göteborg) Pether Sörling 2003 Engelska
317 Prestanda och portabilitet för komponentbaserade system Institutionen för datavetenskap (Göteborg) Joakim Viker Eva Ljunggren 2001 Svenska
318 Analysis and simulation of a geographical information subsystem for use by the country fire authority in Australia Institutionen för datavetenskap (Göteborg) Hans Rutström Robert Andersson 2002 Engelska
319 Design och implementation av mobila databassystem Institutionen för datavetenskap (Göteborg) Fredrik Andreasson 2000 Svenska
320 Graphical representation of rating data Institutionen för datavetenskap (Göteborg) Erik Jurander 1998 Engelska

Förra sidan 10 11 12 13 14 15 16 17 18 19 20 21 22 23 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.