Results
|
|
701.
|
Programming Languages and Systems [electronic resource] : 22nd European Symposium on Programming, ESOP 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 Matthias Felleisen, Philippa Gardner. by
- Felleisen, Matthias [editor.]
- Gardner, Philippa [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7792
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.
|
|
|
702.
|
|
|
|
703.
|
Compiler Construction [electronic resource] : 22nd International Conference, CC 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 Ranjit Jhala, Koen De Bosschere. by
- Jhala, Ranjit [editor.]
- Bosschere, Koen De [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7791
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.
|
|
|
704.
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 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 Vittorio Cortellessa, Dániel Varró. by
- Cortellessa, Vittorio [editor.]
- Varró, Dániel [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7793
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.
|
|
|
705.
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe. by
- Dediu, Adrian-Horia [editor.]
- Martín-Vide, Carlos [editor.]
- Truthe, Bianca [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7810
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.
|
|
|
706.
|
Discrete Geometry for Computer Imagery [electronic resource] : 17th IAPR International Conference, DGCI 2013, Seville, Spain, March 20-22, 2013. Proceedings / edited by Rocio Gonzalez-Diaz, Maria-Jose Jimenez, Belen Medrano. by
- Gonzalez-Diaz, Rocio [editor.]
- Jimenez, Maria-Jose [editor.]
- Medrano, Belen [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7749
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.
|
|
|
707.
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 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 Frank Pfenning. by
- Pfenning, Frank [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7794
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.
|
|
|
708.
|
Multimodal Pattern Recognition of Social Signals in Human-Computer-Interaction [electronic resource] : First IAPR TC3 Workshop, MPRSS 2012, Tsukuba, Japan, November 11, 2012, Revised Selected Papers / edited by Friedhelm Schwenker, Stefan Scherer, Louis-Philippe Morency. by
- Schwenker, Friedhelm [editor.]
- Scherer, Stefan [editor.]
- Morency, Louis-Philippe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7742
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.
|
|
|
709.
|
Web and Wireless Geographical Information Systems [electronic resource] : 12th International Symposium, W2GIS 2013, Banff, AB, Canada, April 4-5, 2013. Proceedings / edited by Steve H. L. Liang, Xin Wang, Christophe Claramunt. by
- Liang, Steve H. L [editor.]
- Wang, Xin [editor.]
- Claramunt, Christophe [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7820
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.
|
|
|
710.
|
Intelligent Computing for Sustainable Energy and Environment [electronic resource] : Second International Conference, ICSEE 2012, Shanghai, China, September 12-13, 2012. Revised Selected Papers / edited by Kang Li, Shaoyuan Li, Dewei Li, Qun Niu. by
- Li, Kang [editor.]
- Li, Shaoyuan [editor.]
- Li, Dewei [editor.]
- Niu, Qun [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 355
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.
|
|
|
711.
|
Foundations and Practice of Security [electronic resource] : 5th International Symposium, FPS 2012, Montreal, QC, Canada, October 25-26, 2012, Revised Selected Papers / edited by Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Ali Miri, Nadia Tawbi. by
- Garcia-Alfaro, Joaquin [editor.]
- Cuppens, Frédéric [editor.]
- Cuppens-Boulahia, Nora [editor.]
- Miri, Ali [editor.]
- Tawbi, Nadia [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7743
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.
|
|
|
712.
|
|
|
|
713.
|
Databases in Networked Information Systems [electronic resource] : 8th International Workshop, DNIS 2013, Aizu-Wakamatsu, Japan, March 25-27, 2013. Proceedings / edited by Aastha Madaan, Shinji Kikuchi, Subhash Bhalla. by
- Madaan, Aastha [editor.]
- Kikuchi, Shinji [editor.]
- Bhalla, Subhash [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7813
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.
|
|
|
714.
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 7th International Conference, EMO 2013, Sheffield, UK, March 19-22, 2013. Proceedings / edited by Robin C. Purshouse, Peter J. Fleming, Carlos M. Fonseca, Salvatore Greco, Jane Shaw. by
- Purshouse, Robin C [editor.]
- Fleming, Peter J [editor.]
- Fonseca, Carlos M [editor.]
- Greco, Salvatore [editor.]
- Shaw, Jane [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7811
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.
|
|
|
715.
|
Advances in Image and Graphics Technologies [electronic resource] : Chinese Conference, IGTA 2013, Beijing, China, April 2-3, 2013. Proceedings / edited by Tieniu Tan, Qiuqi Ruan, Xilin Chen, Huimin Ma, Liang Wang. by
- Tan, Tieniu [editor.]
- Ruan, Qiuqi [editor.]
- Chen, Xilin [editor.]
- Ma, Huimin [editor.]
- Wang, Liang [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 363
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.
|
|
|
716.
|
Persuasive Technology [electronic resource] : 8th International Conference, PERSUASIVE 2013, Sydney, NSW, Australia, April 3-5, 2013. Proceedings / edited by Shlomo Berkovsky, Jill Freyne. by
- Berkovsky, Shlomo [editor.]
- Freyne, Jill [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7822
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.
|
|
|
717.
|
Knowledge Discovery, Knowledge Engineering and Knowledge Management [electronic resource] : Third International Joint Conference, IC3K 2011, Paris, France, October 26-29, 2011. Revised Selected Papers / edited by Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe. by
- Fred, Ana [editor.]
- Dietz, Jan L. G [editor.]
- Liu, Kecheng [editor.]
- Filipe, Joaquim [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 348
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.
|
|
|
718.
|
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013. Proceedings / edited by Leonardo Vanneschi, William S. Bush, Mario Giacobini. by
- Vanneschi, Leonardo [editor.]
- Bush, William S [editor.]
- Giacobini, Mario [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7833
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.
|
|
|
719.
|
|
|
|
720.
|
Research in Computational Molecular Biology [electronic resource] : 17th Annual International Conference, RECOMB 2013, Beijing, China, April 7-10, 2013. Proceedings / edited by Minghua Deng, Rui Jiang, Fengzhu Sun, Xuegong Zhang. by
- Deng, Minghua [editor.]
- Jiang, Rui [editor.]
- Sun, Fengzhu [editor.]
- Zhang, Xuegong [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7821
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.
|
