Logic design
Resource Information
The concept Logic design represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
The Resource
Logic design
Resource Information
The concept Logic design represents the subject, aboutness, idea or notion of resources found in University of Missouri Libraries.
- Label
- Logic design
238 Items that share the Concept Logic design
Context
Context of Logic designSubject of
No resources found
No enriched resources found
- 6800 programming for logic design
- 8080 programming for logic design
- A general framework for reasoning on inconsistency
- Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19 24, 2000 Proceedings
- Abstract State Machines 2003 : Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3 7, 2003 Proceedings
- Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 2629, 2000 Proceedings
- Advanced logical circuit design techniques
- Advanced signal integrity for high-speed digital designs
- Advances in Computing Science " ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25 27, 2000 Proceedings
- Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers
- Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
- Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1-5, 1996 Proceedings
- Algebraic and Logic Programming : 5th International Conference, ALP'96 Aachen, Germany, September 25-27, 1996 Proceedings
- Algebraic and Logic Programming : International Workshop Gaussig, GDR, November 14-18, 1988 Proceedings
- Algebraic and algorithmic aspects of differential and integral operators : 5th International Meeting, AADIOS 2012, held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers
- Algebraic and numeric biology : 4th International Conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010, Revised selected papers
- Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement
- Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings
- An engineering approach to digital design
- Analogical and Inductive Inference : International Workshop All '89 Reinhardsbrunn Castle, GDR, October 1-6, 1989 Proceedings
- Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22-26, 1992 Proceedings
- Application and Theory of Petri Nets 1996 : 17th International Conference Osaka, Japan, June 24-28, 1996 Proceedings
- Applications and Theory of Petri Nets 2003 : 24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23 27, 2003 Proceedings
- Applied digital logic exercises using FPGAs
- Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11-15, 1989 Proceedings
- Automated Reasoning : First International Joint Conference, IJCAR 2001 Siena, Italy, June 1822, 2001 Proceedings
- Automated technology for verification and analysis : 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings
- Big data integration theory : theory and methods of database mappings, programming languages, and semantics
- CAAP '86 : 11th Colloquium on Trees in Algebra and Programming Nice, France, March 24-26, 1986 Proceedings
- CONCUR'93 : 4th Intrenational Conference on Concurrency Theory Hildesheim, Germany, August 23-26, 1993 Proceedings
- CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings
- CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings
- Categorical Methods in Computer Science With Aspects from Topology
- Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings
- Collaborative process automation systems
- Compiler construction : 7th international conference, CC'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings
- Compiler construction : 9th International Conference, CC 2000 : held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 : Berlin, Germany, March 25 - April 2, 2000 : proceedings
- Computational Logic " CL 2000 : First International Conference London, UK, July 24 28, 2000 Proceedings
- Computer Aided Systems Theory - EUROCAST 2003 : 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers
- Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings
- Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
- Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3-5, 1995 Proceedings
- Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31- August 3, 1996 Proceedings
- Computer Aided Verification : 9th International Conference, CAV'97 Haifa, Israel, June 2225, 1997 Proceedings
- Computer Safety, Reliability and Security : 19th International Conference, SAFECOMP 2000 Rotterdam, the Netherlands, October 2427, 2000 Proceedings
- Computer Science Logic : 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
- Computer architecture and logic design
- Computer arithmetic : logic and design
- Computer safety, reliability and security : 17th international conference, SAFECOMP '98, Heidelberg, Germany, October 5-7, 1998 : proceedings
- Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18-21, 1990 Proceedings
- Conceptual modeling--ER 2011 : 30th international conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings
- Concrete semantics : with Isabelle/HOL
- Concurrency and parallelism, programming, networking, and security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2-5, 1996 Proceedings
- Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13-15, 1994 Proceedings
- Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2-4, 1995 Proceedings
- Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24-26, 1993 Proceedings
- Cryptographic Hardware and Embedded Systems - CHES 2004 00 : 6th International Workshop Cambridge, MA, USA, August 11-13, 2004. Proceedings
- Design of logic systems
- Designing with programmable array logic
- Digital circuit boards : mach 1 GHz
- Digital circuit boards : mach 1 ghz
- Digital circuits and logic design
- Digital design
- Digital design and computer architecture
- Digital design and computer architecture
- Digital design and implementation with field programmable devices
- Digital logic and computer design
- Digital logic and microprocessors
- Digital logic and state machine design
- Digital logic design
- Digital logic design
- Digital logic design
- Digital logic design
- Digital system design
- Digital system design and microprocessors
- Digital system design with LSI bit-slice logic
- Digital systems design
- ECOOP'98 - Object-Oriented Programming : 12th European Conference Brussels, Belgium, July 20-24, 1998 Proceedings
- ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26-28, 1992 Proceedings
- Evaluation of novel approaches to software engineering : 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010 : revised selected papers
- Extreme Programming and Agile Methods - XP : Third XP Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003. Proceedings
- Extreme Programming and Agile Methods - XP/Agile Universe 2004 : 4th Conference on Extreme Programming and Agile Methods, Calgary, Canada, August 15-18, 2004. Proceedings
- FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume I
- FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume II
- FME '93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 Proceedings
- FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18-22, 1996 Proceedings
- Fast circuit boards : energy management
- Field-Programmable Logic Architectures, Synthesis and Applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL'94 Prague, Czech Republic, September 7-9, 1994 Proceedings
- Field-Programmable Logic Smart Applications, New Paradigms and Compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23-25, 1996 Proceedings
- Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29-September 1, 1995 Proceedings
- Fluid power logic circuit design : analysis, design methods, and worked examples
- Formal Methods and Software Engineering
- Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
- Formal Techniques for Networked and Distributed Systems FORTE 2004 : 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
- Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium Uppsala, Sweden, September 9-13, 1996 Proceedings
- Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers
- Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers
- Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
- Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings
- Foundations of Software Science and Computation Structures : 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7-11, 2003 Proceedings
- Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
- Foundations of algebraic specification and formal software development
- Foundations of information and knowledge systems : 8th international symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings
- Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011 : proceedings
- Fundamentals for switching theory and logic design
- Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22-25, 1995 Proceedings
- Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21-25, 1989 Proceedings
- Fundamentals of logic design and switching theory
- Fundamentals of switching theory and logic design : a hands on approach
- Funtional Programming Languages in Education : First International Symposium, FPLE '95 Nijmegen, the Netherlands, December 4-6, 1995 Proceedings
- Getting started with FPGAs : prototyping with electronics and programmable logic
- Graph Transformation : First International Conference, ICGT 2002 Barcelona, Spain, October 712, 2002 Proceedings
- Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28-October 1, 2004. Proceedings
- Graph-Theoretic Concepts in Computer Science : 15th International Workshop WG '89 Castle Rolduc, the Netherlands, June 14-16, 1989 Proceedings
- Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18-20, 1992 Proceedings
- Graph-Theoretic Concepts in Computer Science : 20th International Workshop, WG '94 Herrsching, Germany, June 16-18, 1994 Proceedings
- High-speed digital design : a handbook of black magic
- Higher-Order Algebra, Logic, and Term Rewriting : Second International Workshop, HOA '95 Paderborn, Germany, September 21-22, 1995 Selected Papers
- Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers
- Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, the Netherlands, September 1-3, 2010 : revised selected papers
- Implementation of Functional Languages : 14th International Workshop, IFL 2002 Madrid, Spain, September 1618, 2002 Revised Selected Papers
- Information and Communication Technologies in Education, Research, and Industrial Applications : 10th International Conference, ICTERI 2014, Kherson, Ukraine, June 9-12, 2014, Revised Selected Papers
- Information and communication technologies in education, research, and industrial applications : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, revised selected papers
- Integrated Formal Methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- Integrated circuit and system design : power and timing modeling, optimization, and simulation : 21st international workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011 : proceedings
- Integrated devices in digital circuit design
- Intelligent Agents IV Agent Theories, Architectures, and Languages : 4th International Workshop, ATAL'97 Providence, Rhode Island, USA, July 2426, 1997 Proceedings
- Introduction to Boolean algebra and logic design : a program for self-instruction
- Introduction to fluid logic
- Introduction to switching theory and logical design
- Introduction to switching theory and logical design
- Introduction to switching theory and logical design
- Job Scheduling Strategies for Parallel Processing : IPPS '96 Workshop Honolulu, Hawaii, April 16, 1996 Proceedings
- Job Scheduling Strategies for Parallel Processing : IPPS '97 Processing Workshop Geneva, Switzerland, April 5, 1997 Proceedings
- LATIN '95: Theoretical Informatics : Second Latin American Symposium Valparaíso, Chile, April 3-7, 1995 Proceedings
- Learning FPGAs : digital design for beginners with Mojo and Lucid HDL
- Lectures on Concurrency and Petri Nets : Advances in Petri Nets
- Logic Based Program Synthesis and Transformation
- Logic circuits and microcomputer systems
- Logic design : a review of theory and practice
- Logic design and computer organization
- Logic design and switching theory
- Logic design for behavioral scientists
- Logic design of digital systems
- Logic design principles : with emphasis on testable semicustom circuits
- Logic design with integrated circuits
- Logic level design
- Logic minimization algorithms for VLSI synthesis
- Logic synthesis for control automata
- Logic, rationality, and interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings
- Logical design using integrated circuits
- Logically determined design : clockless system design with NULL convention logic
- Logically determined design : clockless system design with NULL convention logic
- Logics in AI : European Workshop JELIA '90 Amsterdam, the Netherlands, September 10-14, 1990 Proceedings
- Make: FPGAs : turning software into hardware with eight fun and easy DIY projects.
- Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings
- Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30-September 3, 1993 Proceedings
- Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22-26, 1994 Proceedings
- Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28-September 1, 1995 Proceedings
- Mathematical Foundations of Computer Science 2004 : 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings
- Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17-21, 1995 Proceedings
- Membrane computing : 14th International Conference, CMC 2013, Chişinău, Republic of Moldova, August 20-23, 2013, revised selected papers
- Memory Management : International Workshop IWMM 95 Kinross, UK, September 27-29, 1995 Proceedings
- MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
- Microcomputer structures
- Microprocessors and logic design
- Modern logic design
- Modular Compiler Verification : a Refinement-Algebraic Approach Advocating Stepwise Abstraction
- Modular Specification and Verification of Object-Oriented Programs
- Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings
- Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings
- Object-Oriented Technology : ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 1216, 2000 Proceedings
- P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
- Parallel Architectures and Their Efficient Use : First Heinz Nixdorf Symposium Paderborn, Germany, November 11-13, 1992 Proceedings
- Perspectives of system informatics : third International Andrei Ershov memorial conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings
- Practical aspects of declarative languages : 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
- Practical programmable circuits : a guide to PLDs, state machines, and microcontrollers
- Principles and Practice of Constraint Programming CP 2003 00 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 October 3, 2003. Proceedings
- Principles and Practice of Constraint Programming CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 -October 1, 2004. Proceedings
- Principles and practice of constraint programming : CP98--4th international conference, CP98 Pisa, Italy, October 2630, 1998 : proceedings
- Principles and practice of constraint programming--CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings
- Probabilistic analysis of defect tolerance in asynchronous nano crossbar architecture
- Programming Languages and Systems -- ESOP '94 : 5th European Symposium on Programming Edinburg, U.K., April 11-13, 1994 Proceedings
- Programming Languages and Systems : 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 26, 2001 Proceedings
- Programming Languages and Systems : 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 April 4, 1998 Proceedings
- Programming Languages: Implementations, Logics, and Programs : 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings
- Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings
- Rapid prototyping of digital systems
- Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
- Reasoning with Logic Programming
- Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers
- Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28-May 1, 2014. Proceedings
- Rewriting Techniques and Applications : 10th International Conference, RTA-99 Trento, Italy, July 24, 1999 Proceedings
- SDL 2011 : integrating system and software modeling : 15th International SDL Forum, Toulouse, France, July 5-7, 2011 : revised papers
- SOFSEM 2004: Theory and Practice of Computer Science : 30th Conference on Current Trends in Theory and Practice of Computer Science Měřín, Czech Republic, January 24-30, 2004 Proceedings
- STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11-13, 1988 Proceedings
- STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16-18, 1989 Proceedings
- STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14-16, 1991 Proceedings
- STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24-26, 1994 Proceedings
- Self-checking and fault-tolerant digital design
- Self-timed control of concurrent processes : the design of aperiodic logical circuits in computers and discrete systems
- Sequential logic testing and verification
- Software engineering and formal methods : 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings
- Specification, algebra, and software : essays dedicated to Kokichi Futatsugi
- Spectral techniques in digital logic
- Static Analysis : Second International Symposium, SAS '95 Glasgow, UK, September 25-27, 1995 Proceedings
- Static Analysis : Third International Symposium, SAS '96 Aachen, Germany, September 24-26, 1996 Proceedings
- Static Analysis : Third International Workshop, WSA '93 Padova, Italy, September 22-24, 1993 Proceedings
- Structured object-oriented formal language and method : third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013: revised selected papers
- Switching circuits and logical design
- Synchronous precharge logic
- Synthesis techniques and optimizations for reconfigurable systems
- System design with microprocessors
- TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
- TAPSOFT '95 : Theory and practice of software development ; 6th International Joint Conference CAAP/FASE Aarhus, Denmark, May 22-26, 1995 Proceedings
- Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings
- The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications
- The Munich Project CIP : Volume II: The Program Transformation System CIP-S
- The Z8000 microprocessor : a design handbook
- The analysis of concurrent systems : Cambridge, September 12-16, 1983 : proceedings
- The design of a microprocessor
- The logical processing of digital signals
- The mathematics of language : 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings
- Theoretical Aspects of Computer Software : International Conference TACS '91 Sendai, Japan, September 24-27, 1991 Proceedings
- Theory of Computing and Systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27-28, 1992 Proceedings
- Tools and Algorithms for the Construction and Analysis of Systems : 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 April 4, 1998 Proceedings
- Towards Evolvable Hardware : the Evolutionary Engineering Approach
- Transactions on computational science XXIV : special issue on reversible computing
- Transactions on high-performance embedded architectures and compilers IV
- Typed Lambda Calculi and Applications : 5th International Conference, TLCA 2001 Kraków, Poland, May 2 5, 2001 Proceedings
- Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings
- Types for Proofs and Programs : International Workshop TYPES '94 Båstad, Sweden, June 6-10, 1994 Selected Papers
- Types for Proofs and Programs : International Workshop, TYPES '95 Torino, Italy, June 5-8, 1995 Selected Papers
- VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings
- VDM'91 Formal Software Development Methods : 4th International Symposium of VDM Europe Noordwijkerhout, the Netherlands, October 1991 Proceedings
- Verification, Model Checking, and Abstract Interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
- ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings
- ZUM 98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/KogH_8sDNXk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/KogH_8sDNXk/">Logic design</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Concept Logic design
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/resource/KogH_8sDNXk/" typeof="CategoryCode http://bibfra.me/vocab/lite/Concept"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/resource/KogH_8sDNXk/">Logic design</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
