Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 41 results.

    1.
    Logica Universalis Электронный ресурс Towards a General Theory of Logic / edited by Jean-Yves Beziau.

    by Beziau, Jean-Yves | SpringerLink (Online service).

    Edition: Second Edition.Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Basel : Birkhäuser Verlag, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    2.
    High Performance Embedded Architectures and Compilers Электронный ресурс Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, André Seznec, Joel Emer, Michael O’Boyle, Margaret Martonosi, Theo Ungerer.

    by Hutchison, David | Emer, Joel | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Martonosi, Margaret | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | O’Boyle, Michael | Pandu Rangan, C | Seznec, André | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Ungerer, Theo | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    3.
    Transactions on High-Performance Embedded Architectures and Compilers I Электронный ресурс edited by Per Stenström

    by Stenström, Per | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    4.
    Advances in Computer Systems Architecture (vol. # 4186) Электронный ресурс 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings edited by Chris Jesshope, Colin Egan.

    by Jesshope, Chris | Egan, Colin | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    5.
    Advances in Computer Systems Architecture (vol. # 3740) Электронный ресурс 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.

    by Chang, Chip-Hong | Srikanthan, Thambipillai | Xue, Jingling | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    6.
    Languages and Compilers for Parallel Computing Электронный ресурс 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers / edited by Eduard Ayguadé , Gerald Baumgartner, J. Ramanujam, Ponnuswamy Sadayappan.

    by Ayguadé, Eduard | Baumgartner, Gerald | Ramanujam, J | Sadayappan, Ponnuswamy | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    High Performance Computing for Computational Science -- VECPAR 2014 electronic resource 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima.

    by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    8.
    Computer Engineering and Technology electronic resource 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 – August 1, 2014, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Jinwen Li, Chengyi Zhang, Zhenzhen Zhu.

    by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Li, Jinwen [editor.] | Zhang, Chengyi [editor.] | Zhu, Zhenzhen [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

    by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    Reliable Implementation of Real Number Algorithms: Theory and Practice Электронный ресурс International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol.

    by Hutchison, David | Hertling, Peter | Hoffmann, Christoph M | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Luther, Wolfram | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Revol, Nathalie | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    11.
    Recent Advances in Parallel Virtual Machine and Message Passing Interface Электронный ресурс 15th European PVM/MPI Users’ Group Meeting, Dublin, Ireland, September 7-10, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra.

    by Hutchison, David | Dongarra, Jack | Kanade, Takeo | Kechadi, Tahar | Kittler, Josef | Kleinberg, Jon M | Lastovetsky, Alexey | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    12.
    Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.

    by Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    13.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation Электронный ресурс 18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008. Revised Selected Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Lars Svensson, José Monteiro.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Monteiro, José | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Svensson, Lars | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    14.
    New Approaches to Circle Packing in a Square Электронный ресурс With Program Codes / by P. G. Szabó, M. Cs. Markót, T. Csendes, E. Specht, L. G. Casado, I. García.

    by Szabó, P. G | Casado, L. G | Csendes, T | García, I | Markót, M. Cs | Specht, E | SpringerLink (Online service).

    Series: Springer Optimization and Its ApplicationsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    15.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 4148) Электронный ресурс 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings edited by Joh

    by Vounckx, Johan | Azemard, Nadine | Maurine, Philippe | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    16.
    Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 4192) Электронный ресурс 13th European PVM/MPI User's Group Meeting, Bonn, Germany, September 17-20, 2006, Proceedings edited by Bernd Mohr, Jesper Larsson Träff,

    by Mohr, Bernd | Dongarra, Jack | Larsson Träff, Jesper | Worringen, Joachim | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    17.
    Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666) Электронный ресурс 12th European PVM/MPI User's Group Meeting, Sorrento, Italy, September 18-21, 2005, Proceedings edited by Beniamino Di Martino, Ja

    by Di Martino, Beniamino | Dongarra, Jack | Kranzlmüller, Dieter | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    18.
    Computer Algebra in Scientific Computing electronic resource 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.

    by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    19.
    Polynomial Theory of Error Correcting Codes electronic resource by Giovanni Cancellieri.

    by Cancellieri, Giovanni [author.] | SpringerLink (Online service).

    Series: Signals and Communication TechnologySource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    20.
    Numbers and Computers electronic resource by Ronald T. Kneusel.

    by Kneusel, Ronald T [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    21.
    Computer Performance Evaluation and Benchmarking Электронный ресурс SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, David Kaeli, Kai Sachs.

    by Hutchison, David | Kaeli, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Sachs, Kai | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    22.
    Compressed Data Structures for Strings electronic resource On Searching and Extracting Strings from Compressed Textual Data / by Rossano Venturini.

    by Venturini, Rossano [author.] | SpringerLink (Online service).

    Series: Atlantis Studies in ComputingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Paris : Atlantis Press : Imprint: Atlantis Press, 2014Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    23.
    Computer Engineering and Technology [electronic resource] : 17th CCF Conference, NCCET 2013, Xining, China, July 20-22, 2013. Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Chengyi Zhang, Jinwen Li, Liyan Yu.

    by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Zhang, Chengyi [editor.] | Li, Jinwen [editor.] | Yu, Liyan [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    24.
    Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss.

    by Keller, Rainer [editor.] | Kramer, David [editor.] | Weiss, Jan-Philipp [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    25.
    Languages and Compilers for Parallel Computing Электронный ресурс 19th International Workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006. Revised Papers / edited by George Almási, Calin Cascaval , Peng Wu.

    by Almási, George | Wu, Peng | Cascaval, Calin | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    26.
    Advances in Computer Systems Architecture Электронный ресурс 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings / edited by Lynn Choi, Yunheung Paek, Sangyeun Cho.

    by Choi, Lynn | Cho, Sangyeun | Paek, Yunheung | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    27.
    Recent Advances in Parallel Virtual Machine and Message Passing Interface Электронный ресурс 14th European PVM/MPI User’s Group Meeting, Paris, France, September 30 - October 3, 2007. Proceedings / edited by Franck Cappello, Thomas Herault, Ja

    by Cappello, Franck | Dongarra, Jack | Herault, Thomas | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    28.
    High Performance Embedded Architectures and Compilers Электронный ресурс Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings / edited by Koen Bosschere, David Kaeli, Per Stenström, et al.

    by Bosschere, Koen | Kaeli, David | Stenström, Per | Ungerer, Theo | Whalley, David | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    29.
    High Performance Embedded Architectures and Compilers Электронный ресурс Third International Conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008. Proceedings / edited by Per Stenström, Michel Dubois, Manolis Katevenis, Rajiv Gupta, Theo Ungerer.

    by Stenström, Per | Dubois, Michel | Gupta, Rajiv | Katevenis, Manolis | Ungerer, Theo | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    30.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation (vol. # 3728) Электронный ресурс 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings edited by Vassili

    by Paliouras, Vassilis | Verkest, Diederik | Vounckx, Johan | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    31.
    Languages and Compilers for Parallel Computing (vol. # 2481) Электронный ресурс 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers edited by Bill Pugh, Chau-Wen Tseng.

    by Pugh, Bill | Tseng, Chau-Wen | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    32.
    Function Algebras on Finite Sets Электронный ресурс A Basic Course on Many-Valued Logic and Clone Theory / by Dietlinde Lau.

    by Lau, Dietlinde | SpringerLink (Online service).

    Series: Springer Monographs in MathematicsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    33.
    Languages and Compilers for High Performance Computing Электронный ресурс 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers edited by Rudolf Eigenmann, Zhiyuan Li, Samuel P. M

    by Eigenmann, Rudolf | Li, Zhiyuan | Midkiff, Samuel P | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    34.
    Logica Universalis Электронный ресурс Towards a General Theory of Logic / edited by Jean-Yves Beziau.

    by Beziau, Jean-Yves | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Basel : Birkhäuser Verlag, 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    35.
    Towards Mathematical Philosophy Электронный ресурс Papers from the Studia Logica conference Trends in Logic IV / edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing.

    by Wójcicki, Ryszard | Hendricks, Vincent F | Makinson, David | Malinowski, Jacek | Mundici, Daniele | Orłowska, Ewa | Segerberg, Krister | Wansing, Heinrich | Wansing, Heinrich | SpringerLink (Online service).

    Series: Trends in LogicSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    36.
    Transactions on Computational Science XXIV electronic resource Special Issue on Reversible Computing / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan.

    by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Thapliyal, Himanshu [editor.] | Ranganathan, Nagarajan [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    37.
    High Performance Embedded Architectures and Compilers Электронный ресурс First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings edited by Tom ConteWen-mei W. Hwu, Nacho Navarro, Theo Ungerer et a

    by Conte, Tom | Hwu, Wen-mei W | Navarro, Nacho | Ungerer, Theo | Valero, Mateo | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    38.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation Электронный ресурс 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings / edited by Nadine Azémard, Lars Svensson

    by Azémard, Nadine | Svensson, Lars | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    39.
    Computer Algebra in Scientific Computing electronic resource 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.

    by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    40.
    Computer Engineering and Technology [electronic resource] : 16th National Conference, NCCET 2012, Shanghai, China, August 17-19, 2012, Revised Selected Papers / edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.

    by Xu, Weixia [editor.] | Xiao, Liquan [editor.] | Lu, Pingjing [editor.] | Li, Jinwen [editor.] | Zhang, Chengyi [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    41.
    High Performance Computing for Computational Science - VECPAR 2012 [electronic resource] : 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers / edited by Michel Daydé, Osni Marques, Kengo Nakajima.

    by Daydé, Michel [editor.] | Marques, Osni [editor.] | Nakajima, Kengo [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart