1
Cellular Automata [E-Book] : A Volume in the Encyclopedia of Complexity and Systems Science, Second Edition /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
2
Scaling OpenMP for Exascale Performance and Portability [E-Book] : 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20–22, 2017, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
3
High Performance Computing [E-Book] : ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
4
Reversible Computation [E-Book] : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
5
Brain-Inspired Computing [E-Book] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
6
Formal Methods: Foundations and Applications [E-Book] : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
7
Software Engineering and Formal Methods [E-Book] : SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
8
Formal Aspects of Component Software [E-Book] : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
9
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [E-Book] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
10
Unifying Theories of Programming [E-Book] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
11
Formal Methods for Multicore Programming [E-Book] : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
12
Logic-Based Program Synthesis and Transformation [E-Book] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
13
Formal Methods for Industrial Critical Systems [E-Book] : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
14
Central European Functional Programming School [E-Book] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
15
Requirements Engineering: Foundation for Software Quality [E-Book] : 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
16
Trends in Functional Programming [E-Book] : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
17
Transactional Memory. Foundations, Algorithms, Tools, and Applications [E-Book] : COST Action Euro-TM IC1001 /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
18
Verification, Model Checking, and Abstract Interpretation [E-Book] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
19
Logic and Its Applications [E-Book] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
20
Computer Engineering and Technology [E-Book] : 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers /
Li, Jinwen
2015
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:

Narrow Search Results