Treffliste - International Computer Science Conference - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

1182 treff

Sortering

Forsidebilde

Internet applications : 5th International Computer Science Conference, ICSC'99, Hong Kong, China, December 13-15, 1999 : proceedings

International Computer Science Conference
Inngår i serie: Lecture notes in computer science (1749)
Bok Engelsk c1999

Forsidebilde

Active media technology : 6th International Computer Science Conference, AMT 2001, Hong Kong, China, December 18-20, 2001 : proceedings

International Computer Science Conference
Inngår i serie: Lecture notes in computer science (2252)
Bok Engelsk c2001

Forsidebilde

Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings

International Conference on Relational Methods in ComputerScience
Inngår i serie: Lecture notes in computer science (4136)
Bok Engelsk c2006

Forsidebilde

Computer supported cooperative work in design II : 9th international conference, CSCWD 2005, Coventry, UK, May 24-26, 2005 : revised selected papers

International Conference on Computer Supported CooperativeWork in Design
Inngår i serie: Lecture notes in computer science (3865)
Bok Engelsk c2006

Forsidebilde

Computer science logic : 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (4207)
Bok Engelsk c2006

Forsidebilde

Computer aided systems theory - EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005 : revised selected papers

International Conference on Computer Aided Systems Theory
Inngår i serie: Lecture notes in computer science (3643)
Bok Engelsk c2005

Forsidebilde

Computer supported cooperative work in design I : 8th international conference, CSCWD 2004, Xiamen, China, May 26-28, 2004 : revised selected papers

International Conference on Computer Supported CooperativeWork in Design
Inngår i serie: Lecture notes in computer science (3168)
Bok Engelsk c2005

Forsidebilde

Computer science logic : 19th international workshop, CSL 2005, 14th annual conference of the EACSL, Oxford, UK, August 22-25, 2005 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (3634)
Bok Engelsk c2005

Forsidebilde

Computer vision systems : first international conference, ICVS'99, Las Palmas, Gran Canaria, Spain, January 13-15, 1999 : proceedings

International Conference on Computer Vision Systems
Inngår i serie: Lecture notes in computer science (1542)
Bok Engelsk c1999

Forsidebilde

Computer vision systems : third international conference, ICVS 2003, Graz, Austria, April 1-3, 2003 : proceedings

International Conference on Computer Vision Systems
Inngår i serie: Lecture notes in computer science (2626)
Bok Engelsk c2003

Forsidebilde

Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (1584)
Bok Engelsk c1999

Forsidebilde

Computer science logic : 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (1683)
Bok Engelsk c1999

Forsidebilde

Computer science logic : 14th international workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (1862)
Bok Engelsk c2000

Forsidebilde

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2142)
Bok Engelsk c2001

Forsidebilde

Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2471)
Bok Engelsk c2002

Forsidebilde

Computer science logic : 17th International Workshop CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (2803)
Bok Engelsk c2003

Forsidebilde

Computer science logic : 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Workshop on Computer Science Logic
Inngår i serie: Lecture notes in computer science (3210)
Bok Engelsk c2004

Forsidebilde

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers

International Seminar on Relational Methods in Computer Science
Inngår i serie: Lecture notes in computer science (2561)
Bok Engelsk c2002

Forsidebilde

From computer literacy to informatics fundamentals : International Conference on Informatics in Secondary Schools: Evolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30-April 1, 2005 : proceedings

International Conference on Informatics in Secondary Schools: Evolution and Perspectives
Inngår i serie: Lecture notes in computer science (3422)
Bok Engelsk c2005

Forsidebilde

Advances in computer graphics : 24th Computer Graphics International Conference, CGI 2006, Hangzhou, China, June 26-28, 2006 : proceedings

Computer Graphics International
Inngår i serie: Lecture notes in computer science (4035)
Bok Engelsk c2006

Forsidebilde

Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings

International Conference on Modelling Techniques and Toolsfor Computer Performance Evaluation
Inngår i serie: Lecture notes in computer science (1786)
Bok Engelsk c2000

Forsidebilde

Computer performance evaluation : modelling techniques and tools : 12th international conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings

International Conference on Modelling Techniques and Toolsfor Computer Performance Evaluation
Inngår i serie: Lecture notes in computer science (2324)
Bok Engelsk c2002

Forsidebilde

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings

International Conference on Modelling Techniques and Toolsfor Computer Performance Evaluation
Inngår i serie: Lecture notes in computer science (2794)
Bok Engelsk c2003

Forsidebilde

High performance computing for computational science - VECPAR 2004 : 6th international conference, Valencia, Spain, June 28-30, 2004 : revised selected and invited papers

International Conference on High Performance Computing forComputational Science
Inngår i serie: Lecture notes in computer science (3402)
Bok Engelsk c2005

Forsidebilde

High performance computing for computational science - VECPAR 2002 : 5th international conference, Porto, Portugal, June 26-28, 2002 : selected papers and invited talks

International Conference on High Performance Computing forComputational Science
Inngår i serie: Lecture notes in computer science (2565)
Bok Engelsk c2003

Forsidebilde

Theoretical computer science : exploring new frontiers of theoretical informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : proceedings

IFIP International Conference on Theoretical Computer Science
Inngår i serie: Lecture notes in computer science (1872)
Bok Engelsk c2000

Forsidebilde

Networking and mobile computing : third international conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005 : proceedings

International Conference on Computer Networks and Mobile Computing
Inngår i serie: Lecture notes in computer science (3619)
Bok Engelsk c2005

