181
Foundational and Practical Aspects of Resource Analysis [E-Book] : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
182
Programming Languages and Systems [E-Book] : 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
183
Structured Object-Oriented Formal Language and Method [E-Book] : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
184
Foundations of Information and Knowledge Systems [E-Book] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
185
OpenSHMEM and Related Technologies. Experiences, Implementations, and Tools [E-Book] : First Workshop, OpenSHMEM 2014, Annapolis, MD, USA, March 4-6, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
186
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [E-Book] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
187
Inductive Logic Programming [E-Book] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
188
Software Architecture : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014. Proceedings [E-Book]/
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
189
Formal Methods for Industrial Critical Systems [E-Book] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
190
Model-driven engineering languages and systems : 17th international conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. proceedings [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
191
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
192
Fundamental Approaches to Software Engineering [E-Book] : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
193
Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014, held as part of the european joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5-13, 2014. proceedings [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
194
Coordination Models and Languages [E-Book] : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
195
Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 international conference, FORTE 2014, held as part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. proceedings [E-Book] /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
196
Computer Aided Verification [E-Book] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
197
Logical Aspects of Computational Linguistics [E-Book] : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
198
ECOOP 2014 – Object-Oriented Programming [E-Book] : 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
199
Logic and Its Applications [E-Book] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
200
Programming Languages and Systems [E-Book] : 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:

Narrow Search Results