|
|
10101.
|
Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers / edited by Jim Davies, Leila Silva, Adenilso Simao.
by Davies, Jim | Silva, Leila | Simao, Adenilso | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10102.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino.
by Abdulla, Parosh Aziz | Leino, K. Rustan M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10103.
|
Beam-Wave Interaction in Periodic and Quasi-Periodic Structures [electronic resource] / by Levi Schächter.
by Schächter, Levi | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10104.
|
Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers / edited by Luo Qi.
by Qi, Luo | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10105.
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch.
by Berry, Daniel | Franch, Xavier | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10106.
|
Compiler Construction [electronic resource] : 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Jens Knoop.
by Knoop, Jens | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10107.
|
Discrete Geometry for Computer Imagery [electronic resource] : 16th IAPR International Conference, DGCI 2011, Nancy, France, April 6-8, 2011. Proceedings / edited by Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret, Philippe Even.
by Debled-Rennesson, Isabelle | Domenjoud, Eric | Kerautret, Bertrand | Even, Philippe | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10108.
|
Agents and Artificial Intelligence [electronic resource] : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers / edited by Joaquim Filipe, Ana Fred, Bernadette Sharp.
by Filipe, Joaquim | Fred, Ana | Sharp, Bernadette | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10109.
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 6th International Conference, EMO 2011, Ouro Preto, Brazil, April 5-8, 2011. Proceedings / edited by Ricardo H. C. Takahashi, Kalyanmoy Deb, Elizabeth F. Wanner, Salvatore Greco.
by Takahashi, Ricardo H. C | Deb, Kalyanmoy | Wanner, Elizabeth F | Greco, Salvatore | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10110.
|
Privacy and Security Issues in Data Mining and Machine Learning [electronic resource] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin.
by Dimitrakakis, Christos | Gkoulalas-Divanis, Aris | Mitrokotsa, Aikaterini | Verykios, Vassilios S | Saygin, Yücel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10111.
|
Self-Learning Speaker Identification [electronic resource] : A System for Enhanced Speech Recognition / by Tobias Herbig, Franz Gerl, Wolfgang Minker.
by Herbig, Tobias | Gerl, Franz | Minker, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10112.
|
Ion Channels and Their Inhibitors [electronic resource] / edited by Satya Prakash Gupta.
by Gupta, Satya Prakash | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10113.
|
Transactions on Computational Collective Intelligence III [electronic resource] / edited by Ngoc Thanh Nguyen.
by Nguyen, Ngoc Thanh | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10114.
|
Inverse Problems and High-Dimensional Estimation [electronic resource] : Stats in the Château Summer School, August 31 - September 4, 2009 / edited by Pierre Alquier, Eric Gautier, Gilles Stoltz.
by Alquier, Pierre | Gautier, Eric | Stoltz, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10115.
|
Engineering Methods in the Service-Oriented Context [electronic resource] : 4th IFIP WG 8.1 Working Conference on Method Engineering, ME 2011, Paris, France, April 20-22, 2011. Proceedings / edited by Jolita Ralyté, Isabelle Mirbel, Rébecca Deneckère.
by Ralyté, Jolita | Mirbel, Isabelle | Deneckère, Rébecca | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10116.
|
Computation, Cooperation, and Life [electronic resource] : Essays Dedicated to Gheorghe Păun on the Occasion of His 60th Birthday / edited by Jozef Kelemen, Alica Kelemenová.
by Kelemen, Jozef | Kelemenová, Alica | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10117.
|
Computer Science and Educational Software Design [electronic resource] : A Resource for Multidisciplinary Work in Technology Enhanced Learning / by Pierre Tchounikine.
by Tchounikine, Pierre | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10118.
|
Operations Research Proceedings 2010 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society / edited by Bo Hu, Karl Morasch, Stefan Pickl, Markus Siegle.
by Hu, Bo | Morasch, Karl | Pickl, Stefan | Siegle, Markus | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10119.
|
Research in Computational Molecular Biology [electronic resource] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / edited by Vineet Bafna, S. Cenk Sahinalp.
by Bafna, Vineet | Sahinalp, S. Cenk | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
10120.
|
Intelligent Information and Database Systems [electronic resource] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak.
by Nguyen, Ngoc Thanh | Kim, Chong-Gun | Janiak, Adam | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
