Edellinen kuva
Lähennä
Loitonna
Keskitä
Seuraava kuva
Siirry rajauksiin
Siirry sisältöön
Etusivu
Haut ja palvelut
Perushaku (etusivu)
Aloita uusi haku.
Tarkennettu haku
Tarkemmat hakuehdot.
Hakuhistoria
Istuntokohtainen hakuhistoriasi. Kirjautumalla voit tallentaa hakusi.
Oppimateriaalit
Hae oppimateriaaleja eri aiheista.
Oikopolku tutkittuun tietoon
Syvenny tutkittuun tietoon.
Finna Luokkahuone
Tutustu opetuksen ja oppimisen sisältöihin.
Finna Street
Hae kuvia sijaintisi perusteella.
Tietoa Finnasta
Finna.fi – Kulttuurin ja tieteen aarteet yhdestä osoitteesta
Millaisia aineistoja voit löytää? Kirjautumalla saat enemmän. Monta tapaa käyttää Finna.fi:tä.
Finna – hakupalvelujen kokonaisuus
Mitä eroa Finna.fi:llä ja muilla Finna-hakupalveluilla?
Aineistojen tarjoajat
Lisätietoa Finnasta
Mitä tietoja minusta kerätään? Kuka Finnaa tekee? Finna-API. Finnan ohjelmisto. Palvelun käyttöä koskevat yleiset ehdot. Kuinka organisaationi voi liittyä Finnaan?
Vastuullinen Finna
Uutiset
Häiriötiedotteet
Ohje
Suomi
Suomi
Svenska
English
Kirjaudu
Haku
Hae
Aihe
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
"Programming Techniques." | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Siirry edelliselle sivulle
Näytetään
2041
- 2060
/
2 076
Siirry seuraavalle sivulle
Järjestä
Järjestä
Relevanssi
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Järjestä
Relevanssi
Vuosi (uusin ensin)
Vuosi (vanhin ensin)
Luokka
Tekijä
Otsikko
Viimeksi muuttunut
Viimeksi lisätty
Tuloksia sivulla
Tuloksia sivulla
20
20
50
100
Tuloksia sivulla
20
50
100
Näytä
Näytä
Tiedot ja kuvat
Tiedot ja kuvat
Kuvagalleria
Tiivistetty lista
Hakutulos 2041
FM 2011: Formal Methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
Näytä tarkat tiedot
E-kirja
Butler, Michael
,
toimittaja
Butler, Michael
Hae tekijöistä
Hae aiheista
Sulje
;
Schulte, Wolfram
,
toimittaja
Schulte, Wolfram
Hae tekijöistä
Hae aiheista
Sulje
2011
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2042
Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Lirkov, Ivan
,
toimittaja
Lirkov, Ivan
Hae tekijöistä
Hae aiheista
Sulje
;
Margenov, Svetozar
,
toimittaja
Margenov, Svetozar
Hae tekijöistä
Hae aiheista
Sulje
;
Waśniewski, Jerzy
,
toimittaja
Waśniewski, Jerzy
Hae tekijöistä
Hae aiheista
Sulje
2012
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2043
The Deductive Spreadsheet
Näytä tarkat tiedot
E-kirja
Cervesato, Iliano
,
kirjoittaja
Cervesato, Iliano
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2044
Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Nyberg, Kaisa
,
toimittaja
Nyberg, Kaisa
Hae tekijöistä
Hae aiheista
Sulje
2008
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2045
Agents and Artificial Intelligence 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
van den Herik, Jaap
,
toimittaja
van den Herik, Jaap
Hae tekijöistä
Hae aiheista
Sulje
;
Filipe, Joaquim
,
toimittaja
Filipe, Joaquim
Hae tekijöistä
Hae aiheista
Sulje
2017
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2046
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Näytä tarkat tiedot
E-kirja
Balduccini, Marcello
,
toimittaja
Balduccini, Marcello
Hae tekijöistä
Hae aiheista
Sulje
;
Janhunen, Tomi
,
toimittaja
Janhunen, Tomi
Hae tekijöistä
Hae aiheista
Sulje
2017
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2047
Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Aloni, Maria
,
toimittaja
Aloni, Maria
Hae tekijöistä
Hae aiheista
Sulje
;
Bastiaanse, Harald
,
toimittaja
Bastiaanse, Harald
Hae tekijöistä
Hae aiheista
Sulje
;
Jager, Tikitu de
,
toimittaja
Jager, Tikitu de
Hae tekijöistä
Hae aiheista
Sulje
;
Schulz, Katrin
,
toimittaja
Schulz, Katrin
Hae tekijöistä
Hae aiheista
Sulje
2010
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2048
Attribute Grammars and their Applications : International Conference WAGA Paris, France, September 19–21, 1990 Proceedings
Näytä tarkat tiedot
E-kirja
Deransart, P.
,
toimittaja
Deransart, P.
Hae tekijöistä
Hae aiheista
Sulje
;
Jourdan, M.
,
toimittaja
Jourdan, M.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1990
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2049
Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97 Palma, Mallorca, Spain, M...
Näytä tarkat tiedot
E-kirja
Bertran, Miquel
,
toimittaja
Bertran, Miquel
Hae tekijöistä
Hae aiheista
Sulje
;
Rus, Teodor
,
toimittaja
Rus, Teodor
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1997
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2050
Algorithmic Learning Theory : 12th International Conference, ALT 2001 Washington, DC, USA, November 25–28, 2001 Proceedings
Näytä tarkat tiedot
E-kirja
Abe, Naoki
,
toimittaja
Abe, Naoki
Hae tekijöistä
Hae aiheista
Sulje
;
Khardon, Roni
,
toimittaja
Khardon, Roni
Hae tekijöistä
Hae aiheista
Sulje
;
Zeugmann, Thomas
,
toimittaja
Zeugmann, Thomas
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2001
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2051
Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings
Näytä tarkat tiedot
E-kirja
O‘Connor, Rory V.
,
toimittaja
O‘Connor, Rory V.
Hae tekijöistä
Hae aiheista
Sulje
;
Pries-Heje, Jan
,
toimittaja
Pries-Heje, Jan
Hae tekijöistä
Hae aiheista
Sulje
;
Messnarz, Richard
,
toimittaja
Messnarz, Richard
Hae tekijöistä
Hae aiheista
Sulje
2011
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2052
Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Clarke, Edmund
,
toimittaja
Clarke, Edmund
Hae tekijöistä
Hae aiheista
Sulje
;
Virbitskaite, Irina
,
toimittaja
Virbitskaite, Irina
Hae tekijöistä
Hae aiheista
Sulje
;
Voronkov, Andrei
,
toimittaja
Voronkov, Andrei
Hae tekijöistä
Hae aiheista
Sulje
2012
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2053
Software Engineering International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures
Näytä tarkat tiedot
E-kirja
Lucia, Andrea De
,
toimittaja
Lucia, Andrea De
Hae tekijöistä
Hae aiheista
Sulje
;
Ferrucci, Filomena
,
toimittaja
Ferrucci, Filomena
Hae tekijöistä
Hae aiheista
Sulje
2013
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2054
Approximation Algorithms for Combinatorial Optimization : Third International Workshop, APPROX 2000 Saarbrücken, Germany, September 5–8, 2000 Proceedings
Näytä tarkat tiedot
E-kirja
Jansen, Klaus
,
toimittaja
Jansen, Klaus
Hae tekijöistä
Hae aiheista
Sulje
;
Khuller, Samir
,
toimittaja
Khuller, Samir
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2055
Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Dastani, Mehdi
,
toimittaja
Dastani, Mehdi
Hae tekijöistä
Hae aiheista
Sulje
;
Sirjani, Marjan
,
toimittaja
Sirjani, Marjan
Hae tekijöistä
Hae aiheista
Sulje
2017
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2056
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Näytä tarkat tiedot
E-kirja
Artemov, Sergei
,
toimittaja
Artemov, Sergei
Hae tekijöistä
Hae aiheista
Sulje
;
Nerode, Anil
,
toimittaja
Nerode, Anil
Hae tekijöistä
Hae aiheista
Sulje
2018
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2057
Next Generation Information System Technology : First International East/West Data Base Workshop Kiev, USSR, October 9–12, 1990 Proceedings
Näytä tarkat tiedot
E-kirja
Schmidt, Joachim W.
,
toimittaja
Schmidt, Joachim W.
Hae tekijöistä
Hae aiheista
Sulje
;
Stogny, Anatoly A.
,
toimittaja
Stogny, Anatoly A.
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
1991
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2058
Algorithmic Learning Theory : 11th International Conference, ALT 2000 Sydney, Australia, December 11–13, 2000 Proceedings
Näytä tarkat tiedot
E-kirja
Arimura, Hiroki
,
toimittaja
Arimura, Hiroki
Hae tekijöistä
Hae aiheista
Sulje
;
Jain, Sanjay
,
toimittaja
Jain, Sanjay
Hae tekijöistä
Hae aiheista
Sulje
;
Sharma, Arun
,
toimittaja
Sharma, Arun
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2059
Methods and Tools of Parallel Programming Multicomputers Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Hsu, Ching-Hsien
,
toimittaja
Hsu, Ching-Hsien
Hae tekijöistä
Hae aiheista
Sulje
;
Malyshkin, Victor
,
toimittaja
Malyshkin, Victor
Hae tekijöistä
Hae aiheista
Sulje
2010
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2060
Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers
Näytä tarkat tiedot
E-kirja
Morazán, Marco T.
,
toimittaja
Morazán, Marco T.
Hae tekijöistä
Hae aiheista
Sulje
;
Scholz, Sven-Bodo
,
toimittaja
Scholz, Sven-Bodo
Hae tekijöistä
Hae aiheista
Sulje
2010
Aiheet:
“…
Programming Techniques
…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Siirry seuraavalle sivulle
100
101
102
103
104
Rajaa hakua
Valintaruuturajaimet
Verkossa saatavilla
Käyttöoikeudet
Lataus keskeytyi
Lataa…
Aineistotyyppi
Lataus keskeytyi
Lataa…
Tekijä
Lataus keskeytyi
Lataa…
Aihe
Lataus keskeytyi
Lataa…
Alue
Lataus keskeytyi
Lataa…
Valmistusvuosi
Lataus keskeytyi
Lataa…
Aiheen aika
Lataus keskeytyi
Lataa…
Kieli
Lataus keskeytyi
Lataa…
Sisältyy kokonaisuuteen
Lataus keskeytyi
Lataa…
Toimiala
Lataus keskeytyi
Lataa…
Organisaatio
Lataus keskeytyi
Lataa…
Uutta Finnassa
Lataus keskeytyi
Lataa…
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Finna API