Results
|
141.
|
|
|
142.
|
Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings / edited by Georges Gonthier, Michael Norrish. by
- Gonthier, Georges [editor.]
- Norrish, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8307
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.
|
|
143.
|
Graph Drawing [electronic resource] : 21st International Symposium, GD 2013, Bordeaux, France, September 23-25, 2013, Revised Selected Papers / edited by Stephen Wismath, Alexander Wolff. by
- Wismath, Stephen [editor.]
- Wolff, Alexander [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8242
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.
|
|
144.
|
|
|
145.
|
Current Trends in Web Engineering [electronic resource] : ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers / edited by Quan Z. Sheng, Jesper Kjeldskov. by
- Sheng, Quan Z [editor.]
- Kjeldskov, Jesper [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8295
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.
|
|
146.
|
|
|
147.
|
|
|
148.
|
|
|
149.
|
|
|
150.
|
Integer Programming and Combinatorial Optimization [electronic resource] : 16th International Conference, IPCO 2013, Valparaíso, Chile, March 18-20, 2013. Proceedings / edited by Michel Goemans, José Correa. by
- Goemans, Michel [editor.]
- Correa, José [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7801
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.
|
|
151.
|
Advances in Artificial Intelligence [electronic resource] : 11th Mexican International Conference on Artificial Intelligence, MICAI 2012, San Luis Potosí, Mexico, October 27 – November 4, 2012. Revised Selected Papers, Part I / edited by Ildar Batyrshin, Miguel González Mendoza. by
- Batyrshin, Ildar [editor.]
- González Mendoza, Miguel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7629
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.
|
|
152.
|
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.
|
|
153.
|
Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel. by
- Berbineau, Marion [editor.]
- Jonsson, Magnus [editor.]
- Bonnin, Jean-Marie [editor.]
- Cherkaoui, Soumaya [editor.]
- Aguado, Marina [editor.]
- Rico-Garcia, Cristina [editor.]
- Ghannoum, Hassan [editor.]
- Mehmood, Rashid [editor.]
- Vinel, Alexey [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7865
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.
|
|
154.
|
Security and Trust Management [electronic resource] : 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers / edited by Audun Jøsang, Pierangela Samarati, Marinella Petrocchi. by
- Jøsang, Audun [editor.]
- Samarati, Pierangela [editor.]
- Petrocchi, Marinella [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7783
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.
|
|
155.
|
Augmented Environments for Computer-Assisted Interventions [electronic resource] : 7th International Workshop, AE-CAI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2013, Revised Selected Papers / edited by Cristian A. Linte, Elvis C. S. Chen, Marie-Odile Berger, John T. Moore, David R. Holmes. by
- Linte, Cristian A [editor.]
- Chen, Elvis C. S [editor.]
- Berger, Marie-Odile [editor.]
- Moore, John T [editor.]
- Holmes, David R [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7815
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.
|
|
156.
|
The Semantic Web: Semantics and Big Data [electronic resource] : 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings / edited by Philipp Cimiano, Oscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph. by
- Cimiano, Philipp [editor.]
- Corcho, Oscar [editor.]
- Presutti, Valentina [editor.]
- Hollink, Laura [editor.]
- Rudolph, Sebastian [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7882
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.
|
|
157.
|
Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems [electronic resource] : 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings / edited by Lorenzo Cavallaro, Dieter Gollmann. by
- Cavallaro, Lorenzo [editor.]
- Gollmann, Dieter [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7886
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.
|
|
158.
|
Recent Trends in Applied Artificial Intelligence [electronic resource] : 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2013, Amsterdam, The Netherlands, June 17-21, 2013. Proceedings / edited by Moonis Ali, Tibor Bosse, Koen V. Hindriks, Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur. by
- Ali, Moonis [editor.]
- Bosse, Tibor [editor.]
- Hindriks, Koen V [editor.]
- Hoogendoorn, Mark [editor.]
- Jonker, Catholijn M [editor.]
- Treur, Jan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7906
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.
|
|
159.
|
Dependable Computing [electronic resource] : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings / edited by Marco Vieira, João Carlos Cunha. by
- Vieira, Marco [editor.]
- Cunha, João Carlos [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7869
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.
|
|
160.
|
Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný. by
- Riguzzi, Fabrizio [editor.]
- Železný, Filip [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7842
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.
|