Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- computer 68 Treffer
- computer.software_genre 62 Treffer
- programming language 48 Treffer
- proof assistant 46 Treffer
- business 36 Treffer
-
45 weitere Werte:
- business.industry 36 Treffer
- 02 engineering and technology 30 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 27 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 26 Treffer
- formal verification 24 Treffer
- computer.programming_language 21 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 20 Treffer
- theoretical computer science 19 Treffer
- correctness 18 Treffer
- automated theorem proving 16 Treffer
- mathematical proof 16 Treffer
- 020201 artificial intelligence & image processing 14 Treffer
- formal methods 12 Treffer
- formal specification 12 Treffer
- semantics (computer science) 12 Treffer
- software 12 Treffer
- 020204 information systems 11 Treffer
- software engineering 11 Treffer
- 01 natural sciences 9 Treffer
- 020207 software engineering 9 Treffer
- compiler 9 Treffer
- media_common 9 Treffer
- media_common.quotation_subject 9 Treffer
- computer security 8 Treffer
- operating system 7 Treffer
- operational semantics 7 Treffer
- software system 7 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- embedded system 6 Treffer
- information flow (information theory) 6 Treffer
- 0211 other engineering and technologies 5 Treffer
- calculus 5 Treffer
- computer security model 5 Treffer
- cryptographic protocol 5 Treffer
- formal proof 5 Treffer
- fos: computer and information sciences 5 Treffer
- process (engineering) 5 Treffer
- quality costs 5 Treffer
- set (abstract data type) 5 Treffer
- trusted computing base 5 Treffer
- 021110 strategic, defence & security studies 4 Treffer
- assembly language 4 Treffer
- certification 4 Treffer
- code generation 4 Treffer
Publikation
- 2006 first european conference on antennas and propagation 1 Treffer
- 2006 international symposium on computer networks 1 Treffer
- 2007 5th ieee/acm international conference on formal methods and models for codesign (memocode 2007) 1 Treffer
- 2008 21st ieee computer security foundations symposium 1 Treffer
- 2008 international seminar on business and information management 1 Treffer
-
45 weitere Werte:
- 2008 ninth international conference on parallel and distributed computing, applications and technologies 1 Treffer
- 2009 17th euromicro international conference on parallel, distributed and network-based processing 1 Treffer
- 2009 33rd annual ieee international computer software and applications conference 1 Treffer
- 2009 fifth international conference on natural computation 1 Treffer
- 2009 third ieee international symposium on theoretical aspects of software engineering 1 Treffer
- 2010 10th international conference on quality software 1 Treffer
- 2010 2nd ieee international conference on information and financial engineering 1 Treffer
- 2010 4th ieee international symposium on theoretical aspects of software engineering 1 Treffer
- 2010 third international conference on software testing, verification and validation 1 Treffer
- 2011 16th ieee international conference on engineering of complex computer systems 1 Treffer
- 2011 ninth annual international conference on privacy, security and trust 1 Treffer
- 2011ieee 10th international conference on trust, security and privacy in computing and communications 1 Treffer
- 2012 20th telecommunications forum (telfor) 1 Treffer
- 2012 ieee 30th vlsi test symposium (vts) 1 Treffer
- 2013 10th international conference on information technology: new generations 1 Treffer
- 2013 6th international conference on emerging trends in engineering and technology 1 Treffer
- 2013 first international symposium on computing and networking 1 Treffer
- 2013 ieee 37th annual computer software and applications conference 1 Treffer
- 2013 ieee international conference on systems, man, and cybernetics 1 Treffer
- 2014 ieee 27th computer security foundations symposium 1 Treffer
- 2014 ieee security and privacy workshops 1 Treffer
- 2015 acm/ieee international conference on formal methods and models for codesign (memocode) 1 Treffer
- 2015 ieee international symposium on circuits and systems (iscas) 1 Treffer
- 2015 ieee symposium on security and privacy 1 Treffer
- 2016 17th international workshop on microprocessor and soc test and verification (mtv) 1 Treffer
- 2016 18th international symposium on symbolic and numeric algorithms for scientific computing (synasc) 1 Treffer
- 2016 ieee congress on evolutionary computation (cec) 1 Treffer
- 2017 15th annual conference on privacy, security and trust (pst) 1 Treffer
- 2017 32nd ieee/acm international conference on automated software engineering (ase) 1 Treffer
- 2017 ieee congress on evolutionary computation (cec) 1 Treffer
- 2017 ieee international conference on smart computing (smartcomp) 1 Treffer
- 2017 ieee/acm 39th international conference on software engineering companion (icse-c) 1 Treffer
- 2017 portland international conference on management of engineering and technology (picmet) 1 Treffer
- 2017 xliii latin american computer conference (clei) 1 Treffer
- 2018 international conference on high performance computing & simulation (hpcs) 1 Treffer
- 2018 international joint conference on neural networks (ijcnn) 1 Treffer
- 2018 ivannikov ispras open conference (ispras) 1 Treffer
- 2019 26th asia-pacific software engineering conference (apsec) 1 Treffer
- 2019 chinese automation congress (cac) 1 Treffer
- 2019 chinese control conference (ccc) 1 Treffer
- 2019 design, automation & test in europe conference & exhibition (date) 1 Treffer
- 2019 ieee 27th annual international symposium on field-programmable custom computing machines (fccm) 1 Treffer
- 2019 ieee international conference on software maintenance and evolution (icsme) 1 Treffer
- 2019 international symposium on theoretical aspects of software engineering (tase) 1 Treffer
- 2020 26th ieee international symposium on asynchronous circuits and systems (async) 1 Treffer
101 Treffer
-
In: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021-05-01Online unknownZugriff:
-
In: 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM), 2021-06-30Online unknownZugriff:
-
In: 2020 IEEE/ACS 17th International Conference on Computer Systems and Applications (AICCSA), 2020-11-01Online unknownZugriff:
-
In: 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 2020-05-01Online unknownZugriff:
-
In: 2019 Chinese Automation Congress (CAC), 2019-11-01Online unknownZugriff:
-
In: 2019 Chinese Control Conference (CCC), 2019-07-01Online unknownZugriff:
-
In: 2020 IEEE 11th International Conference on Software Engineering and Service Science (ICSESS), 2020-10-16Online unknownZugriff:
-
In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2019-07-01Online unknownZugriff:
-
In: 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2019-04-01Online unknownZugriff:
-
In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019-03-01Online unknownZugriff:
-
In: 2018 IEEE First International Conference on System Analysis & Intelligent Computing (SAIC), 2018-10-01Online unknownZugriff:
-
In: 2018 International Conference on High Performance Computing & Simulation (HPCS), 2018-07-01Online unknownZugriff:
-
In: 2017 IEEE Real-Time Systems Symposium (RTSS), 2017-12-01Online unknownZugriff:
-
In: 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017-10-01Online unknownZugriff:
-
In: 2017 International Conference on Dependable Systems and Their Applications (DSA), 2017-10-01Online unknownZugriff:
-
In: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016-09-01Online unknownZugriff:
-
In: 2015 First International Conference on New Technologies of Information and Communication (NTIC), 2015-11-01Online unknownZugriff:
-
In: 2015 IEEE International Symposium on Circuits and Systems (ISCAS), 2015-05-01Online unknownZugriff:
-
In: 2010 2nd Computer Science and Electronic Engineering Conference (CEEC), 2010-09-01Online unknownZugriff:
-
In: 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010-08-01Online unknownZugriff: