Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 168 results.

    1.
    Membrane Computing Электронный ресурс 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited 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, David Wolfe Corne, Pierluigi Frisco, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.

    by Hutchison, David | Corne, David Wolfe | Frisco, Pierluigi | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
    2.
    Coordination of Large-Scale Multiagent Systems Электронный ресурс edited by Paul Scerri, Régis Vincent, Roger Mailler.

    by Scerri, Paul | Mailler, Roger | Vincent, Régis | 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 :
    3.
    Formal Models of Communicating Systems Электронный ресурс Languages, Automata, and Monadic Second-Order Logic / by Benedikt Bollig.

    by Bollig, Benedikt | 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, 2006Online access: Click here to access online Availability: No items available :
    4.
    Developments in Language Theory (vol. # 4036) Электронный ресурс 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings edited by Oscar H. Ibarra, Zhe Dang.

    by Ibarra, Oscar H | Dang, Zhe | 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 :
    5.
    Implementation and Applications of Automata Электронный ресурс 13th International Conference, CIAA 2008, San Francisco, California, USA, 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, Oscar H. Ibarra, Bala Ravikumar.

    by Hutchison, David | Ibarra, Oscar H | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Ravikumar, Bala | 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 :
    6.
    Computational Intelligence (vol. # 4114) Электронный ресурс International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part II edited by De-Shuang Huang, Kang Li, George William Irwin.

    by Huang, De-Shuang | Irwin, George William | Li, Kang | 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 :
    7.
    Advances in Learning Classifier Systems Электронный ресурс 4th International Workshop, IWLCS 2001 San Francisco, CA, USA, July 7-8, 2001 Revised Papers / edited by Pier Luca Lanzi, Wolfgang Stolzmann, Stewart W. Wilson.

    by Lanzi, Pier Luca | Stolzmann, Wolfgang | Wilson, Stewart W.

    Series: Lecture Notes in Computer ScienceMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    8.
    Current Topics in Artificial Intelligence Электронный ресурс 11th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16-18, 2005, Revised Selected Papers edited by Roqu

    by Marín, Roque | Bugarín, Alberto | Onaindía, Eva | Santos, José | 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 :
    9.
    Algorithmic Learning Theory (vol. # 4264) Электронный ресурс 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings edited by José L. Balcázar, Philip M. Long, Frank Stephan.

    by Balcázar, José L | Long, Philip M | Stephan, Frank | 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 :
    10.
    Transactions on Rough Sets V Электронный ресурс edited by James F. Peters, Andrzej Skowron.

    by Peters, James F | Skowron, Andrzej | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publication details: Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg, 2006Online access: Click here to access online Availability: No items available :
    11.
    Foundations of Software Science and Computational Structures Электронный ресурс 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.

    by Seidl, Helmut | 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 :
    12.
    Rough Sets, Fuzzy Sets, Data Mining and Granular Computing Электронный ресурс 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007. Proceedings / edited by Aijun An, Jerzy Stefanowski, Sheela Ramanna, Cory J. Butz, Wit

    by An, Aijun | Butz, Cory J | Pedrycz, Witold | Ramanna, Sheela | Stefanowski, Jerzy | Wang, Guoyin | 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 :
    13.
    Transactions on Rough Sets IV Электронный ресурс edited by James F. Peters, Andrzej Skowron.

    by Peters, James F | Skowron, Andrzej | 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.
    Foundations of Software Science and Computational Structures Электронный ресурс 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March

    by Amadio, Roberto | 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 :
    15.
    Implementation and Application of Automata Электронный ресурс 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan ЕЅdГЎrek.

    by Holub, Jan | 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 :
    16.
    Implementation and Application of Automata (vol. # 3845) Электронный ресурс 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers edited by Jacques Farré, Igor Litovsky, Sylvain Sch

    by Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain | 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 :
    17.
    Formal Methods in Software and Systems Modeling Электронный ресурс Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday edited by Hans-Jörg KreowskiUgo Montanari, Fernando Orejas, Grzegorz Rozenberg et al.

    by Kreowski, Hans-Jörg | Montanari, Ugo | Orejas, Fernando | Rozenberg, Grzegorz | Taentzer, Gabriele | 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 :
    18.
    Implementation and Application of Automata (vol. # 4094) Электронный ресурс 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings edited by Oscar H. Ibarra, Hsu-Chun Yen.

    by Ibarra, Oscar H | Yen, Hsu-Chun | 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 :
    19.
    Foundations of Software Science and Computation Structures electronic resource 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Andrew Pitts.

    by Pitts, Andrew [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 :
    20.
    Language and Automata Theory and Applications electronic resource 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe.

    by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Sierra-Rodríguez, José-Luis [editor.] | Truthe, Bianca [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 :
    21.
    Evolving Computability electronic resource 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings / edited by Arnold Beckmann, Victor Mitrana, Mariya Soskova.

    by Beckmann, Arnold [editor.] | Mitrana, Victor [editor.] | Soskova, Mariya [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 :
    22.
    Machines, Computations, and Universality electronic resource 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.

    by Durand-Lose, Jerome [editor.] | Nagy, Benedek [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 :
    23.
    Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation electronic resource Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Mirosław Truszczyński, Stefan Woltran.

    by Eiter, Thomas [editor.] | Strass, Hannes [editor.] | Truszczyński, Mirosław [editor.] | Woltran, Stefan [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 :
    24.
    Algorithmic Learning Theory [electronic resource] : 24th International Conference, ALT 2013, Singapore, October 6-9, 2013. Proceedings / edited by Sanjay Jain, Rémi Munos, Frank Stephan, Thomas Zeugmann.

    by Jain, Sanjay [editor.] | Munos, Rémi [editor.] | Stephan, Frank [editor.] | Zeugmann, Thomas [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 :
    25.
    Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.

    by Giacobazzi, Roberto [editor.] | Berdine, Josh [editor.] | Mastroeni, Isabella [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 :
    26.
    Developments in Language Theory [electronic resource] : 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings / edited by Marie-Pierre Béal, Olivier Carton.

    by Béal, Marie-Pierre [editor.] | Carton, Olivier [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 :
    27.
    The Nature of Computation. Logic, Algorithms, Applications [electronic resource] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings / edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe.

    by Bonizzoni, Paola [editor.] | Brattka, Vasco [editor.] | Löwe, Benedikt [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 :
    28.
    Inductive Logic Programming [electronic resource] : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers / edited by Fabrizio Riguzzi, Filip Železný.

    by Riguzzi, Fabrizio [editor.] | Železný, Filip [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 :
    29.
    Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis.

    by Konstantinidis, Stavros [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 :
    30.
    Theory and Applications of Satisfiability Testing – SAT 2013 [electronic resource] : 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings / edited by Matti Järvisalo, Allen Van Gelder.

    by Järvisalo, Matti [editor.] | Van Gelder, Allen [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 :
    31.
    Descriptional Complexity of Formal Systems [electronic resource] : 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings / edited by Helmut Jurgensen, Rogério Reis.

    by Jurgensen, Helmut [editor.] | Reis, Rogério [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 :
    32.
    Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Dirk Beyer, Michele Boreale.

    by Beyer, Dirk [editor.] | Boreale, Michele [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 :
    33.
    AI*IA 2013: Advances in Artificial Intelligence [electronic resource] : XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings / edited by Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio.

    by Baldoni, Matteo [editor.] | Baroglio, Cristina [editor.] | Boella, Guido [editor.] | Micalizio, Roberto [editor.] | SpringerLink (Online service).

    Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available :
    34.
    Implementation and Application of Automata electronic resource 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings / edited by Markus Holzer, Martin Kutrib.

    by Holzer, Markus [editor.] | Kutrib, Martin [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 :
    35.
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change electronic resource 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.

    by Margaria, Tiziana [editor.] | Steffen, Bernhard [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 :
    36.
    Categories and Types in Logic, Language, and Physics electronic resource Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday / edited by Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott.

    by Casadio, Claudia [editor.] | Coecke, Bob [editor.] | Moortgat, Michael [editor.] | Scott, Philip [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 :
    37.
    Formal Techniques for Distributed Objects, Components, and Systems electronic resource 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings / edited by Erika Ábrahám, Catuscia Palamidessi.

    by Ábrahám, Erika [editor.] | Palamidessi, Catuscia [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 :
    38.
    Foundations of Software Science and Computation Structures electronic resource 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Anca Muscholl.

    by Muscholl, Anca [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 :
    39.
    Rough Sets and Knowledge Technology Электронный ресурс First International Conference, RSKT 2006, Chongquing, China, July 24-26, 2006, Proceedings edited by Guoyin Wang, James F. Peters, Andrzej Skowron, Yiju Yao.

    by Wang, Guoyin | Peters, James F | Skowron, Andrzej | Yao, Yiyu | 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 :
    40.
    Fundamentals of Computation Theory Электронный ресурс 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings edited by Maciej Liskiewicz, Rüdiger Reischuk.

    by Liskiewicz, Maciej | Reischuk, Rüdiger | 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 :
    41.
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science Электронный ресурс 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings edited by S. Arun-Kumar, Naveen Garg.

    by Arun-Kumar, S | Garg, Naveen | 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 :
    42.
    Database Theory - ICDT 2007 Электронный ресурс 11th International Conference, Barcelona, Spain, January 10-12, 2007, Proceedings edited by Thomas Schwentick, Dan Suciu.

    by Schwentick, Thomas | Suciu, Dan | 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.
    Artificial Intelligence and Soft Computing – ICAISC 2008 Электронный ресурс 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings / edited by Leszek Rutkowski, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.

    by Rutkowski, Leszek | Tadeusiewicz, Ryszard | Zadeh, Lotfi A | Zurada, Jacek M | 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 :
    44.
    Theoretical Aspects of Computing - ICTAC 2006 Электронный ресурс Third International Colloquium, Tunis, Tunisia, November 20-24, 2006Proceedings edited by Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone.

    by Barkaoui, Kamel | Cavalcanti, Ana | Cerone, Antonio | 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 :
    45.
    Modeling Decisions for Artificial Intelligence Электронный ресурс 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Yuji Yoshida.

    by Torra, Vicenç | Narukawa, Yasuo | Yoshida, Yuji | 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 :
    46.
    Neural-Symbolic Cognitive Reasoning Электронный ресурс edited by Dov M. Gabbay, Jörg Siekmann, Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay.

    by Gabbay, Dov M | Gabbay, Dov M | Garcez, Artur S. d'Avila | Lamb, Luís C | Siekmann, Jörg | SpringerLink (Online service).

    Series: Cognitive TechnologiesSource: 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 :
    47.
    The Calculus of Computation Электронный ресурс Decision Procedures with Applications to Verification / by Aaron R. Bradley, Zohar Manna.

    by Bradley, Aaron R | Manna, Zohar | 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 :
    48.
    Transactions on Rough Sets VIII Электронный ресурс 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, James F. Peters, Andrzej Skowron.

    by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Peters, James F | Skowron, Andrzej | 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 :
    49.
    AI 2007: Advances in Artificial Intelligence Электронный ресурс 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007. Proceedings / edited by Mehmet A. Orgun, John Thornton.

    by Orgun, Mehmet A | Thornton, John | 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 :
    50.
    Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence Электронный ресурс 4th International Conference on Intelligent Computing, ICIC 2008 Shanghai, China, September 15-18, 2008 Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, De-Shuang Huang, Donald C. Wunsch, Daniel S. Levine, Kang-Hyun Jo.

    by Carbonell, Jaime G | Huang, De-Shuang | Jo, Kang-Hyun | Levine, Daniel S | Siekmann, Jörg | Wunsch, Donald C | 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 :