Results
|
|
161.
|
|
|
|
162.
|
|
|
|
163.
|
|
|
|
164.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by
- Piterman, Nir [editor.]
- Smolka, Scott A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7795
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.
|
|
|
165.
|
Adaptive and Natural Computing Algorithms [electronic resource] : 11th International Conference, ICANNGA 2013, Lausanne, Switzerland, April 4-6, 2013. Proceedings / edited by Marco Tomassini, Alberto Antonioni, Fabio Daolio, Pierre Buesser. by
- Tomassini, Marco [editor.]
- Antonioni, Alberto [editor.]
- Daolio, Fabio [editor.]
- Buesser, Pierre [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7824
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.
|
|
|
166.
|
Pairing-Based Cryptography – Pairing 2012 [electronic resource] : 5th International Conference, Cologne, Germany, May 16-18, 2012, Revised Selected Papers / edited by Michel Abdalla, Tanja Lange. by
- Abdalla, Michel [editor.]
- Lange, Tanja [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7708
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.
|
|
|
167.
|
Quality, Reliability, Security and Robustness in Heterogeneous Networks [electronic resource] : 9th International Conference, QShine 2013, Greader Noida, India, January 11-12, 2013, Revised Selected Papers / edited by Karan Singh, Amit K. Awasthi. by
- Singh, Karan [editor.]
- Awasthi, Amit K [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 115
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.
|
|
|
168.
|
Ad Hoc Networks [electronic resource] : 4th International ICST Conference, ADHOCNETS 2012, Paris, France, October 16-17, 2012, Revised Selected Papers / edited by Jun Zheng, Nathalie Mitton, Jun Li, Pascal Lorenz. by
- Zheng, Jun [editor.]
- Mitton, Nathalie [editor.]
- Li, Jun [editor.]
- Lorenz, Pascal [editor.]
- SpringerLink (Online service)
Series: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 111
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.
|
|
|
169.
|
Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton. by
- Béal, Marie-Pierre [editor.]
- Carton, Olivier [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7907
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.
|
|
|
170.
|
|
|
|
171.
|
|
|
|
172.
|
String Processing and Information Retrieval [electronic resource] : 20th International Symposium, SPIRE 2013, Jerusalem, Israel, October 7-9, 2013, Proceedings / edited by Oren Kurland, Moshe Lewenstein, Ely Porat. by
- Kurland, Oren [editor.]
- Lewenstein, Moshe [editor.]
- Porat, Ely [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8214
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.
|
|
|
173.
|
Big Data Analytics [electronic resource] : Second International Conference, BDA 2013, Mysore, India, December 16-18, 2013, Proceedings / edited by Vasudha Bhatnagar, Srinath Srinivasa. by
- Bhatnagar, Vasudha [editor.]
- Srinivasa, Srinath [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8302
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.
|
|
|
174.
|
Structural Information and Communication Complexity [electronic resource] : 20th International Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3, 2013, Revised Selected Papers / edited by Thomas Moscibroda, Adele A. Rescigno. by
- Moscibroda, Thomas [editor.]
- Rescigno, Adele A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8179
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.
|
|
|
175.
|
|
|
|
176.
|
Reversible Computation [electronic resource] : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings / edited by Gerhard W. Dueck, D. Michael Miller. by
- Dueck, Gerhard W [editor.]
- Miller, D. Michael [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7948
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.
|
|
|
177.
|
|
|
|
178.
|
Reversible Computation [electronic resource] : 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers / edited by Robert Glück, Tetsuo Yokoyama. by
- Glück, Robert [editor.]
- Yokoyama, Tetsuo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7581
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.
|
|
|
179.
|
Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 7th International Workshop, MIWAI 2013, Krabi, Thailand, December 9-11, 2013. Proceedings / edited by Sheela Ramanna, Pawan Lingras, Chattrakul Sombattheera, Aneesh Krishna. by
- Ramanna, Sheela [editor.]
- Lingras, Pawan [editor.]
- Sombattheera, Chattrakul [editor.]
- Krishna, Aneesh [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8271
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.
|
|
|
180.
|
WALCOM: Algorithms and Computation [electronic resource] : 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings / edited by Subir Kumar Ghosh, Takeshi Tokuyama. by
- Ghosh, Subir Kumar [editor.]
- Tokuyama, Takeshi [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7748
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.
|