ssss

Tittel:         Databasesystemer / Bjørn

Kristoffersen
Forfatter:      Kristoffersen, Bjørn 1963-
Årstall:        2009
Trykt:          Oslo : Universitetsforl.
ISBN:           978-82-15-01522-4, h.
Utgave:         2. utg.
Sidetall:       XVII, 455 s. : ill.
Emner:          Databaser
Emner:          Structured query language
Emner:          Databasedesign
Emner:          Referansedatabaser
Emner:          Databasesystemer
Noter:          Nkr 399.00
Noter:          1. utg. 2007

Tittel:         An introduction to database

systems / C.J. Date
Forfatter:      Date, C.J.
Årstall:        c2004
Trykt:          Boston : Pearson/Addison

Wesley
ISBN:           0-321-18956-6, h.
Utgave:         8th ed.
Sidetall:       XXVII, 983, 22 s. : ill.
Emner:          Databaser
Emner:          Objektorienterte databaser
Emner:          Distribuerte databaser
Emner:          Databasearkitektur
Emner:          Databaseadministrasjon
Emner:          Databaseteori
Emner:          Structured query language
Emner:          Databasesystemer
Noter:          "International edition". - :

Omslaget

Tittel:         Philosophy of logic / edited

by Dale Jacquette
I serie:        Handbook of the philosophy

of science
Forfatter:      Jacquette, Dale
Årstall:        2007
Trykt:          Amsterdam : Elsevier
ISBN:           978-0-444-51541-4, ib., 0-

444-51541-0, ib.
Sidetall:       IX,1202 s.
Emner:          Logikk

Tittel:         A survey of metaphysics /

E.J. Lowe
Forfatter:      Lowe, E.J.
Årstall:        2002
Trykt:          Oxford : Oxford University

Press
ISBN:           0-19-875253-9, h.
Sidetall:       402 s.
Emner:          Metafysikk

Tittel:         Cognitive science : an

introduction to the study of mind / Jay

Friedenberg, Gordon
                Silverman
Forfatter:      Friedenberg, Jay
Forfatter:      Silverman, Gordon
Årstall:        c2006
Trykt:          Thousand Oaks, Calif. : Sage

Publications
ISBN:           978-1-4129-2568-6, h., 1-

4129-2568-1, h.
Sidetall:       XXIII, 531 s. : ill.
Emner:          intelektuelle prosesser
Emner:          psykologi
Emner:          Erkjennelsesteori
Emner:          Roboter
Emner:          Kognisjonsvitenskap

Tittel:         The logic of knowledge bases

/ Hector J. Levesque and Gerhard Lakemeyer
Forfatter:      Levesque, Hector J.
Forfatter:      Lakemeyer, Gerhard
Årstall:        c2000
Trykt:          Cambridge, Mass. : MIT Press
ISBN:           0-262-12232-4, ib.
Sidetall:       xviii, 282 s. : ill
Emner:          ekspertsystemer matematisk-

logikk kunnskapsrepresentasjon
Noter:          Includes bibliographical

references (p. [275]-280) and index.

Tittel:         Handbook of knowledge

representation / edited by Frank van

Harmelen, Vladimir
                Lifschitz, Bruce Porter
I serie:        Foundations of artificial

intelligence
Forfatter:      Harmelen, Frank van
Forfatter:      Lifschitz, Vladimir
Forfatter:      Porter, Bruce
Årstall:        cop. 2008
Trykt:          Amsterdam : Elsevier
ISBN:           978-0-444-52211-5, ib.
Sidetall:       XXVIII, 1005 s. : ill.
Emner:          Kunnskapsrepresentasjon

Tittel:         Computational intelligence :

an introduction / Andries P. Engelbrecht
Forfatter:      Engelbrecht, Andries P.
Årstall:        c2002
Trykt:          Chichester : Wiley
ISBN:           0-470-84870-7, ib.
Sidetall:       XVI, 288 s. : ill.
Emner:          Kunstig intelligens
Emner:          Intelligente systemer
Emner:          Fuzzy systemer
Emner:          Nevrale nettverk

PostID:         023029846
Tittel:         Artificial intelligence : a

modern approach / Stuart J. Russell and

Peter Norvig ;
                contributing writers: John

F. Canny ... [et al.]
I serie:        Prentice Hall series in

artificial intelligence
Forfatter:      Russell, Stuart
Forfatter:      Norvig, Peter
Årstall:        c2003
Trykt:          Upper Saddle River, N.J. :

