Results
|
|
441.
|
Interactive Theorem Proving [electronic resource] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings / edited by Sandrine Blazy, Christine Paulin-Mohring, David Pichardie. by
- Blazy, Sandrine [editor.]
- Paulin-Mohring, Christine [editor.]
- Pichardie, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7998
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.
|
|
|
442.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part I / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7971
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.
|
|
|
443.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi. by
- Murgante, Beniamino [editor.]
- Misra, Sanjay [editor.]
- Carlini, Maurizio [editor.]
- Torre, Carmelo M [editor.]
- Nguyen, Hong-Quang [editor.]
- Taniar, David [editor.]
- Apduhan, Bernady O [editor.]
- Gervasi, Osvaldo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7973
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.
|
|
|
444.
|
|
|
|
445.
|
Theoretical Aspects of Computing – ICTAC 2013 [electronic resource] : 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8049
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.
|
|
|
446.
|
Hybrid Learning and Continuing Education [electronic resource] : 6th International Conference, ICHL 2013, Toronto, ON, Canada, August 12-14, 2013. Proceedings / edited by Simon K. S. Cheung, Joseph Fong, Wilfred Fong, Fu Lee Wang, Lam For Kwok. by
- Cheung, Simon K. S [editor.]
- Fong, Joseph [editor.]
- Fong, Wilfred [editor.]
- Wang, Fu Lee [editor.]
- Kwok, Lam For [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8038
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.
|
|
|
447.
|
Reasoning Web. Semantic Technologies for Intelligent Data Access [electronic resource] : 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings / edited by Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen. by
- Rudolph, Sebastian [editor.]
- Gottlob, Georg [editor.]
- Horrocks, Ian [editor.]
- Harmelen, Frank van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8067
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.
|
|
|
448.
|
Wireless Access Flexibility [electronic resource] : First International Workshop, WiFlex 2013, Kaliningrad, Russia, September 4-6, 2013. Proceedings / edited by Giuseppe Bianchi, Andrey Lyakhov, Evgeny Khorov. by
- Bianchi, Giuseppe [editor.]
- Lyakhov, Andrey [editor.]
- Khorov, Evgeny [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8072
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.
|
|
|
449.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers / edited by Yoichi Motomura, Alastair Butler, Daisuke Bekki. by
- Motomura, Yoichi [editor.]
- Butler, Alastair [editor.]
- Bekki, Daisuke [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7856
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.
|
|
|
450.
|
|
|
|
451.
|
The Personal Web [electronic resource] : A Research Agenda / edited by Mark Chignell, James R. Cordy, Ryan Kealey, Joanna Ng, Yelena Yesha. by
- Chignell, Mark [editor.]
- Cordy, James R [editor.]
- Kealey, Ryan [editor.]
- Ng, Joanna [editor.]
- Yesha, Yelena [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7855
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.
|
|
|
452.
|
Euro-Par 2013 Parallel Processing [electronic resource] : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings / edited by Felix Wolf, Bernd Mohr, Dieter an Mey. by
- Wolf, Felix [editor.]
- Mohr, Bernd [editor.]
- Mey, Dieter an [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8097
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.
|
|
|
453.
|
Data Management in Cloud, Grid and P2P Systems [electronic resource] : 6th International Conference, Globe 2013, Prague, Czech Republic, August 28-29, 2013. Proceedings / edited by Abdelkader Hameurlain, Wenny Rahayu, David Taniar. by
- Hameurlain, Abdelkader [editor.]
- Rahayu, Wenny [editor.]
- Taniar, David [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8059
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.
|
|
|
454.
|
Industrial Applications of Holonic and Multi-Agent Systems [electronic resource] : 6th International Conference, HoloMAS 2013, Prague, Czech Republic, August 26-28, 2013. Proceedings / edited by Vladimír Mařík, Jose L. Martinez Lastra, Petr Skobelev. by
- Mařík, Vladimír [editor.]
- Lastra, Jose L. Martinez [editor.]
- Skobelev, Petr [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8062
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.
|
|
|
455.
|
Fundamentals of Software Engineering [electronic resource] : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / edited by Farhad Arbab, Marjan Sirjani. by
- Arbab, Farhad [editor.]
- Sirjani, Marjan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8161
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.
|
|
|
456.
|
Computer Analysis of Images and Patterns [electronic resource] : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II / edited by Richard Wilson, Edwin Hancock, Adrian Bors, William Smith. by
- Wilson, Richard [editor.]
- Hancock, Edwin [editor.]
- Bors, Adrian [editor.]
- Smith, William [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8048
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.
|
|
|
457.
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro López-Ortiz, Venkatesh Raman, Alfredo Viola. by
- Brodnik, Andrej [editor.]
- López-Ortiz, Alejandro [editor.]
- Raman, Venkatesh [editor.]
- Viola, Alfredo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8066
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.
|
|
|
458.
|
Mobile Web Information Systems [electronic resource] : 10th International Conference, MobiWIS 2013, Paphos, Cyprus, August 26-29, 2013. Proceedings / edited by Florian Daniel, George A. Papadopoulos, Philippe Thiran. by
- Daniel, Florian [editor.]
- Papadopoulos, George A [editor.]
- Thiran, Philippe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8093
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.
|
|
|
459.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings / edited by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, José D. P. Rolim. by
- Raghavendra, Prasad [editor.]
- Raskhodnikova, Sofya [editor.]
- Jansen, Klaus [editor.]
- Rolim, José D. P [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8096
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.
|
|
|
460.
|
|
