Deontic logic and artificial normative systems 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006: proceedings /

由 International Workshop on Deontic Logic in Computer Science, Goble, Lou., Meyer, John-Jules Ch.
出版 2006.

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012, proceedings /

由 International Conference on Deontic Logic in Computer Science, Agotnes, Thomas., Broersen, Jan., Elgesem, Dag.
出版 2012.

Theoretical computer science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005 : proceedings /

由 Italian Conference on Theoretical Computer Science, Coppo, Mario., Lodi, E., Pinna, G. Michele.
出版 2005.

Relational methods in computer science 8th international seminar on relational methods in computer...

由 International Seminar on Relational Methods in Computer Science, MacCaull, Wendy., Winter, Michael., Düntsch, Ivo.
出版 2006.

Relations and Kleene algebra in computer science 11th International Conference on Relational...

由 International Seminar on Relational Methods in Computer Science, Berghammer, R., Jaoua, Ali Mohamed., Möller, Bernhard.
出版 2009.

Deontic logic in computer science 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008 : proceedings /

由 International Conference on Deontic Logic in Computer Science, Van der Meyden, Ron., Torre, Leendert van der
出版 c2008

Relations and Kleene algebra in computer science 10th International Conference on Relational...

由 International Conference on Relational Methods in Computer Science, Berghammer, R., Möller, Bernhard, Struth, Georg., International Workshop on Applications of Kleene Algebra
出版 c2008

Advances in computer science - ASIAN 2007 computer and network security : 12th Asian Computing...

由 Asian Computing Science Conference, Cervesato, Iliano.
出版 2007.

Advances in computer science 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009 : proceedings /

由 Asian Computing Science Conference, Datta, Anupam.
出版 2009.

Computer and information sciences - ISCIS 2006 21th international symposium Istanbul, Turkey, Novenber 1-3, 2006: proceedings /

由 International Symposium on Computer and Information Sciences, Levi, Albert.
出版 2006.

Computer mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007 : revised and invited papers /

由 Asian Symposium on Computer Mathematics, Kapur, Deepak.
出版 c2008

Computer vision ACCV 2007 : 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007 : proceedings, part II /

由 Asian Conference on Computer Vision, Yagi, Yasushi.
出版 2007.

Computer Vision ACCV 2007 : 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007 : proceedings, part I /

由 Asian Conference on Computer Vision, Yagi, Yasushi.
出版 2007.

Advances in Computer Science - ASIAN 2006 secure software and related issues : 11th Asian Computing...

由 Asian Computing Science Conference, Okada, Mitsu., Satoh, Ichiro.
出版 2007.

Computer vision–ECCV 2012 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, proceedings, part II /

由 European Conference on Computer Vision, Fitzgibbon, A. W.
出版 2012.

Computer security - ESORICS 2007 12th European Symposium on Research in Computer Security, Dresden, Germany, September 24-26, 2007 : proceedings /

由 European symposium on research in computer security, Biskup, Joachim.
出版 2007.

Discovery science Discovery science : 12th international conference, DS 2009, Porto, Portugal, October 3-5, 2009 : proceedings /

由 International Conference on Discovery Science, Gama, João.
出版 2009.

Functional programming languages and computer architecture /

由 Conference on functional programming languages and computer architecture, Kahn, Giles
出版 1987.

Human-computer interaction

由 International conference on human-computer interaction, Jacko, Julie A.
出版 2007.

Human-computer interaction

由 International conference on human-computer interaction, Jacko, Julie A.
出版 2007.