Results
|
|
21.
|
|
|
|
|
22.
|
|
|
|
|
23.
|
|
|
|
|
24.
|
|
|
|
|
25.
|
|
|
|
|
26.
|
|
|
|
|
27.
|
|
|
|
|
28.
|
|
|
|
|
29.
|
|
Logical Approaches to Computational Barriers [electronic resource] : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings / edited by Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker. by Series: Lecture Notes in Computer Science ; 3988
Edition: 1a ed.
Material type:  Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA9.A1 B43 2006.
|
|
|
30.
|
|
|
|
|
31.
|
|
|
|
|
32.
|
|
|
|
|
33.
|
|
|
|
|
34.
|
|
|
|
|
35.
|
|
|
|
|
36.
|
|
Multi-Agent Programming [electronic resource] : Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book Series ; 15
Material type: Computer file; Format:
electronic
available online
Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA76.76.I58 M8 2005.
|
|
|
37.
|
|
|
|
|
38.
|
|
Theory and Applications of Models of Computation [electronic resource] : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings / edited by Manindra Agrawal, Dingzhu Du, Zhenhua Duan, Angsheng Li. by Series: Lecture Notes in Computer Science ; 4978
Material type: Computer file; Format:
electronic
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: Items available for loan: Biblioteca Digital (1)Call number: QA267.7 A37 2008.
|
|
|
39.
|
|
|
|
|
40.
|
|
|