Results
|
|
501.
|
|
|
|
502.
|
Testing Software and Systems [electronic resource] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich. by
- Yenigün, Hüsnü [editor.]
- Yilmaz, Cemal [editor.]
- Ulrich, Andreas [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8254
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.
|
|
|
503.
|
|
|
|
504.
|
|
|
|
505.
|
|
|
|
506.
|
Geometric Methods in Physics [electronic resource] : XXXI Workshop, Białowieża, Poland, June 24–30, 2012 / edited by Piotr Kielanowski, S. Twareque Ali, Alexander Odesskii, Anatol Odzijewicz, Martin Schlichenmaier, Theodore Voronov. by
- Kielanowski, Piotr [editor.]
- Ali, S. Twareque [editor.]
- Odesskii, Alexander [editor.]
- Odzijewicz, Anatol [editor.]
- Schlichenmaier, Martin [editor.]
- Voronov, Theodore [editor.]
- SpringerLink (Online service)
Series: Trends in Mathematics
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Basel : Springer Basel : Imprint: Birkhäuser, 2013
Availability: No items available.
|
|
|
507.
|
|
|
|
508.
|
|
|
|
509.
|
|
|
|
510.
|
Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by
- Bartocci, Ezio [editor.]
- Ramakrishnan, C. R [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7976
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.
|
|
|
511.
|
Trends in Functional Programming [electronic resource] : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers / edited by Hans-Wolfgang Loidl, Ricardo Peña. by
- Loidl, Hans-Wolfgang [editor.]
- Peña, Ricardo [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7829
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.
|
|
|
512.
|
Network and Parallel Computing [electronic resource] : 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings / edited by Ching-Hsien Hsu, Xiaoming Li, Xuanhua Shi, Ran Zheng. by
- Hsu, Ching-Hsien [editor.]
- Li, Xiaoming [editor.]
- Shi, Xuanhua [editor.]
- Zheng, Ran [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8147
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.
|
|
|
513.
|
Computer Aided Verification [electronic resource] : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings / edited by Natasha Sharygina, Helmut Veith. by
- Sharygina, Natasha [editor.]
- Veith, Helmut [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8044
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.
|
|
|
514.
|
Research and Advanced Technology for Digital Libraries [electronic resource] : International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings / edited by Trond Aalberg, Christos Papatheodorou, Milena Dobreva, Giannis Tsakonas, Charles J. Farrugia. by
- Aalberg, Trond [editor.]
- Papatheodorou, Christos [editor.]
- Dobreva, Milena [editor.]
- Tsakonas, Giannis [editor.]
- Farrugia, Charles J [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8092
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.
|
|
|
515.
|
|
|
|
516.
|
Programming Languages [electronic resource] : 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings / edited by André Rauber Du Bois, Phil Trinder. by
- Bois, André Rauber Du [editor.]
- Trinder, Phil [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8129
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.
|
|
|
517.
|
Mobile Payment [electronic resource] / by Thomas Lerner. by
- Lerner, Thomas [author.]
- SpringerLink (Online service)
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2013
Availability: No items available.
|
|
|
518.
|
|
|
|
519.
|
|
|
|
520.
|
|