Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

書目詳細資料
其他作者:	Stavridou, V
格式:	Conference item
出版:	North−Holland 1992

Model-Driven Geometry Theorem Prover
由: Ullman, Shimon
出版: (2004)

An equality theorem prover based on grammar rewriting
由: Batzoglou, Serafim
出版: (2007)

The analysis of cryptographic APIs using the theorem prover Otter
由: Youn, Paul, 1981-
出版: (2005)

A Relaxation Approach to Splitting in an Automatic Theorem Prover
由: Nevins, Arthur J.
出版: (2004)

Reasoning with Inductively Defined Relations in the HOL Theorem Prover
由: Camilleri, J, et al.
出版: (1992)

Incorporating specialized theories into a general purpose theorem prover
由: Pogosyants, Anna
出版: (2007)

Using first-order theorem provers for security protocol verification
由: Lim, Pamela Jiah Min
出版: (2015)

On Using First-Order Theorem Provers in the Jahob Data Structure Verification System
由: Bouillaguet, Charles, et al.
出版: (2006)

Investigating the performance of meter provers /
由: 348648 Reed, B., et al.
出版: ([19-)

Formal methods for VLSI design : IFIP WG 10.5 lecture notes/
由: Staunstrup, Jorgen
出版: (1990)

The TAMARIN prover for the symbolic analysis of security protocols
由: Meier, S, et al.
出版: (2013)

No-Signaling Proofs with O(sqrt(log n)) Provers Is in PSPACE
由: Holden, Dhiraj, et al.
出版: (2022)

Remote attestation for low-end embedded devices: The prover's perspective
由: Brasser, F, et al.
出版: (2016)

IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi
出版: (1997)

Logic and architecture synthesis : proceedings of the IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis, Paris, France, 30 May-1 June 1990 /
由: IFIP TC10/WG10.5 Workshop on Logic and Architecture Synthesis (1990 : Paris, France), et al.
出版: (1991)

STASH: Securing transparent authentication schemes using prover-side proximity verification
由: Juuti, M, et al.
出版: (2017)

Security management, integrity, and internal control in information systems : IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference
由: IFIP TC-11 WG 11.1 & WG 11.5 Joint Working Conference on Security Management, Integrity, and Internal Control in Information Systems (1st : 2005 : Fairfax, Va.), et al.
出版: (2005)

Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
由: O'Leary, J, et al.
出版: (2013)

Relational STE and theorem proving for formal verification of industrial circuit designs
由: O'Leary, J, et al.
出版: (2013)

Women, work, and computerization : forming new alliances : proceedings of the IFIP TC 9/WG 9.1 International Conference on Women, Work, and Computerization, Amsterdam, The Netherlands, 27-29 April, 1988 /
由: IFIP TC 9/WG 9.1 International Conference on Women, Work, and Computerization (1988 : Amsterdam, Netherlands)
出版: (1988)

Collaborative networks and their breeding environments : IFIP TC5 WG 5.5 Sixth IFIP Working Conference on Virtual Enterprises, 26-28 September, 2005, Valencia, Spain /
由: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (6th : 2005 : Valencia, Spain), et al.
出版: (2005)

Human work interaction design : designing for human work : the first IFIP TC 13.6 WG conference : designing for human work, February 13-15, 2006, Madeira, Portugal /
由: IFIP TC 13.6 WG Conference on Designing for Human Work (1st : 2006 : Madeira, Madeira Islands), et al.
出版: (2006)

Costly circuits, submodular schedules and approximate Carathéodory Theorems
由: Bojja Venkatakrishnan, Shaileshh, et al.
出版: (2018)

Network-centric collaboration and supporting frameworks : IFIP TC 5 WG 5.5, seventh IFIP Working Conference on Virtual Enterprises, September 25-27, 2006, Helsinki, Finland /
由: IFIP TC5 WG5.5 Working Conference on Virtual Enterprises (7th : 2006 : Helsinki, Finland), et al.
出版: (2006)

VLSI-SOC, from systems to chips : IFIP TC 10/ WG 10.5 Twelfth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC 2003), December 1-3, 2003, Darmstadt, Germany /
由: IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration (12th : 2003 : Darmstadt, Germany), et al.
出版: (2006)

