登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Formal Models of Agents
EISBN：9783540465812
PISBN：9783540670278
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：1999
作者：John-Jules Ch. Meyer,Pierre-Yves Schobbens
主题词：Artificial Intelligence (incl. Robotics),Software Engineering,Logics and Meanings of Programs,Computer Communication Networks
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Models of Agents
  • 作者：John-Jules C. Meyer,Pierre-Yves Schobbens
  • EISBN：9783540465812
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1999
...

Formal Models and Semantics
  • 作者：van Leeuwen,J.
  • PISBN：9780444880741
  • 出版时间：Legacy
...

Formal Models, Languages And Applications
  • 作者：Subramanian,K G;Rangarajan,K;Mukund,Madhavan;Mukunda Prabhu,M.
  • EISBN：9789812773036
  • 出版社：World Scientific Publishing Company
  • 出版时间：2006-07-17
...

Formal Models of Communicating Systems
  • 作者：Benedikt Bollig
  • EISBN：9783540329237
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2006
...

Formal Methods and Models for System Design
  • 作者：Rajesh Gupta,Paul Le Guernic,Sandeep Kumar Shukla,Jean-Pierre Talpin
  • EISBN：9781402080524
  • 出版社：Springer US
  • 出版时间：2004
...

Formal Models of Operating System Kernels
  • 作者：Iain D. Craig
  • EISBN：9781846287183
  • 出版社：Springer London
  • 出版时间：2007