Results
|
|
1201.
|
|
|
|
1202.
|
|
|
|
1203.
|
|
|
|
1204.
|
|
|
|
1205.
|
|
|
|
1206.
|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
- Ida, Tetsuo [editor.]
- Fleuriot, Jacques [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
Source: Springer eBooks
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1207.
|
Trust Management VII [electronic resource] : 7th IFIP WG 11.11 International Conference, IFIPTM 2013, Malaga, Spain, June 3-7, 2013. Proceedings / edited by Carmen Fernández-Gago, Fabio Martinelli, Siani Pearson, Isaac Agudo. by
- Fernández-Gago, Carmen [editor.]
- Martinelli, Fabio [editor.]
- Pearson, Siani [editor.]
- Agudo, Isaac [editor.]
- SpringerLink (Online service)
Series: IFIP Advances in Information and Communication Technology ; 401
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1208.
|
Network-based parallel computing : communication, architecture, and applications : Third International Workshop, CANPC'99, Orlando, Florida, USA, January 9th, 1999 : proceedings / Anand Sivasubramaniam, Mario Lauria (eds.). by
- Sivasubramaniam, Anand, 1967-
- Lauria, Mario, 1964-
Series: Lecture notes in computer science ; 1602
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, c1999
Availability: Items available for loan: Central Library, SUST (1)Call number: 006.32 NET.
|
|
|
1209.
|
Speech and Computer [electronic resource] : 15th International Conference, SPECOM 2013, Pilsen, Czech Republic, September 1-5, 2013. Proceedings / edited by Miloš Železný, Ivan Habernal, Andrey Ronzhin. by
- Železný, Miloš [editor.]
- Habernal, Ivan [editor.]
- Ronzhin, Andrey [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8113
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1210.
|
Machine Learning in Medical Imaging [electronic resource] : 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings / edited by Guorong Wu, Daoqiang Zhang, Dinggang Shen, Pingkun Yan, Kenji Suzuki, Fei Wang. by
- Wu, Guorong [editor.]
- Zhang, Daoqiang [editor.]
- Shen, Dinggang [editor.]
- Yan, Pingkun [editor.]
- Suzuki, Kenji [editor.]
- Wang, Fei [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8184
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1211.
|
Human Behavior Understanding [electronic resource] : 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings / edited by Albert Ali Salah, Hayley Hung, Oya Aran, Hatice Gunes. by
- Salah, Albert Ali [editor.]
- Hung, Hayley [editor.]
- Aran, Oya [editor.]
- Gunes, Hatice [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8212
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1212.
|
Advances in Visual Informatics [electronic resource] : Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings / edited by Halimah Badioze Zaman, Peter Robinson, Patrick Olivier, Timothy K. Shih, Sergio Velastin. by
- Zaman, Halimah Badioze [editor.]
- Robinson, Peter [editor.]
- Olivier, Patrick [editor.]
- Shih, Timothy K [editor.]
- Velastin, Sergio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8237
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1213.
|
Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by
- Bertacco, Valeria [editor.]
- Legay, Axel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8244
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1214.
|
Advances in Computer Entertainment [electronic resource] : 10th International Conference, ACE 2013, Boekelo, The Netherlands, November 12-15, 2013. Proceedings / edited by Dennis Reidsma, Haruhiro Katayose, Anton Nijholt. by
- Reidsma, Dennis [editor.]
- Katayose, Haruhiro [editor.]
- Nijholt, Anton [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8253
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1215.
|
Fuzzy Logic and Applications [electronic resource] : 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings / edited by Francesco Masulli, Gabriella Pasi, Ronald Yager. by
- Masulli, Francesco [editor.]
- Pasi, Gabriella [editor.]
- Yager, Ronald [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8256
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1216.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8297
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1217.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by
- Giacobazzi, Roberto [editor.]
- Berdine, Josh [editor.]
- Mastroeni, Isabella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7737
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1218.
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf Lämmel, João Saraiva, Joost Visser. by
- Lämmel, Ralf [editor.]
- Saraiva, João [editor.]
- Visser, Joost [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7680
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1219.
|
Citizen in Sensor Networks [electronic resource] : First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers / edited by Jordi Nin, Daniel Villatoro. by
- Nin, Jordi [editor.]
- Villatoro, Daniel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7685
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
|
1220.
|
Agents and Data Mining Interaction [electronic resource] : 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers / edited by Longbing Cao, Yifeng Zeng, Andreas L. Symeonidis, Vladimir I. Gorodetsky, Philip S. Yu, Munindar P Singh. by
- Cao, Longbing [editor.]
- Zeng, Yifeng [editor.]
- Symeonidis, Andreas L [editor.]
- Gorodetsky, Vladimir I [editor.]
- Yu, Philip S [editor.]
- Singh, Munindar P [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7607
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
