Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 163 results.

    1.
    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 :
    2.
    From Grids to Service and Pervasive Computing Электронный ресурс edited by Thierry Priol, Marco Vanneschi.

    by Priol, Thierry | Vanneschi, Marco | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    3.
    VLSI-SoC: Research Trends in VLSI and Systems on Chip Электронный ресурс Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France.

    by Micheli, Giovanni | Mir, Salvador | Reis, Ricardo | SpringerLink (Online service).

    Series: IFIP International Federation for Information ProcessingSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : International Federation for Information Processin, 2008Online access: Click here to access online Availability: No items available :
    4.
    Grid Computing Электронный ресурс International Symposium on Grid Computing (ISGC 2007) / edited by Simon C. Lin, Eric Yen.

    by Lin, Simon C | Yen, Eric | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer US, 2009Online access: Click here to access online Availability: No items available :
    5.
    Grid Middleware and Services Электронный ресурс Challenges and Solutions / by Domenico Talia, Ramin Yahyapour, Wolfgang Ziegler.

    by Talia, Domenico | Yahyapour, Ramin | Ziegler, Wolfgang | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: No items available :
    6.
    Embedded Computer Systems: Architectures, Modeling, and Simulation Электронный ресурс 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 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, Mladen Bereković, Nikitas Dimopoulos, Stephan Wong.

    by Hutchison, David | Bereković, Mladen | Dimopoulos, Nikitas | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | 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 | Wong, Stephan | 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 :
    7.
    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 :
    8.
    Optimized ASIP Synthesis from Architecture Description Language Models Электронный ресурс by Oliver Schliebusch, Heinrich Meyr, Rainer Leupers.

    by Schliebusch, Oliver | Leupers, Rainer | Meyr, Heinrich | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    9.
    Hybrid Systems: Computation and Control Электронный ресурс 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 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, Magnus Egerstedt, Bud Mishra.

    by Hutchison, David | Egerstedt, Magnus | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mishra, Bud | 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 :
    10.
    Parallel Problem Solving from Nature - PPSN X Электронный ресурс 10th International Conference Dortmund, Germany, September 13-17, 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, Günter Rudolph, Thomas Jansen, Simon Lucas, Carlo Poloni, Nicola Beume.

    by Hutchison, David | Beume, Nicola | Jansen, Thomas | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Lucas, Simon | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Poloni, Carlo | Rudolph, Günter | 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 :
    11.
    Embedded Software and Systems (vol. # 3605) Электронный ресурс First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers edited by Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu.

    by Bu, Jiajun | Chen, Chun | Guo, Minyi | Wu, Zhaohui | 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 :
    12.
    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 :
    13.
    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 :
    14.
    High-Level Synthesis Электронный ресурс From Algorithm to Digital Circuit / edited by Philippe Coussy, Adam Morawiec.

    by Coussy, Philippe | Morawiec, Adam | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science + Business Media B.V, 2008Online access: Click here to access online Availability: No items available :
    15.
    Fast, Efficient and Predictable Memory Accesses Электронный ресурс Optimization Algorithms for Memory Architecture Aware Compilation / by Lars Wehmeyer, Peter Marwedel.

    by Wehmeyer, Lars | Marwedel, Peter | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2006Online access: Click here to access online Availability: No items available :
    16.
    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 :
    17.
    Designing 2D and 3D Network-on-Chip Architectures electronic resource by Konstantinos Tatas, Kostas Siozios, Dimitrios Soudris, Axel Jantsch.

    by Tatas, Konstantinos [author.] | Siozios, Kostas [author.] | Soudris, Dimitrios [author.] | Jantsch, Axel [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    18.
    Embedded Memory Design for Multi-Core and Systems on Chip electronic resource by Baker Mohammad.

    by Mohammad, Baker [author.] | SpringerLink (Online service).

    Series: Analog Circuits and Signal ProcessingSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    19.
    Turbo Decoder Architecture for Beyond-4G Applications electronic resource by Cheng-Chi Wong, Hsie-Chia Chang.

    by Wong, Cheng-Chi [author.] | Chang, Hsie-Chia [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    20.
    Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor electronic resource by Orlando Moreira, Henk Corporaal.

    by Moreira, Orlando [author.] | Corporaal, Henk [author.] | SpringerLink (Online service).

    Series: Embedded SystemsSource: 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 :
    21.
    Molecular Computing electronic resource Origins and Promises / by Nicholas G. Rambidi.

    by Rambidi, Nicholas G [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Vienna : Springer Vienna : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    22.
    SystemC and SystemC-AMS in Practice electronic resource SystemC 2.3, 2.2 and SystemC-AMS 1.0 / by Amal Banerjee, Balmiki Sur.

    by Banerjee, Amal [author.] | Sur, Balmiki [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, 2014Online access: Click here to access online Availability: No items available :
    23.
    Trace-Based Post-Silicon Validation for VLSI Circuits electronic resource by Xiao Liu, Qiang Xu.

    by Liu, Xiao [author.] | Xu, Qiang [author.] | SpringerLink (Online service).

    Series: Lecture Notes in Electrical EngineeringSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Heidelberg : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    24.
    FPGA Design electronic resource Best Practices for Team-based Reuse / by Philip Andrew Simpson.

    by Simpson, Philip Andrew [author.] | SpringerLink (Online service).

    Edition: 2nd 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 :
    25.
    Functional Verification of Dynamically Reconfigurable FPGA-based Systems electronic resource by Lingkan Gong, Oliver Diessel.

    by Gong, Lingkan [author.] | Diessel, Oliver [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 :
    26.
    Embedded Systems Design for High-Speed Data Acquisition and Control electronic resource by Maurizio Di Paolo Emilio.

    by Di Paolo Emilio, Maurizio [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 :
    27.
    Trusted Computing for Embedded Systems electronic resource edited by Bernard Candaele, Dimitrios Soudris, Iraklis Anagnostopoulos.

    by Candaele, Bernard [editor.] | Soudris, Dimitrios [editor.] | Anagnostopoulos, Iraklis [editor.] | 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 :
    28.
    Parallel Programming [electronic resource] : for Multicore and Cluster Systems / by Thomas Rauber, Gudula Rünger.

    by Rauber, Thomas [author.] | Rünger, Gudula [author.] | SpringerLink (Online service).

    Edition: 2nd ed. 2013.Source: 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 :
    29.
    High-Performance Computing on the Intel® Xeon Phi™ electronic resource How to Fully Exploit MIC Architectures / by Endong Wang, Qing Zhang, Bo Shen, Guangyong Zhang, Xiaowei Lu, Qing Wu, Yajuan Wang.

    by Wang, Endong [author.] | Zhang, Qing [author.] | Shen, Bo [author.] | Zhang, Guangyong [author.] | Lu, Xiaowei [author.] | Wu, Qing [author.] | Wang, Yajuan [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, 2014Online access: Click here to access online Availability: No items available :
    30.
    VLSI Design and Test [electronic resource] : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers / edited by Manoj Singh Gaur, Mark Zwolinski, Vijay Laxmi, Dharmendra Boolchandani, Virendra Sing, Adit D. Sing.

    by Gaur, Manoj Singh [editor.] | Zwolinski, Mark [editor.] | Laxmi, Vijay [editor.] | Boolchandani, Dharmendra [editor.] | Sing, Virendra [editor.] | Sing, Adit D [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 :
    31.
    Hybrid Systems: Computation and Control Электронный ресурс 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings / edited by Alberto Bemporad, Antonio Bicchi, Giorgio Buttazzo.

    by Bemporad, Alberto | Bicchi, Antonio | Buttazzo, Giorgio | 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 :
    32.
    High Performance Computing on Vector Systems 2006 Электронный ресурс Proceedings of the High Performance Computing Center Stuttgart, March 2006 / edited by Michael Resch, Thomas Bönisch, Sunil Tiyyagura, Toshiyuki Furui, Yoshiki Seo, Wolfgang Bez.

    by Resch, Michael | Bez, Wolfgang | Bönisch, Thomas | Furui, Toshiyuki | Seo, Yoshiki | Tiyyagura, Sunil | SpringerLink (Online service).

    Source: 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 :
    33.
    Computer Aided Systems Theory - EUROCAST 2007 Электронный ресурс 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers / ed. by Roberto Moreno Díaz

    by Moreno Díaz, Roberto | Pichler, Franz | Quesada Arencibia, Alexis | 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 :
    34.
    Introduction to Reconfigurable Computing Электронный ресурс Architectures, Algorithms, and Applications / edited by Christophe Bobda.

    by Bobda, Christophe | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2008Online access: Click here to access online Availability: No items available :
    35.
    Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms Электронный ресурс edited by Zhe Ma, Pol Marchal, Daniele Paolo Scarpazza, Peng Yang, Chun Wong, José Ignacio Gómez,

    by Ma, Zhe | Catthoor, Francky | Couvreur, Chantal | Gómez, José Ignacio | Himpe, Stefaan | Marchal, Pol | Scarpazza, Daniele Paolo | Wong, Chun | Yang, Peng | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2007Online access: Click here to access online Availability: No items available :
    36.
    Hardware Software Co-Design of a Multimedia SOC Platform Электронный ресурс by Sao-Jie Chen, Guang-Huei Lin, Pao-Ann Hsiung, Yu-Hen Hu.

    by Chen, Sao-Jie | Hsiung, Pao-Ann | Hu, Yu-Hen | Lin, Guang-Huei | SpringerLink (Online service).

    Source: 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 :
    37.
    High-Level Modeling and Synthesis of Analog Integrated Systems Электронный ресурс by Ewout S. J. Martens, Georges G. E. Gielen.

    by Martens, Ewout S. J | Gielen, Georges G. E | SpringerLink (Online service).

    Series: Analog Circuits and Signal Processing SeriesSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer Science + Business Media B.V, 2008Online access: Click here to access online Availability: No items available :
    38.
    Domain Decomposition Methods — Algorithms and Theory Электронный ресурс by Andrea Toselli, Olof B. Widlund.

    by Toselli, Andrea | Widlund, Olof B | SpringerLink (Online service).

    Series: Springer Series in Computational MathematicsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
    39.
    Domain Decomposition Methods in Science and Engineering Электронный ресурс edited by Timothy J. Barth, Michael Griebel, David E. Keyes, Risto M. Nieminen, Dirk Roose, Tamar Schlick, Ralf Kornhuber, Ronald Hoppe, Jacques Périaux, Olivier Pironneau, Olof Widlund, Jinchao Xu.

    by Barth, Timothy J | Griebel, Michael | Hoppe, Ronald | Keyes, David E | Kornhuber, Ralf | Nieminen, Risto M | Périaux, Jacques | Pironneau, Olivier | Roose, Dirk | Schlick, Tamar | Widlund, Olof B | Xu, Jinchao | SpringerLink (Online service).

    Series: Lecture Notes in Computational Science and EngineeringSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available :
    40.
    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 :
    41.
    Future Generation Grids Электронный ресурс Proceedings of the Workshop on Future Generation Grids November 1-5, 2004, Dagstuhl, Germany / edited by Vladimir Getov, Domenico Laforenza, Alexander Reinefeld.

    by Getov, Vladimir | Laforenza, Domenico | Reinefeld, Alexander | SpringerLink (Online service).

    Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Boston, MA : Springer Science+Business Media, Inc., 2006Online access: Click here to access online Availability: No items available :
    42.
    Petri Nets and Other Models of Concurrency - ICATPN 2006 Электронный ресурс 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings edited by S

    by Donatelli, Susanna | Thiagarajan, P. S | 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 :
    43.
    Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017) Электронный ресурс 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings edited by Stamatis Vassiliadis, Stephan Wong, Timo D. Hämäläinen

    by Vassiliadis, Stamatis | Hämäläinen, Timo D | Wong, Stephan | 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 :
    44.
    Embedded Software and Systems (vol. # 3820) Электронный ресурс Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings edited by Man LinZhaohui Wu, Laurence T. Yang, Wei Zhao et al.

    by Lin, Man | Wu, Zhaohui | Yang, Laurence T | Zhao, Wei | Zhou, Xingshe | Zhu, Yian | 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 :
    45.
    Integrated Research in GRID Computing Электронный ресурс CoreGRID Integration Workshop 2005 (Selected Papers) November 28–30, Pisa, Italy / edited by Sergei Gorlatch, Marco Danelutto.

    by Gorlatch, Sergei | Danelutto, Marco | SpringerLink (Online service).

    Source: 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 :
    46.
    Correct-by-Construction Approaches for SoC Design electronic resource by Roopak Sinha, Parthasarathi Roop, Samik Basu.

    by Sinha, Roopak [author.] | Roop, Parthasarathi [author.] | Basu, Samik [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    47.
    Models, Methods, and Tools for Complex Chip Design electronic resource Selected Contributions from FDL 2012 / edited by Jan Haase.

    by Haase, Jan [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Electrical EngineeringSource: 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 :
    48.
    Exploring Memory Hierarchy Design with Emerging Memory Technologies electronic resource by Guangyu Sun.

    by Sun, Guangyu [author.] | SpringerLink (Online service).

    Series: Lecture Notes in Electrical EngineeringSource: 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 :
    49.
    A Pipelined Multi-core MIPS Machine electronic resource Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul.

    by Kovalev, Mikhail [author.] | Müller, Silvia M [author.] | Paul, Wolfgang J [author.] | 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 :
    50.
    Languages, Design Methods, and Tools for Electronic System Design electronic resource Selected Contributions from FDL 2013 / edited by Marie-Minerve Louërat, Torsten Maehne.

    by Louërat, Marie-Minerve [editor.] | Maehne, Torsten [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Electrical EngineeringSource: 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 :