Search Results for Computer System Implementation.

1.

Cover image for Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

by

Holzer, Markus. editor.

https://doi.org/10.1007/978-3-319-08846-4

Format:

Excerpt:

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen

2.

Cover image for Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

by

Hinze, Ralf. editor.

https://doi.org/10.1007/978-3-642-41582-1

Format:

Excerpt:

Computer and Information Systems Applications.

3.

Cover image for Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings

by

Konstantinidis, Stavros. editor.

https://doi.org/10.1007/978-3-642-39274-0

Format:

Excerpt:

Implementation and Application of Automata 18th International Conference, CIAA 2013, Halifax, NS

4.

Cover image for Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

by

Moreira, Nelma. editor. (orcid)0000-0003-0861-0105

https://doi.org/10.1007/978-3-642-31606-7

Format:

Excerpt:

Implementation and Application of Automata 17th International Conference, CIAA 2012, Porto

5.

Cover image for Conceptual Structures for Discovering Knowledge 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings

Conceptual Structures for Discovering Knowledge 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011, Proceedings

by

Andrews, Simon. editor.

https://doi.org/10.1007/978-3-642-22688-5

Format:

Excerpt:

Pattern recognition systems.

6.

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

by

Giesl, Jürgen. editor.

https://doi.org/10.1007/978-3-642-14203-1

Format:

Excerpt:

Computer System Implementation.

7.

Transactions on Computational Science V Special Issue on Cognitive Knowledge Representation

by

Wang, Yingxu. editor.

https://doi.org/10.1007/978-3-642-02097-1

Format:

Excerpt:

Transactions on Computational Science V Special Issue on Cognitive Knowledge Representation / Wang

8.

Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

by

Bouajjani, Ahmed. editor.

https://doi.org/10.1007/978-3-642-02658-4

Format:

Excerpt:

Computer System Implementation.

9.

Cover image for Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009, Proceedings

by

Maneth, Sebastian. editor.

https://doi.org/10.1007/978-3-642-02979-0

Format:

Excerpt:

Implementation and Application of Automata 14th International Conference, CIAA 2009, Sydney

10.

Fundamental Problems in Computing Essays in Honor of Professor Daniel J. Rosenkrantz

by

Ravi, Sekharipuram S. editor.

https://doi.org/10.1007/978-1-4020-9688-4

Format:

Excerpt:

Computer System Implementation.

11.

Cover image for Knowledge Representation for Agents and Multi-Agent Systems First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers

Knowledge Representation for Agents and Multi-Agent Systems First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers

by

Meyer, John-Jules. editor.

https://doi.org/10.1007/978-3-642-05301-6

Format:

Excerpt:

Knowledge Representation for Agents and Multi-Agent Systems First International Workshop, KRAMAS

12.

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

by

Gupta, Aarti. editor.

https://doi.org/10.1007/978-3-540-70545-1

Format:

Excerpt:

Computer System Implementation.

13.

Cover image for Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

by

Ait Mohamed, Otmane. editor.

https://doi.org/10.1007/978-3-540-71067-7

Format:

Excerpt:

Computer System Implementation.

14.

The Calculus of Computation Decision Procedures with Applications to Verification

by

Bradley, Aaron R. author.

https://doi.org/10.1007/978-3-540-74113-8

Format:

Excerpt:

Computer System Implementation.

15.

Modelling Distributed Systems

by

Fokkink, Wan. author.

https://doi.org/10.1007/978-3-540-73938-8

Format:

Excerpt:

Computer System Implementation.

16.

Parameterized Complexity Theory

by

Flum, J. author.

https://doi.org/10.1007/3-540-29953-X

Format:

Excerpt:

Computer System Implementation.

17.

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

by

Hurd, Joe. editor.

https://doi.org/10.1007/11541868

Format:

Excerpt:

Computer System Implementation.

	{displayName}	{count}
{error}