Forsidebilde

Computer vision systems : second international workshop, ICVS 2001, Vancouver, Canada, July 7-8, 2001 : proceedings

International Conference on Computer Vision Systems
Inngår i serie: Lecture notes in computer science (2095)
Bok Engelsk c2001

Forsidebilde

Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005 : proceedings

CALCO 2005
Inngår i serie: Lecture notes in computer science (3629)
Bok Engelsk c2005

Forsidebilde

Reliable software technologies - Ada-Europe 2006 : 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006 : proceedings

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

Forsidebilde

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

DMTCS 2003
Inngår i serie: Lecture notes in computer science (2731)
Bok Engelsk c2003

Forsidebilde

Autonomic management of mobile multimedia services : 9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006 : proceedings

IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services
Inngår i serie: Lecture notes in computer science (4267)
Bok Engelsk c2006

Forsidebilde

Communications and multimedia security : 10th IFIP TC-6 TC-11 international conference, CMS 2006, Heraklion, Crete, Greece, October 19-21, 2006 : proceedings

IFIP TC6/TC11 International Conference on Communications and Multimedia Security
Inngår i serie: Lecture notes in computer science (4237)
Bok Engelsk c2006

Forsidebilde

Testing of communicating systems : 18th IFIP TC6/WG6.1 international conference, TestCom 2006, New York, NY, USA, May 16-18, 2006 : proceedings

IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
Inngår i serie: Lecture notes in computer science (3964)
Bok Engelsk c2006

Forsidebilde

Distributed applications and interoperable systems : 6th IFIP WG 6.1 international conference, DAIS 2006, Bologna, Italy, June 14-16, 2006 : proceedings

IFIP TC6 WG6.1 International Working Conference on Distributed Applications and Interoperable Systems
Inngår i serie: Lecture notes in computer science (4025)
Bok Engelsk c2006

Forsidebilde

B 2007 : formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 : proceedings

International Conference of B Users
Inngår i serie: Lecture notes in computer science (4355)
Bok Engelsk c2006

Forsidebilde

Adaptive hypermedia and adaptive Web-based systems : 4th international conference, AH 2006, Dublin, Ireland, June 21-23, 2006 : proceedings

International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Inngår i serie: Lecture notes in computer science (4018)
Bok Engelsk c2006

Forsidebilde

Advanced information systems engineering : 18th international conference, CAiSE 2006, Luxembourg, Luxembourg, June 5-9, 2006 : proceedings

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

Caise '07 : Trondheim, Norway : the 19th International Conference on Advanced Information Systems Engineering : 11-15 June 2007, Trondheim, Norway : forum proceedings : theme: Ubiquitous information systems engineering

International Conference on Advanced Information Systems Engineering
Inngår i serie: [IDI-rapport] (5/07)
Bok Engelsk [2007?]

Forsidebilde

Algebraic methodology and software technology : 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006 : proceedings

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

Forsidebilde

Petri nets and other models of concurrency - ICATPN 2006 : 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 : proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Inngår i serie: Lecture notes in computer science (4024)
Bok Engelsk c2006

Forsidebilde

Declarative programming for knowledge management : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers

International Conference on Applications of Declarative Programming and Knowledge Management
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4369)
Bok Engelsk c2006

Forsidebilde

Natural language processing and information systems : 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31-June 2, 2006 : proceedings

International Conference on Applications of Natural Language to Information Systems
Inngår i serie: Lecture notes in computer science (3999)
Bok Engelsk c2006

Forsidebilde

Architecture of computing systems - ARCS 2006 : 19th international conference, Frankfurt/Main, Germany, March 13-16, 2006 : proceedings

International Conference on Architecture of Computing Systems
Inngår i serie: Lecture notes in computer science (3894)
Bok Engelsk c2006

Forsidebilde

Artificial intelligence : methodology, systems, and applications : 12th international conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006 : proceedings

International Conference on Artificial Intelligence: Methodology, Systems, Applications
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4183)
Bok Engelsk c2006

Forsidebilde

Artificial neural networks : ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings. Pt. 1.

International Conference on Artificial Neural Networks
Inngår i serie: Lecture notes in computer science (4131)
Bok Engelsk c2006

Forsidebilde

Artificial neural networks : ICANN 2006 : 16th international conference, Athens, Greece, September 10-14, 2006 : proceedings. Pt. 2.

International Conference on Artificial Neural Networks
Inngår i serie: Lecture notes in computer science (4132)
Bok Engelsk c2006

Forsidebilde

Advances in artificial reality and tele-existence : 16th International Conference on Artificial Reality and Telexistence, ICAT 2006, Hangzhou, China, November 29-December 1, 2006 : proceedings

International Conference on Artificial Reality and Telexistence
Inngår i serie: Lecture notes in computer science (4282)
Bok Engelsk c2006

Forsidebilde

Digital libraries : achievements, challenges and opportunities : 9th International Conference on Asian Digital Libraries, ICADL 2006, Kyoto, Japan, November 27-30, 2006 : proceedings

International Conference on Asian Digital Libraries
Inngår i serie: Lecture notes in computer science (4312)
Bok Engelsk c2006

Cellular automata : 7th International Conference on Cellular Automata for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006 : proceedings

International Conference on Cellular Automata for Researchand Industry
Inngår i serie: Lecture notes in computer science (4173)
Bok Engelsk c2006

Vis flere treff

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk