Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- BASE 713 Treffer
- arXiv 448 Treffer
- Business Source Ultimate 54 Treffer
- Complementary Index 52 Treffer
- Shamaa 29 Treffer
-
74 weitere Werte:
- Al Mandumah 29 Treffer
- AraBase 29 Treffer
- Cambridge Core Books 29 Treffer
- Choice Reviews 29 Treffer
- ClinicalTrials.gov 29 Treffer
- Digital Library of the Caribbean 29 Treffer
- EcoLink 29 Treffer
- EduSearch 29 Treffer
- HumanIndex 29 Treffer
- INTELECOM Video Library 29 Treffer
- Islamic Info 29 Treffer
- NUKAT 29 Treffer
- JoVE Science Education Database 29 Treffer
- Latin American Periodicals Tables of Contents (LAPTOC) 29 Treffer
- ERIC 14 Treffer
- Emerald Insight 8 Treffer
- Techniques de L'ingenieur 8 Treffer
- Sexual Health Visual 8 Treffer
- OpenAIRE 8 Treffer
- Music ID 8 Treffer
- Classiques Garnier Numerique: Dictionnaires, Grammaires et Encyclopédies 8 Treffer
- Classiques Garnier Numerique: Littérature Française et Francophone 8 Treffer
- IEEE Xplore Digital Library 8 Treffer
- Health Reference Center 8 Treffer
- Marketline Advantage 6 Treffer
- Brill E-Book Collection 4 Treffer
- Otzar Online 4 Treffer
- NORA (Norwegian Open Research Archive) 4 Treffer
- ASM Alloy Center Database 4 Treffer
- ASM Medical Materials Database 4 Treffer
- ASM Micrograph Database 4 Treffer
- FIS Bildung Literaturdatenbank (German Education Index) 4 Treffer
- E-Periodica 4 Treffer
- Agrow 4 Treffer
- Gale Literature Criticism 4 Treffer
- Base SantéPsy 4 Treffer
- Cairn.info International Edition 4 Treffer
- EMIS University – Company Information 4 Treffer
- EMIS University – News Sources 4 Treffer
- SciTech Connect 4 Treffer
- EMIS University – Research Sources 4 Treffer
- EMIS University M&A Information 4 Treffer
- Gale In Context: Middle School 4 Treffer
- RxTx 4 Treffer
- Multilegis: Publicationes Actualizables 4 Treffer
- Naxos Sheet Music 4 Treffer
- Psychotherapy.net 4 Treffer
- Mergent Online 2 Treffer
- NASA Technical Reports 2 Treffer
- Vidobu Online Training Database 1 Treffer
- SCRIP Intelligence 1 Treffer
- Sabin Americana: History of the Americas, 1500–1926 1 Treffer
- National Geographic Virtual Library 1 Treffer
- Medica Panamericana: Eureka 1 Treffer
- IPA Source 1 Treffer
- ProjectMUSE 1 Treffer
- NARCIS 1 Treffer
- LUNA Commons 1 Treffer
- Knovel 1 Treffer
- IndianJournals.com 1 Treffer
- Idunn.no 1 Treffer
- British Standards Online 1 Treffer
- BiblioBoard 1 Treffer
- Air University Library Index to Military Periodicals (AULIMP) 1 Treffer
- AtoZ World Business 1 Treffer
- AtoZ World Culture 1 Treffer
- Britannica Online 1 Treffer
- Gale Literature: Contemporary Authors 1 Treffer
- Gale Literature: Scribner Writer Series 1 Treffer
- Gale Literature: Twayne's Author Series 1 Treffer
- Global Road Warrior 1 Treffer
- IMF eLibrary 1 Treffer
- Swedish National Bibliography 1 Treffer
- RAMBI 1 Treffer
Art der Quelle
Schlagwort
- lincoln national corp. 94 Treffer
- ddc:000 84 Treffer
- computer science - logic in computer science 70 Treffer
- [sdv]life sciences [q-bio] 56 Treffer
- computer science - data structures and algorithms 48 Treffer
-
45 weitere Werte:
- financial services industry 46 Treffer
- computer science - computational complexity 38 Treffer
- financial performance 36 Treffer
- computer science - computer vision and pattern recognition 35 Treffer
- ddc:004 35 Treffer
- holding companies 35 Treffer
- computer science - artificial intelligence 34 Treffer
- corporate profits 34 Treffer
- business cycles 32 Treffer
- business finance 32 Treffer
- computer science - cryptography and security 32 Treffer
- corporate growth 32 Treffer
- industrial location 30 Treffer
- computer science - machine learning 29 Treffer
- computer science - distributed, parallel, and cluster computing 28 Treffer
- computer science - discrete mathematics 26 Treffer
- f.2.2 25 Treffer
- swot analysis 25 Treffer
- computer science - information theory 24 Treffer
- ddc:005 24 Treffer
- quantum physics 24 Treffer
- computer science - formal languages and automata theory 22 Treffer
- mathematics - logic 22 Treffer
- engineering 21 Treffer
- computing & technology 20 Treffer
- informatique & technologie 20 Treffer
- ingenierie 20 Treffer
- computer science 18 Treffer
- sciences informatiques 18 Treffer
- computer science - computation and language 16 Treffer
- computer science - neural and evolutionary computing 16 Treffer
- computer science - programming languages 16 Treffer
- investment advisors 16 Treffer
- adequate intake 15 Treffer
- adolescents 15 Treffer
- apport satisfaisant 15 Treffer
- besoin 15 Treffer
- besoin nutritionnel moyen 15 Treffer
- children 15 Treffer
- elderly 15 Treffer
- electrical engineering and systems science - image and video processing 15 Treffer
- enfants 15 Treffer
- f.4.1 15 Treffer
- femmes 15 Treffer
- femmes enceintes 15 Treffer
Verlag
- springer 248 Treffer
- hal ccsd 179 Treffer
- springer nature 95 Treffer
- marketline, a progressive digital media business 71 Treffer
- sanford c. bernstein & co., llc 20 Treffer
-
45 weitere Werte:
- springer-verlag 9 Treffer
- university of otago 9 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 8 Treffer
- universidad nacional de ingenieria 8 Treffer
- jiangsu gensciences lnc. 7 Treffer
- springer verlag 7 Treffer
- wiley 7 Treffer
- arxiv 6 Treffer
- marketline 6 Treffer
- springer berlin heidelberg 5 Treffer
- alterra 2 Treffer
- masimo corporation 2 Treffer
- nasa center for aerospace information (casi) 2 Treffer
- north coast media, llc 2 Treffer
- penton media, inc. 2 Treffer
- abramson cancer center at penn medicine 1 Treffer
- acibadem university 1 Treffer
- ain shams university 1 Treffer
- alm global llc 1 Treffer
- alpha street research 1 Treffer
- am best company inc. 1 Treffer
- arizent 1 Treffer
- asset international, inc. 1 Treffer
- bnp media 1 Treffer
- cargill 1 Treffer
- centre hospitalier universitaire dijon 1 Treffer
- cfe media 1 Treffer
- endeavor business media 1 Treffer
- epg media & specialty information 1 Treffer
- gulf energy information 1 Treffer
- hillel yaffe medical center 1 Treffer
- informa, inc. 1 Treffer
- institutt for energi- og prosessteknikk 1 Treffer
- lycored ltd. 1 Treffer
- masonic cancer center, university of minnesota 1 Treffer
- niguarda hospital 1 Treffer
- shandong university 1 Treffer
- shanghai chest hospital 1 Treffer
- sinovac biotech co., ltd 1 Treffer
- slashdot media, llc 1 Treffer
- springerlink. european conference on parallel processing, volume 9833 of the book series lecture notes in computer science (lncs) 1 Treffer
- stanford university 1 Treffer
- the university of bergen 1 Treffer
- uis 1 Treffer
- university of oxford 1 Treffer
Publikation
- lincoln national corporation swot analysis 50 Treffer
- https://anses.hal.science/anses-04303067 ; saisine n°2018-sa-0096, anses. 2020, 80 p 24 Treffer
- lincoln national corporation marketline company profile 19 Treffer
- black book - future of the multilines 16 Treffer
- https://anses.hal.science/anses-03791986 ; [0] saisine n° 2018-sa-0238, anses. 2021, 239 p 14 Treffer
-
38 weitere Werte:
- https://inserm.hal.science/inserm-03385007 ; [rapport de recherche] inserm (dir.). trouble developpemental de la coordination ou dyspraxie. collection expertise collective. montrouge : edp sciences, 2019., institut national de la sante et de la recherche medicale (inserm). 2019, paris : inserm : editions edp sciences (issn : 0990-7440) / xiv-630 p 14 Treffer
- https://anses.hal.science/anses-02149825 ; [0] saisine n°2018-sa-0026, anses. 2019, 15 p 13 Treffer
- grantee submission 12 Treffer
- universidad nacional de ingenieria ; repositorio institucional - uni 8 Treffer
- https://hal.science/hal-01466519 ; [research report] agroparistech. 2013 5 Treffer
- https://inria.hal.science/inria-00308386 ; [research report] rr-6599, inria. 2008 3 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2021 3 Treffer
- urn:isbn:9783662441961 ; urn:isbn:3662441969 3 Treffer
- black book - weekly notes 2 Treffer
- http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial 2 Treffer
- pit & quarry 2 Treffer
- 20 ; 1 1 Treffer
- 8. rencontres du vegetal, angers, fra, 2015-01-12-2015-01-13 1 Treffer
- alpha street research reports 1 Treffer
- best's review 1 Treffer
- black book - bernstein research investment strategy 1 Treffer
- black book - u.s. life insurance: countdown to convergence 1 Treffer
- control engineering 1 Treffer
- fuel oil news 1 Treffer
- grounds maintenance 1 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2020 1 Treffer
- hyper article en ligne - sciences de l'homme et de la societe ; 2022 1 Treffer
- insurancenetworking.com 1 Treffer
- journal of education and learning (edulearn) 1 Treffer
- life insurance selling 1 Treffer
- linux journal 1 Treffer
- natural foods merchandiser 1 Treffer
- new equipment digest 1 Treffer
- plan adviser news 1 Treffer
- process cooling & equipment 1 Treffer
- school of computing science technical report series, august 2007 1 Treffer
- school of computing science technical report series, february 2005 1 Treffer
- scientia 1 Treffer
- sungard data systems swot analysis 1 Treffer
- underground construction 1 Treffer
- us experiments flown on the soviet biosatellite cosmos 2044 1 Treffer
- verizon communications swot analysis 1 Treffer
- wisconsin center for education research (nj1) 1 Treffer
Sprache
Geographischer Bezug
1.330 Treffer
-
2023Online report
-
2022Online report
-
2022Online report
-
In: Dodis Y, Ferguson N, Goldin E, Hall P, Pietrzak KZ. Random oracle combiners: Breaking the concatenation barrier for collision-resistance. In: 43rd Annual International Cryptology Conference . Vol 14082. Springer Nature; 2023:514-546. doi: 10.1007/978-3-031-38545-2_17, 2023KonferenzZugriff:
-
In: Chalupa M, Henzinger TA. Monitoring hyperproperties with prefix transducers. In: 23nd International Conference on Runtime Verification . Vol 14245. Springer Nature; 2023:168-190. doi: 10.1007/978-3-031-44267-4_9, 2023KonferenzZugriff:
-
In: Akshay S, Chatterjee K, Meggendorfer T, Zikelic D. MDPs as distribution transformers: Affine invariant synthesis for safety objectives. In: International Conference on Computer Aided Verification . Vol 13966. Springer Nature; 2023:86-112. doi: 10.1007/978-3-031-37709-9_5, 2023KonferenzZugriff:
-
In: Sun Y, Fu H, Chatterjee K, Goharshady AK. Automated tail bound analysis for probabilistic recurrence relations. In: Computer Aided Verification . Vol 13966. Springer Nature; 2023:16-39. doi: 10.1007/978-3-031-37709-9_2, 2023KonferenzZugriff:
-
In: Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi: 10.1007/978-3-031-37706-8_8, 2023KonferenzZugriff:
-
In: Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification . Vol 13965. Springer Nature; 2023:358–382. doi: 10.1007/978-3-031-37703-7_17, 2023KonferenzZugriff:
-
In: Zheng DW, Henzinger MH. Multiplicative auction algorithm for approximate maximum weight bipartite matching. In: International Conference on Integer Programming and Combinatorial Optimization . Vol 13904. Springer Nature; 2023:453-465. doi: 10.1007/978-3-031-32726-1_32, 2023KonferenzZugriff:
-
In: Henzinger TA, Mazzocchi NA, Sarac NE. Quantitative safety and liveness. In: 26th International Conference Foundations of Software Science and Computation Structures . Vol 13992. Springer Nature; 2023:349-370. doi: 10.1007/978-3-031-30829-1_17, 2023KonferenzZugriff:
-
In: Anand A, Mallik K, Nayak SP, Schmuck AK. Computing adequately permissive assumptions for synthesis. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13994. Springer Nature; 2023:211-228. doi: 10.1007/978-3-031-30820-8_15, 2023KonferenzZugriff:
-
In: Chatterjee K, Henzinger TA, Lechner M, Zikelic D. A learner-verifier framework for neural network controllers and certificates of stochastic systems. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:3-25. doi: 10.1007/978-3-031-30823-9_1, 2023KonferenzZugriff:
-
In: Hoffmann C, Hubáček P, Kamath C, Pietrzak KZ. Certifying giant nonprimes. In: Public-Key Cryptography - PKC 2023 . Vol 13940. Springer Nature; 2023:530-553. doi: 10.1007/978-3-031-31368-4_19, 2023KonferenzZugriff:
-
In: Meggendorfer T. Correct approximation of stationary distributions. In: TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13993. Springer Nature; 2023:489-507. doi: 10.1007/978-3-031-30823-9_25, 2023KonferenzZugriff:
-
In: Chalupa M, Mühlböck F, Muroya Lei S, Henzinger TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering . Vol 13991. Springer Nature; 2023:260-281. doi: 10.1007/978-3-031-30826-0_15, 2023KonferenzZugriff:
-
In: Chalupa M, Henzinger TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems . Vol 13994. Springer Nature; 2023:535-540. doi: 10.1007/978-3-031-30820-8_32, 2023KonferenzZugriff:
-
In: Schmid S, Svoboda J, Yeo MX. Weighted packet selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In: SIROCCO 2023: Structural Information and Communication Complexity . Vol 13892. Springer Nature; 2023:576-594. doi: 10.1007/978-3-031-32733-9_26, 2023KonferenzZugriff: