Search results
From MaRDI portal
- 2004-10-13 Paper The set of models of computer-aided system engineering (case-technology) 1999-08-31 Paper Computer-aided design and programming 1999-03-16...10 bytes (18 words) - 11:15, 12 December 2023
- Interpretation 2007-02-12 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 2006-11-14 Paper Automated Deduction – CADE-20 2006-11-01...10 bytes (18 words) - 00:45, 13 December 2023
- Publication Type The set of models of computer-aided system engineering (case-technology) 1999-08-31 Paper Computer-aided design and programming 1999-03-16...10 bytes (18 words) - 10:03, 13 December 2023
- Automated Technology for Verification and Analysis 2006-10-10 Paper FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 2005-08-12...10 bytes (16 words) - 08:15, 9 December 2023
- Algorithms 2009-09-01 Paper FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper A Note on Conditioning and Stochastic...10 bytes (18 words) - 15:23, 10 December 2023
- Publication Type Applying intelligent agents technology in a collaborative work environment 2003-01-01 Paper Computer supported argumentation and collaborative...10 bytes (18 words) - 07:05, 9 December 2023
- Games 2015-04-17 Paper FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 2005-08-12 Paper Dense time logic programming 1997-08-07...10 bytes (18 words) - 16:25, 12 December 2023
- markets 2009-08-14 Paper FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper Stochastic Algorithms: Foundations...10 bytes (18 words) - 14:25, 12 December 2023
- for computer-generated-hologram 2013-04-12 Paper Special-purpose computer for particle image velocimetry 2011-05-25 Paper Special-purpose computer for...10 bytes (16 words) - 00:31, 25 September 2023
- Software Technology and Theoretical Computer Science 2006-11-14 Paper CONCUR 2005 – Concurrency Theory 2006-11-01 Paper Advances in Computer Science -...10 bytes (17 words) - 02:45, 11 December 2023
- Computation 2005-12-22 Paper FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 2005-08-12 Paper Area, perimeter and derivatives of...10 bytes (18 words) - 03:22, 9 December 2023
- mardi4nfdi.de/entity/Q4471940 2004-07-30 Paper Computer algebra and field theories 2003-08-21 Paper Computer algebra and artificial intelligence 2003-08-21...10 bytes (17 words) - 05:17, 13 December 2023
- Formal Methods in Computer-Aided Design 2006-10-20 Paper Correct Hardware Design and Verification Methods 2006-10-20 Paper Automated Technology for Verification...10 bytes (18 words) - 04:40, 9 December 2023
- computation 2008-04-21 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 2006-11-14 Paper A geometrical representation of entanglement...10 bytes (16 words) - 06:29, 13 December 2023
- Beyond 2008-03-07 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 2006-11-14 Paper https://portal.mardi4nfdi.de/entity/Q4680178...10 bytes (16 words) - 18:09, 12 December 2023
- 2005-10-19 Paper Computer Aided Verification 2005-08-25 Paper FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 2005-08-12...10 bytes (16 words) - 06:38, 12 December 2023
- recurrence relation for computer-generated-hologram 2013-04-12 Paper An efficient computational method suitable for hardware of computer-generated hologram...10 bytes (16 words) - 23:25, 24 September 2023
- Mathematical Foundations of Computer Science 2004 2005-08-22 Paper FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 2005-08-12 Paper...10 bytes (17 words) - 19:52, 6 October 2023
- languages 2007-10-11 Paper FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 2006-11-14 Paper Formal Modeling and Analysis of Timed...10 bytes (16 words) - 01:18, 12 December 2023
- of Publication Type FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 2009-08-06 Paper Linear connectivity problems in directed...10 bytes (16 words) - 00:41, 25 September 2023
