Научная библиотека ТГУ catalog

Your search returned 1767 results.

	351.	Trusted Cloud Computing electronic resource edited by Helmut Krcmar, Ralf Reussner, Bernhard Rumpe. by Krcmar, Helmut [editor.] \| Reussner, Ralf [editor.] \| Rumpe, Bernhard [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)
	352.	Programming Languages electronic resource 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings / edited by Fernando Magno Quintão Pereira. by Quintão Pereira, Fernando Magno [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)
	353.	Cloud Computing and Services Science electronic resource Third International Conference, CLOSER 2013, Aachen, Germany, May 8-10, 2013, Revised Selected Papers / edited by Markus Helfert, Frédéric Desprez, Donald Ferguson, Frank Leymann. by Helfert, Markus [editor.] \| Desprez, Frédéric [editor.] \| Ferguson, Donald [editor.] \| Leymann, Frank [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: 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)
	354.	Simulation, Modeling, and Programming for Autonomous Robots electronic resource 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings / edited by Davide Brugali, Jan F. Broenink, Torsten Kroeger, Bruce A. MacDonald. by Brugali, Davide [editor.] \| Broenink, Jan F [editor.] \| Kroeger, Torsten [editor.] \| MacDonald, Bruce A [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; 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)
	355.	Models@run.time electronic resource Foundations, Applications, and Roadmaps / edited by Nelly Bencomo, Robert France, Betty H. C. Cheng, Uwe Aßmann. by Bencomo, Nelly [editor.] \| France, Robert [editor.] \| Cheng, Betty H. C [editor.] \| Aßmann, Uwe [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Text; 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)
	356.	Information Technology and Open Source: Applications for Education, Innovation, and Sustainability electronic resource SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers / edited by Antonio Cerone, Donatella Persico, Sara Fernandes, Alexeis Garcia-Perez, Panagiotis Katsaros, Siraj Ahmed Shaikh, Ioannis Stamelos. by Cerone, Antonio [editor.] \| Persico, Donatella [editor.] \| Fernandes, Sara [editor.] \| Garcia-Perez, Alexeis [editor.] \| Katsaros, Panagiotis [editor.] \| Shaikh, Siraj Ahmed [editor.] \| Stamelos, Ioannis [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)
	357.	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; 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)
	358.	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; 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)
	359.	Design Concepts for a Virtualizable Embedded MPSoC Architecture electronic resource Enabling Virtualization in Embedded Multi-Processor Systems / by Alexander Biedermann. by Biedermann, Alexander [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)
	360.	Service-Oriented Computing electronic resource 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings / edited by Xavier Franch, Aditya K. Ghose, Grace A. Lewis, Sami Bhiri. by Franch, Xavier [editor.] \| Ghose, Aditya K [editor.] \| Lewis, Grace A [editor.] \| Bhiri, Sami [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)
	361.	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; 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)
	362.	Coordination Models and Languages electronic resource 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Eva Kühn, Rosario Pugliese. by Kühn, Eva [editor.] \| Pugliese, Rosario [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)
	363.	User-Centred Engineering electronic resource Creating Products for Humans / by Michael Richter, Markus Flückiger. by Richter, Michael [author.] \| Flückiger, Markus [author.] \| SpringerLink (Online service). Source: 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)
	364.	Service-Oriented and Cloud Computing electronic resource Third European Conference, ESOCC 2014, Manchester, UK, September 2-4, 2014. Proceedings / edited by Massimo Villari, Wolf Zimmermann, Kung-Kiu Lau. by Villari, Massimo [editor.] \| Zimmermann, Wolf [editor.] \| Lau, Kung-Kiu [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)
	365.	Physiological Computing Systems electronic resource First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers / edited by Hugo Plácido da Silva, Andreas Holzinger, Stephen Fairclough, Dennis Majoe. by da Silva, Hugo Plácido [editor.] \| Holzinger, Andreas [editor.] \| Fairclough, Stephen [editor.] \| Majoe, Dennis [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)
	366.	Process Design for Natural Scientists electronic resource An Agile Model-Driven Approach / edited by Anna-Lena Lamprecht, Tiziana Margaria. by Lamprecht, Anna-Lena [editor.] \| Margaria, Tiziana [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)
	367.	Design Science Methodology for Information Systems and Software Engineering electronic resource by Roel J. Wieringa. by Wieringa, Roel J [author.] \| SpringerLink (Online service). Source: 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)
	368.	Distributed Programming [electronic resource] : Theory and Practice / by A. Udaya Shankar. by Shankar, A. Udaya [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	369.	Requirements Engineering and Management for Software Development Projects electronic resource by Murali Chemuturi. by Chemuturi, Murali [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	370.	Information Systems Development [electronic resource] : Reflections, Challenges and New Directions / edited by Rob Pooley, Jennifer Coady, Christoph Schneider, Henry Linger, Chris Barry, Michael Lang. by Pooley, Rob [editor.] \| Coady, Jennifer [editor.] \| Schneider, Christoph [editor.] \| Linger, Henry [editor.] \| Barry, Chris [editor.] \| Lang, Michael [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: New York, NY : Springer New York : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	371.	Software Engineering Frameworks for the Cloud Computing Paradigm electronic resource edited by Zaigham Mahmood, Saqib Saeed. by Mahmood, Zaigham [editor.] \| Saeed, Saqib [editor.] \| SpringerLink (Online service). Series: Computer Communications and NetworksSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	372.	Cloud Computing [electronic resource] : Methods and Practical Approaches / edited by Zaigham Mahmood. by Mahmood, Zaigham [editor.] \| SpringerLink (Online service). Series: Computer Communications and NetworksSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	373.	Creativity and Rationale [electronic resource] : Enhancing Human Experience by Design / edited by John M. Carroll. by Carroll, John M [editor.] \| SpringerLink (Online service). Series: Human–Computer Interaction SeriesSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	374.	Advanced Network Programming – Principles and Techniques [electronic resource] : Network Application Programming with Java / by Bogdan Ciubotaru, Gabriel-Miro Muntean. by Ciubotaru, Bogdan [author.] \| Muntean, Gabriel-Miro [author.] \| SpringerLink (Online service). Series: Computer Communications and NetworksSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	375.	Middleware Solutions for the Internet of Things electronic resource by Flávia C. Delicato, Paulo F. Pires, Thais Batista. by Delicato, Flávia C [author.] \| Pires, Paulo F [author.] \| Batista, Thais [author.] \| SpringerLink (Online service). Series: SpringerBriefs in Computer ScienceSource: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	376.	Wireless Sensor Networks for Developing Countries [electronic resource] : First International Conference, WSN4DC, Jamshoro, Pakistan, April 24-26, 2013, Revised Selected Papers / edited by Faisal Karim Shaikh, Bhawani Shankar Chowdhry, Habib M. Ammari, Muhammad Aslam Uqaili, Assadullah Shah. by Shaikh, Faisal Karim [editor.] \| Chowdhry, Bhawani Shankar [editor.] \| Ammari, Habib M [editor.] \| Uqaili, Muhammad Aslam [editor.] \| Shah, Assadullah [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, 2013Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	377.	Transactions on Petri Nets and Other Models of Concurrency VIII electronic resource edited by Maciej Koutny, Wil M. P. Aalst, Alex Yakovlev. by Koutny, Maciej [editor.] \| Aalst, Wil M. P [editor.] \| Yakovlev, Alex [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)
	378.	Internet and Distributed Computing Systems [electronic resource] : 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings / edited by Mukaddim Pathan, Guiyi Wei, Giancarlo Fortino. by Pathan, Mukaddim [editor.] \| Wei, Guiyi [editor.] \| Fortino, Giancarlo [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)
	379.	Security and Trust Management [electronic resource] : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings / edited by Rafael Accorsi, Silvio Ranise. by Accorsi, Rafael [editor.] \| Ranise, Silvio [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)
	380.	Ada 2012 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/2012 (E) / edited by S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg. by Taft, S. Tucker [editor.] \| Duff, Robert A [editor.] \| Brukardt, Randall L [editor.] \| Ploedereder, Erhard [editor.] \| Leroy, Pascal [editor.] \| Schonberg, Edmond [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)
	381.	PRIMA 2013: Principles and Practice of Multi-Agent Systems [electronic resource] : 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis. by Boella, Guido [editor.] \| Elkind, Edith [editor.] \| Savarimuthu, Bastin Tony Roy [editor.] \| Dignum, Frank [editor.] \| Purvis, Martin 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: 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)
	382.	Theory and Practice of Natural Computing [electronic resource] : Second International Conference, TPNC 2013, Cáceres, Spain, December 3-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe, Miguel A. Vega-Rodríguez. by Dediu, Adrian-Horia [editor.] \| Martín-Vide, Carlos [editor.] \| Truthe, Bianca [editor.] \| Vega-Rodríguez, Miguel A [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)
	383.	Application and Theory of Petri Nets and Concurrency electronic resource 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings / edited by Gianfranco Ciardo, Ekkart Kindler. by Ciardo, Gianfranco [editor.] \| Kindler, Ekkart [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)
	384.	Novel Methods and Technologies for Enterprise Information Systems electronic resource ERP Future 2013 Conference, Vienna, Austria, November 2013, Revised Papers / edited by Felix Piazolo, Michael Felderer. by Piazolo, Felix [editor.] \| Felderer, Michael [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Information Systems and OrganisationSource: 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)
	385.	On the Move to Meaningful Internet Systems: OTM 2015 Conferences electronic resource Confederated International Conferences: CoopIS, ODBASE, and C&TC 2015, Rhodes, Greece, October 26-30, 2015. Proceedings / edited by Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, Georg Weichhart, Yuan An, Claudio Agostino Ardagna. by Debruyne, Christophe [editor.] \| Panetto, Hervé [editor.] \| Meersman, Robert [editor.] \| Dillon, Tharam [editor.] \| Weichhart, Georg [editor.] \| An, Yuan [editor.] \| Ardagna, Claudio Agostino [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	386.	Adaptive Resource Management and Scheduling for Cloud Computing electronic resource Second International Workshop, ARMS-CC 2015, Held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, Donostia-San Sebastián, Spain, July 20, 2015, Revised Selected Papers / edited by Florin Pop, Maria Potop-Butucaru. by Pop, Florin [editor.] \| Potop-Butucaru, Maria [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	387.	Engineering Multi-Agent Systems electronic resource Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, Luciano Baresi, Mehdi Dastani. by Baldoni, Matteo [editor.] \| Baresi, Luciano [editor.] \| Dastani, Mehdi [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer ScienceEdition: 1st ed. 2015.Source: Springer eBooksMaterial type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	388.	Computational Science -- ICCS 2005 (vol. # 3515) Электронный ресурс 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II edited by G. Dick van Albada, Jack Dongarra, Peter M.A. Sloot, V.S. Sunderam. by Albada, Geert Dick van \| Dongarra, Jack \| Sloot, Peter M. A \| Sunderam, V. S \| 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)
	389.	Model Checking Software (vol. # 3639) Электронный ресурс 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings edited by Patrick Godefroid. by Godefroid, Patrick \| 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)
	390.	Web Engineering Электронный ресурс edited by Emilia Mendes, Nile Mosley. by Mendes, Emilia \| Mosley, Nile \| SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	391.	Dependable Computing - EDCC 2005 Электронный ресурс 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings edited by Mario Dal Cin, Mohamed Kaâniche, András Pataricza. by Dal Cin, Mario \| Kaâniche, Mohamed \| Pataricza, András \| 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)
	392.	Defence Applications of Multi-Agent Systems Электронный ресурс International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers edited by Simon G. Thompson, Robert Ghanea-Hercock. by Thompson, Simon G \| Ghanea-Hercock, Robert \| 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)
	393.	Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) Электронный ресурс 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim. by Gorrieri, Roberto \| Wehrheim, Heike \| 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)
	394.	Parallel Processing and Applied Mathematics Электронный ресурс 6th International Conference, PPAM 2005, Poznan, Poland, September 11-14, 2005, Revised Selected Papers edited by Roman Wyrzykowski, Jack Dongarra, Norbert Meyer, Jerzy Wasni by Wyrzykowski, Roman \| Dongarra, Jack \| Meyer, Norbert \| Waśniewski, Jerzy \| 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)
	395.	Testing of Communicating Systems (vol. # 3964) Электронный ресурс 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings edited by M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko. by Uyar, M. Ümit \| Duale, Ali Y \| Fecko, Mariusz A \| 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)
	396.	Verification, Model Checking, and Abstract Interpretation Электронный ресурс 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings / edited by Byron Cook, Andreas Podelski. by Cook, Byron \| Podelski, Andreas \| 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 Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available : Log in to add tags Add to cart (remove)
	397.	RoboCup 2005: Robot Soccer World Cup IX Электронный ресурс edited by Ansgar Bredenfeld, Adam Jacoff, Itsuki Noda, Yasutake Takahashi. by Bredenfeld, Ansgar \| Jacoff, Adam \| Noda, Itsuki \| Takahashi, Yasutake \| 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)
	398.	Formal Methods for Open Object-Based Distributed Systems Электронный ресурс 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings / edited by Gilles Barthe, Frank S. Boer. by Barthe, Gilles \| Boer, Frank S \| 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)
	399.	Engineering Societies in the Agents World VI Электронный ресурс 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro by Dikenelli, Oğuz \| Gleizes, Marie-Pierre \| Ricci, Alessandro \| 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)
	400.	Innovative Concepts for Autonomic and Agent-Based Systems Электронный ресурс Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers edited by Michael G. HincheyPatric by Hinchey, Michael G \| Rago, Patricia \| Rash, James L \| Rouff, Christopher A \| Sterritt, Roy \| Truszkowski, Walt \| 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)