Научная библиотека ТГУ catalog › Results of search for 'an:303503'

Your search returned 348 results.

	151.	Metaheuristics: Progress as Real Problem Solvers Электронный ресурс edited by Toshihide Ibaraki, Koji Nonobe, Mutsunori Yagiura. by Ibaraki, Toshihide \| Nonobe, Koji \| Yagiura, Mutsunori \| SpringerLink (Online service). Series: Operations Research/Computer Science Interfaces SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	152.	Measuring Scholarly Impact electronic resource Methods and Practice / edited by Ying Ding, Ronald Rousseau, Dietmar Wolfram. by Ding, Ying [editor.] \| Rousseau, Ronald [editor.] \| Wolfram, Dietmar [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	153.	Physical and Statistical Models for Steam Generator Clogging Diagnosis electronic resource by Sylvain Girard. by Girard, Sylvain [author.] \| SpringerLink (Online service). Series: SpringerBriefs in Applied Sciences and TechnologySource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	154.	Computer Algebra and Geometric Algebra with Applications Электронный ресурс 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Paper by Li, Hongbo \| Olver, Peter J \| Sommer, Gerald \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	155.	Hybrid Metaheuristics (vol. # 3636) Электронный ресурс Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings edited by María José Blesa Aguilera, Christian Blum, Andrea Roli, Michael Sampels. by Blesa Aguilera, María José \| Blum, Christian \| Roli, Andrea \| Sampels, Michael \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	156.	Theory and Applications of Satisfiability Testing - SAT 2006 Электронный ресурс 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings edited by Armin Biere, Carla P. Gomes. by Biere, Armin \| Gomes, Carla P \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	157.	Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques Электронный ресурс 8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Wo by Chekuri, Chandra \| Jansen, Klaus \| Rolim, José D. P \| Trevisan, Luca \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	158.	Logic and Its Applications Электронный ресурс Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, R. Ramanujam, Sundar Sarukkai. by Hutchison, David \| Goebel, Randy \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Ramanujam, R \| Sarukkai, Sundar \| Siekmann, Jörg \| Steffen, Bernhard \| Sudan, Madhu \| Terzopoulos, Demetri \| Tygar, Doug \| Vardi, Moshe Y \| Wahlster, Wolfgang \| Weikum, Gerhard \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	159.	Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques Электронный ресурс 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 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, Ashish Goel, Klaus Jansen, José D. P. Rolim, Ronitt Rubinfeld. by Hutchison, David \| Goel, Ashish \| Jansen, Klaus \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Rolim, José D. P \| Rubinfeld, Ronitt \| 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; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	160.	Pedestrian and Evacuation Dynamics 2012 electronic resource edited by Ulrich Weidmann, Uwe Kirsch, Michael Schreckenberg. by Weidmann, Ulrich [editor.] \| Kirsch, Uwe [editor.] \| Schreckenberg, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	161.	Hybrid Metaheuristics electronic resource 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings / edited by Maria J. Blesa, Christian Blum, Stefan Voß. by Blesa, Maria J [editor.] \| Blum, Christian [editor.] \| Voß, Stefan [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	162.	Progress in Cryptology – AFRICACRYPT 2014 electronic resource 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings / edited by David Pointcheval, Damien Vergnaud. by Pointcheval, David [editor.] \| Vergnaud, Damien [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	163.	Combinatorial Image Analysis electronic resource 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014. Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Josef Šlapal. by Barneva, Reneta P [editor.] \| Brimkov, Valentin E [editor.] \| Šlapal, Josef [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	164.	Experimental Algorithms electronic resource 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 – July 1, 2014. Proceedings / edited by Joachim Gudmundsson, Jyrki Katajainen. by Gudmundsson, Joachim [editor.] \| Katajainen, Jyrki [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	165.	Computer Science - Theory and Applications electronic resource 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / edited by Edward A. Hirsch, Sergei O. Kuznetsov, Jean-Éric Pin, Nikolay K. Vereshchagin. by Hirsch, Edward A [editor.] \| Kuznetsov, Sergei O [editor.] \| Pin, Jean-Éric [editor.] \| Vereshchagin, Nikolay K [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	166.	Computer Algebra in Scientific Computing electronic resource 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov. by Gerdt, Vladimir P [editor.] \| Koepf, Wolfram [editor.] \| Seiler, Werner M [editor.] \| Vorozhtsov, Evgenii V [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	167.	Artificial Evolution electronic resource 11th International Conference, Evolution Artificielle, EA 2013, Bordeaux, France, October 21-23, 2013. Revised Selected Papers / edited by Pierrick Legrand, Marc-Michel Corsini, Jin-Kao Hao, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer. by Legrand, Pierrick [editor.] \| Corsini, Marc-Michel [editor.] \| Hao, Jin-Kao [editor.] \| Monmarché, Nicolas [editor.] \| Lutton, Evelyne [editor.] \| Schoenauer, Marc [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	168.	Similarity Search and Applications electronic resource 7th International Conference, SISAP 2014, Los Cabos, Mexico, October 29-31, 2014. Proceedings / edited by Agma Juci Machado Traina, Caetano Traina, Robson Leonardo Ferreira Cordeiro. by Traina, Agma Juci Machado [editor.] \| Traina, Caetano [editor.] \| Cordeiro, Robson Leonardo Ferreira [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	169.	Modeling Decisions for Artificial Intelligence electronic resource 11th International Conference, MDAI 2014, Tokyo, Japan, October 29-31, 2014. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Yasunori Endo. by Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Endo, Yasunori [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	170.	Rough Sets and Knowledge Technology electronic resource 9th International Conference, RSKT 2014, Shanghai, China, October 24-26, 2014, Proceedings / edited by Duoqian Miao, Witold Pedrycz, Dominik Ślȩzak, Georg Peters, Qinghua Hu, Ruizhi Wang. by Miao, Duoqian [editor.] \| Pedrycz, Witold [editor.] \| Ślȩzak, Dominik [editor.] \| Peters, Georg [editor.] \| Hu, Qinghua [editor.] \| Wang, Ruizhi [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	171.	Hybrid Metaheuristics [electronic resource] : 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings / edited by María J. Blesa, Christian Blum, Paola Festa, Andrea Roli, Michael Sampels. by Blesa, María J [editor.] \| Blum, Christian [editor.] \| Festa, Paola [editor.] \| Roli, Andrea [editor.] \| Sampels, Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	172.	GPU Solutions to Multi-scale Problems in Science and Engineering electronic resource edited by David A. Yuen, Long Wang, Xuebin Chi, Lennart Johnsson, Wei Ge, Yaolin Shi. by Yuen, David A [editor.] \| Wang, Long [editor.] \| Chi, Xuebin [editor.] \| Johnsson, Lennart [editor.] \| Ge, Wei [editor.] \| Shi, Yaolin [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Earth System SciencesSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	173.	Numerical Analysis and Its Applications [electronic resource] : 5th International Conference, NAA 2012, Lozenetz, Bulgaria, June 15-20, 2012, Revised Selected Papers / edited by Ivan Dimov, István Faragó, Lubin Vulkov. by Dimov, Ivan [editor.] \| Faragó, István [editor.] \| Vulkov, Lubin [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	174.	Transactions on Computational Science XXII electronic resource edited by Marina L. Gavrilova, C. J. Kenneth Tan. by Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	175.	Large-Scale Scientific Computing electronic resource 9th International Conference, LSSC 2013, Sozopol, Bulgaria, June 3-7, 2013. Revised Selected Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Waśniewski. by Lirkov, Ivan [editor.] \| Margenov, Svetozar [editor.] \| Waśniewski, Jerzy [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	176.	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; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	177.	Model-Driven Software Migration: A Methodology electronic resource Reengineering, Recovery and Modernization of Legacy Systems / by Christian Wagner. by Wagner, Christian [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	178.	Mathematical Software – ICMS 2014 electronic resource 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings / edited by Hoon Hong, Chee Yap. by Hong, Hoon [editor.] \| Yap, Chee [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	179.	Efficient Algorithms for Global Optimization Methods in Computer Vision electronic resource International Dagstuhl Seminar, Dagstuhl Castle, Germany, November 20-25, 2011, Revised Selected Papers / edited by Andrés Bruhn, Thomas Pock, Xue-Cheng Tai. by Bruhn, Andrés [editor.] \| Pock, Thomas [editor.] \| Tai, Xue-Cheng [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	180.	Constraint Theory Электронный ресурс Multidimensional Mathematical Model Management / by George J. Friedman. by Friedman, George J \| SpringerLink (Online service). Series: Ifsr International Series on Systems Science and EngineeringSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	181.	Information Processing and Security Systems Электронный ресурс edited by Khalid Saeed, Jerzy Pejaś by Saeed, Khalid \| Pejaś, Jerzy \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	182.	Nonlinear Physical Oceanography Электронный ресурс A Dynamical Systems Approach to the Large Scale Ocean Circulation and El NiГ±o, 2nd Revised and Enlarged Edition edited by Henk A. Dijkstra. by Dijkstra, Henk A \| SpringerLink (Online service). Series: Atmospheric and Oceanographic Sciences LibrarySource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	183.	Parallel Scientific Computing and Optimization Электронный ресурс Advances and Applications / by Raimondas Čiegis, David Henty, Bo Kågström, Julius Žilinskas ; edited by Panos M. Pardalos, Ding-Zhu Du. by Čiegis, Raimondas \| Du, Ding-Zhu \| Henty, David \| Pardalos, Panos M \| Kågström, Bo \| Žilinskas, Julius \| SpringerLink (Online service). Series: Springer Optimization and Its ApplicationsSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	184.	Multi-Agent Programming Электронный ресурс Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H \| Dastani, Mehdi \| Dix, Jürgen \| Fallah Seghrouchni, Amal \| SpringerLink (Online service). Series: Multiagent Systems, Artificial Societies, and Simulated Organizations, International Book SeriesSource: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	185.	Languages and Compilers for Parallel Computing Электронный ресурс 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, 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, Vikram Adve, María Jesús Garzarán, Paul Petersen. by Hutchison, David \| Adve, Vikram \| Garzarán, María Jesús \| Kanade, Takeo \| Kittler, Josef \| Kleinberg, Jon M \| Mattern, Friedemann \| Mitchell, John C \| Naor, Moni \| Nierstrasz, Oscar \| Pandu Rangan, C \| Petersen, Paul \| 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; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	186.	Transactions on Computational Systems Biology IX Электронный ресурс edited by Sorin Istrail, Pavel Pevzner, Michael S. Waterman, Corrado Priami. by Istrail, Sorin \| Pevzner, Pavel \| Priami, Corrado \| Waterman, Michael S \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	187.	Recent Advances in Constraints Электронный ресурс 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers / edited by Jaime G. Carbonell, Jörg Siekmann, François Fages, Francesca Rossi, Sylvain Soliman. by Carbonell, Jaime G \| Fages, François \| Rossi, Francesca \| Siekmann, Jörg \| Soliman, Sylvain \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	188.	Break-Glass electronic resource Handling Exceptional Situations in Access Control / by Helmut Petritsch. by Petritsch, Helmut [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	189.	Modeling and Simulation of Complex Systems electronic resource A Framework for Efficient Agent-Based Modeling and Simulation / by Robert Siegfried. by Siegfried, Robert [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	190.	Mathematical Foundations of Computer Science 2014 electronic resource 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II / edited by Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik. by Csuhaj-Varjú, Erzsébet [editor.] \| Dietzfelbinger, Martin [editor.] \| Ésik, Zoltán [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	191.	High Performance Computing electronic resource First HPCLATAM - CLCAR Latin American Joint Conference, CARLA 2014, Valparaiso, Chile, October 20-22, 2014. Proceedings / edited by Gonzalo Hernández, Carlos Jaime Barrios Hernández, Gilberto Díaz, Carlos García Garino, Sergio Nesmachnow, Tomás Pérez-Acle, Mario Storti, Mariano Vázquez. by Hernández, Gonzalo [editor.] \| Barrios Hernández, Carlos Jaime [editor.] \| Díaz, Gilberto [editor.] \| García Garino, Carlos [editor.] \| Nesmachnow, Sergio [editor.] \| Pérez-Acle, Tomás [editor.] \| Storti, Mario [editor.] \| Vázquez, Mariano [editor.] \| SpringerLink (Online service). Series: Communications in Computer and Information ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	192.	Theoretical Computer Science electronic resource 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings / edited by Josep Diaz, Ivan Lanese, Davide Sangiorgi. by Diaz, Josep [editor.] \| Lanese, Ivan [editor.] \| Sangiorgi, Davide [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	193.	Transactions on Rough Sets XVII electronic resource edited by James F. Peters, Andrzej Skowron. by Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	194.	Computing Meaning electronic resource Volume 4 / edited by Harry Bunt, Johan Bos, Stephen Pulman. by Bunt, Harry [editor.] \| Bos, Johan [editor.] \| Pulman, Stephen [editor.] \| SpringerLink (Online service). Series: Text, Speech and Language TechnologySource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	195.	Search Methodologies electronic resource Introductory Tutorials in Optimization and Decision Support Techniques / edited by Edmund K. Burke, Graham Kendall. by Burke, Edmund K [editor.] \| Kendall, Graham [editor.] \| SpringerLink (Online service). Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Boston, MA : Springer US : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	196.	Numerical Computations with GPUs electronic resource edited by Volodymyr Kindratenko. by Kindratenko, Volodymyr [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	197.	Agent and Multi-Agent Systems: Technologies and Applications electronic resource Proceedings of the 8th International Conference KES-AMSTA 2014 Chania, Greece, June 2014 / edited by Gordan Jezic, Mario Kusek, Ignac Lovrek, Robert J. Howlett, Lakhmi C. Jain. by Jezic, Gordan [editor.] \| Kusek, Mario [editor.] \| Lovrek, Ignac [editor.] \| J. Howlett, Robert [editor.] \| Jain, Lakhmi C [editor.] \| SpringerLink (Online service). Series: Advances in Intelligent Systems and ComputingSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	198.	Introduction to Nonsmooth Optimization electronic resource Theory, Practice and Software / by Adil Bagirov, Napsu Karmitsa, Marko M. Mäkelä. by Bagirov, Adil [author.] \| Karmitsa, Napsu [author.] \| Mäkelä, Marko M [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	199.	Autonomy Requirements Engineering for Space Missions electronic resource by Emil Vassev, Mike Hinchey. by Vassev, Emil [author.] \| Hinchey, Mike [author.] \| SpringerLink (Online service). Series: NASA Monographs in Systems and Software EngineeringSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	200.	Algorithms and Complexity [electronic resource] : 8th International Conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013. Proceedings / edited by Paul G. Spirakis, Maria Serna. by Spirakis, Paul G [editor.] \| Serna, Maria [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)