Relations and equivalences between circuit lower bounds and Karp-Lipton theorems
由: Williams, Richard Ryan, et al.
出版: (2021)

Optimization of manufacturing systems design : proceedings of the IFIP WG 5.3 International Conference on Modeling and Simulation for Optimization of Manufacturing Systems Design and Application, Tempe, Arizona, U.S.A., 8-10 November, 1989 /
由: IFIP WG 5.3 International Conference on Modeling and Simulation for Optimization of Manufacturing Systems Design and Application (1989 : Tempe, Ariz.), et al.
出版: (1990)

Social inclusion : societal and organizational implications for information systems : IFIP TC8 WG8.2 international working conference, July 12-15, 2006 /
由: Trauth, Eileen Moore
出版: (2006)

Biologically inspired cooperative computing : IFIP 19th World Computer Congress ; TC 10, 1st IFIP International Conference on Biologically Inspired Computing, August 21-24, 2006, Santiago, Chile /
由: IFIP International Conference on Biologically Inspired Computing (1st : 2006 Aug. 21-24 : Santiago, Chile), et al.
出版: (2006)

Circuit design for 1-10 MHz DC-DC conversion
由: Casey, Leo Francis
出版: (2005)

Advances in production management systems : proceedings of the 4th IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems, APMS'90, Espoo, Finland, 20-22 August, 1990 /
由: IFIP TC5/WG5.7 International Conference on Advances in Production Management Systems (4th : 1990 : Espoo, Finland), et al.
出版: (1991)

Correct Hardware Design and Verification Methods‚ 11th IFIP WG 10.5 Advanced Research Working Conference‚ CHARME 2001‚ Livingston‚ Scotland‚ UK‚ September 4−7‚ 2001‚ Proceedings
出版: (2001)

Correct Hardware Design and Verification Methods: 11th IFIP WG10.5 Advanced Research Working Conference‚ CHARME 2001: Livingston‚ Scotland‚ UK‚ September 4–7 2001: Proceedings
出版: (2001)

Generalizing Eigenvalue Theorems to Pseudospectra Theorems
由: Embree, M, et al.
出版: (2000)

New trends and technologies in computer-aided learning for computer-aided design : IFIP TC10 working conference : EduTech 2005, October 20-21, Perth, Australia /
由: EduTech 2005 (2005 : Perth, W.A.), et al.
出版: (2005)

Database security XII : status and prospects : IFIP TC11 WG11.3 Twelfth International Working Conference on Database Security, July 15-17, 1998, Chalkidiki, Greece /
由: IFIP TC11/WG 11.3 International Conference on Databse Security (12th : 1998 : Chalkidiki), et al.
出版: (1999)

Mobile and wireless communication networks : IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks (MWCN 2004), October 25-27, 2004, Paris, France /
由: IFIP TC6/WG6.8 Conference on Mobile and Wireless Communication Networks ( 2004 : Paris, France), et al.
出版: (2005)

Machining impossible shapes : IFIP TC5 WG5.3 International Conference on Sculptured Surfaces (SSM98), November 9-11, 1998, Chrysler Technology Center, Michigan, USA /
由: IFIP TC5 WG5.3 International Conference on Sculptured Surface Machining ( 1998 : Auburn Hills, Mich.), et al.
出版: (1999)

Human error, safety and systems development : IFIP 18th World Computer Congress TC13/WG13.5 7th Working Conference on Human Error, Safety and Systems Development, 22-27 August 2004 Toulouse, France /
由: IFIP TC13/WG13.5 Working Conference on Human Error, Safety and Systems Development (7th : 2004 : Toulouse, France), et al.
出版: (2004)

Projection theorems for hitting probabilities and a theorem of Littlewood
由: Lyons, T, et al.
出版: (1984)

Theorem Provers in Circuit Design: Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory‚ Practice‚ and Experience: Nijmegen‚ The Netherlands‚ 22–24 June 1992

相似書籍

相似書籍