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
Tekijä
Kaikki osumat
Otsikko
Tekijä
Aihe
Hae
Tarkennettu haku
Apt, Krzysztof R. | Hakutulokset
Kaikki aineistot
Oppimateriaalit
Kaikki aineistot
Lisää
Kaikki aineistot
Oppimateriaalit
Hakutulokset
Rajaa hakua
Näytetään
1
- 11
/
11
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 1
Principles of constraint programming
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
,
1949-
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
2003
Saatavuustiedot:
Näytä saatavuustiedot
Aalto-yliopisto
Tritonia - Tria
Turun yliopisto
Varastokirjasto
Åbo Akademin kirjasto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 2
Verification of sequential and concurrent programs
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Olderog, Ernst-Rüdiger
Olderog, Ernst-Rüdiger
Hae tekijöistä
Hae aiheista
Sulje
1991
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 3
Constraint logic programming using ECLiPSe
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Wallace, M.
Wallace, M.
Hae tekijöistä
Hae aiheista
Sulje
;
Wallace, Mark
Wallace, Mark
Hae tekijöistä
Hae aiheista
Sulje
2007
Varastokirjasto
Lataa…
Verkossa saatavilla:
Table of contents only
Publisher description
Contributor biographical information
Table of contents
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 4
Verification of sequential and concurrent programs
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Boer, Frank S. de
Boer, Frank S. de
Hae tekijöistä
Hae aiheista
Sulje
;
Olderog, E.-R
Olderog, E.-R
Hae tekijöistä
Hae aiheista
Sulje
2009
Oulun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 5
Logics and models of concurrent systems : [proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems, held at La Colle-sur-Loup, France, 18-19 Oct...
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
1985
Muut tekijät:
“…
Apt
,
Krzysztof
R
.…”
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 6
Logic programming languages : constraints, functions, and objects
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
,
1949-
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
1993
Muut tekijät:
“…
Apt
,
Krzysztof
R
., 1949-…”
Aalto-yliopisto
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 7
The logic programming paradigm : a 25-year perspective
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
,
1949-
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
1999
Muut tekijät:
“…
Apt
,
Krzysztof
R
., 1949-…”
Turun yliopisto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 8
New perspectives on games and interaction
Näytä tarkat tiedot
E-kirja
Apt, Krzysztof
,
Toimittaja
Apt, Krzysztof
Hae tekijöistä
Hae aiheista
Sulje
;
Apt, Krzysztof R.
,
1949-
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Van Rooij, Robert
,
1966-
Van Rooij, Robert
Hae tekijöistä
Hae aiheista
Sulje
;
Koninklijke Nederlandse Akademie van Wetenschappen. Colloquium Amsterdam, Netherlands)
,
(2007
Koninklijke Nederlandse Akademie van Wetenschappen. Colloquium Amsterdam, Netherlands)
Hae tekijöistä
Hae aiheista
Sulje
2008
Muut tekijät:
Saatavuustiedot:
Näytä saatavuustiedot
Jyväskylän ammattikorkeakoulu
Kajaanin ammattikorkeakoulu
Satakunnan ammattikorkeakoulu
Savonia-ammattikorkeakoulu
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 9
Lectures in game theory for computer scientists
Näytä tarkat tiedot
Kirja
Apt, Krzysztof R.
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Grädel, Erich
Grädel, Erich
Hae tekijöistä
Hae aiheista
Sulje
2011
Muut tekijät:
“…
Apt
,
Krzysztof
R
.…”
Saatavuustiedot:
Näytä saatavuustiedot
Itä-Suomen yliopisto
Tampereen yliopisto
Varastokirjasto
Lataa…
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 10
New Trends in Constraints : Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus, October 25–27, 1999 Selected Papers
Näytä tarkat tiedot
E-kirja
Apt, Krzysztof R.
,
toimittaja
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Monfroy, Eric
,
toimittaja
Monfroy, Eric
Hae tekijöistä
Hae aiheista
Sulje
;
Kakas, Antonis C.
,
toimittaja
Kakas, Antonis C.
Hae tekijöistä
Hae aiheista
Sulje
;
Rossi, Francesca
,
toimittaja
Rossi, Francesca
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2000
Muut tekijät:
“…
Apt
,
Krzysztof
R
., toimittaja…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
Hakutulos 11
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2...
Näytä tarkat tiedot
E-kirja
Apt, Krzysztof R.
,
toimittaja
Apt, Krzysztof R.
Hae tekijöistä
Hae aiheista
Sulje
;
Fages, François
,
toimittaja
Fages, François
Hae tekijöistä
Hae aiheista
Sulje
;
Rossi, Francesca
,
toimittaja
Rossi, Francesca
Hae tekijöistä
Hae aiheista
Sulje
;
Szeredi, Péter
,
toimittaja
Szeredi, Péter
Hae tekijöistä
Hae aiheista
Sulje
;
Váncza, Josef
,
toimittaja
Váncza, Josef
Hae tekijöistä
Hae aiheista
Sulje
;
SpringerLink (Online service)
SpringerLink (Online service)
Hae tekijöistä
Hae aiheista
Sulje
2004
Muut tekijät:
“…
Apt
,
Krzysztof
R
. editor…”
Jyväskylän yliopisto - Jykdok
Lataa…
Verkossa saatavilla:
SpringerLink eBooks
Tallennettuna:
Lisää suosikkeihin
Lisää suosikkeihin
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