Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Specification and verification of mu...
~
Dastani, Mehdi.
Specification and verification of multi-agent systems
Record Type:
Electronic resources : Monograph/item
Title/Author:
Specification and verification of multi-agent systemsedited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
other author:
Meyer, John-Jules Charles.
Published:
Boston, MA :Springer Science+Business Media, LLC,2010.
Description:
xvii, 405 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
Multiagent systems.
Online resource:
http://dx.doi.org/10.1007/978-1-4419-6984-2
ISBN:
9781441969842 (electronic bk.)
Specification and verification of multi-agent systems
Specification and verification of multi-agent systems
[electronic resource] /edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer. - Boston, MA :Springer Science+Business Media, LLC,2010. - xvii, 405 p. :ill., digital ;24 cm.
ISBN: 9781441969842 (electronic bk.)Subjects--Topical Terms:
484868
Multiagent systems.
LC Class. No.: QA76.76.I58 / S64 2010
Dewey Class. No.: 006.33
Specification and verification of multi-agent systems
LDR
:00809nmm 2200229 a 4500
001
273970
003
Springer
005
20101012091604.0
006
m d
007
cr nn 008maaau
008
101221s2010 mau s j eng d
020
$a
9781441969842 (electronic bk.)
020
$a
9781441969835 (paper)
035
$a
978-1-4419-6983-5
050
0 4
$a
QA76.76.I58
$b
S64 2010
082
0 4
$a
006.33
$2
22
090
$a
QA76.76.I58
$b
S741 2010
245
0 0
$a
Specification and verification of multi-agent systems
$h
[electronic resource] /
$c
edited by Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer.
260
$a
Boston, MA :
$b
Springer Science+Business Media, LLC,
$c
2010.
300
$a
xvii, 405 p. :
$b
ill., digital ;
$c
24 cm.
650
0
$a
Multiagent systems.
$3
484868
650
0
$a
Computer software
$x
Verification.
$3
184731
650
1 4
$a
Computer Science.
$3
212513
650
2 4
$a
Software Engineering/Programming and Operating Systems.
$3
273711
650
2 4
$a
Artificial Intelligence (incl. Robotics)
$3
252959
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
650
2 4
$a
Software Engineering.
$3
274511
650
2 4
$a
Computing Methodologies.
$3
274528
700
1
$a
Meyer, John-Jules Charles.
$3
484867
700
1
$a
Dastani, Mehdi.
$3
277533
700
1
$a
Hindriks, Koen V.
$3
375635
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
856
4 0
$u
http://dx.doi.org/10.1007/978-1-4419-6984-2
950
$a
Computer Science (Springer-11645)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000050220
電子館藏
1圖書
電子書
EB QA76.76.I58 S64 2010
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-1-4419-6984-2
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login