Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
- Scopus® 28 Treffer
- BASE 17 Treffer
- PASCAL Archive 12 Treffer
- IEEE Xplore Digital Library 8 Treffer
- Science Citation Index Expanded 7 Treffer
-
12 weitere Werte:
- OpenAIRE 5 Treffer
- Networked Digital Library of Theses & Dissertations 2 Treffer
- Academic Search Index 2 Treffer
- British Library EThOS 1 Treffer
- Business Source Ultimate 1 Treffer
- China Science & Technology Journal Database 1 Treffer
- Springer Nature Journals 1 Treffer
- KERIS Theses & Dissertations 1 Treffer
- J-STAGE 1 Treffer
- Springer Nature eBooks 1 Treffer
- Applied Science & Technology Source 1 Treffer
- TDX 1 Treffer
Art der Quelle
Schlagwort
- computer science 18 Treffer
- exact sciences and technology 12 Treffer
- informatique 12 Treffer
- sciences exactes et technologie 12 Treffer
- mathematics 11 Treffer
-
45 weitere Werte:
- mathematiques 11 Treffer
- applied sciences 9 Treffer
- atpg 9 Treffer
- backtrack search 9 Treffer
- sciences and techniques of general use 9 Treffer
- sciences appliquees 9 Treffer
- sciences et techniques communes 9 Treffer
- algorithm 8 Treffer
- conjunctive normal form 8 Treffer
- distillation 8 Treffer
- preprocessing 8 Treffer
- algorithms 7 Treffer
- automatique, recherche operationnelle 7 Treffer
- components, circuits, devices and systems 7 Treffer
- computer science; control theory; systems 7 Treffer
- computing and processing 7 Treffer
- control theory, operational research 7 Treffer
- dpll 7 Treffer
- informatique; automatique theorique; systemes 7 Treffer
- partitioning 7 Treffer
- algorithme 6 Treffer
- algorithmics. computability. computer arithmetics 6 Treffer
- algorithmique. calculabilite. arithmetique ordinateur 6 Treffer
- algoritmo 6 Treffer
- formal verification 6 Treffer
- informatique theorique 6 Treffer
- logic 6 Treffer
- satisfiability 6 Treffer
- satisfiability problem 6 Treffer
- theoretical computing 6 Treffer
- bdds 5 Treffer
- communication, networking and broadcast technologies 5 Treffer
- logic and foundations 5 Treffer
- logic gates 5 Treffer
- logica 5 Treffer
- logique et fondements 5 Treffer
- logique mathematique, fondements, theorie des ensembles 5 Treffer
- mathematical logic, foundations, set theory 5 Treffer
- sampling 5 Treffer
- artificial 4 Treffer
- automata 4 Treffer
- bmc 4 Treffer
- bounded model checking 4 Treffer
- circuit faults 4 Treffer
- classical planning 4 Treffer
Verlag
- elsevier 10 Treffer
- ieee 10 Treffer
- institute of electrical and electronics engineers inc. 7 Treffer
- universitat pompeu fabra 4 Treffer
- springer 3 Treffer
-
31 weitere Werte:
- american scientific publishers 2 Treffer
- elsevier science 2 Treffer
- ieee computer society 2 Treffer
- ieee-inst electrical electronics engineers inc 2 Treffer
- information processing society of japan 2 Treffer
- institution of russian academy of sciences 2 Treffer
- journal of universal computer science 2 Treffer
- springer nature 2 Treffer
- university of edinburgh 2 Treffer
- university of edinburgh. college of science and engineering. school of informatics. 2 Treffer
- advances in science, technology and engineering systems journal (astesj) 1 Treffer
- arxiv 1 Treffer
- association for computing machinery (acm) 1 Treffer
- astes publishers 1 Treffer
- ceur-ws 1 Treffer
- computer optics 1 Treffer
- graz univ technolgoy, inst information systems computer media-iicm 1 Treffer
- knowledge systems institute graduate school 1 Treffer
- lipics - leibniz international proceedings in informatics. 29th international symposium on algorithms and computation (isaac 2018) 1 Treffer
- schloss dagstuhl - leibniz-zentrum fuer informatik 1 Treffer
- schloss dagstuhl - leibniz-zentrum fur informatik 1 Treffer
- schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing 1 Treffer
- society for industrial and applied mathematics 1 Treffer
- springer international publishing 1 Treffer
- springer science and business media deutschland gmbh 1 Treffer
- springer us 1 Treffer
- taylor and francis 1 Treffer
- universidad inca garcilaso de la vega 1 Treffer
- university of memphis digital commons 1 Treffer
- компьютерная оптика 1 Treffer
- 경기대학교 일반대학원 1 Treffer
Publikation
- discrete applied mathematics 6 Treffer
- algorithmica 5 Treffer
- proceedings - design automation conference 5 Treffer
- advances in science, technology and engineering systems 2 Treffer
- artificial intelligence 2 Treffer
-
45 weitere Werte:
- computer optics 2 Treffer
- ieee transactions on computer-aided design of integrated circuits & systems 2 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems 2 Treffer
- ipsj transactions on system lsi design methodology 2 Treffer
- journal of computational and theoretical nanoscience 2 Treffer
- journal of universal computer science 2 Treffer
- theoretical computer science 2 Treffer
- 2007 44th acm/ieee design automation conference, design automation conference, 2007. dac '07. 44th acm/ieee 1 Treffer
- 2009 asian test symposium, asian test symposium, 2009. ats '09. 1 Treffer
- 2013 international soc design conference (isocc), soc design conference (isocc), 2013 international 1 Treffer
- 2014 ieee 57th international midwest symposium on circuits and systems (mwscas), circuits and systems (mwscas), 2014 ieee 57th international midwest symposium on 1 Treffer
- 2014 international conference on engineering and technology (icet), engineering and technology (icet), 2014 international conference on 1 Treffer
- 2018 ieee intl conf on parallel & distributed processing with applications, ubiquitous computing & communications, big data & cloud computing, social computing & networking, sustainable computing & communications (ispa/iucc/bdcloud/socialcom/sustaincom), parallel & distributed processing with applications, ubiquitous computing & communications, big data & cloud computing, social computing & networking, sustainable computing & communications (ispa/iucc/bdcloud/socialcom/sustaincom), 2018 ieee intl con, bdcloud 1 Treffer
- 2022 ural-siberian conference on biomedical engineering, radioelectronics and information technology (usbereit), biomedical engineering, radioelectronics and information technology (usbereit), 2022 ural-siberian conference on 1 Treffer
- advances in cryptology - asiacrypt 2021 - 27th international conference on the theory and application of cryptology and information security, proceedings, part 1 1 Treffer
- advances in cryptology - asiacrypt 2021 : 27th international conference on the theory and application of cryptology and information security, singapore, december 6-10, 2021, proceedings, part i 1 Treffer
- arxiv 1 Treffer
- ceur workshop proceedings 1 Treffer
- constraints 1 Treffer
- discrete algorithms and optimization, in honor of professor toshihide ibaraki at his retirement from kyoto university 1 Treffer
- faculty publications 1 Treffer
- icet 2014 - 2nd international conference on engineering and technology 1 Treffer
- ieee transactions on computer-aided design of integrated circuits and systems, computer-aided design of integrated circuits and systems, ieee transactions on, ieee trans. comput.-aided des. integr. circuits syst. 1 Treffer
- ieee transactions on information forensics and security 1 Treffer
- information processing letters 1 Treffer
- international journal of computer mathematics 1 Treffer
- isocc 2013 - 2013 international soc design conference 1 Treffer
- jucs - journal of universal computer science 1 Treffer
- lecture notes in computer science 1 Treffer
- leibniz international proceedings in informatics, lipics 1 Treffer
- mathematical and computer modelling 1 Treffer
- microelectronics & computer 1 Treffer
- midwest symposium on circuits and systems 1 Treffer
- proceedings - 16th ieee international symposium on parallel and distributed processing with applications, 17th ieee international conference on ubiquitous computing and communications, 8th ieee international conference on big data and cloud computing, 11th ieee international conference on social computing and networking and 8th ieee international conference on sustainable computing and communications, ispa/iucc/bdcloud/socialcom/sustaincom 2018 1 Treffer
- proceedings - 2022 ural symposium on biomedical engineering, radioelectronics and information technology, usbereit 2022 1 Treffer
- proceedings of the asian test symposium 1 Treffer
- proceedings of the ieee great lakes symposium on vlsi 1 Treffer
- proceedings of the international conference on software engineering and knowledge engineering, seke 1 Treffer
- sbcci 2006 - 19th symposium on integrated circuits and systems design 1 Treffer
- sichuan daxue xuebao (gongcheng kexue ban)/journal of sichuan university (engineering science edition) 1 Treffer
- tdx (tesis doctorals en xarxa 1 Treffer
- tdx (tesis doctorals en xarxa) 1 Treffer
- universidad inca garcilaso de la vega ; repositorio institucional - uigv 1 Treffer
- компьютерная оптика; vol 33, no 1 ; computer optics; vol 33, no 1 1 Treffer
- 微电子学与计算机 1 Treffer
Sprache
90 Treffer
-
In: 2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom), 2018-12-01, S. 1-8KonferenzZugriff:
-
In: 2007 44th ACM/IEEE Design Automation Conference, 2007-06-01, S. 582Online KonferenzZugriff:
-
In: SIAM journal on discrete mathematics (Print), Jg. 25 (2011), Heft 1-2, S. 736-749Online academicJournalZugriff:
-
In: Discrete applied mathematics, Jg. 157 (2009), Heft 5, S. 1046-1068Online academicJournal
-
2018KonferenzZugriff:
-
In: Discrete applied mathematics, Jg. 96-97 (1999), S. 29-40Online academicJournal
-
Modeling the Vulnerabilities of Information Network Nodes of a Connected Vehicle Using AND/OR GraphsIn: 2022 Ural-Siberian Conference on Biomedical Engineering, Radioelectronics and Information Technology (USBEREIT), 2022-09-19, S. 313-316KonferenzZugriff:
-
In: http://vlsi.colorado.edu/~hhkim/pubs/alembic.pdf, 2007Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
2010Online HochschulschriftZugriff:
-
In: 2013 International SoC Design Conference (ISOCC), 2013-11-01, S. 388-391KonferenzZugriff:
-
In: 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS), 2014-08-01, S. 213-217KonferenzZugriff:
-
In: 2014 International Conference on Engineering and Technology (ICET), 2014-04-01, S. 1-6KonferenzZugriff:
-
In: 2009 Asian Test Symposium, 2009-11-01, S. 177KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!unknownZugriff:
-
In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Jg. 29 (2010-08-01), Heft 8, S. 1271-1284Online academicJournalZugriff:
-
2006Online HochschulschriftZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: