|
|
|
OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshop, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, and Reims, France, June 12-15, 2006, Proceedings / edited by Matthias S. Müller, Barbara Chapman, Bronis R. de Supinski, Allen D. Malony, Michael Voss.
by Müller, Matthias S [editor.] | Chapman, Barbara [editor.] | de Supinski, Bronis R [editor.] | Malony, Allen D [editor.] | Voss, Michael [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Applications and Theory of Petri Nets 2005 [electronic resource] : 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings / edited by Gianfranco Ciardo, Philippe Darondeau.
by Ciardo, Gianfranco [editor.] | Darondeau, Philippe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Reliable Implementation of Real Number Algorithms: Theory and Practice [electronic resource] : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers / edited by Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.
by Hertling, Peter [editor.] | Hoffmann, Christoph M [editor.] | Luther, Wolfram [editor.] | Revol, Nathalie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Optimization and Applications [electronic resource] : Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings / edited by Boting Yang, Ding-Zhu Du, Cao An Wang.
by Yang, Boting [editor.] | Du, Ding-Zhu [editor.] | Wang, Cao An [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006, Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle.
by Dorigo, Marco [editor.] | Gambardella, Luca Maria [editor.] | Birattari, Mauro [editor.] | Martinoli, Alcherio [editor.] | Poli, Riccardo [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings / edited by J. Christopher Beck, Barbara Smith.
by Beck, J. Christopher [editor.] | Smith, Barbara [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Logic and Theory of Algorithms [electronic resource] : 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings / edited by Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe.
by Beckmann, Arnold [editor.] | Dimitracopoulos, Costas [editor.] | Löwe, Benedikt [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematics of Program Construction [electronic resource] : 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings / edited by Graham Hutton.
by Hutton, Graham [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Computational Complexity and Property Testing [electronic resource] : On the Interplay Between Randomness and Computation / edited by Oded Goldreich.
by Goldreich, Oded [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Complexity and Approximation [electronic resource] : In Memory of Ker-I Ko / edited by Ding-Zhu Du, Jie Wang.
by Du, Ding-Zhu [editor.] | Wang, Jie [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Optimization [electronic resource] : 6th International Symposium, ISCO 2020, Montreal, QC, Canada, May 4-6, 2020, Revised Selected Papers / edited by Mourad Baïou, Bernard Gendron, Oktay Günlük, A. Ridha Mahjoub.
by Baïou, Mourad [editor.] | Gendron, Bernard [editor.] | Günlük, Oktay [editor.] | Mahjoub, A. Ridha [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes [electronic resource] : 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings / edited by Serdar Boztas, Hsiao-feng Lu.
by Boztas, Serdar [editor.] | Lu, Hsiao-feng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - CRYPTO 2006 [electronic resource] : 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006, Proceedings / edited by Cynthia Dwork.
by Dwork, Cynthia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Logic, Language, Information and Computation [electronic resource] : 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings / edited by Daniel Leivant, Ruy de Queiroz.
by Leivant, Daniel [editor.] | de Queiroz, Ruy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Arithmetic of Finite Fields [electronic resource] : First International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings / edited by Claude Carlet, Berk Sunar.
by Carlet, Claude [editor.] | Sunar, Berk [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2006 [electronic resource] : 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers / edited by Michel Daydé, José M.L.M. Palma, Álvaro L.G.A. Couthino, Esther Pacitti, João Correia Lopes.
by Daydé, Michel [editor.] | Palma, José M.L.M [editor.] | Couthino, Álvaro L.G.A [editor.] | Pacitti, Esther [editor.] | Correia Lopes, João [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings / edited by Barry S. Cooper, Benedikt Löwe, Andrea Sorbi.
by Cooper, Barry S [editor.] | Löwe, Benedikt [editor.] | Sorbi, Andrea [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Public Key Cryptography -- PKC 2011 [electronic resource] : 14th International Conference on Practice and Theory in Public Key Cryptography, Taormina, Italy, March 6-9, 2011, Proceedings / edited by Dario Catalano, Nelly Fazio, Rosario Gennaro, Antonio Nicolosi.
by Catalano, Dario [editor.] | Fazio, Nelly [editor.] | Gennaro, Rosario [editor.] | Nicolosi, Antonio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Privacy in Statistical Databases [electronic resource] : UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26-28, 2018, Proceedings / edited by Josep Domingo-Ferrer, Francisco Montes.
by Domingo-Ferrer, Josep [editor.] | Montes, Francisco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ACCV 2018 [electronic resource] : 14th Asian Conference on Computer Vision, Perth, Australia, December 2-6, 2018, Revised Selected Papers, Part I / edited by C. V. Jawahar, Hongdong Li, Greg Mori, Konrad Schindler.
by Jawahar, C. V [editor.] | Li, Hongdong [editor.] | Mori, Greg [editor.] | Schindler, Konrad [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
