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 informationsbehandling (Göteborg) 24 träffar

Titel Författare År Språk
1 Programmera mera Institutionen för informationsbehandling (Göteborg) Magnus Bondesson 1993 Svenska
2 Sammandrag av presentationer vid Pascal-konferensen 1980-06-04--05 Institutionen för informationsbehandling (Göteborg) Pascal-konferensen 1980) (Göteborg : 1980 Engelska
3 A machine checked proof that Ackermann's function is not primitive recursive Institutionen för informationsbehandling (Göteborg) Nora Szasz 1991 Engelska
4 Tools for a calculus of broadcasting systems Institutionen för informationsbehandling (Göteborg) Jenny Petersson 1993 Engelska
5 Omelett - a language for reactive programming Institutionen för informationsbehandling (Göteborg) Johan Nordlander 1994 Engelska
6 Distribuerade databehandlingsystem Institutionen för informationsbehandling (Göteborg) Christer Carlsson Sven-Arne Andréasson 1991 Svenska
7 Proving the correctness of a virtual machine by a bisimulation Institutionen för informationsbehandling (Göteborg) Mikael Rittri 1988 Engelska
8 An implementation of Martin-Löf's logical framework Institutionen för informationsbehandling (Göteborg) Lena Magnusson 1991 Engelska
9-10 Programmera (flera utgåvor) Institutionen för informationsbehandling (Göteborg) Magnus Bondesson 1993 Svenska
11 Sim Game Translator - ett program som översätter övningar för simulator-systemet OTS till laddningsbara filer för simulator-systemet Hydra Institutionen för informationsbehandling (Göteborg) Patrick Bräck Thomas Rempling 1991 Svenska
12 Subtypes in polymorphic functional languages Institutionen för informationsbehandling (Göteborg) Thomas Hallgren 1993 Engelska
13 Graph reduction meets data flow - the D-machine Institutionen för informationsbehandling (Göteborg) Kent Karlsson 1989 Engelska
14 GCLA II - a definitional approach to control Institutionen för informationsbehandling (Göteborg) Per Kreuger 1991 Engelska
15 The sum in communicating systems Institutionen för informationsbehandling (Göteborg) Jan Ekman 1989 Engelska
16 Recursive descent parsing of user defined distfix operators Institutionen för informationsbehandling (Göteborg) Annika Aasa 1989 Engelska
17 A concurrent garbage collector for the (v,G)-machine Institutionen för informationsbehandling (Göteborg) Niklas Röjemo 1991 Engelska
18 Bruksanvisning i IBM-ALGOL - terminalversion Institutionen för informationsbehandling (Göteborg) 1973 Svenska
19 Fast decision of strong bisimulation equivalence using partition refinement Institutionen för informationsbehandling (Göteborg) Sven Westin 1989 Engelska
20 Formal proofs of combinatorial completeness Institutionen för informationsbehandling (Göteborg) Verónica Gaspes 1992 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.