Treffer 1 - 20 von 41

computer science - logic in computer science 5 computer science. 5 formal verification 4 logic 4 software engineering. 4 computer science - formal languages and automata theory 3 mehr ... computer software. 3 logic design. 3 mathematical logic and formal languages. 3 verification formelle 3 weighted automata 3 algorithm analysis and problem complexity. 2 automata 2 bc1-199 2 computer networks. 2 computer science 2 computing and processing 2 electronic computers. computer science 2 informatics 2 logics and meanings of programs. 2 qa75.5-76.95 2 [info.info-oh]computer science [cs]/other [cs.oh] 1 [info:info_oh] computer science/other 1 [info:info_oh] informatique/autre 1 analysis of variance 1 archi 1 automates a poids 1 communication, networking and broadcast technologies 1 computation by abstract devices. 1 computational complexity. 1 weniger ...

springer-verlag, berlin 5 springer 3 ieee 2 logical methods in computer science e.v. 2 springer international publishing 2 springer nature switzerland 2 mehr ... springer, cham 2 association for computing machinery (acm) 1 association for computing machinery (acm), new york 1 ecole normale superieure de cachan - ens cachan 1 hal ccsd 1 ieee computer society press, los alamitos, ca 1 logical methods computer science e v 1 logical methods in computer science 1 springer, heidelberg 1 weniger ...

english 36

BASE 12 MathSciNet via EBSCOhost 12 Harvard Library Bibliographic Dataset 6 arXiv 3 IEEE Xplore Digital Library 2 Networked Digital Library of Theses & Dissertations 2 mehr ... Complementary Index 1 Directory of Open Access Journals 1 Science Citation Index Expanded 1 TEMA 1 weniger ...