Treffliste - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

70 treff

Sortering

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Bernhard K. Aichernig, Tom Maibaum (eds.)...
Inngår i serie: Lecture notes in computer science (2757)
Bok Engelsk c2003

Model-based risk assessment in a component-based software engineering process - using the CORAS approach to identify security risks

Ketil Stølen ... [et al.]
Inngår i serie: IFE/HR/E (2002/021)
Bok Engelsk 2002

Trust, reputation and security: theories and practice : AAMAS 2002 international workshop, Bologna, Italy, July 15, 2002 : selected and invited papers

Rino Falcone ... [et al.] (eds.)
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2631)
Bok Engelsk c2003

Reliable software technologies - ADA-Europe 2002 : 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002 : proceedings

Ada-Europe International Conference on Reliable Software Technologies
Inngår i serie: Lecture notes in computer science (2361)
Bok Engelsk c2002

Advanced Internet services and applications : first international workshop, AISA 2002, Seoul, Korea, August 1-2, 2002 : proceedings

AISA 2002
Inngår i serie: Lecture notes in computer science (2402)
Bok Engelsk c2002

Agent-oriented software engineering III : third international workshop, AOSE 2002, Bologna, Italy, July 15, 2002 : revised papers and invited contributions

AOSE 2002
Inngår i serie: Lecture notes in computer science (2585)
Bok Engelsk c2003

Agents and peer-to-peer computing : first international workshop, AP2PC 2002, Bologna, Italy, July 15, 2002 : revised and invited papers

AP2PC 2002
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2530)
Bok Engelsk c2003

Bli kjent med Access 2002

Arlov, Per
Inngår i serie: Bli kjent med
Bok Bokmål 2001

Bli kjent med Excel 2002

Arlov, Per
Inngår i serie: Bli kjent med-
Bok Bokmål 2001

Bli kjent med PowerPoint 2002 : av Per Arlov

Arlov, Per
Inngår i serie: Bli kjent med-
Bok Bokmål 2001

Bli kjent med Word 2002

Arlov, Per
Inngår i serie: Bli kjent med-
Bok Bokmål 2001

Component deployment : IFIP/ACM working conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings

CD 2002
Inngår i serie: Lecture notes in computer science (2370)
Bok Engelsk c2002

Cooperative information agents VI : 6th international workshop, CIA 2002, Madrid, Spain, September 18-20, 2002 : proceedings

CIA 2002
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2446)
Bok Engelsk c2002

SOFSEM 2002 : theory and practice of informatics : 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 22-29, 2002 : proceedings

Conference on Current Trends in Theory and Practice of Informatics
Inngår i serie: Lecture notes in computer science (2540)
Bok Engelsk c2002

FST TCS 2002: foundations of software technology and theoretical computer science : 22nd conference, Kanpur, India, December 12-14, 2002 : proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science
Inngår i serie: Lecture notes in computer science (2556)
Bok Engelsk c2002

Knowledge management in medium-sized software consulting companies : an investigation of intranet-based knowledge management tools for knowledge cartography and knowledge repositories forlearning software organisations

Dingsøyr, Torgeir
Inngår i serier: Doktor ingeniøravhandling (2002:10), IDI-rapport (1/02)
Bok Engelsk 2002

FrontPage 2002 for dummies

Dornfest, Asha E.
Inngår i serie: -for dummies
Bok Bokmål 2001

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

EMSOFT 2002
Inngår i serie: Lecture notes in computer science (2491)
Bok Engelsk cop. 2002

Engineering societies in the agents world III : third international workshop, ESAW 2002, Madrid, Spain, September 16-17, 2002 : revised papers

ESAW 2002
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2577)
Bok Engelsk c2003

Software quality - ECSQ 2002 : quality connection : 7th European Conference on Software Quality, Helsinki, Finland, June 9-13, 2002 : proceedings

European Conference on Software Quality
Inngår i serie: Lecture notes in computer science (2349)
Bok Engelsk c2002

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

European Symposium on Programming
Inngår i serie: Lecture notes in computer science (2305)
Bok Engelsk c2002

Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

FASE 2002
Inngår i serie: Lecture notes in computer science (2306)
Bok Engelsk c2002

Scientific engineering for distributed Java applications : international workshop, FIDJI 2002 : Luxembourg-Kirschberg, Luxembourg, November 28-29, 2002 : revised papers

FIDJI 2002
Inngår i serie: Lecture notes in computer science (2604)
Bok Engelsk c2003

Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures

FMCO 2002
Inngår i serie: Lecture notes in computer science (2852)
Bok Engelsk c2003

Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

FOSSACS 2002
Inngår i serie: Lecture notes in computer science (2303)
Bok Engelsk c2002

Fast software encryption : 9th international workshop, FSE 2002, Leuven, Belgium, February 4-6, 2002 : revised papers

FSE 2002
Inngår i serie: Lecture notes in computer science (2365)
Bok Engelsk c2002

Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers

FAABS 2002
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2699)
Bok Engelsk c2003

Word 2002 for dummies

Gookin, Dan
Inngår i serie: -for dummies
Bok Bokmål 2001

Generative programming and component engineering : ACM SIGPLAN/SIGSOFT conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings

GPCE 2002
Inngår i serie: Lecture notes in computer science (2487)
Bok Engelsk c2002

The use of Bayesian belief networks when combining disparate sources of information in th esafety assessment of software-based systems

Gran, Bjørn Axel
Inngår i serie: IFE/HR/E (2002/020)
Bok Engelsk 2002

Hardy, Pia
Inngår i serie: PC-skolen
Bok Bokmål 2003

Hardy, Pia
Inngår i serie: PC-skolen
Bok Bokmål 2003

Powerpoint 2002

Hardy, Pia
Inngår i serie: PC-skolen
Bok Bokmål 2003

Hardy, Pia
Inngår i serie: PC-skolen
Bok Bokmål 2003

Excel 2002 for dummies

Harvey, Greg
Inngår i serie: -for dummies
Bok Bokmål 2001

COTS-based software systems : first international conference, ICCBSS 2002, Orlando, FL, USA, February 4-6, 2002 : proceedings

ICCBSS 2002
Inngår i serie: Lecture notes in computer science (2255)
Bok Engelsk c2002

Intelligent data engineering and automated learning - IDEAL 2002 : third international conference, Manchester, UK, August 12-14, 2002 : proceedings

IDEAL 2002
Inngår i serie: Lecture notes in computer science (2412)
Bok Engelsk c2002

Advanced information systems engineering : 14th international conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002 : proceedings

International Conference on Advanced Information Systems Engineering
Inngår i serie: Lecture notes in computer science (2348)
Bok Engelsk c2002

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

International Conference on Algebraic Methodology and Software Technology
Inngår i serie: Lecture notes in computer science (2422)
Bok Engelsk c2002

Compiler construction : 11th international conference, CC 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings

International Conference on Compiler Construction
Inngår i serie: Lecture notes in computer science (2304)
Bok Engelsk c2002

E-commerce and web technologies : third international conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002 : proceedings

International Conference on Electronic Commerce and Web Technologies
Inngår i serie: Lecture notes in computer science (2455)
Bok Engelsk c2002

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings

International Conference on Formal Engineering Methods
Inngår i serie: Lecture notes in computer science (2495)
Bok Engelsk c2002

Product focused software process improvement : 4th international conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002 : proceedings

International Conference on Product Focused Software Process Improvement
Inngår i serie: Lecture notes in computer science (2559)
Bok Engelsk c2002

Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, USA, April 15-19 2002 : proceedings

International Conference on Software Reuse
Inngår i serie: Lecture notes in computer science (2319)
Bok Engelsk c2002

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings

International SPIN Workshop
Inngår i serie: Lecture notes in computer science (2318)
Bok Engelsk c2002

Groupware: design, implementation, and use : 8th international workshop, CRIWG 2002, La Serena, Chile, September 1-4, 2002 : proceedings

International Workshop on Groupware
Inngår i serie: Lecture notes in computer science (2440)
Bok Engelsk c2002

Innovative concepts for agent-based systems : First International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers

International Workshop on Radical Agent Concepts
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2564)
Bok Engelsk c2003

Software security - theories and systems : MEXT-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002 : revised papers

ISSS 2002
Inngår i serie: Lecture notes in computer science (2609)
Bok Engelsk c2003

Active networks : IFIP-TC6 4th international working conference, IWAN 2002, Zurich, Switzerland, December 4-6, 2002 : proceedings

IWAN 2002
Inngår i serie: Lecture notes in computer science (2546)
Bok Engelsk c2002

Outlook 2002 for alle

Koch, Jørgen
Inngår i serie: PC-skolen
Bok Bokmål 2003

Vis flere treff