Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info]computer science [cs] 10 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 5 Treffer
- [info.info-ai]computer science [cs]/artificial intelligence [cs.ai] 4 Treffer
- [info.info-lg]computer science [cs]/machine learning [cs.lg] 4 Treffer
- [info.info-mm]computer science [cs]/multimedia [cs.mm] 4 Treffer
-
44 weitere Werte:
- [info.info-ne]computer science [cs]/neural and evolutionary computing [cs.ne] 4 Treffer
- [spi.signal]engineering sciences [physics]/signal and image processing 4 Treffer
- movies 4 Treffer
- multilayer networks 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 3 Treffer
- [shs.anthro-se]humanities and social sciences/social anthropology and ethnology 3 Treffer
- [shs.langue]humanities and social sciences/linguistics 3 Treffer
- [shs.phil]humanities and social sciences/philosophy 3 Treffer
- [shs.psy]humanities and social sciences/psychology 3 Treffer
- [shs.relig]humanities and social sciences/religions 3 Treffer
- network portrait 2 Treffer
- network similarity 2 Treffer
- 420 english & old english languages 1 Treffer
- 820 english & old english literatures 1 Treffer
- animal husbandry 1 Treffer
- avicultura 1 Treffer
- capability index 1 Treffer
- ciencias exatas e da terra::probabilidade e estatistica::estatistica::inferencia parametrica 1 Treffer
- control charts 1 Treffer
- debicagem 1 Treffer
- deplacement d'affirmation 1 Treffer
- derecho 1 Treffer
- egg production 1 Treffer
- engineered wood products for construction 1 Treffer
- ensino de estatistica 1 Treffer
- estatistica e ciencias atuariais 1 Treffer
- etela-pohjanmaa 1 Treffer
- feeding and growth 1 Treffer
- health and welfare 1 Treffer
- hist 1 Treffer
- kauhajoki 1 Treffer
- kulttuurimaisema 1 Treffer
- maisemanhoito 1 Treffer
- maisemansuojelu 1 Treffer
- maisemasuunnittelu 1 Treffer
- osallistuva suunnittelu 1 Treffer
- producao de ovos 1 Treffer
- relig 1 Treffer
- scipo 1 Treffer
- settore secs-s/01 - statistica 1 Treffer
- socio 1 Treffer
- suunnitelmat 1 Treffer
- viability 1 Treffer
Verlag
- hal ccsd 25 Treffer
- crc press 7 Treffer
- springer 5 Treffer
- stauffenburg 4 Treffer
- taylor and francis 3 Treffer
-
20 weitere Werte:
- acm 2 Treffer
- no publisher name 2 Treffer
- springer netherlands 2 Treffer
- springer new york 2 Treffer
- country:usa 1 Treffer
- de gruyter 1 Treffer
- decat - departamento de estatistica e ciencias atuariais - estatistica - sao cristovao - presencial 1 Treffer
- intechopen 1 Treffer
- lansi-suomen ymparistokeskus 1 Treffer
- place:new york 1 Treffer
- springer berlin heidelberg 1 Treffer
- springer international publishing 1 Treffer
- t.c. tarim ve koyisleri bakanligi 1 Treffer
- the design society 1 Treffer
- the university press of kentucky 1 Treffer
- universidad carlos iii de madrid 1 Treffer
- universidade federal de sergipe 1 Treffer
- university of huddersfield 1 Treffer
- university of north carolina press 1 Treffer
- wiley 1 Treffer
Publikation
- handbook of formal analysis and verification in cryptography ; https://hal.science/hal-04311441 ; handbook of formal analysis and verification in cryptography, 1, crc press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩ 4 Treffer
- handbook of formal analysis and verification in cryptography ; https://cea.hal.science/cea-04479879 ; handbook of formal analysis and verification in cryptography, crc press; taylor and francis, pp.319-422, 2023, prospect in pure and applied mathematics, 9780367546656 ; https://www.routledge.com/handbook-of-formal-analysis-and-verification-in-cryptography/akleylek-dundua/p/book/9780367546656 3 Treffer
- https://www.intechopen.com/books/10584 1 Treffer
Sprache
47 Treffer
-
In: Intelligent Computing Theories and Application ; Lecture Notes in Computer Science ; page 428-438 ; ISSN 0302-9743 1611-3349; (2017)BuchZugriff:
-
2016Online BuchZugriff:
-
In: Yanks in Blue Berets ; page 1-8 ; ISBN 9780813197654 0813197651; (2023)BuchZugriff:
-
In: Kendall , J & Cade , J 2000 , Results of the NHS Direct LSL User Sastifaction study. NHS Direct LSL Evaluation. Report to Consortium No.5 . London: Lambeth, Southwalk and Lewisham Immediate Access Project , No publisher name; (2000)BuchZugriff:
-
In: Cade , J , Foster , J , Jessopp , L , Payne , F & Pettinari , C 2000 , NHS Direct South East London: the first year NHS Direct LSL Evaluation. Report to Consortium No. 7 . London: Lambeth, Southwalk and Lewisham Immediate Access Project , No publisher name; (2000)BuchZugriff:
-
In: Telecommunications and Networking - ICT 2004 ; Lecture Notes in Computer Science ; page 560-567 ; ISSN 0302-9743 1611-3349 ; ISBN 9783540225713 9783540278245; (2004)BuchZugriff:
-
In: Larch: Languages and Tools for Formal Specification ; page 121-153 ; ISBN 9781461276364 9781461227045; (1993)BuchZugriff:
-
In: Larch: Languages and Tools for Formal Specification ; page 35-55 ; ISBN 9781461276364 9781461227045; (1993)BuchZugriff:
-
In: Reactor Dosimetry ; page 681-684 ; ISBN 9789401097284 9789401097260; (1985)BuchZugriff:
-
In: Reactor Dosimetry ; page 681-684 ; ISBN 9789401088732 9789400953789; (1985)BuchZugriff:
-
In: Handbook of Formal Analysis and Verification in Cryptography ; https://cea.hal.science/cea-04479879 ; Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656 ; https://www.routledge.com/Handbook-of-Formal-Analysis-and-Verification-in-Cryptography/Akleylek-Dundua/p/book/9780367546656; (2023)Online BuchZugriff:
-
In: Handbook of Formal Analysis and Verification in Cryptography ; https://cea.hal.science/cea-04479879 ; Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656 ; https://www.routledge.com/Handbook-of-Formal-Analysis-and-Verification-in-Cryptography/Akleylek-Dundua/p/book/9780367546656; (2023)Online BuchZugriff:
-
In: Handbook of Formal Analysis and Verification in Cryptography ; https://cea.hal.science/cea-04479879 ; Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656 ; https://www.routledge.com/Handbook-of-Formal-Analysis-and-Verification-in-Cryptography/Akleylek-Dundua/p/book/9780367546656; (2023)Online BuchZugriff:
-
In: Insiders, Outsiders ; page 182-201 ; ISBN 9781469663562 9781469663586; (2021)BuchZugriff:
-
In: Mushibwe , C P , Reid , J , Doyle , B , St John Zambia & Swann , D 2021 , Life Saving Lullabies : End Term Evaluation . University of Huddersfield . < https://research.hud.ac.uk/media/assets/document/research/hudcres/LSL-extReportMay2021.pdf >; (2021)Online BuchZugriff:
-
In: https://www.intechopen.com/books/10584; (2021)BuchZugriff:
-
In: Complex Networks & Their Applications IX pp 284-295 ; https://hal.science/hal-03201616 ; Complex Networks & Their Applications IX pp 284-295, pp.284 - 295, 2020, ⟨10.1007/978-3-030-65347-7_24⟩; (2020)Online BuchZugriff:
-
In: Complex Networks & Their Applications IX pp 284-295 ; https://hal.science/hal-03201616 ; Complex Networks & Their Applications IX pp 284-295, pp.284 - 295, 2020, ⟨10.1007/978-3-030-65347-7_24⟩; (2020)Online BuchZugriff: