|
121.
|
Theoretical Computer Science (vol. # 3701) [Recurso electrónico] / 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings edited by Mario Coppo, Elena Lodi, G. Michele Pinna. by Coppo, Mario | Lodi, Elena | Pinna, G. Michele | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
122.
|
Applications of Graph Transformations with Industrial Relevance [Recurso electrónico] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers / edited by Andy SchÃ{u2CAC} Dániel Varró, Gergely Varró. by SchÃ{u2CAC} Andy | Varró, Dániel | Varró, Gergely. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
123.
|
Simulated Evolution and Learning [Recurso electrónico] : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012. Proceedings / edited by Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai, Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan. by Bui, Lam Thu | Ong, Yew Soon | Hoai, Nguyen Xuan | Ishibuchi, Hisao | Suganthan, Ponnuthurai Nagaratnam. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
124.
|
Algorithms and Computation [Recurso electrónico] : 23rd International Symposium, ISAAC 2012, Taipei, Taiwan, December 19-21, 2012. Proceedings / edited by Kun-Mao Chao, Tsan-sheng Hsu, Der-Tsai Lee. by Chao, Kun-Mao | Hsu, Tsan-sheng | Lee, Der-Tsai. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
125.
|
Principles of Distributed Systems [Recurso electrónico] : 16th International Conference, OPODIS 2012, Rome, Italy, December 18-20, 2012. Proceedings / edited by Roberto Baldoni, Paola Flocchini, Ravindran Binoy. by Baldoni, Roberto | Flocchini, Paola | Binoy, Ravindran. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Texto completo Availability: No items available
|
|
126.
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [Recurso electrónico] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012. Proceedings / edited by Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang. by Snoeyink, Jack | Lu, Pinyan | Su, Kaile | Wang, Lusheng. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
127.
|
Diagrammatic Representation and Inference [Recurso electrónico] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings / edited by Philip Cox, Beryl Plimmer, Peter Rodgers. by Cox, Philip | Plimmer, Beryl | Rodgers, Peter. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
128.
|
Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems [Recurso electrónico] : 9th International Conference, CPAIOR 2012, Nantes, France, May 28 - June1, 2012. Proceedings / edited by Nicolas Beldiceanu, Narendra Jussien, Eric Pinson. by Beldiceanu, Nicolas | Jussien, Narendra | Pinson, Ã{u2A63}. Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available
|
|
129.
|
Approximation and Online Algorithms (vol. # 3351) [Recurso electrónico] / Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers edited by Giuseppe Persiano, Roberto Solis-Oba. by Persiano, Giuseppe | Solis-Oba, Roberto | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
130.
|
Research in Computational Molecular Biology (vol. # 3500) [Recurso electrónico] / 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings edited by Sorin IstrailSimon Kasif, Jill Mesirov, Satoru Miya by Istrail, Sorin | Kasif, Simon | Mesirov, Jill | Miyano, Satoru | Pevzner, Pavel | Waterman, Michael | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
131.
|
Algorithmic Applications in Management [Recurso electrónico] / First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings edited by Nancy Alonstioti, Nimrod Megiddo, Yinfeng Xu, Binhai Zhu. by Alonstioti, Nancy | Megiddo, Nimrod | Xu, Yinfeng | Zhu, Binhai | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
132.
|
|
|
133.
|
Advanced Encryption Standard - AES [Recurso electrónico] / 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa. by Dobbertin, Hans | Rijmen, Vincent | Sowa, Aleksandra | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
134.
|
Automata, Languages and Programming (vol. # 3580) [Recurso electrónico] / 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis CairesGuiseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi by Caires, Luis | Italiano, Guiseppe F | Monteiro, Luis | Palamidessi, Catuscia | Yung, Moti | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
135.
|
Advances in Artificial Life [Recurso electrónico] / 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings edited by Peter J. BentleyMathieu Capcarrere, Alex A. Freitas, Colin G. Johnson et al. by Bentley, Peter J | Capcarrere, Mathieu | Freitas, Alex A | Johnson, Colin G | Timmis, Jon | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
136.
|
Computer Algebra in Scientific Computing (vol. # 3718) [Recurso electrónico] / 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov. by Ganzha, Victor G | Mayr, Ernst W | Vorozhtsov, Evgenii V | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
137.
|
Algorithms in Bioinformatics (vol. # 3692) [Recurso electrónico] / 5th International Workshop, WABI 2005, Mallorca, Spain, October 3-6, 2005, Proceedings edited by Rita Casadio, Gene Myers. by Casadio, Rita | Myers, Gene | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
138.
|
|
|
139.
|
Discrete and Computational Geometry [Recurso electrónico] / Japanese Conference, JCDCG 2004, Tokyo, Japan, October 8-11, 2004 edited by Jin Akiyama, Mikio Kano, Xuehou Tan. by Akiyama, Jin | Kano, Mikio | Tan, Xuehou | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|
|
140.
|
Progress in Cryptology - INDOCRYPT 2005 [Recurso electrónico] / 6th International Conference on Cryptology in India, Bangalore, India, December 10-12, 2005, Proceedings edited by C.E. Veni Madhavan, Subhamoy Maitra, Ramarathnam Venkatesan. by Madhavan, C.E. Veni | Maitra, Subhamoy | Venkatesan, Ramarathnam | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available
|