Prentice-Hall
ISBN:           0-13-790395-2, h., 0-13-

080302-2, h.
Utgave:         2nd ed.
Sidetall:       XXVIII, 1081 s. : ill.
Emner:          Kunstig intelligens
Emner:          kunstig intelligens
Noter:          Bibliografi: s. 987-1043
Noter:          1. utg. 1995

Tittel:         Discrete structures, logic,

and computability / James L. Hein
I serie:        Jones and Bartlett computer

science
Forfatter:      Hein, James L.
Årstall:        c2002
Trykt:          Sudbury, Mass. : Jones and

Bartlett Publishers
ISBN:           0-7637-1843-2, ib.
Utgave:         2nd ed.
Sidetall:       XVI, 943 s. : ill.
Emner:          Automatateori
Emner:          Predikatlogikk
Emner:          Funksjonslære
Emner:          Mengdeteori
Emner:          Turingmaskiner
Emner:          Beregnbarhet
Emner:          Logiske strukturer
Emner:          Datastrukturer
Emner:          Matematisk databehandling
Emner:          Matematisk logikk

Tittel:         Discrete mathematics for

computing / Rod Haggarty
Forfatter:      Haggarty, Rod
Årstall:        cop. 2002
Trykt:          Harlow : Addison-Wesley
ISBN:           0-201-73047-2, h.
Sidetall:       XII, 235 s. : ill.
Emner:          diskret-matematikk

databehandling
Emner:          Boolsk algebra
Emner:          Kombinatorikk
Emner:          Grafteori
Emner:          Matematiske prinsipper

Tittel:         Discrete structures, logic,

and computability / James L. Hein
I serie:        Jones and Bartlett computer

science
Forfatter:      Hein, James L.
Årstall:        c2002
Trykt:          Sudbury, Mass. : Jones and

Bartlett Publishers
ISBN:           0-7637-1843-2, ib.
Utgave:         2nd ed.
Sidetall:       XVI, 943 s. : ill.
Emner:          Automatateori
Emner:          Predikatlogikk
Emner:          Funksjonslære
Emner:          Mengdeteori
Emner:          Turingmaskiner
Emner:          Beregnbarhet
Emner:          Logiske strukturer
Emner:          Datastrukturer
Emner:          Matematisk databehandling
Emner:          Matematisk logikk

Tittel:         Java software solutions :

foundations of program design / John Lewis,

William Loftus
Forfatter:      Lewis, John
Forfatter:      Loftus, William
Årstall:        c2003
Trykt:          Boston, Mass. : Addison

Wesley
ISBN:           0-201-78129-8, h.
Utgave:         3rd ed.
Sidetall:       XXIX, 924 s. : ill. + 1 CD-

ROM (12 cm)
Emner:          Programmeringsspråk
Emner:          Java
Noter:          CD-ROM i lomme

Tittel:         A semantic Web primer /

Grigoris Antoniou and Frank van Harmelen
I serie:        Cooperative information

systems
Forfatter:      Antoniou, Grigoris
Forfatter:      Harmelen, Frank van
Årstall:        c2004
Trykt:          Cambridge, Mass. : MIT Press
ISBN:           0-262-01210-3, ib.
Sidetall:       XX, 238 s. : ill.
Emner:          Ekspertsystemer
Emner:          Semantisk-Web
Emner:          Extensible markup language
Emner:          Resource description

framework
Emner:          Semantisk web
Emner:          Ontologier
Emner:          Kunstig intelligens
Emner:          Datalingvistikk
Emner:          Semantisk Web
Emner:          Verdensveven
Emner:          Brukergrensesnitt
Emner:          Programmering
Emner:          Programvare

Tittel:         An introduction to XML and

web technologies / Anders Møller and Michael

I.
                Schwartzbach
Forfatter:      Møller, Anders
Forfatter:      Schwartzbach, Michael I.
Årstall:        2006
Trykt:          Harlow : Addison-Wesley
ISBN:           0-321-26966-7, h., 978-0-

321-26966-9, h.
Sidetall:       XXII, 542 s. : ill.
Emner:          Markeringsspråk
Emner:          XML
Emner:          World Wide Web

Tittel:         XQuery : the XML query

language / Michael Brundage
Forfatter:      Brundage, Michael
Årstall:        c2004
Trykt:          Boston : Addison-Wesley
ISBN:           0-321-16581-0, h.
Sidetall:       XXV, 505 s.