Results
|
|
21.
|
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.
|
|
|
22.
|
Ambient Intelligence [electronic resource] : 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings / edited by Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan. by
- Augusto, Juan Carlos [editor.]
- Wichert, Reiner [editor.]
- Collier, Rem [editor.]
- Keyson, David [editor.]
- Salah, Albert Ali [editor.]
- Tan, Ah-Hwee [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8309
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.
|
|
|
23.
|
|
|
|
24.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8297
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.
|
|
|
25.
|
Swarm, Evolutionary, and Memetic Computing [electronic resource] : 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part II / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Shubhransu Sekhar Dash. by
- Panigrahi, Bijaya Ketan [editor.]
- Suganthan, Ponnuthurai Nagaratnam [editor.]
- Das, Swagatam [editor.]
- Dash, Shubhransu Sekhar [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8298
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.
|
|
|
26.
|
|
|
|
27.
|
Principles of Distributed Systems [electronic resource] : 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings / edited by Roberto Baldoni, Nicolas Nisse, Maarten van Steen. by
- Baldoni, Roberto [editor.]
- Nisse, Nicolas [editor.]
- Steen, Maarten van [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8304
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.
|
|
|
28.
|
Process Support and Knowledge Representation in Health Care [electronic resource] : AIME 2013 Joint Workshop, KR4HC 2013/ProHealth 2013, Murcia, Spain, June 1, 2013, Revised Selected Papers / edited by David Riaño, Richard Lenz, Silvia Miksch, Mor Peleg, Manfred Reichert, Annette ten Teije. by
- Riaño, David [editor.]
- Lenz, Richard [editor.]
- Miksch, Silvia [editor.]
- Peleg, Mor [editor.]
- Reichert, Manfred [editor.]
- Teije, Annette ten [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8268
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.
|
|
|
29.
|
Behavior and Social Computing [electronic resource] : International Workshop on Behavior and Social Informatics, BSI 2013, Gold Coast, QLD, Australia, April 14-17, 2013 and International Workshop on Behavior and Social Informatics and Computing, BSIC 2013, Beijing, China, August 3-9, 2013, Revised Selected Papers / edited by Longbing Cao, Hiroshi Motoda, Jaideep Srivastava, Ee-Peng Lim, Irwin King, Philip S. Yu, Wolfgang Nejdl, Guandong Xu, Gang Li, Ya Zhang. by
- Cao, Longbing [editor.]
- Motoda, Hiroshi [editor.]
- Srivastava, Jaideep [editor.]
- Lim, Ee-Peng [editor.]
- King, Irwin [editor.]
- Yu, Philip S [editor.]
- Nejdl, Wolfgang [editor.]
- Xu, Guandong [editor.]
- Li, Gang [editor.]
- Zhang, Ya [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8178
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.
|
|
|
30.
|
Conceptual Structures for STEM Research and Education [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbai, India, January 10-12, 2013. Proceedings / edited by Heather D. Pfeiffer, Dmitry I. Ignatov, Jonas Poelmans, Nagarjuna Gadiraju. by
- Pfeiffer, Heather D [editor.]
- Ignatov, Dmitry I [editor.]
- Poelmans, Jonas [editor.]
- Gadiraju, Nagarjuna [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7735
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.
|
|
|
31.
|
Software Engineering for Self-Adaptive Systems II [electronic resource] : International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers / edited by Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw. by
- Lemos, Rogério de [editor.]
- Giese, Holger [editor.]
- Müller, Hausi A [editor.]
- Shaw, Mary [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7475
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.
|
|
|
32.
|
Evaluation of Natural Language and Speech Tools for Italian [electronic resource] : International Workshop, EVALITA 2011, Rome, January 24-25, 2012, Revised Selected Papers / edited by Bernardo Magnini, Francesco Cutugno, Mauro Falcone, Emanuele Pianta. by
- Magnini, Bernardo [editor.]
- Cutugno, Francesco [editor.]
- Falcone, Mauro [editor.]
- Pianta, Emanuele [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7689
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.
|
|
|
33.
|
|
|
|
34.
|
SOFSEM 2013: Theory and Practice of Computer Science [electronic resource] : 39th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26-31, 2013. Proceedings / edited by Peter van Emde Boas, Frans C. A. Groen, Giuseppe F. Italiano, Jerzy Nawrocki, Harald Sack. by
- Emde Boas, Peter van [editor.]
- Groen, Frans C. A [editor.]
- Italiano, Giuseppe F [editor.]
- Nawrocki, Jerzy [editor.]
- Sack, Harald [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7741
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.
|
|
|
35.
|
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.
|
|
|
36.
|
Uncertainty Reasoning for the Semantic Web II [electronic resource] : International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers / edited by Fernando Bobillo, Paulo C. G. Costa, Claudia d’Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Michael Pool. by
- Bobillo, Fernando [editor.]
- Costa, Paulo C. G [editor.]
- d’Amato, Claudia [editor.]
- Fanizzi, Nicola [editor.]
- Laskey, Kathryn B [editor.]
- Laskey, Kenneth J [editor.]
- Lukasiewicz, Thomas [editor.]
- Nickles, Matthias [editor.]
- Pool, Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7123
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.
|
|
|
37.
|
Semantics in Data and Knowledge Bases [electronic resource] : 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers / edited by Klaus-Dieter Schewe, Bernhard Thalheim. by
- Schewe, Klaus-Dieter [editor.]
- Thalheim, Bernhard [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7693
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.
|
|
|
38.
|
|
|
|
39.
|
Citizen in Sensor Networks [electronic resource] : First International Workshop, CitiSens 2012, Montpellier, France, August 27, 2012, Revised Selected Papers / edited by Jordi Nin, Daniel Villatoro. by
- Nin, Jordi [editor.]
- Villatoro, Daniel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7685
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.
|
|
|
40.
|
Software Language Engineering [electronic resource] : 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers / edited by Krzysztof Czarnecki, Görel Hedin. by
- Czarnecki, Krzysztof [editor.]
- Hedin, Görel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7745
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.
|
