Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 659 results.

    51.
    Robot Cognition and Navigation Электронный ресурс An Experiment with Mobile Robots edited by Srikanta Patnaik.

    by Patnaik, Srikanta | SpringerLink (Online service).

    Series: Cognitive TechnologiesSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2007Online access: Click here to access online Availability: No items available :
    52.
    Artificial Intelligence and Simulation Электронный ресурс 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers edited by Tag G. K

    by Kim, Tag G | 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 :
    53.
    Numerical Analysis and Its Applications Электронный ресурс Third International Conference, NAA 2004, Rousse, Bulgaria, June 29 - July 3, 2004, Revised Selected Papers edited by Zhilin Li, Lubin Vulkov, Jerzy Waśniewski

    by Li, Zhilin | Vulkov, Lubin | Waśniewski, Jerzy | 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 :
    54.
    ANEMONA Электронный ресурс A Mulit-agent Methodology for Holonic Manufacturing Systems / by Vicente Botti, Adriana Giret.

    by Botti, Vicente | Giret, Adriana | SpringerLink (Online service).

    Series: Springer Series in Advanced ManufacturingSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: London : Springer-Verlag, 2008Online access: Click here to access online Availability: No items available :
    55.
    Military Logistics electronic resource Research Advances and Future Trends / edited by Vasileios Zeimpekis, George Kaimakamis, Nicholas J. Daras.

    by Zeimpekis, Vasileios [editor.] | Kaimakamis, George [editor.] | Daras, Nicholas J [editor.] | SpringerLink (Online service).

    Series: Operations Research/Computer Science Interfaces SeriesSource: 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 :
    56.
    Testing and Validation of Computer Simulation Models electronic resource Principles, Methods and Applications / by David J. Murray-Smith.

    by Murray-Smith, David J [author.] | SpringerLink (Online service).

    Series: Simulation Foundations, Methods and ApplicationsEdition: 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 :
    57.
    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 :
    58.
    Energy Efficient Data Centers electronic resource Third International Workshop, E2DC 2014, Cambridge, UK, June 10, 2014, Revised Selected Papers / edited by Sonja Klingert, Marta Chinnici, Milagros Rey Porto.

    by Klingert, Sonja [editor.] | Chinnici, Marta [editor.] | Rey Porto, Milagros [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 :
    59.
    Job Scheduling Strategies for Parallel Processing electronic resource 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai.

    by Cirne, Walfredo [editor.] | Desai, Narayan [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 :
    60.
    Modeling Mobility with Open Data electronic resource 2nd SUMO Conference 2014 Berlin, Germany, May 15-16, 2014 / edited by Michael Behrisch, Melanie Weber.

    by Behrisch, Michael [editor.] | Weber, Melanie [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in MobilitySource: 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 :
    61.
    Robust Simulation for Mega-Risks electronic resource The Path from Single-Solution to Competitive, Multi-Solution Methods for Mega-Risk Management / by Craig E. Taylor.

    by Taylor, Craig E [author.] | SpringerLink (Online service).

    Edition: 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 :
    62.
    A Guide to Numerical Modelling in Systems Biology electronic resource by Peter Deuflhard, Susanna Röblitz.

    by Deuflhard, Peter [author.] | Röblitz, Susanna [author.] | SpringerLink (Online service).

    Series: Texts in Computational Science and 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 :
    63.
    Learning and Intelligent Optimization electronic resource 9th International Conference, LION 9, Lille, France, January 12-15, 2015. Revised Selected Papers / edited by Clarisse Dhaenens, Laetitia Jourdan, Marie-Eléonore Marmion.

    by Dhaenens, Clarisse [editor.] | Jourdan, Laetitia [editor.] | Marmion, Marie-Eléonore [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 :
    64.
    Functional Imaging and Modeling of the Heart electronic resource 8th International Conference, FIMH 2015, Maastricht, The Netherlands, June 25-27, 2015. Proceedings / edited by Hans van Assen, Peter Bovendeerd, Tammo Delhaas.

    by van Assen, Hans [editor.] | Bovendeerd, Peter [editor.] | Delhaas, Tammo [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 :
    65.
    Computational Logistics electronic resource 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings / edited by Francesco Corman, Stefan Voß, Rudy R. Negenborn.

    by Corman, Francesco [editor.] | Voß, Stefan [editor.] | Negenborn, Rudy R [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 :
    66.
    Tests and Proofs electronic resource 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings / edited by Jasmin Christian Blanchette, Nikolai Kosmatov.

    by Blanchette, Jasmin Christian [editor.] | Kosmatov, Nikolai [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 :
    67.
    Augmented and Virtual Reality electronic resource Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings / edited by Lucio Tommaso De Paolis, Antonio Mongelli.

    by De Paolis, Lucio Tommaso [editor.] | Mongelli, Antonio [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 :
    68.
    Computer Information Systems and Industrial Management electronic resource 14th IFIP TC 8 International Conference, CISIM 2015, Warsaw, Poland, September 24-26, 2015, Proceedings / edited by Khalid Saeed, Wladyslaw Homenda.

    by Saeed, Khalid [editor.] | Homenda, Wladyslaw [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 :
    69.
    Information Systems for Crisis Response and Management in Mediterranean Countries electronic resource Second International Conference, ISCRAM-med 2015, Tunis, Tunisia, October 28-30, 2015, Proceedings / edited by Narjès Bellamine Ben Saoud, Carole Adam, Chihab Hanachi.

    by Bellamine Ben Saoud, Narjès [editor.] | Adam, Carole [editor.] | Hanachi, Chihab [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Business Information ProcessingEdition: 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 :
    70.
    Hybrid Systems Biology electronic resource Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers / edited by Oded Maler, Ádám Halász, Thao Dang, Carla Piazza.

    by Maler, Oded [editor.] | Halász, Ádám [editor.] | Dang, Thao [editor.] | Piazza, Carla [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 :
    71.
    Software Technologies electronic resource 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers / edited by Andreas Holzinger, Jorge Cardoso, José Cordeiro, Therese Libourel, Leszek A. Maciaszek, Marten van Sinderen.

    by Holzinger, Andreas [editor.] | Cardoso, Jorge [editor.] | Cordeiro, José [editor.] | Libourel, Therese [editor.] | Maciaszek, Leszek A [editor.] | van Sinderen, Marten [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information 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 :
    72.
    Model-Driven Engineering and Software Development electronic resource Third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015, Revised Selected Papers / edited by Philippe Desfray, Joaquim Filipe, Slimane Hammoudi, Luís Ferreira Pires.

    by Desfray, Philippe [editor.] | Filipe, Joaquim [editor.] | Hammoudi, Slimane [editor.] | Pires, Luís Ferreira [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information 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 :
    73.
    Patch-Based Techniques in Medical Imaging electronic resource First International Workshop, Patch-MI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 9, 2015, Revised Selected Papers / edited by Guorong Wu, Pierrick Coupé, Yiqiang Zhan, Brent Munsell, Daniel Rueckert.

    by Wu, Guorong [editor.] | Coupé, Pierrick [editor.] | Zhan, Yiqiang [editor.] | Munsell, Brent [editor.] | Rueckert, Daniel [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 :
    74.
    Adaptive Resource Management and Scheduling for Cloud Computing electronic resource Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru.

    by Pop, Florin [editor.] | Potop-Butucaru, Maria [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 :
    75.
    Hybrid Systems Biology electronic resource Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers / edited by Alessandro Abate, David Šafránek.

    by Abate, Alessandro [editor.] | Šafránek, David [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 :
    76.
    Transactions on Computational Collective Intelligence XX electronic resource edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Béatrice Duval, Jaap van den Herik, Stephane Loiseau, Joaquim Filipe.

    by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Duval, Béatrice [editor.] | van den Herik, Jaap [editor.] | Loiseau, Stephane [editor.] | Filipe, Joaquim [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 :
    77.
    Transactions on Computational Collective Intelligence XVIII electronic resource edited by Ngoc Thanh Nguyen.

    by Nguyen, Ngoc Thanh [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    78.
    Bio-Inspired Computing -- Theories and Applications electronic resource 10th International Conference, BIC-TA 2015 Hefei, China, September 25-28, 2015, Proceedings / edited by Maoguo Gong, Linqiang Pan, Tao Song, Ke Tang, Xingyi Zhang.

    by Gong, Maoguo [editor.] | Pan, Linqiang [editor.] | Song, Tao [editor.] | Tang, Ke [editor.] | Zhang, Xingyi [editor.] | SpringerLink (Online service).

    Series: Communications in Computer and Information ScienceEdition: 1st ed. 2015.Source: 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 :
    79.
    Cellular Automata and Discrete Complex Systems electronic resource 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / edited by Jarkko Kari.

    by Kari, Jarkko [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, 2015Online access: Click here to access online Availability: No items available :
    80.
    Context in Computing electronic resource A Cross-Disciplinary Approach for Modeling the Real World / edited by Patrick Brézillon, Avelino J. Gonzalez.

    by Brézillon, Patrick [editor.] | Gonzalez, Avelino J [editor.] | 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 :
    81.
    Assessment of Total Evacuation Systems for Tall Buildings electronic resource by Enrico Ronchi, Daniel Nilsson.

    by Ronchi, Enrico [author.] | Nilsson, Daniel [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in FireSource: 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 :
    82.
    Geo-Informatics in Resource Management and Sustainable Ecosystem [electronic resource] : International Symposium, GRMSE 2013, Wuhan, China, November 8-10, 2013, Proceedings, Part II / edited by Fuling Bian, Yichun Xie, Xiaohui Cui, Yixin Zeng.

    by Bian, Fuling [editor.] | Xie, Yichun [editor.] | Cui, Xiaohui [editor.] | Zeng, Yixin [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 :
    83.
    Computational Logistics [electronic resource] : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings / edited by Dario Pacino, Stefan Voß, Rune Møller Jensen.

    by Pacino, Dario [editor.] | Voß, Stefan [editor.] | Jensen, Rune Møller [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 :
    84.
    Conceptual Modeling [electronic resource] : 32th International Conference, ER 2013, Hong-Kong, China, November 11-13, 2013. Proceedings / edited by Wilfred Ng, Veda C. Storey, Juan C. Trujillo.

    by Ng, Wilfred [editor.] | Storey, Veda C [editor.] | Trujillo, Juan C [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 :
    85.
    On the Move to Meaningful Internet Systems: OTM 2013 Workshops [electronic resource] : Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings / edited by Yan Tang Demey, Hervé Panetto.

    by Demey, Yan Tang [editor.] | Panetto, Hervé [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 :
    86.
    Modeling and Simulation in Engineering, Economics, and Management [electronic resource] : International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedings / edited by María Ángeles Fernández-Izquierdo, María Jesús Muñoz-Torres, Raúl León.

    by Fernández-Izquierdo, María Ángeles [editor.] | Muñoz-Torres, María Jesús [editor.] | León, Raúl [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Business Information ProcessingSource: 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 :
    87.
    Communication Technologies for Vehicles [electronic resource] : 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings / edited by Marion Berbineau, Magnus Jonsson, Jean-Marie Bonnin, Soumaya Cherkaoui, Marina Aguado, Cristina Rico-Garcia, Hassan Ghannoum, Rashid Mehmood, Alexey Vinel.

    by Berbineau, Marion [editor.] | Jonsson, Magnus [editor.] | Bonnin, Jean-Marie [editor.] | Cherkaoui, Soumaya [editor.] | Aguado, Marina [editor.] | Rico-Garcia, Cristina [editor.] | Ghannoum, Hassan [editor.] | Mehmood, Rashid [editor.] | Vinel, Alexey [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 :
    88.
    Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by José L. Ayala, Delong Shang, Alex Yakovlev.

    by Ayala, José L [editor.] | Shang, Delong [editor.] | Yakovlev, Alex [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 :
    89.
    Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò.

    by Veanes, Margus [editor.] | Viganò, Luca [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 :
    90.
    Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

    by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo M [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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 :
    91.
    Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part II / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

    by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo M [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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 :
    92.
    Computational Science and Its Applications – ICCSA 2013 [electronic resource] : 13th International Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV / edited by Beniamino Murgante, Sanjay Misra, Maurizio Carlini, Carmelo M. Torre, Hong-Quang Nguyen, David Taniar, Bernady O. Apduhan, Osvaldo Gervasi.

    by Murgante, Beniamino [editor.] | Misra, Sanjay [editor.] | Carlini, Maurizio [editor.] | Torre, Carmelo M [editor.] | Nguyen, Hong-Quang [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [editor.] | Gervasi, Osvaldo [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 :
    93.
    CAD, 3D Modeling, Engineering Analysis, and Prototype Experimentation electronic resource Industrial and Research Applications / by Jeremy Zheng Li.

    by Zheng Li, Jeremy [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 :
    94.
    The Visual Language of Technique electronic resource Volume 1 - History and Epistemology / edited by Luigi Cocchiarella.

    by Cocchiarella, Luigi [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 :
    95.
    Modelling Norms electronic resource by Corinna Elsenbroich, Nigel Gilbert.

    by Elsenbroich, Corinna [author.] | Gilbert, Nigel [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available :
    96.
    Computational Methods in Power System Analysis electronic resource by Reijer Idema, Domenico J.P. Lahaye.

    by Idema, Reijer [author.] | Lahaye, Domenico J.P [author.] | SpringerLink (Online service).

    Series: Atlantis Studies in Scientific Computing in ElectromagneticsSource: 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 :
    97.
    Cellular Automata electronic resource 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014. Proceedings / edited by Jarosław Wąs, Georgios Ch. Sirakoulis, Stefania Bandini.

    by Wąs, Jarosław [editor.] | Sirakoulis, Georgios Ch [editor.] | Bandini, Stefania [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 :
    98.
    KI 2014: Advances in Artificial Intelligence electronic resource 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings / edited by Carsten Lutz, Michael Thielscher.

    by Lutz, Carsten [editor.] | Thielscher, Michael [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 :
    99.
    Simulation, Modeling, and Programming for Autonomous Robots electronic resource 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings / edited by Davide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald.

    by Brugali, Davide [editor.] | Broenink, Jan F [editor.] | Kroeger, Torsten [editor.] | MacDonald, Bruce A [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 :
    100.
    Models@run.time electronic resource Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Aßmann.

    by Bencomo, Nelly [editor.] | France, Robert [editor.] | Cheng, Betty H. C [editor.] | Aßmann, Uwe [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 :