61
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
62
FM 2015: Formal Methods [E-Book] : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
63
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:
64
Reversible Computation [E-Book] : 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
65
Computing and Combinatorics [E-Book] : 21st International Conference, COCOON 2015, Beijing, China, August 4-6, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
66
Model Checking Software [E-Book] : 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
67
Perspectives of System Informatics [E-Book] : 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
68
Stabilization, Safety, and Security of Distributed Systems [E-Book] : 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
69
Interactive Theorem Proving [E-Book] : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
70
Software, Services, and Systems [E-Book] : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
71
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:
72
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:
73
Fundamentals of Computation Theory [E-Book] : 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
74
Software Engineering and Formal Methods [E-Book] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
75
Formal Modeling and Analysis of Timed Systems [E-Book] : 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
76
Machines, Computations, and Universality [E-Book] : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
77
Software Engineering for Resilient Systems [E-Book] : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /
Subject (ZB): “...Logic design....”

Full text 
Favorites
Saved in:
78
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:
79
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:
80
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:

Narrow Search Results