Results
|
|
Abstract State Machines, Alloy, B, VDM, and Z [Recurso electrónico] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene. by Derrick, John | Fitzgerald, John | Gnesi, Stefania | Khurshid, Sarfraz | Leuschel, Michael | Reeves, Steve | Riccobene, Elvinia. Series: Lecture Notes in Computer Science ; 7316Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Algorithms and Complexity [Recurso electrónico] / 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings edited by Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano. by Calamoneri, Tiziana | Finocchi, Irene | Italiano, Guiseppe F | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3998Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
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). Series: Lecture Notes in Computer Science ; 3742Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
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). Series: Lecture Notes in Computer Science ; 3351Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
Discrete Geometry, Combinatorics and Graph Theory [Recurso electrónico] / 7th China-Japan Conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005, and Xi'an, China, November 22-24, 2005, Revised Selected Papers edited by Jin AkiyamaWi by Akiyama, Jin | Chen, William Y.C | Kano, Mikio | Li, Xueliang | Yu, Qinglin | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4381Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.
|
|
|
Fun with Algorithms [Recurso electrónico] / 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007, Proceedings edited by Pierluigi Crescenzi, Giuseppe Prencipe, Geppino Pucci. by Crescenzi, Pierluigi | Prencipe, Giuseppe | Pucci, Geppino | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4475Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Texto completo Availability: No items available.
|
|
|
Computer Algebra in Scientific Computing (vol. # 4194) [Recurso electrónico] / 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings edited by V.G. Ganzha, E.W. Mayr, E.V. Vorozhtsov. by Ganzha, V.G | Mayr, E.W | Vorozhtsov, E.V | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4194Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Advances in Artificial Life [Recurso electrónico] : 9th European Conference, ECAL 2007, Lisbon, Portugal, September 10-14, 2007. Proceedings. Fernando Almeida e Costa, Luis Mateus Rocha, Ernesto Costa, Inman Harvey, António Coutinho. by Almeida e Costa, Fernando | Costa, Ernesto | Coutinho, António | Harvey, Inman | Rocha, Luis Mateus | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4648Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
Computer Algebra in Scientific Computing [Recurso electrónico] : 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. 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). Series: Lecture Notes in Computer Science ; 4770Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Research in Computational Molecular Biology (vol. # 3909) [Recurso electrónico] / 10th Annual International Conference, RECOMB 2006, Venice, Italy, April 2-5, 2006, Proceedings edited by Alberto ApostolicoConcettina Guerra, Sorin Istrail, Pav by Apostolico, Alberto | Guerra, Concettina | Istrail, Sorin | Pevzner, Pavel | Waterman, Michael | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 3909Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available.
|
|
|
Evolutionary Computation in Combinatorial Optimization [Recurso electrónico] : 12th European Conference, EvoCOP 2012, M©Å{uC867}a, Spain, April 11-13, 2012. Proceedings / edited by Jin-Kao Hao, Martin Middendorf. by Hao, Jin-Kao | Middendorf, Martin. Series: Lecture Notes in Computer Science ; 7245Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
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, Ã{u2A63} Pinson. by Beldiceanu, Nicolas | Jussien, Narendra | Pinson, Ã{u2A63}. Series: Lecture Notes in Computer Science ; 7298Material type: Text; Format:
electronic
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
|
|
|
Approximation and Online Algorithms [Recurso electrónico] : 9th International Workshop, WAOA 2011, Saarbr©ơcken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Roberto Solis-Oba, Giuseppe Persiano. by Solis-Oba, Roberto | Persiano, Giuseppe. Series: Lecture Notes in Computer Science ; 7164Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Online access: Texto completo Availability: No items available.
|
|
|
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). Series: Lecture Notes in Computer Science ; 3630Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
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). Series: Lecture Notes in Computer Science ; 3718Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|
|
|
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). Series: Lecture Notes in Computer Science ; 3500Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available.
|