Refine your search

Your search returned 218 results.

|
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 Computer file; Format: electronic available online remote 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 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 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 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 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 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 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 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

132.
Information Security and Cryptology - ICISC 2004 [Recurso electrónico] / 7th International Conference, Seoul, Korea, December 2-3, 2004, Revised Selected Papers edited by Seongtaek Chee, Choonsik Park.

by Chee, Seongtaek | Park, Choonsik | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

138.
Algorithms - ESA 2005 [Recurso electrónico] / 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings edited by Gerth S. Brodal, Stefano Leonardi.

by Brodal, Gerth S | Leonardi, Stefano | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

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 Computer file; Format: electronic available online remote 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 Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Powered by Koha