Results
|
|
101.
|
Languages and Compilers for Parallel Computing [electronic resource] : 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers / edited by Hironori Kasahara, Keiji Kimura. by
- Kasahara, Hironori [editor.]
- Kimura, Keiji [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7760
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.
|
|
|
102.
|
|
|
|
103.
|
Service-Oriented Computing - ICSOC 2012 Workshops [electronic resource] : ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers / edited by Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quang Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang. by
- Ghose, Aditya [editor.]
- Zhu, Huibiao [editor.]
- Yu, Qi [editor.]
- Delis, Alex [editor.]
- Sheng, Quang Z [editor.]
- Perrin, Olivier [editor.]
- Wang, Jianmin [editor.]
- Wang, Yan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7759
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.
|
|
|
104.
|
|
|
|
105.
|
Declarative Agent Languages and Technologies X [electronic resource] : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers / edited by Matteo Baldoni, Louise Dennis, Viviana Mascardi, Wamberto Vasconcelos. by
- Baldoni, Matteo [editor.]
- Dennis, Louise [editor.]
- Mascardi, Viviana [editor.]
- Vasconcelos, Wamberto [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7784
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.
|
|
|
106.
|
Mobile Networks and Management [electronic resource] : 4th International Conference, MONAMI 2012, Hamburg, Germany, September 24-26, 2012, Revised Selected Papers / edited by Andreas Timm-Giel, John Strassner, Ramón Agüero, Susana Sargento, Kostas Pentikousis. by
- Timm-Giel, Andreas [editor.]
- Strassner, John [editor.]
- Agüero, Ramón [editor.]
- Sargento, Susana [editor.]
- Pentikousis, Kostas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 58
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.
|
|
|
107.
|
|
|
|
108.
|
Arts and Technology [electronic resource] : Third International Conference, ArtsIT 2013, Milan, Italy, March 21-23, 2013, Revised Selected Papers / edited by Giorgio De Michelis, Francesco Tisato, Andrea Bene, Diego Bernini. by
- Michelis, Giorgio De [editor.]
- Tisato, Francesco [editor.]
- Bene, Andrea [editor.]
- Bernini, Diego [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 116
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.
|
|
|
109.
|
NASA Formal Methods [electronic resource] : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings / edited by Guillaume Brat, Neha Rungta, Arnaud Venet. by
- Brat, Guillaume [editor.]
- Rungta, Neha [editor.]
- Venet, Arnaud [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7871
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.
|
|
|
110.
|
Transactions on Petri Nets and Other Models of Concurrency VII [electronic resource] / edited by Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf. by
- Jensen, Kurt [editor.]
- Aalst, Wil M. P. van der [editor.]
- Balbo, Gianfranco [editor.]
- Koutny, Maciej [editor.]
- Wolf, Karsten [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7480
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.
|
|
|
111.
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden. by
- Coecke, Bob [editor.]
- Ong, Luke [editor.]
- Panangaden, Prakash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7860
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.
|
|
|
112.
|
|
|
|
113.
|
|
|
|
114.
|
Wireless Multimedia Sensor Networks on Reconfigurable Hardware [electronic resource] : Information Reduction Techniques / by Li-minn Ang, Kah Phooi Seng, Li Wern Chew, Lee Seng Yeong, Wai Chong Chia. by
- Ang, Li-minn [author.]
- Seng, Kah Phooi [author.]
- Chew, Li Wern [author.]
- Yeong, Lee Seng [author.]
- Chia, Wai Chong [author.]
- SpringerLink (Online service)
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.
|
|
|
115.
|
Model-Based Methodologies for Pervasive and Embedded Software [electronic resource] : 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers / edited by Ricardo J. Machado, Rita Suzana P. Maciel, Julia Rubin, Goetz Botterweck. by
- Machado, Ricardo J [editor.]
- Maciel, Rita Suzana P [editor.]
- Rubin, Julia [editor.]
- Botterweck, Goetz [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7706
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.
|
|
|
116.
|
|
|
|
117.
|
Web Services and Formal Methods [electronic resource] : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers / edited by Maurice H. ter Beek, Niels Lohmann. by
- Beek, Maurice H. ter [editor.]
- Lohmann, Niels [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7843
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.
|
|
|
118.
|
|
|
|
119.
|
Biomedical Engineering Systems and Technologies [electronic resource] : 5th International Joint Conference, BIOSTEC 2012, Vilamoura, Portugal, February 1-4, 2012, Revised Selected Papers / edited by Joaquim Gabriel, Jan Schier, Sabine Van Huffel, Emmanuel Conchon, Carlos Correia, Ana Fred, Hugo Gamboa. by
- Gabriel, Joaquim [editor.]
- Schier, Jan [editor.]
- Huffel, Sabine Van [editor.]
- Conchon, Emmanuel [editor.]
- Correia, Carlos [editor.]
- Fred, Ana [editor.]
- Gamboa, Hugo [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 357
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.
|
|
|
120.
|
Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León. by
- Fernández-Izquierdo, María Ángeles [editor.]
- Muñoz-Torres, María Jesús [editor.]
- León, Raúl [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Business Information Processing ; 145
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.
|
