Results
|
1.
|
|
|
2.
|
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.
|
|
3.
|
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.
|
|
4.
|
|
|
5.
|
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.
|
|
6.
|
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.
|
|
7.
|
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.
|
|
8.
|
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.
|
|
9.
|
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.
|
|
10.
|
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.
|
|
11.
|
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.
|
|
12.
|
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.
|
|
13.
|
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.
|
|
14.
|
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.
|
|
15.
|
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.
|
|
16.
|
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.
|
|
17.
|
Natural Language Processing and Information Systems [electronic resource] : 18th International Conference on Applications of Natural Language to Information Systems, NLDB 2013, Salford, UK, June 19-21, 2013. Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera. by
- Métais, Elisabeth [editor.]
- Meziane, Farid [editor.]
- Saraee, Mohamad [editor.]
- Sugumaran, Vijayan [editor.]
- Vadera, Sunil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7934
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.
|
|
18.
|
Advances in Nonlinear Speech Processing [electronic resource] : 6th International Conference, NOLISP 2013, Mons, Belgium, June 19-21, 2013. Proceedings / edited by Thomas Drugman, Thierry Dutoit. by
- Drugman, Thomas [editor.]
- Dutoit, Thierry [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7911
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.
|
|
19.
|
Cross-Cultural Design. Cultural Differences in Everyday Life [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part II / edited by P. L. Patrick Rau. by
- Rau, P. L. Patrick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8024
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.
|
|
20.
|
Cross-Cultural Design. Methods, Practice, and Case Studies [electronic resource] : 5th International Conference, CCD 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by P. L. Patrick Rau. by
- Rau, P. L. Patrick [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8023
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.
|