Results
|
1.
|
Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers / edited by Kazuo Iwama, Yasuhito Kawano, Mio Murao. by
- Iwama, Kazuo [editor.]
- Kawano, Yasuhito [editor.]
- Murao, Mio [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7582
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.
|
|
2.
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode. by
- Artemov, Sergei [editor.]
- Nerode, Anil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7734
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.
|
|
3.
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Martí-Oliet, Miguel Palomino. by
- Martí-Oliet, Narciso [editor.]
- Palomino, Miguel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7841
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.
|
|
4.
|
Theory and Applications of Models of Computation [electronic resource] : 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings / edited by T-H. Hubert Chan, Lap Chi Lau, Luca Trevisan. by
- Chan, T-H. Hubert [editor.]
- Lau, Lap Chi [editor.]
- Trevisan, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7876
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.
|
|
5.
|
Optical Supercomputing [electronic resource] : 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papers / edited by Shlomi Dolev, Mihai Oltean. by
- Dolev, Shlomi [editor.]
- Oltean, Mihai [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7715
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.
|
|
6.
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings / edited by Michael Fellows, Xuehou Tan, Binhai Zhu. by
- Fellows, Michael [editor.]
- Tan, Xuehou [editor.]
- Zhu, Binhai [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7924
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.
|
|
|
8.
|
Unifying Theories of Programming and Formal Engineering Methods [electronic resource] : International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu. by
- Liu, Zhiming [editor.]
- Woodcock, Jim [editor.]
- Zhu, Huibiao [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8050
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.
|
Fundamentals of Computation Theory [electronic resource] : 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings / edited by Leszek Gąsieniec, Frank Wolter. by
- Gąsieniec, Leszek [editor.]
- Wolter, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8070
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.
|
Algebra and Coalgebra in Computer Science [electronic resource] : 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings / edited by Reiko Heckel, Stefan Milius. by
- Heckel, Reiko [editor.]
- Milius, Stefan [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8089
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.
|
Combinatorics on Words [electronic resource] : 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedings / edited by Juhani Karhumäki, Arto Lepistö, Luca Zamboni. by
- Karhumäki, Juhani [editor.]
- Lepistö, Arto [editor.]
- Zamboni, Luca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8079
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.
|
Logic, Rationality, and Interaction [electronic resource] : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang. by
- Grossi, Davide [editor.]
- Roy, Olivier [editor.]
- Huang, Huaxin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8196
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.
|
|