Results
|
|
2141.
|
Wireless algorithms, systems, and applications : 9th International Conference, WASA 2014, Harbin, China, June 23-25, 2014. Proceedings / edited by Zhipeng Cai, Chaokun Wang, Siyao Cheng, Hongzhi Wang, Hong Gao. by Series: Lecture notes in computer science ; 8491. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer, 2014
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
2142.
|
Pattern recognition : 6th Mexican Conference, MCPR 2014, Cancun, Mexico, June 25-28, 2014. Proceedings / José Francisco Martínez-Trinidad ... [and more] (eds.). by Series: Lecture notes in computer science ; 8495. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
2143.
|
Ad-hoc, mobile, and wireless networks : 13th International Conference, ADHOC-NOW 2014, Benidorm, Spain, June 22-27, 2014 Proceedings / Song Guo, Jaime Lloret, Pietro Manzoni, Stefan Ruehrup (eds.). by Series: Lecture notes in computer science ; 8487. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
2144.
|
|
|
|
2145.
|
|
|
|
2146.
|
User modeling, adaptation, and personalization : 22nd International Conference, UMAP 2014, Aalborg, Denmark, July 7-11, 2014. Proceedings / Vania Dimitrova ... [and more] (eds.). by Series: Lecture notes in computer science ; 8538. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
2147.
|
|
|
|
2148.
|
Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings / Gerwin Klein, Ruben Gamboa (Eds.). by Series: Lecture notes in computer science ; 8558. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
2149.
|
Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings / Armin Biere, Roderick Bloem (Eds.). by Series: Lecture notes in computer science ; 8559. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
2150.
|
|
|
|
2151.
|
|
|
|
2152.
|
Monitoring and securing virtualized networks and services : 8th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2014, Brno, Czech Republic, June 30-July 3, 2014 : proceedings / Anna Sperotto, Guillaume Doyen, Steven Latré, Marinos Charalambides, Burkhard Stiller (Eds.). by Series: Lecture notes in computer science ; 8508. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
2153.
|
|
|
|
2154.
|
|
|
|
2155.
|
|
|
|
2156.
|
Breast imaging : 12th International Workshop, IWDM 2014, Gifu City, Japan, June 29-July 2, 2014. Proceedings / Hiroshi Fujita, Takeshi Hara, Chisako Muramatsu (eds.). by Series: Lecture notes in computer science ; 8539. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
2157.
|
Towards autonomous robotic systems : 14th Annual Conference, TAROS 2013, Oxford, UK, August 28-30, 2013, Revised selected papers / Ashutosh Natraj, Stephen Cameron, Chris Melhuish, Mark Witkowski (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 8069. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer, 2014
Availability: Items available for loan: e-Library (1).
|
|
|
2158.
|
Deontic logic and normative systems : 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings / Fabrizio Cariani, Davide Grossi, Joke Meheus, Xavier Parent (Eds.). by Series: Lecture notes in computer science ; 8554. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
2159.
|
Intelligent computer mathematics : International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings / Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban (Eds.). by Series: Lecture notes in computer science ; 8543. | Lecture notes in computer science. Lecture notes in artificial intelligence. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2014]Copyright date: ©2014
Availability: Items available for loan: e-Library (1).
|
|
|
2160.
|
|