Biblioteksøk
Vis søkeskjema
Søkeord
Søk
Nullstill filter
·
Nytt søk
Avgrens søket
Velg sortering
Sortering
Relevans (titler likest søkeord først)
Utgivelsesår (nyeste først)
Tittel
Person
Sortering
Søk kun i bestemt felt
Søk i alle felt
Tittel
Ord i tittel
Forfatter/Medvirkende
Emne/Omtalt
ISBN
Dewey-nr
Avgrens på brukernivå barn, voksen osv
Passer for
Barn og ungdom
Voksne
Avgrens på format. (Bok, DVD, Lydbok, etc.)
Alle formater/medier
Bøker
Lydbøker
Digitalt innhold
Blu-ray
DVD
Musikk - alle formater
Musikk på CD
Musikk på Vinyl
Musikk på DVD
Musikk på Blu-ray
Musikknoter
Tegneserier
Språkkurs
PC-spill
Playstation-spill
Xbox-spill
Nintendo-spill
Avgrens på språk
Alle språk
Norsk
Bokmål
Nynorsk
Engelsk
Svensk
Dansk
Afrikaans
Albansk
Amharisk
Arabisk
Armensk
Aserbadjansk
Asturiansk
Baskisk
Belarusisk
Bengali
Bosnisk
Bretonsk
Bulgarsk
Burmesisk
Cambodiansk
Dari
Dinka
Egyptisk
Engelsk (mellomengelsk)
Eskimo
Esperanto
Estisk
Etiopisk
Farsi
Filippinsk
Finsk
Flamsk
Flerspråklig
Fransk
Færøysk
Gaelisk
Georgisk
Gresk, klassisk
Gresk, moderne
Grønlandsk
Gujarati
Hausa
Hebraisk
Hindi
Igbo
Inarisamisk
Indonesisk
Ingen
Irsk
Islandsk
Italiensk
Japansk
Katalansk
Kikongo
Kinesisk
Kinyarwanda
Kirundi
Koreansk
Kroatisk
Kurdisk
Kurmanji
Kvensk
Latin
Latvisk
Litauisk
Lulesamisk
Makedonsk
Montenegrinsk
Nederlandsk
Nepalesisk
Nordsamisk
Norrøn
Oromo
Panjabi
Pashto
Polsk
Portugisisk
Romani
Rumensk
Russisk
Samisk (andre)
Serbisk
Shona
Skoltesamisk
Slovakisk
Slovensk
Somalisk
Sorani
Spansk
Språk ikke angitt
Swahili
Sørsamisk
Tagalog
Tamil
Tatarisk
Thai
Tigrinja
Tsjekkisk
Twi
Tyrkisk
Tysk
Ubestemt
Uigurisk
Ukrainsk
Ungarsk
Urdu
Uten språklig innhold
Vietnamesisk
Walisisk
Wolof
Xhosa
Yoruba
Fra år
Til år
Skjul avgrensninger
26 treff
computer software development congresses
FME 2001 : formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
International Symposium of Formal Methods Europe
Bok
·
Engelsk
·
2001
·
Vis mer
Bestill
Proceedings of the Sixth International Workshop on Software Specification and Design, October 25-26, 1991, Como, Italy
International Workshop on Software Specification and Design
Bok
·
Engelsk
·
1991
·
Vis mer
Bestill
Software development environments and CASE technology : European symposium, Königswinter, June 17-19, 1991 : proceedings
A. Endres, H. Weber (eds.)
Bok
·
Engelsk
·
1991
·
Vis mer
Bestill
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
International Symposium of Formal Methods Europe
Bok
·
Engelsk
·
1996
·
Vis mer
Bestill
Mathematical foundations of software development : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. 1 : Colloquium on Trees in Algebra and Programming (CAAP '85)
International Joint Conference on Theory and Practice of Software Development
Bok
·
Engelsk
·
1985
·
Vis mer
Bestill
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings
International Symposium of Formal Methods Europe
Bok
·
Engelsk
·
1994
·
Vis mer
Bestill
Formal specification of complex reasoning systems
International Workshop on Formal Specification Methods forComplex Reasoning Systems
Bok
·
Engelsk
·
1993
·
Vis mer
Bestill
First International Conference on the Software Process : manufacturing complex systems : October 21-26, 1991, Redondo Beach, California
International Conference on the Software Process
Bok
·
Engelsk
·
1991
·
Vis mer
Bestill
VDM '91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings. 2. Tutorials
VDM Europe. International Symposium (4: 1991 Noordwijkerhout)
Bok
·
Engelsk
·
1991
·
Vis mer
Bestill
FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 : proceedings
International Symposium of Formal Methods Europe
Bok
·
Engelsk
·
1993
·
Vis mer
Bestill
Software process technology : 6th European workshop, EWSPT '98 : Weybridge, UK, September 16-18, 1998 : proceedings
EWSPT '98
Bok
·
Engelsk
·
1998
·
Vis mer
Bestill
Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings
EWSPT '96
Bok
·
Engelsk
·
1996
·
Vis mer
Bestill
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings
EWSPT '95
Bok
·
Engelsk
·
1995
·
Vis mer
Bestill
TAPSOFT '95 : theory and practice of software development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 : proceedings
International Joint Conference CAAP/FASE
Bok
·
Engelsk
·
1995
·
Vis mer
Bestill
Object technologies for advanced software : first JSSST international symposium, Kanazawa, Japan, November 4-6, 1993 : proceedings
Shojiro Nishio, Akinori Yonezawa (eds.)
Bok
·
Engelsk
·
1993
·
Vis mer
Bestill
Experience with the management of software projects 1992 : proceedings of the Fourth IFAC/IFIP Workshop, Schloss Seggau, Austria, 18-20 May 1992
edited by P. Elzer and V. Haase
Bok
·
Engelsk
·
1992
·
Vis mer
Bestill
TAPSOFT '93 : theory and practice of software development : 4th [i.e. 5th] International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
International Joint Conference CAAP/FASE
Bok
·
Engelsk
·
1993
·
Vis mer
Bestill
Experience with the management of software projects 1989 : proceedings of the Third IFAC/IFIP Workshop, Indiana, USA, 30 October-1 November, 1989
edited by F. J. Mowle and P. F. Elzer
Bok
·
Engelsk
·
1990
·
Vis mer
Bestill
VDM '90 : VDM and Z-formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 : proceedings
VDM Europe
Bok
·
Engelsk
·
1990
·
Vis mer
Bestill
VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /
VDM '88
Bok
·
Engelsk ·
Vis mer
Bestill
Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005 : proceedings
ECMDA-FA 2005
Bok
·
Engelsk
·
2005
·
Vis mer
Bestill
Tools and algorithms for the construction and analysis of systems : 4th international conference, TACAS '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceeding
TACAS '98
Bok
·
Engelsk
·
1998
·
Vis mer
Bestill
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
TACAS '97
Bok
·
Engelsk
·
1997
·
Vis mer
Bestill
Algebraic methods II : theory, tools and applications
J. A. Bergstra, L. M. G. Feijs (eds.)
Bok
·
Engelsk
·
1991
·
Vis mer
Bestill
Algebraic methods : theory, tools, and applications
M. Wirsing, J. A. Bergstra (eds.)
Bok
·
Engelsk
·
1989
·
Vis mer
Bestill
Integrated project support environments
edited by John McDermid
Bok
·
Engelsk
·
1985
·
Vis mer
Bestill
Biblioteksøk
Meny
Startside
Lånekurv
English
Nynorsk
Davvisámegillii (Nordsamisk)
Valgt språk:Bokmål
Min profil
Mitt lånekort
Logg inn
Lukk meny