Search Results for Computer System Implementation.

1.

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:

Alıntı:

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

2.

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:

Alıntı:

Computer and Information Systems Applications.

3.

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:

Alıntı:

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

4.

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:

Alıntı:

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

5.

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:

Alıntı:

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:

Alıntı:

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:

Alıntı:

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:

Alıntı:

Computer System Implementation.

9.

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:

Alıntı:

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:

Alıntı:

Computer System Implementation.

11.

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:

Alıntı:

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:

Alıntı:

Computer System Implementation.

13.

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:

Alıntı:

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:

Alıntı:

Computer System Implementation.

15.

Modelling Distributed Systems

by

Fokkink, Wan. author.

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

Format:

Alıntı:

Computer System Implementation.

16.

Parameterized Complexity Theory

by

Flum, J. author.

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

Format:

Alıntı:

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:

Alıntı:

Computer System Implementation.

	{displayName}	{count}
{error}