Search Results - "Logic design"

41

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

42

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

43

Model Checking Software 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

44

In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

45

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

46

Time for Verification Essays in Memory of Amir Pnueli /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

47

Introduction to logic synthesis using Verilog HDL

by Reese, Robert B. 1958-
Published 2006

Subjects: '; “...Logic design Computer programs....”
Abstract with links to full text

Electronic

48

Logic Functions and Equations Examples and Exercises /

by Steinbach, Bernd., Posthoff, Christian.
Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

49

Quantitative Evaluation of Systems 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

50

Theoretical Aspects of Computing ICTAC 2013 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

51

Logics in Computer Science A Study on Extensions of Temporal and Strategic Logics /

by Mogavero, Fabio.
Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

52

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013,...

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

53

Pattern Calculus Computing with Functions and Structures /

by Jay, Barry.
Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

54

Integrated Formal Methods 7th International Conference, IFM 2009, D<U+00fc>sseldorf, Germany, February 16-19, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

55

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

56

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 1...

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

57

Distributed Programming Theory and Practice /

by Shankar, A. Udaya.
Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

58

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

59

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed C...

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

60

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

Narrow Search