THEO - PDFSEARCH.IO - Document Search Engine

THEO
Results: 1801

#	Item
1	An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-02-25 10:26:47 Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine
2	THÔNG BÁO VỀ KẾ HOẠCH CHUYỂN ĐỔI MÃ MẠNG Kính gửi Quý Khách, Theo Quyết định số 798/QĐ-BTTTT của Bộ Thông Tin và Truyền Thông ngàyvề ban hành kế hoạch chuyển đ Add to Reading List Source URL: www.hsbc.com.vn Language: Vietnamese - Date: 2018-10-07 23:26:07
3	PDF Document Add to Reading List Source URL: theo.inrne.bas.bg - Date: 2017-12-23 14:50:36
4	PDF Document Add to Reading List Source URL: www.theo-lorch-werkstaetten.de - Date: 2016-08-23 03:35:47
5	PDF Document Add to Reading List Source URL: www.theo-lorch-werkstaetten.de - Date: 2016-08-23 03:36:00
6	PDF Document Add to Reading List Source URL: www.theo-physik.uni-kiel.de - Date: 2017-08-17 04:57:43
7	PDF Document Add to Reading List Source URL: www.theo-lorch-werkstaetten.de - Date: 2016-08-23 03:35:36
8	PDF Document Add to Reading List Source URL: theo.inrne.bas.bg - Date: 2013-01-20 11:48:22
9	PDF Document Add to Reading List Source URL: www.theo-physik.uni-kiel.de - Date: 2016-04-27 04:35:03
10	PDF Document Add to Reading List Source URL: www.theo-physik.uni-kiel.de - Date: 2016-03-15 06:16:04

UPDATE