Results
|
|
361.
|
|
|
|
362.
|
|
|
|
363.
|
|
|
|
364.
|
Architecture of Computing Systems – ARCS 2013 [electronic resource] : 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings / edited by Hana Kubátová, Christian Hochberger, Martin Daněk, Bernhard Sick. by
- Kubátová, Hana [editor.]
- Hochberger, Christian [editor.]
- Daněk, Martin [editor.]
- Sick, Bernhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7767
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.
|
|
|
365.
|
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.
|
|
|
366.
|
|
|
|
367.
|
Information Computing and Applications [electronic resource] : 4th International Conference, ICICA 2013, Singapore, August 16-18, 2013 Revised Selected Papers, Part II / edited by Yuhang Yang, Maode Ma, Baoxiang Liu. by
- Yang, Yuhang [editor.]
- Ma, Maode [editor.]
- Liu, Baoxiang [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 392
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.
|
|
|
368.
|
Formal Methods and Software Engineering [electronic resource] : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings / edited by Lindsay Groves, Jing Sun. by
- Groves, Lindsay [editor.]
- Sun, Jing [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8144
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.
|
|
|
369.
|
|
|
|
370.
|
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.
|
|
|
371.
|
Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II / 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 ; 7972
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.
|
|
|
372.
|
Intelligence and Security Informatics [electronic resource] : Pacific Asia Workshop, PAISI 2013, Beijing, China, August 3, 2013. Proceedings / edited by G. Alan Wang, Xiaolong Zheng, Michael Chau, Hsinchun Chen. by
- Wang, G. Alan [editor.]
- Zheng, Xiaolong [editor.]
- Chau, Michael [editor.]
- Chen, Hsinchun [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8039
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.
|
|
|
373.
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs. by
- Perny, Patrice [editor.]
- Pirlot, Marc [editor.]
- Tsoukiàs, Alexis [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8176
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.
|
|
|
374.
|
|
|
|
375.
|
|
|
|
376.
|
Software Engineering and Formal Methods [electronic resource] : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings / edited by Robert M. Hierons, Mercedes G. Merayo, Mario Bravetti. by
- Hierons, Robert M [editor.]
- Merayo, Mercedes G [editor.]
- Bravetti, Mario [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8137
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.
|
|
|
377.
|
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Matthias Klusch, Matthias Thimm, Marcin Paprzycki. by
- Klusch, Matthias [editor.]
- Thimm, Matthias [editor.]
- Paprzycki, Marcin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8076
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.
|
|
|
378.
|
Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna. by
- Spirakis, Paul G [editor.]
- Serna, Maria [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7878
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.
|
|
|
379.
|
Mobile Communication and Power Engineering [electronic resource] : Second International Joint Conference, AIM/CCPE 2012, Bangalore, India, April 27-28, 2012, Revised Selected Papers / edited by Vinu V Das, Yogesh Chaba. by
- Das, Vinu V [editor.]
- Chaba, Yogesh [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 296
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.
|
|
|
380.
|
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.
|