Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
- Springer Nature eBooks 810 Treffer
- BASE 572 Treffer
- arXiv 85 Treffer
- British Standards Online 16 Treffer
- BiblioBoard 16 Treffer
-
94 weitere Werte:
- Air University Library Index to Military Periodicals (AULIMP) 16 Treffer
- LUNA Commons 16 Treffer
- ProjectMUSE 16 Treffer
- RAMBI 16 Treffer
- Swedish National Bibliography 16 Treffer
- IndianJournals.com 16 Treffer
- Idunn.no 16 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 10 Treffer
- Techniques de L'ingenieur 10 Treffer
- Sexual Health Visual 10 Treffer
- OpenAIRE 10 Treffer
- Music ID 10 Treffer
- IEEE Xplore Digital Library 10 Treffer
- Health Reference Center 10 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 10 Treffer
- Business Source Ultimate 9 Treffer
- Knovel 9 Treffer
- Gale eBooks 9 Treffer
- NASA Technical Reports 8 Treffer
- Brill E-Book Collection 6 Treffer
- ASM Micrograph Database 6 Treffer
- ASM Medical Materials Database 6 Treffer
- ASM Alloy Center Database 6 Treffer
- NARCIS 6 Treffer
- NORA (Norwegian Open Research Archive) 6 Treffer
- Otzar Online 6 Treffer
- E-Periodica 6 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 6 Treffer
- Credo Reference 4 Treffer
- Zad Newspapers 4 Treffer
- Zad Conference Proceedings 4 Treffer
- SZ LibraryNet 4 Treffer
- Making of the Modern World 4 Treffer
- Islamic Info 3 Treffer
- Shamaa 3 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 3 Treffer
- JoVE Science Education Database 3 Treffer
- eBook Index 3 Treffer
- INTELECOM Video Library 3 Treffer
- HumanIndex 3 Treffer
- EduSearch 3 Treffer
- NUKAT 3 Treffer
- Digital Library of the Caribbean 3 Treffer
- ClinicalTrials.gov 3 Treffer
- Choice Reviews 3 Treffer
- AraBase 3 Treffer
- Al Mandumah 3 Treffer
- EcoLink 3 Treffer
- Complementary Index 2 Treffer
- Marketline Advantage 2 Treffer
- Theologische Realenzyklopädie Online 1 Treffer
- Wiley Digital Archives 1 Treffer
- PsycheVisual 1 Treffer
- Oxford Scholarly Editions Online 1 Treffer
- Oxford Medicine Online 1 Treffer
- Oxford Islamic Studies Online 1 Treffer
- Oxford Bibliographies 1 Treffer
- Center for Research Libraries 1 Treffer
- Oxford African American Studies Center 1 Treffer
- African Journals 1 Treffer
- Oxford Public International Law 1 Treffer
- University Press Scholarship Online 1 Treffer
- Oxford Handbooks Online 1 Treffer
- Hoover's Company Profiles 1 Treffer
- SMART Imagebase 1 Treffer
- Oxford Biblical Studies Online 1 Treffer
- Oxford Research Encyclopedias 1 Treffer
- Digitalia Public Libraries 1 Treffer
- Manuvo Make-Make 1 Treffer
- RxTx 1 Treffer
- Psychotherapy.net 1 Treffer
- Naxos Sheet Music 1 Treffer
- Multilegis: Publicationes Actualizables 1 Treffer
- Gale Literature Criticism 1 Treffer
- RCAAP 1 Treffer
- Gale In Context: Middle School 1 Treffer
- EMIS University M&A Information 1 Treffer
- EMIS University – Research Sources 1 Treffer
- EMIS University – News Sources 1 Treffer
- EMIS University – Company Information 1 Treffer
- Cairn.info International Edition 1 Treffer
- Base SantéPsy 1 Treffer
- Agrow 1 Treffer
- BC Open Textbook Project 1 Treffer
- Central and Eastern European Online Library (CEEOL) 1 Treffer
- Dialnet 1 Treffer
- Digitalia Hispanica 1 Treffer
- IBISWorld 1 Treffer
- Economist Historical Archive 1 Treffer
- F1000Research 1 Treffer
- Gale Literature: Book Review Index 1 Treffer
- Library Stack 1 Treffer
- MGG Online 1 Treffer
- SciTech Connect 1 Treffer
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 88 Treffer
- [sdv]life sciences [q-bio] 84 Treffer
- model check 75 Treffer
- [sdv.sa]life sciences [q-bio]/agricultural sciences 74 Treffer
- [sdv.bv.pep]life sciences [q-bio]/vegetal biology/phytopathology and phytopharmacy 59 Treffer
-
45 weitere Werte:
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 54 Treffer
- [info]computer science [cs] 54 Treffer
- temporal logic 43 Treffer
- reachability problem 34 Treffer
- [sdv.mp.bac]life sciences [q-bio]/microbiology and parasitology/bacteriology 33 Treffer
- analyse de risque phytosanitaire 33 Treffer
- winning strategy 33 Treffer
- xylella fastidiosa 33 Treffer
- palm tree 32 Treffer
- palmier 32 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 30 Treffer
- [sdv.mp]life sciences [q-bio]/microbiology and parasitology 30 Treffer
- label transition system 29 Treffer
- analyse de risque 28 Treffer
- france 28 Treffer
- regular language 26 Treffer
- security protocol 25 Treffer
- time automaton 25 Treffer
- risk assessment 24 Treffer
- union europeenne 24 Treffer
- ditylenchus dipsaci 23 Treffer
- evaluation des risques 23 Treffer
- nematode des tiges et bulbes 23 Treffer
- directive 2000/29/ce 22 Treffer
- control strategies 21 Treffer
- evaluation du risque simplifiee 21 Treffer
- atomic proposition 20 Treffer
- high energy physics - theory 20 Treffer
- strategies de lutte 20 Treffer
- etat de l'art 19 Treffer
- expertise scientifique 19 Treffer
- high energy physics - phenomenology 19 Treffer
- pathologie vegetale 19 Treffer
- petri nets 19 Treffer
- tree automaton 19 Treffer
- verification 19 Treffer
- atomic formula 18 Treffer
- biological control 17 Treffer
- bursaphelenchus xylophilus 17 Treffer
- copeau 17 Treffer
- disease vector 17 Treffer
- ecorce 17 Treffer
- equational theory 17 Treffer
- forestry tractors 17 Treffer
- insect vectors 17 Treffer
Verlag
- springer berlin heidelberg 551 Treffer
- hal ccsd 511 Treffer
- springer international publishing 205 Treffer
- anses editions 50 Treffer
- springer fachmedien wiesbaden 14 Treffer
-
45 weitere Werte:
- springer london 11 Treffer
- arxiv 8 Treffer
- nasa center for aerospace information (casi) 8 Treffer
- praktijkonderzoek plant & omgeving 8 Treffer
- gale, cengage learning 7 Treffer
- springer new york 7 Treffer
- oxford university press 4 Treffer
- springer us 4 Treffer
- ntnu 3 Treffer
- penton media, inc. 3 Treffer
- springer singapore 3 Treffer
- accord fintech pvt. ltd. 2 Treffer
- american society of civil engineers (asce) 2 Treffer
- atlantis press international bv 2 Treffer
- bern: university of bern, department of economics 2 Treffer
- braunschweig: johann heinrich von thunen-institut (vti) 2 Treffer
- elsevier 2 Treffer
- endeavor business media 2 Treffer
- marketline 2 Treffer
- rise research institutes of sweden 2 Treffer
- rise research institutes of sweden, matteknik 2 Treffer
- springer verlag 2 Treffer
- wiley-iste 2 Treffer
- wolters kluwer health, lippincott williams & wilkins 2 Treffer
- astm international 1 Treffer
- cambridge university press 1 Treffer
- closerstill media 1 Treffer
- elsevier science & technology 1 Treffer
- elsevier, inc 1 Treffer
- faculty of political sciences - university of belgrade 1 Treffer
- fakultet politickih nauka univerziteta u beogradu 1 Treffer
- ibisworld 1 Treffer
- ieee 1 Treffer
- institute of real estate management 1 Treffer
- mcfarland 1 Treffer
- metropolis international group ltd. 1 Treffer
- rijksinstituut voor volksgezondheid en milieu rivm 1 Treffer
- royal society of chemistry (rsc) 1 Treffer
- sae international 1 Treffer
- shanghai zhongshan hospital 1 Treffer
- springer gabler 1 Treffer
- the royal wolverhampton hospitals nhs trust 1 Treffer
- trans tech publications 1 Treffer
- university hospitals bristol and weston nhs foundation trust 1 Treffer
- wodc 1 Treffer
Publikation
- computer aided verification : 13th international conference, cav 2001 paris, france, july 18-22, 2001 proceedings 48 Treffer
- computer science logic : 15th international workshop, csl 2001 10th annual conference of the eacsl paris, france, september 10-13, 2001, proceedings 42 Treffer
- concur 2010 - concurrency theory : 21th international conference, concur 2010, paris, france, august 31-september 3, 2010. proceedings 40 Treffer
- formal modeling and analysis of timed systems : 4th international conference, formats 2006, paris, france, september 25-27, 2006. proceedings 25 Treffer
- application and theory of petri nets and concurrency : 40th international conference, petri nets 2019, aachen, germany, june 23-28, 2019, proceedings 24 Treffer
-
45 weitere Werte:
- application and theory of petri nets and concurrency : 41st international conference, petri nets 2020, paris, france, june 24-25, 2020, proceedings 23 Treffer
- formal modeling and analysis of timed systems : 11th international conference, formats 2013, buenos aires, argentina, august 29-31, 2013. proceedings 18 Treffer
- https://hal.science/hal-02271483 ; [0] saisine n°2018-sa-0103, anses. 2019, 31 p ; https://www.anses.fr/fr/system/files/santveg2018sa0103.pdf 17 Treffer
- static analysis : 27th international symposium, sas 2020, virtual event, november 18-20, 2020, proceedings 16 Treffer
- https://hal.science/hal-02906098 ; [0] saisine n°2019-sa-0050, anses. 2020, 62 p ; https://www.anses.fr/fr 13 Treffer
- https://hal.inrae.fr/hal-03191543 ; [0] saisine n° 2016-sa-0090, anses. 2017, pp.108 12 Treffer
- https://hal.science/hal-01578869 ; [0] anses. 2013, 132 p 12 Treffer
- https://hal.inrae.fr/hal-02788719 ; [0] saisine n° 2017-sa-0137, anses. 2018, 85 p ; https://www.anses.fr/fr/system/files/santveg2017sa0137ra.pdf 11 Treffer
- https://hal.science/hal-01228847 ; [0] anses. 2014, 107 p ; https://archives-publications.inrae.fr/333002.pdf 11 Treffer
- https://hal.science/hal-01577510 ; [0] anses. 2012, 70 p 11 Treffer
- https://anses.hal.science/anses-04023467 ; saisine n° 2020-sa-0073, anses. 2022, 123 p 8 Treffer
- https://anses.hal.science/anses-04502537 ; saisine n° 2021-sa-0019, anses. 2023, 287 p 8 Treffer
- https://hal.science/hal-03321004 ; [0] saisine n° 2018-sa-0248, anses. 2020, 58 p ; https://www.anses.fr/fr 7 Treffer
- acronyms, initialisms & abbreviations dictionary 6 Treffer
- https://anses.hal.science/anses-04415035 ; saisine n°2020-sa-0005, anses. 2023, 360 p 6 Treffer
- https://hal.science/hal-01228307 ; [0] saisine n°2013-sa-0155, anses. 2014, 83 p ; https://archives-publications.inrae.fr/332949.pdf 6 Treffer
- https://inria.hal.science/hal-04201298 ; inria. 2023, pp.1-3 6 Treffer
- https://anses.hal.science/anses-04353534 ; saisine n°2023-sa-0028, anses. 2023, 33 p 5 Treffer
- government product news 3 Treffer
- ace analyser: company news 2 Treffer
- deep foundations and geotechnical in situ testing - proceedings of sessions of geoshanghai 2010, june 3-5, 2010 shanghai, china 2 Treffer
- stedman's medical abbreviations, acronyms & symbols 2 Treffer
- advances in composites, part 1 1 Treffer
- cambridge aerospace dictionary (2nd edition) 1 Treffer
- data centre management 1 Treffer
- dictionary of construction, surveying and civil engineering 1 Treffer
- dictionary of virology 1 Treffer
- electrochemical and analytical techniques for sustainable corrosion monitoring - advances, challenges, and opportunities 1 Treffer
- electrochemical society, journal 1 Treffer
- graphene-based 3d macrostructures for clean energy and environmental applications 1 Treffer
- hydraulics & pneumatics 1 Treffer
- iec/ieee 60079-30-2 edition 1.0 2015-09 1 Treffer
- independent retail news 1 Treffer
- industry in united states of america 1 Treffer
- inst. of electrical and electronics engineers 1 Treffer
- journal of property management 1 Treffer
- new equipment digest 1 Treffer
- osh post-operative complications 1 Treffer
- paint and coating testing manual - fifteenth edition of the gardner-sward handbook: (mnl 17-2nd) 1 Treffer
- parties and public politics 1 Treffer
- sae international's dictionary of vehicle accident reconstruction and automotive safety 1 Treffer
- space electrochemical research and technology: abstracts 1 Treffer
- stranke i javne politike : izbori u srbiji 2016. godine 1 Treffer
- the oxford handbook of african american language: 1 Treffer
- the seafaring dictionary: terms, idioms and legends of the past and present 1 Treffer
Sprache
Geographischer Bezug
1.536 Treffer
-
In: SAE International's Dictionary of Vehicle Accident Reconstruction and Automotive Safety; (2023)Online E-BookZugriff:
-
In: Electrochemical and Analytical Techniques for Sustainable Corrosion Monitoring - Advances, Challenges, and Opportunities; (2023)Online E-BookZugriff:
-
In: Stranke i javne politike : Izbori u Srbiji 2016. godine / Parties and Public Politics; (2017) S. 213-222BuchZugriff:
-
In: Graphene-Based 3D Macrostructures for Clean Energy and Environmental Applications; (2021)Online E-BookZugriff:
-
In: Stedman's Medical Abbreviations, Acronyms & Symbols; (2013)Online E-BookZugriff:
-
In: Pädiatrische Netzhauterkrankungen : Von der Angiographie zur Vitrektomie; (2023) S. 177-186Online E-BookZugriff:
-
In: Dictionary of Virology; (2009)Online E-BookZugriff:
-
In: The Seafaring Dictionary: Terms, Idioms and Legends of the Past and Present; (2009)Online E-BookZugriff:
-
In: Virus Diseases of Ornamental Plants : Characterization, Identification, Diagnosis and Management; (2021) S. 277-299Online E-BookZugriff:
-
2015BuchZugriff:
-
In: Dictionary of Construction, Surveying and Civil Engineering; (2012)Online E-BookZugriff:
-
In: Paint and Coating Testing Manual - Fifteenth Edition of the Gardner-Sward Handbook: (MNL 17-2nd); (2012)Online E-BookZugriff:
-
In: Advances in Composites, Part 1; (2011)Online E-BookZugriff:
-
In: Deep Foundations and Geotechnical in situ Testing - Proceedings of Sessions of GeoShanghai 2010, June 3-5, 2010 Shanghai, China; (2010)Online E-BookZugriff: