Výsledky vyhledávání - "Falaschi, M."

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "Falaschi, M."
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 256 pro vyhledávání: '"Falaschi, M."'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Akademický článek

Reversing a downward trend in threatened peripheral amphibian (Triturus cristatus) populations through interventions combining species, habitat and genetic information

Autor: O'Brien, David, Hall, J.E., Miró, A., O'Brien, K., Falaschi, M., Jehle, R.

Publikováno v: In Journal for Nature Conservation December 2021 64

Zobrazit plný text záznamu

Vybrat výsledek číslo 2 2

Akademický článek

A proof theoretic view of spatial and temporal dependencies in biochemical systems

Autor: Olarte, C., Chiarugi, D., Falaschi, M., Hermith, D.

Publikováno v: In Theoretical Computer Science 16 August 2016 641:25-42

Zobrazit plný text záznamu

Vybrat výsledek číslo 3 3

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 4 4

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 5 5

All that changes is not shift : methodological choices influence niche shift detection in freshwater invasive species

Autor: Lo Parrino, E., Falaschi, M., Manenti, R., Ficetola, G.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1261::64612158eb1f147be36eb3dd5d91a571
https://hdl.handle.net/2434/951247

Zobrazit plný text záznamu

Vybrat výsledek číslo 6 6

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 7 7

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 8 8

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vybrat výsledek číslo 9 9

Akademický článek

An integrated framework for the diagnosis and correction of rule-based programs

Autor: Alpuente, M., Ballis, D., Correa, F., Falaschi, M.

Publikováno v: In Theoretical Computer Science 2010 411(47):4055-4101

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Akademický článek

A compact fixpoint semantics for term rewriting systems

Autor: Alpuente, M., Comini, M., Escobar, S., Falaschi, M., Iborra, J.

Publikováno v: In Theoretical Computer Science 2010 411(37):3348-3371

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[26]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

177 Akademické články
62 Konferenční materiály
35 Knihy
4 Časopisy

15 reaction systems
11 abstract interpretation
11 term rewriting systems
9 debugging
7 invasive alien species
7 program transformation
6 amphibians
6 biological invasions
6 concurrent constraint programming
6 denotational semantics
6 functional logic programming
6 logic programming
5 linear logic
5 procambarus clarkii
5 program slicing
5 unification
4 assertions
4 biochemical systems
4 computer science
4 detection probability
4 endemism
4 equational logic programming
4 evidence-based conservation
4 genetic diversity
4 languages
4 lizards
4 macroecology
4 model checking
4 narrowing
4 partial evaluation
4 reactive systems
4 semantics
4 timed concurrent constraint programming
3 amphibian decline
3 automation
3 bioinformatics
3 connectivity map
3 dynamic occupancy model
3 ecology
3 functional programming
3 language
3 operational semantics
3 range edge
3 reptiles
3 rewriting logic
3 temperature
2 01 natural sciences
2 algorithm
2 animals
2 bio/05 - zoologia

26 springer verlag
23 elsevier b.v.
13 john wiley and sons inc
10 springer science and business media deutschland gmbh
9 elsevier science bv
8 elsevier
6 edizioni minerva medica
6 ieee
5 association for computing machinery
5 springer
4 elsevier inc.
4 springer nature
3 elsevier gmbh
3 elsevier science inc
3 firenze university press
3 multidisciplinary digital publishing institute (mdpi)
3 nature publishing group
3 nature research
3 pensoft publishers
2 assoc computing machinery
2 association for computing machinery (acm)
2 blackwell pub
2 blackwell publishing ltd
2 blackwell publishing, inc. on behalf of the society for conservation biology
2 bmj publishing group
2 mdpi
2 mdpi ag
2 molecular diversity preservation international
2 public library of science
2 sage publications ltd
2 schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
2 springer science and business media b.v.
2 taylor and francis ltd.
2 wiley
1 [edizioni minerva medica]
1 academic press
1 academic press inc elsevier science
1 academic press inc jnl-comp subscriptions
1 arxiv
1 association for computing machinery, inc
1 biomed central
1 biomed central ltd.
1 brill academic publishers
1 cell press
1 chapman & hall
1 edizioni riviste mediche
1 hal ccsd
1 oxford univ press
1 sage publications
1 wiley-liss

35 lecture notes in computer science
31 theoretical computer science
15 electronic notes in theoretical computer science
12 minerva chirurgica
7 information and computation
6 scientific reports
5 journal for nature conservation
5 journal of logic programming
4 global change biology
4 global ecology and biogeography
4 international journal on software tools for technology transfer
4 rivista italiana di chirurgia plastica
3 acta herpetologica
3 entcs: electronic notes in theoretical computer science
3 theory and practice of logic programming
2 acm transactions on programming languages and systems
2 aggressive behavior
2 animals
2 animals an open access journal from mdpi
2 annals of the rheumatic diseases
2 bmc systems biology
2 computational methods in systems biology - 22nd international conference, cmsb 2024, proceedings
2 conservation biology
2 conservation biology the journal of the society for conservation biology
2 conservation science and practice
2 ecography
2 information and control
2 insects
2 iscience
2 journal of logic and computation
2 logic-based program synthesis and transformation - 25th international symposium, lopstr 2015, revised selected papers
2 minerva anestesiologica
2 natural computing
2 neobiota
2 plos one
2 proceedings of the 1997 acm sigplan symposium: partial evaluation & semantics-based program manipulation
2 urban ecosystems
1 1993 proceedings eighth annual ieee symposium on logic in computer science
1 2008 international symposium on applications & the internet
1 2008 third international conference on internet & web applications & services
1 2010 12th international symposium on symbolic & numeric algorithms for scientific computing (synasc)
1 acm / sigplan notices
1 acm sigplan notices
1 acm/sigplan workshop partial evaluation & semantics-based program manipulation
1 fourth ieee international conference on software engineering & formal methods (sefm'06)
1 logic programming (9783540746089)
1 ospedali ditalia chirurgia
1 proceedings of 1994 ieee international conference on computer languages (iccl'94)
1 rapid integration of software engineering techniques
1 toxicologic pathology

161 Scopus®
24 MEDLINE
22 Science Citation Index Expanded
12 Complementary Index
12 OpenAIRE
11 ScienceDirect
9 Supplemental Index
4 Academic Search Ultimate
1 GreenFILE

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......