Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Weniger Treffer
Gefunden in
- NewsBank 458 Treffer
- BASE 151 Treffer
- OpenAIRE 108 Treffer
- China Science & Technology Journal Database 84 Treffer
- Complementary Index 33 Treffer
-
66 weitere Werte:
- OAIster 25 Treffer
- Springer Nature eBooks 21 Treffer
- Gale OneFile: News 20 Treffer
- Europeana 19 Treffer
- IEEE Xplore Digital Library 19 Treffer
- Academic Search Index 16 Treffer
- USPTO Patent Grants 14 Treffer
- Supplemental Index 13 Treffer
- Scopus® 13 Treffer
- Applied Science & Technology Source 12 Treffer
- Gale General OneFile 12 Treffer
- arXiv 9 Treffer
- Gale Academic OneFile 7 Treffer
- MEDLINE 7 Treffer
- Gale OneFile: High School Edition 7 Treffer
- MathSciNet via EBSCOhost 7 Treffer
- Springer Nature Journals 7 Treffer
- Business Source Ultimate 5 Treffer
- Networked Digital Library of Theses & Dissertations 5 Treffer
- Gale Business: Insights 5 Treffer
- Gale Academic OneFile Select 5 Treffer
- KERIS Theses & Dissertations 4 Treffer
- J-STAGE 4 Treffer
- NewsBank - Archives 4 Treffer
- Gale OneFile: Informe Académico 4 Treffer
- Gale In Context: Science 3 Treffer
- Gallica Bibliothèque numérique 3 Treffer
- PASCAL Archive 3 Treffer
- eScholarship 3 Treffer
- Directory of Open Access Journals 3 Treffer
- EMIS University – Company Information 3 Treffer
- vLex 2 Treffer
- Korean Studies Information Service System 2 Treffer
- Science Citation Index Expanded 2 Treffer
- Gale In Context: Opposing Viewpoints 2 Treffer
- Gale In Context: High School 2 Treffer
- HBO Kennisbank 2 Treffer
- Gale in Context: Biography 2 Treffer
- Gale In Context: Canada 2 Treffer
- Gale OneFile: Health and Medicine 2 Treffer
- Gale Health and Wellness 2 Treffer
- British Library Document Supply Centre Inside Serials & Conference Proceedings 2 Treffer
- China/Asia On Demand 2 Treffer
- Credo Reference 2 Treffer
- Gale In Context: Global Issues 2 Treffer
- NARCIS 2 Treffer
- Gale Literature Resource Center 1 Treffer
- EMIS University – News Sources 1 Treffer
- RCAAP 1 Treffer
- Gale In Context: Middle School 1 Treffer
- USPTO Patent Applications 1 Treffer
- Gale OneFile: CPI.Q 1 Treffer
- APA PsycInfo 1 Treffer
- JSTOR Journals 1 Treffer
- American Antiquarian Society (AAS) Historical Periodicals Collection: Series 5 1 Treffer
- Harvard Library Bibliographic Dataset 1 Treffer
- Gale in Context: College 1 Treffer
- Gale In Context: World History 1 Treffer
- Gale In Context: U.S. History 1 Treffer
- Gale Literature: Book Review Index 1 Treffer
- BazTech 1 Treffer
- Gale OneFile: Computer Science 1 Treffer
- NASA Technical Reports 1 Treffer
- DBPIA 1 Treffer
- EduSearch 1 Treffer
- Environment Complete 1 Treffer
Art der Quelle
Schlagwort
- computer science 55 Treffer
- satisfiability modulo theories 33 Treffer
- computer 28 Treffer
- computer.software_genre 24 Treffer
- mathematics 24 Treffer
-
45 weitere Werte:
- programming language 20 Treffer
- smt 20 Treffer
- solver 20 Treffer
- computing and processing 18 Treffer
- news, opinion and commentary 18 Treffer
- bounded model checking 16 Treffer
- business 16 Treffer
- 02 engineering and technology 15 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 15 Treffer
- business.industry 15 Treffer
- general interest 15 Treffer
- computer science - logic in computer science 14 Treffer
- formal verification 14 Treffer
- optimization 14 Treffer
- constraint satisfaction 13 Treffer
- formal methods 13 Treffer
- model checking 13 Treffer
- software 13 Treffer
- symbolic execution 13 Treffer
- theoretical computer science 13 Treffer
- satisfiability 12 Treffer
- software verification 12 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 11 Treffer
- 020201 artificial intelligence & image processing 11 Treffer
- automated theorem proving 11 Treffer
- computer.programming_language 11 Treffer
- general mathematics 11 Treffer
- real-time scheduling 11 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 10 Treffer
- communication, networking and broadcast technologies 10 Treffer
- artificial intelligence 9 Treffer
- discrete mathematics 9 Treffer
- mathematical optimization 9 Treffer
- microbiology 9 Treffer
- arithmetic 8 Treffer
- components, circuits, devices and systems 8 Treffer
- genetics 8 Treffer
- satisfiability problem 8 Treffer
- scalability 8 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 8 Treffer
- 020207 software engineering 7 Treffer
- algorithm 7 Treffer
- applied mathematics 7 Treffer
- bacteria 7 Treffer
- benchmark problems (computer science) 7 Treffer
Verlag
- ieee 42 Treffer
- springer berlin heidelberg 24 Treffer
- hal ccsd 22 Treffer
- springer nature 18 Treffer
- springer international publishing 14 Treffer
-
45 weitere Werte:
- elsevier b.v. 10 Treffer
- springer 10 Treffer
- biomed central 8 Treffer
- institute of electrical and electronics engineers (ieee) 8 Treffer
- escholarship, university of california 7 Treffer
- ios press 6 Treffer
- oxford university press / usa 6 Treffer
- the new york times company 6 Treffer
- athena information solutions pvt. ltd. 5 Treffer
- biomed central ltd. 5 Treffer
- contentengine, llc 5 Treffer
- linneuniversitetet, institutionen for datavetenskap och medieteknik (dm) 5 Treffer
- open publishing association 5 Treffer
- springer-verlag 5 Treffer
- association for computing machinery 4 Treffer
- centurycomm limited 4 Treffer
- springer verlag 4 Treffer
- syndigate media inc. 4 Treffer
- world scientific publishing company 4 Treffer
- instituto de matematica 3 Treffer
- knowledge bylanes 3 Treffer
- springer, cham 3 Treffer
- taylor & francis ltd 3 Treffer
- wiley-blackwell 3 Treffer
- 아주대학교 3 Treffer
- biblioteca digitais de teses e dissertacoes da usp 2 Treffer
- brasil 2 Treffer
- cnw group ltd. - toronto star newspapers 2 Treffer
- focus medica 2 Treffer
- ieee computer society 2 Treffer
- im 2 Treffer
- information processing society of japan 2 Treffer
- innovisions professional media 2 Treffer
- plus media solutions 2 Treffer
- programa multiinstitucional de pos-graduacao em ciencia da computacao, ufba-unifacs-uefs 2 Treffer
- sing out corporation 2 Treffer
- source interlink media, llc 2 Treffer
- the institute of electronics, information and communication engineers 2 Treffer
- universidade de sao paulo 2 Treffer
- american antiquarian society 1 Treffer
- br 1 Treffer
- cham; springer 1 Treffer
- contify life science news 1 Treffer
- ethnographic museum 1 Treffer
- etnografiska museet 1 Treffer
Publikation
- bmc microbiology 16 Treffer
- agriculture machinery technology exernsion 14 Treffer
- 农机科技推广 14 Treffer
- the new york times 6 Treffer
- ieice transactions on information and systems 5 Treffer
-
45 weitere Werte:
- international journal on artificial intelligence tools 5 Treffer
- notes and queries 5 Treffer
- proceedings of the american mathematical society 5 Treffer
- ai communications 4 Treffer
- ieee transactions on computer-aided design of integrated circuits & systems 4 Treffer
- international journal on software tools for technology transfer 4 Treffer
- journal of applied logic 4 Treffer
- lecture notes in computer science 4 Treffer
- milenio, mexico 4 Treffer
- the racing post (london, england) 4 Treffer
- the toronto star (toronto, ontario) 4 Treffer
- billboard 3 Treffer
- chemistry - a european journal 3 Treffer
- computer journal 3 Treffer
- constraints: an international journal 3 Treffer
- contify life science news 3 Treffer
- electronic proceedings in theoretical computer science 3 Treffer
- https://inria.hal.science/inria-00383793 ; [research report] rr-6927, inria. 2009, pp.34 3 Treffer
- inhalation toxicology 3 Treffer
- intelligenza artificiale 3 Treffer
- notes & queries 3 Treffer
- reaction kinetics and catalysis letters 3 Treffer
- real estate monitor worldwide 3 Treffer
- skateboarder 3 Treffer
- tribune-review (greensburg, pa) 3 Treffer
- acm sigsoft software engineering notes 2 Treffer
- acm transactions on design automation of electronic systems 2 Treffer
- acm transactions on embedded computing systems 2 Treffer
- acm transactions on software engineering & methodology 2 Treffer
- alternative therapies in health & medicine 2 Treffer
- alternative therapies in health and medicine 2 Treffer
- animated dictionary of health and medicine 2 Treffer
- chinese journal of electronics 2 Treffer
- computer aided verification : 26th international conference, cav 2014, held as part of the vienna summer of logic, vsl 2014, vienna, austria, july 18-22, 2014. proceedings 2 Treffer
- food control 2 Treffer
- indian trademarks news 2 Treffer
- information & software technology 2 Treffer
- journal of information processing 2 Treffer
- journal of systems & software 2 Treffer
- molecular and general genetics mgg 2 Treffer
- mural (mexico d.f., mexico) 2 Treffer
- premium official news 2 Treffer
- sing out! 2 Treffer
- acm transactions on computation theory 1 Treffer
- automated deduction---cade 25 1 Treffer
Sprache
- english 334 Treffer
- undetermined 80 Treffer
- unknown 21 Treffer
- french 13 Treffer
- portuguese 9 Treffer
-
15 weitere Werte:
- spanish; castilian 9 Treffer
- korean 7 Treffer
- latin 6 Treffer
- dutch; flemish 5 Treffer
- catalan; valencian 3 Treffer
- german 3 Treffer
- swedish 3 Treffer
- polish 2 Treffer
- slovenian 2 Treffer
- chinese 1 Treffer
- georgian 1 Treffer
- greek, modern (1453-) 1 Treffer
- japanese 1 Treffer
- serbian 1 Treffer
- turkish 1 Treffer
Geographischer Bezug
1.137 Treffer
-
In: 정보처리학회논문지. 소프트웨어 및 데이터 공학 / KIPS Transactions on Software and Data Engineering, Jg. 6 (2017-06-30), Heft 6, S. 293-302academicJournalZugriff:
-
In: 2011 6th Colombian Computing Congress (CCC), 2011-05-01, S. 1-6KonferenzZugriff:
-
In: 2008 International Conference on Communications, Circuits and Systems, 2008-05-01, S. 1175KonferenzZugriff:
-
In: LECTURE NOTES IN COMPUTER SCIENCE, 2014, Heft 8559, S. 737-744KonferenzZugriff:
-
In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006, S. 262-262KonferenzZugriff:
-
In: Contify Life Science News, 2021-08-17ZeitungsartikelZugriff:
-
In: Plus Patent News, 2015-04-09ZeitungsartikelZugriff:
-
In: MGG. Molecular & general genetics, Jg. 234 (1992), Heft 1, S. 121-128Online academicJournalZugriff:
-
In: TUGboat, Jg. 43 (2022), S. 134-135Online unknownZugriff:
-
In: Animated Dictionary of Health and Medicine; (2011)Online E-BookZugriff:
-
In: 计算机工程与设计 / Computer Engineering and Design, 2010, Heft 1, S. 126-129academicJournalZugriff:
-
In: Animated Dictionary of Health and Medicine; (2010)Online E-BookZugriff:
-
In: 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC), Jg. 1 (2017-07-01), S. 548-556KonferenzZugriff:
-
In: The Toronto Star (Toronto, Ontario), 2015-11-14, S. IN2ZeitungsartikelZugriff:
-
In: Premium Official News, 2016-10-21ZeitungsartikelZugriff:
-
In: The Racing Post (London, England), 2005-10-05, S. 15ZeitungsartikelZugriff:
-
In: The Racing Post (London, England), 2005-05-24, S. 105ZeitungsartikelZugriff:
-
-
In: 2010 31st IEEE Real-Time Systems Symposium, 2010-11-01, S. 375-384KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: