Results
|
21.
|
|
|
22.
|
|
|
23.
|
|
|
24.
|
|
|
25.
|
|
|
26.
|
|
|
27.
|
|
|
28.
|
|
|
29.
|
|
|
30.
|
|
|
31.
|
Language, Life, Limits [electronic resource] : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings / edited by Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer. by Series: Lecture Notes in Computer Science ; 8493
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
32.
|
|
|
33.
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by Stéphane Demri, Deepak Kapur, Christoph Weidenbach. by Series: Lecture Notes in Computer Science ; 8562
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
34.
|
|
|
35.
|
|
|
36.
|
|
|
37.
|
Swarm Intelligence [electronic resource] : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings / edited by Marco Dorigo, Mauro Birattari, Simon Garnier, Heiko Hamann, Marco Montes de Oca, Christine Solnon, Thomas Stützle. by Series: Lecture Notes in Computer Science ; 8667
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: Central Library (1).
|
|
38.
|
|
|
39.
|
|
|
40.
|
|