- The Behavioral Approach to Open and Interconnected Systems Jan C. Willems Fri 18 April 2025
- From time series to linear system - Part II. Exact modelling Jan C. Willems Fri 18 April 2025
- From time series to linear system - Part I. Finite dimensional linear time invariant systems Jan C. Willems Fri 18 April 2025
- The geometry of tensor calculus, II André Joyal Ross Street Fri 18 April 2025
- Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics George Kaye Fri 18 April 2025
- Synthesis of digital designs from recursion equations Steven Dexter Johnson Fri 18 April 2025
- Equivalence checking for digital circuits B. J. Falkowski Fri 18 April 2025
- Functional Equivalence Checking for Evolution of Complex Digital Circuits Lukáš Sekanina Zdeněk Vašíček Fri 18 April 2025
- Verifying equivalence of digital signal processing circuits Keshab K. Parhi Fri 18 April 2025
- The Necessity of Feedback in Minimal Monotone Combinational Circuits Ronald L. Rivest Fri 18 April 2025
- Cyclic Combinational Circuits: Analysis for Synthesis Marc D. Riedel Jehoshua Bruck Fri 18 April 2025
- Cyclic Combinational Circuits Marc D. Riedel Fri 18 April 2025
- Analysis of cyclic combinational circuits S. Malik Fri 18 April 2025
- The synthesis of cyclic combinational circuits Marc D. Riedel Jehoshua Bruck Fri 18 April 2025
- String Diagrammatic Trace Theory Matthew Earnshaw Paweł Sobociński Fri 18 April 2025
- String Diagrammatic Electrical Circuit Theory Guillaume Boisseau Paweł Sobociński Fri 18 April 2025
- On well-quasi-ordering finite structures with labels Igor Kříž Robin Thomas Thu 17 April 2025
- Decidability and complexity of equivalences for simple process algebras Jitka Stríbrná Thu 17 April 2025
- Decidability of strong bisimulation of basic parallel processes using Hilberts basis theorem Jitka Stríbrná Thu 17 April 2025
- Equivariant ideals of polynomials Arka Ghosh Sławomir Lasota Thu 17 April 2025
Library Size: 13G (12943 entries),
Last Updated: Apr 05, 2026, 21:58:59,
Build Time: N/A
