Scientific Library of Tomsk State University

   E-catalog        


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

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

  • Your search returned 399 results.

    Sort
    Results
    151.
    Index Matrices: Towards an Augmented Matrix Calculus electronic resource by Krassimir T. Atanassov.

    by Atanassov, Krassimir T [author.] | SpringerLink (Online service).

    Series: Studies in Computational IntelligenceSource: 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 :
    152.
    Systems Biology of Metabolic and Signaling Networks electronic resource Energy, Mass and Information Transfer / edited by Miguel A. Aon, Valdur Saks, Uwe Schlattner.

    by Aon, Miguel A [editor.] | Saks, Valdur [editor.] | Schlattner, Uwe [editor.] | SpringerLink (Online service).

    Series: Springer Series in BiophysicsSource: 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 :
    153.
    Neurobiological Bases of Abnormal Aggression and Violent Behaviour electronic resource by József Haller.

    by Haller, József [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 :
    154.
    Algorithmic Game Theory electronic resource 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedings / edited by Ron Lavi.

    by Lavi, Ron [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 :
    155.
    Nonlinear Phenomena in Complex Systems: From Nano to Macro Scale electronic resource edited by Davron Matrasulov, H. Eugene Stanley.

    by Matrasulov, Davron [editor.] | Stanley, H. Eugene [editor.] | SpringerLink (Online service).

    Series: NATO Science for Peace and Security Series C: Environmental SecuritySource: 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 :
    156.
    Engineering General Intelligence, Part 1 electronic resource A Path to Advanced AGI via Embodied Learning and Cognitive Synergy / by Ben Goertzel, Cassio Pennachin, Nil Geisweiller.

    by Goertzel, Ben [author.] | Pennachin, Cassio [author.] | Geisweiller, Nil [author.] | SpringerLink (Online service).

    Series: Atlantis Thinking MachinesSource: 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 :
    157.
    Numerical Methods in Matrix Computations electronic resource by Åke Björck.

    by Björck, Åke [author.] | SpringerLink (Online service).

    Series: Texts in Applied MathematicsSource: 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 :
    158.
    New Challenges in Grid Generation and Adaptivity for Scientific Computing electronic resource edited by Simona Perotto, Luca Formaggia.

    by Perotto, Simona [editor.] | Formaggia, Luca [editor.] | SpringerLink (Online service).

    Series: SEMA SIMAI Springer 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 :
    159.
    The Helmholtz Equation Least Squares Method electronic resource For Reconstructing and Predicting Acoustic Radiation / by Sean F. Wu.

    by Wu, Sean F [author.] | SpringerLink (Online service).

    Series: Modern Acoustics 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, 2015Online access: Click here to access online Availability: No items available :
    160.
    Aeroservoelasticity electronic resource Modeling and Control / by Ashish Tewari.

    by Tewari, Ashish [author.] | SpringerLink (Online service).

    Series: Control EngineeringSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    161.
    Stochastic Geometry, Spatial Statistics and Random Fields electronic resource Models and Algorithms / edited by Volker Schmidt.

    by Schmidt, Volker [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in MathematicsSource: 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 :
    162.
    Information Adaptation: The Interplay Between Shannon Information and Semantic Information in Cognition electronic resource by Hermann Haken, Juval Portugali.

    by Haken, Hermann [author.] | Portugali, Juval [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in ComplexitySource: 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 :
    163.
    Engineering Secure Software and Systems electronic resource 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings / edited by Frank Piessens, Juan Caballero, Nataliia Bielova.

    by Piessens, Frank [editor.] | Caballero, Juan [editor.] | Bielova, Nataliia [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 :
    164.
    Questions About Elastic Waves electronic resource by Jüri Engelbrecht.

    by Engelbrecht, Jüri [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 :
    165.
    Artificial Intelligent Approaches in Petroleum Geosciences electronic resource edited by Constantin Cranganu, Henri Luchian, Mihaela Elena Breaban.

    by Cranganu, Constantin [editor.] | Luchian, Henri [editor.] | Breaban, Mihaela Elena [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 :
    166.
    Stochastic Analysis of Biochemical Systems electronic resource by David F. Anderson, Thomas G. Kurtz.

    by Anderson, David F [author.] | Kurtz, Thomas G [author.] | SpringerLink (Online service).

    Series: Mathematical Biosciences Institute Lecture 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 :
    167.
    Murine Models, Energy Balance, and Cancer electronic resource edited by Nathan A. Berger.

    by Berger, Nathan A [editor.] | SpringerLink (Online service).

    Series: Energy Balance and CancerSource: 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 :
    168.
    Future City Architecture for Optimal Living electronic resource edited by Stamatina Th. Rassia, Panos M. Pardalos.

    by Rassia, Stamatina Th [editor.] | Pardalos, Panos M [editor.] | SpringerLink (Online service).

    Series: Springer Optimization and Its ApplicationsSource: 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 :
    169.
    Validating Neuro-Computational Models of Neurological and Psychiatric Disorders electronic resource edited by Basabdatta Sen Bhattacharya, Fahmida N. Chowdhury.

    by Bhattacharya, Basabdatta Sen [editor.] | Chowdhury, Fahmida N [editor.] | SpringerLink (Online service).

    Series: Springer Series in Computational NeuroscienceEdition: 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 :
    170.
    Mathematical Methods and Models in Economic Planning, Management and Budgeting electronic resource by Galimkair Mutanov.

    by Mutanov, Galimkair [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: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    171.
    An Introduction to Neural Network Methods for Differential Equations electronic resource by Neha Yadav, Anupam Yadav, Manoj Kumar.

    by Yadav, Neha [author.] | Yadav, Anupam [author.] | Kumar, Manoj [author.] | SpringerLink (Online service).

    Series: SpringerBriefs in Applied Sciences and TechnologySource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    172.
    Explanation in Biology electronic resource An Enquiry into the Diversity of Explanatory Patterns in the Life Sciences / by Pierre-Alain Braillard, Christophe Malaterre.

    by Braillard, Pierre-Alain [author.] | Malaterre, Christophe [author.] | SpringerLink (Online service).

    Series: History, Philosophy and Theory of the Life SciencesSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available :
    173.
    ARIS Design Platform Электронный ресурс Advanced Process Modelling and Administration / by Rob Davis.

    by Davis, Rob | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: London : Springer-Verlag London Limited, 2008Online access: Click here to access online Availability: No items available :
    174.
    Spatial Information Theory Электронный ресурс International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005, Proceedings edited by Anthony G. Cohn, David M. Mark.

    by Cohn, Anthony G | Mark, David M | 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 :
    175.
    Conceptual Modeling - ER 2006 Электронный ресурс 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings edited by David W. Embley, Antoni Olivé, Sudha Ram.

    by Embley, David W | Olivé, Antoni | Ram, Sudha | 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 :
    176.
    Formal Methods and Software Engineering Электронный ресурс 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings.

    by Butler, Michael | Hinchey, Michael G | Larrondo-Petrie, María M | 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 :
    177.
    Software Process Improvement Электронный ресурс 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings / edited by Rory V. O’Connor, Nathan Baddoo, Kari Smolander, Richard Messnarz.

    by O’Connor, Rory V | Baddoo, Nathan | Messnarz, Richard | Smolander, Kari | SpringerLink (Online service).

    Series: Communications in Computer and Information 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 :
    178.
    Active Conceptual Modeling of Learning Электронный ресурс Next Generation Learning-Base System Development / edited by Peter P. Chen, Leah Y. Wong.

    by Chen, Peter P | Wong, Leah Y | 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 :
    179.
    Verified Software: Theories, Tools, Experiments Электронный ресурс Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 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, Natarajan Shankar, Jim Woodcock.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Shankar, Natarajan | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | Woodcock, Jim | 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 :
    180.
    Languages and Compilers for Parallel Computing Электронный ресурс 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 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, José Nelson Amaral.

    by Hutchison, David | Amaral, José Nelson | 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 | 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, 2008Online access: Click here to access online Availability: No items available :
    181.
    Applications of Agent Technology in Traffic and Transportation Электронный ресурс edited by Franziska Klügl, Ana Bazzan, Sascha Ossowski.

    by Klügl, Franziska | Bazzan, Ana L. C | Ossowski, Sascha | SpringerLink (Online service).

    Series: Whitestein Series in Software Agent TechnologiesSource: 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 :
    182.
    Control of Cell Fate in the Circulatory and Ventilatory Systems electronic resource by Marc Thiriet.

    by Thiriet, Marc [author.] | SpringerLink (Online service).

    Series: Biomathematical and Biomechanical Modeling of the Circulatory and Ventilatory SystemsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: New York, NY : Springer New York, 2012Online access: Click here to access online Availability: No items available :
    183.
    Morphogenetic Engineering electronic resource Toward Programmable Complex Systems / edited by René Doursat, Hiroki Sayama, Olivier Michel.

    by Doursat, René [editor.] | Sayama, Hiroki [editor.] | Michel, Olivier [editor.] | SpringerLink (Online service).

    Series: Understanding Complex SystemsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available :
    184.
    Mapping Scientific Frontiers [electronic resource] : The Quest for Knowledge Visualization / by Chaomei Chen.

    by Chen, Chaomei [author.] | SpringerLink (Online service).

    Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    185.
    Assessing Ocular Toxicology in Laboratory Animals electronic resource edited by Andrea B Weir, Margaret Collins.

    by Weir, Andrea B [editor.] | Collins, Margaret [editor.] | SpringerLink (Online service).

    Series: Molecular and Integrative ToxicologySource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Totowa, NJ : Humana Press : Imprint: Humana Press, 2013Online access: Click here to access online Availability: No items available :
    186.
    Time and Petri Nets electronic resource by Louchka Popova-Zeugmann.

    by Popova-Zeugmann, Louchka [author.] | SpringerLink (Online service).

    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 :
    187.
    Evolution-adjusted Tumor Pathophysiology: [electronic resource] : The Novel Language of Tumor Biology / edited by Albrecht Reichle.

    by Reichle, Albrecht [editor.] | 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, 2013Online access: Click here to access online Availability: No items available :
    188.
    Solving the Mind-Body Problem by the CODAM Neural Model of Consciousness? electronic resource by John G. Taylor.

    by Taylor, John G [author.] | SpringerLink (Online service).

    Series: Springer Series in Cognitive and Neural SystemsSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    189.
    Experimental Metastasis: Modeling and Analysis electronic resource edited by Anastasia Malek.

    by Malek, Anastasia [editor.] | 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, 2013Online access: Click here to access online Availability: No items available :
    190.
    Software Engineering: A Hands-On Approach electronic resource by Roger Y. Lee.

    by Lee, Roger Y [author.] | SpringerLink (Online service).

    Source: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Paris : Atlantis Press : Imprint: Atlantis Press, 2013Online access: Click here to access online Availability: No items available :
    191.
    Distributed, Ambient, and Pervasive Interactions [electronic resource] : First International Conference, DAPI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013. Proceedings / edited by Norbert Streitz, Constantine Stephanidis.

    by Streitz, Norbert [editor.] | Stephanidis, Constantine [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 :
    192.
    Biomechanics of the Human Urinary Bladder electronic resource by Roustem N. Miftahof, Hong Gil Nam.

    by Miftahof, Roustem N [author.] | Nam, Hong Gil [author.] | SpringerLink (Online service).

    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 :
    193.
    Advances in Computational Intelligence [electronic resource] : 12th International Work-Conference on Artificial Neural Networks, IWANN 2013, Puerto de la Cruz, Tenerife, Spain, June 12-14, 2013, Proceedings, Part II / edited by Ignacio Rojas, Gonzalo Joya, Joan Cabestany.

    by Rojas, Ignacio [editor.] | Joya, Gonzalo [editor.] | Cabestany, Joan [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 :
    194.
    Data Streams Электронный ресурс Models and Algorithms / edited by Charu C. Aggarwal.

    by Aggarwal, Charu C | SpringerLink (Online service).

    Series: Advances in Database SystemsSource: 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 :
    195.
    Logical Data Modeling Электронный ресурс What it is and How to do it / by Alan Chmura, J. Mark Heumann.

    by Chmura, Alan | Heumann, J. Mark | SpringerLink (Online service).

    Series: Integrated Series in Information SystemsSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available :
    196.
    Formal Aspects in Security and Trust Электронный ресурс IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France / edited by Theo Dimitrakos, Fabio Martinelli.

    by Dimitrakos, Theo | Martinelli, Fabio | 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 Processing, 2005Online access: Click here to access online Availability: No items available :
    197.
    Industrial Applications of Semantic Web Электронный ресурс Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25–27, 2005, JyvГ¤skylГ¤, Finland / edited by Max Bramer, Vagan Terziyan.

    by Bramer, Max | Terziyan, Vagan | SpringerLink (Online service).

    Series: IFIP — The 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 Processing, 2005Online access: Click here to access online Availability: No items available :
    198.
    Data Mining for Business Applications Электронный ресурс edited by Longbing Cao, Philip S. Yu, Chengqi Zhang, Huaifeng Zhang.

    by Cao, Longbing | Yu, Philip S | Zhang, Chengqi | Zhang, Huaifeng | 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 :
    199.
    Semantic Web: Concepts, Technologies and Applications Электронный ресурс by Karin Koogan Breitman, Marco Antonio Casanova, Walter Truszkowski.

    by Breitman, Karin Koogan | Casanova, Marco Antonio | Truszkowski, Walter | SpringerLink (Online service).

    Series: NASA Monographs in Systems and Software EngineeringSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: London : Springer-Verlag London Limited, 2007Online access: Click here to access online Availability: No items available :
    200.
    Engineering Theories of Software Intensive Systems Электронный ресурс Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 / edited by Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare.

    by Broy, Manfred | Grünbauer, Johannes | Harel, David | Hoare, Tony | SpringerLink (Online service).

    Series: NATO Science Series, Series II: Mathematics, Physics and ChemistrySource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Dordrecht : Springer, 2005Online access: Click here to access online Availability: No items available :
    Pages