Search Results facets
More
Personal Author
(16)
(12)
(9)
(7)
Fewer
Topic Subject
(732)
(704)
(671)
(587)
(521)
(204)
(170)
(137)
(113)
(84)
(74)
(55)
(49)
(49)
(44)
(37)
(37)
(29)
(24)
(18)
(17)
(16)
(16)
(14)
(14)
(14)
(13)
(11)
(11)
(11)
(10)
(9)
(9)
(5)
(5)
(5)
(5)
(4)
(4)
(4)
(3)
(3)
(3)
(2)
(2)
(2)
(2)
(2)
(2)
(2)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
(1)
Search Results List
0
selected titles
Reached limit!
Clear basket
Search result number | Book jacket cover art | Item details and Actions | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
121. |
|
Specification and Verification of Multi-agent Systems
E-book
|
||||||||||
122. |
|
Querying Moving Objects Detected by Sensor Networks
E-book
|
||||||||||
123. |
|
Introducing Spoken Dialogue Systems into Intelligent Environments
E-book
|
||||||||||
124. |
|
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
E-book
|
||||||||||
125. |
|
Between Certainty and Uncertainty Statistics and Probability in Five Units with Notes on Historical Origins and Illustrative Numerical Examples
E-book
|
||||||||||
126. |
|
Trust and Fairness in Open, Distributed Systems
E-book
|
||||||||||
127. |
|
Global Design and Local Materialization 15th International Conference, CAAD Futures 2013, Shanghai, China, July 3-5, 2013. Proceedings
E-book
|
||||||||||
128. |
|
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings
E-book
|
||||||||||
129. |
|
Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
E-book
|
||||||||||
130. |
|
Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
E-book
|