Previous image
Zoom in
Zoom out
Center
Next image
Skip to narrowing options
Skip to content
Home Page
Search functions
Basic search (front page)
Start new search.
Advanced search
More refined search terms.
Search history
Your session-specific search history. To save your searches, please log in.
Educational resources
Find materials on different subjects.
A shortcut to research-based knowledge
Explore the research-based knowledge.
Finna Street
Search for photos based on your location.
About Finna
Finna.fi – Cultural and scientific treasures from one address
What kinds of material can you find? Register for more services. Many ways to use Finna.fi.
Finna – search services as a whole
What is the difference between Finna.fi and other Finna search services?
Material providers
More about Finna
What kinds of information does Finna collect about me? Who is in charge of Finna? Finna-API. Finna’s software. General terms governing the use of the service. How can my organisation join Finna?
Sustainable Finna
News
Service disruptions
Help
English
English
Suomi
Svenska
Login
Search
Find
Author
All fields
Title
Author
Subject
Find
Advanced search
Computer Science | Search Results
All materials
Educational resources
All materials
More
All materials
Educational resources
Search Results
Narrow search
Showing
1 - 20
results of
5,272
Go to Next Page
Sort
Sort
Relevance
Relevance
Year (newest first)
Year (oldest first)
Classmark
Author
Title
Last modified
Last added
Sort
Relevance
Year (newest first)
Year (oldest first)
Classmark
Author
Title
Last modified
Last added
Results per page
Results per page
20
20
50
100
Results per page
20
50
100
Show as
Show as
Information and pics
Information and pics
Image gallery
Condensed list
Search result 1
Active Media Technology : 6th International Computer Science Conference, AMT 2001 Hong Kong, China, December 18–20, 2001 Proceedings
Show detailed view
eBook
Liu, Jiming
,
toimittaja
Liu, Jiming
Search as author
Search as topic
Close
;
Yuen, Pong C.
,
toimittaja
Yuen, Pong C.
Search as author
Search as topic
Close
;
Li, Chun-hung
,
toimittaja
Li, Chun-hung
Search as author
Search as topic
Close
;
Ng, Joseph
,
toimittaja
Ng, Joseph
Search as author
Search as topic
Close
;
Ishida, Toru
,
toimittaja
Ishida, Toru
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
2001
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 2
Image Analysis Applications and Computer Graphics : Third International Computer Science Conference, ICSC '95 Hong Kong, December 11–13, 1995 Proceedings
Show detailed view
eBook
Chin, Roland T.
,
toimittaja
Chin, Roland T.
Search as author
Search as topic
Close
;
Ip, Horace H. S.
,
toimittaja
Ip, Horace H. S.
Search as author
Search as topic
Close
;
Naiman, Avi C.
,
toimittaja
Naiman, Avi C.
Search as author
Search as topic
Close
;
Pong, Ting-Chuen
,
toimittaja
Pong, Ting-Chuen
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1995
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 3
Internet Applications : 5th International Computer Science Conference, ICSC’99, Hong Kong, China, December 13-15, 1999 Proceedings
Show detailed view
eBook
Hui, Lucas Chi Kwong
,
toimittaja
Hui, Lucas Chi Kwong
Search as author
Search as topic
Close
;
Lee, Dik-Lun
,
toimittaja
Lee, Dik-Lun
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1999
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 4
Australasian Computer Science Conference: Proceedings 23rd Conference, Canberra, Australia, 2000
Show detailed view
eBook
Australasian Computer Science Conference
,
corporate author
Australasian Computer Science Conference
Search as author
Search as topic
Close
;
Edwards, Jenny, professor
,
contributor
Edwards, Jenny, professor
Search as author
Search as topic
Close
;
Australian National University
,
content provider
Australian National University
Search as author
Search as topic
Close
1999
JAMK University of Applied Sciences
Loading…
Saved in:
Save to List
Save to List
Search result 5
Spacecraft attitude determination and control
Show detailed view
Book
Computer Sciences Corporation. Attitude Systems Operation
Computer Sciences Corporation. Attitude Systems Operation
Search as author
Search as topic
Close
;
Wertz, James Richard
Wertz, James Richard
Search as author
Search as topic
Close
1986
Holdings:
Show holdings
Aalto University
Oulun yliopisto
Saved in:
Save to List
Save to List
Search result 6
Computer Science Logic : 4th Workshop, CSL '90 Heidelberg, Germany, October 1–5, 1990 Proceedings
Show detailed view
eBook
Börger, Egon
,
toimittaja
Börger, Egon
Search as author
Search as topic
Close
;
Kleine Büning, Hans
,
toimittaja
Kleine Büning, Hans
Search as author
Search as topic
Close
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Search as author
Search as topic
Close
;
Schönfeld, Wolfgang
,
toimittaja
Schönfeld, Wolfgang
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1991
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 7
CSL '89 : 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings
Show detailed view
eBook
Börger, Egon
,
toimittaja
Börger, Egon
Search as author
Search as topic
Close
;
Büning, Hans Kleine
,
toimittaja
Büning, Hans Kleine
Search as author
Search as topic
Close
;
Richter, Michael M.
,
toimittaja
Richter, Michael M.
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1990
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 8
Computer Science Logic : 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings
Show detailed view
eBook
Fribourg, Laurent
,
toimittaja
Fribourg, Laurent
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
2001
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 9
Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
Show detailed view
eBook
Clote, Peter G.
,
toimittaja
Clote, Peter G.
Search as author
Search as topic
Close
;
Schwichtenberg, Helmut
,
toimittaja
Schwichtenberg, Helmut
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
2000
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 10
Computer Science Logic : 16th International Workshop, CSL 2002 11th Annual Conference of the EACSL Edinburgh, Scotland, UK, September 22–25, 2002 Proceedings
Show detailed view
eBook
Bradfield, Julian
,
toimittaja
Bradfield, Julian
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
2002
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 11
Computer Science Logic : 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Show detailed view
eBook
Pacholski, Leszek
,
toimittaja
Pacholski, Leszek
Search as author
Search as topic
Close
;
Tiuryn, Jerzy
,
toimittaja
Tiuryn, Jerzy
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1995
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 12
Computer Science Logic : 11th International Workshop, CSL '97 Annual Conference of the EACSL Aarhus, Denmark, August 23–29, 1997 Selected Papers
Show detailed view
eBook
Nielsen, Mogens
,
toimittaja
Nielsen, Mogens
Search as author
Search as topic
Close
;
Thomas, Wolfgang
,
toimittaja
Thomas, Wolfgang
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1998
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 13
Computer Science Logic : 10th International Workshop, CSL '96 Annual Conference of the EACSL Utrecht, The Netherlands, September 21–27, 1996 Selected Papers
Show detailed view
eBook
Dalen, Dirk van
,
toimittaja
Dalen, Dirk van
Search as author
Search as topic
Close
;
Bezem, Marc
,
toimittaja
Bezem, Marc
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1997
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 14
Computer Science Logic : 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
Show detailed view
eBook
Börger, Egon
,
toimittaja
Börger, Egon
Search as author
Search as topic
Close
;
Gurevich, Yuri
,
toimittaja
Gurevich, Yuri
Search as author
Search as topic
Close
;
Meinke, Karl
,
toimittaja
Meinke, Karl
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1994
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 15
Computing in the 90's : The First Great Lakes Computer Science Conference Kalamazoo, Michigan, USA, October 18–20, 1989 Proceedings
Show detailed view
eBook
Sherwani, Naveed A.
,
toimittaja
Sherwani, Naveed A.
Search as author
Search as topic
Close
;
Doncker, Elise de
,
toimittaja
Doncker, Elise de
Search as author
Search as topic
Close
;
Kapenga, John A.
,
toimittaja
Kapenga, John A.
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1991
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 16
Computer Science Logic : 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings
Show detailed view
eBook
Gottlob, Georg
,
toimittaja
Gottlob, Georg
Search as author
Search as topic
Close
;
Grandjean, Etienne
,
toimittaja
Grandjean, Etienne
Search as author
Search as topic
Close
;
Seyr, Katrin
,
toimittaja
Seyr, Katrin
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1999
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 17
Computer Science Logic : 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
Show detailed view
eBook
Kleine Büning, Hans
,
toimittaja
Kleine Büning, Hans
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1996
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 18
Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
Show detailed view
eBook
Börger, E.
,
toimittaja
Börger, E.
Search as author
Search as topic
Close
;
Jäger, G.
,
toimittaja
Jäger, G.
Search as author
Search as topic
Close
;
Kleine Büning, H.
,
toimittaja
Kleine Büning, H.
Search as author
Search as topic
Close
;
Martini, S.
,
toimittaja
Martini, S.
Search as author
Search as topic
Close
;
Richter, M. M.
,
toimittaja
Richter, M. M.
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
1993
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 19
Computer Science Logic : 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
Show detailed view
eBook
Marcinkowski, Jerzy
,
toimittaja
Marcinkowski, Jerzy
Search as author
Search as topic
Close
;
Tarlecki, Andrzej
,
toimittaja
Tarlecki, Andrzej
Search as author
Search as topic
Close
;
SpringerLink (Online service)
SpringerLink (Online service)
Search as author
Search as topic
Close
2004
University of Jyväskylä - Jykdok
Loading…
Available Online:
SpringerLink eBooks
Saved in:
Save to List
Save to List
Search result 20
Proceedings of the 10th Italian Conference on Theoretical Computer Science, ICTS'07 Rome, Italy, 3-5 October 2007
Show detailed view
eBook
Italian Conference on Theoretical Computer Science
,
corporate author
Italian Conference on Theoretical Computer Science
Search as author
Search as topic
Close
;
Italiano, Giuseppe F.
Italiano, Giuseppe F.
Search as author
Search as topic
Close
;
Moggi, Eugenio
Moggi, Eugenio
Search as author
Search as topic
Close
;
Laura, Luigi
Laura, Luigi
Search as author
Search as topic
Close
2007
Holdings:
Show holdings
JAMK University of Applied Sciences
Kajaani University of Applied Sciences
Satakunta University of Applied Sciences
Savonia University of Applied Sciences
Loading…
Saved in:
Save to List
Save to List
Go to Next Page
1
2
3
4
5
Narrow search
Checkbox filters
Available online
Usage Rights
Loading interrupted
Loading…
Content Type
Loading interrupted
Loading…
Author
Loading interrupted
Loading…
Topic
Loading interrupted
Loading…
Region
Loading interrupted
Loading…
Year of manufacture
Loading interrupted
Loading…
Era
Loading interrupted
Loading…
Language
Loading interrupted
Loading…
Contained in
Loading interrupted
Loading…
Sector
Loading interrupted
Loading…
Organisation
Loading interrupted
Loading…
New in Finna
Loading interrupted
Loading…
RSS Feed
Email Search
Save Search
Finna API