Results
|
141.
|
|
|
142.
|
|
|
143.
|
|
|
144.
|
Computational Processing of the Portuguese Language [electronic resource] : 11th International Conference, PROPOR 2014, São Carlos/SP, Brazil, October 6-8, 2014. Proceedings / edited by Jorge Baptista, Nuno Mamede, Sara Candeias, Ivandré Paraboni, Thiago A. S. Pardo, Maria das Graças Volpe Nunes. by Series: Lecture Notes in Computer Science ; 8775
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).
|
|
145.
|
Computational Logic in Multi-Agent Systems [electronic resource] : 15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014. Proceedings / edited by Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos. by Series: Lecture Notes in Computer Science ; 8624
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).
|
|
146.
|
Rules on the Web. From Theory to Applications [electronic resource] : 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings / edited by Antonis Bikakis, Paul Fodor, Dumitru Roman. by Series: Lecture Notes in Computer Science ; 8620
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).
|
|
147.
|
|
|
148.
|
|
|
149.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers / edited by Yukiko Nakano, Ken Satoh, Daisuke Bekki. by Series: Lecture Notes in Computer Science ; 8417
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).
|
|
150.
|
|
|
151.
|
|
|
152.
|
|
|
153.
|
|
|
154.
|
|
|
155.
|
|
|
156.
|
|
|
157.
|
|
|
158.
|
|
|
159.
|
Computer Safety, Reliability, and Security [electronic resource] : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier. by Series: Lecture Notes in Computer Science ; 8696
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).
|
|
160.
|
Reasoning Web. Reasoning on the Web in the Big Data Era [electronic resource] : 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings / edited by Manolis Koubarakis, Giorgos Stamou, Giorgos Stoilos, Ian Horrocks, Phokion Kolaitis, Georg Lausen, Gerhard Weikum. by Series: Lecture Notes in Computer Science ; 8714
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).
|