Results for "Springer Verlag"

Results for "Springer Verlag" Showing 1 - 50 results of 6534 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22Springer+Verlag%22&type=AllFields&lng=en 6534 0 50 The Vienna Circle Studies in the Origins, Development, and Influence of Logical Empiricism / Thu, 01 Jan 2015 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-319-16561-5 https://find.library.upatras.gr/Record/978-3-319-16561-5 Stadler, Friedrich Electronic eBook 2015 Stadler, Friedrich 0 Introduction to Time Series and Forecasting Fri, 01 Jan 2016 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-319-29854-2 https://find.library.upatras.gr/Record/978-3-319-29854-2 Brockwell, Peter J. Electronic eBook 2016 Brockwell, Peter J. 0 Intelligent Agents and Multi-Agent Systems 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45680-3 https://find.library.upatras.gr/Record/978-3-540-45680-3 Electronic eBook 2002 0 Advances in Cryptology - CRYPTO 2002 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002. Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45708-4 https://find.library.upatras.gr/Record/978-3-540-45708-4 Electronic eBook 2002 0 Advances in Artificial Intelligence 14th Brazilian Symposium on Artificial Intelligence, SBIA'98 Porto Alegre, Brazil, November 4-6, 1998, Proceedings / Thu, 01 Jan 1998 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49523-9 https://find.library.upatras.gr/Record/978-3-540-49523-9 Electronic eBook 1998 0 Logics in Artificial Intelligence European Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 Proceedings / Thu, 01 Jan 1998 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49545-1 https://find.library.upatras.gr/Record/978-3-540-49545-1 Electronic eBook 1998 0 Digital Watermarking First International Workshop, IWDW 2002, Seoul, Korea, November 21-22, 2002, Revised Papers / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36617-1 https://find.library.upatras.gr/Record/978-3-540-36617-1 Electronic eBook 2003 0 Hybrid Systems: Computation and Control Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999 Proceedings / Fri, 01 Jan 1999 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48983-2 https://find.library.upatras.gr/Record/978-3-540-48983-2 Electronic eBook 1999 0 Advances in Learning Classifier Systems Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44640-8 https://find.library.upatras.gr/Record/978-3-540-44640-8 Electronic eBook 2001 0 Intelligent Agents V: Agents Theories, Architectures, and Languages 5th International Workshop, ATAL'98, Paris, France, July 4-7, 1998, Proceedings / Fri, 01 Jan 1999 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49057-9 https://find.library.upatras.gr/Record/978-3-540-49057-9 Electronic eBook 1999 0 Object-Oriented Technology: ECOOP 2001 Workshop Reader ECOOP 2001 Workshops, Panel, and Posters, Budapest, Hungary, June 18-22, 2001. Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-47853-9 https://find.library.upatras.gr/Record/978-3-540-47853-9 Electronic eBook 2002 0 Intelligent Agents for Telecommunication Applications Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999, Proceedings / Fri, 01 Jan 1999 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48165-2 https://find.library.upatras.gr/Record/978-3-540-48165-2 Electronic eBook 1999 0 Sensor Based Intelligent Robots International Workshop, Dagstuhl Castle, Germany, October 15-20, 2000. Selected Revised Papers / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45993-4 https://find.library.upatras.gr/Record/978-3-540-45993-4 Electronic eBook 2002 0 Advances in Case-Based Reasoning 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4-7, 2002 Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46119-7 https://find.library.upatras.gr/Record/978-3-540-46119-7 Electronic eBook 2002 0 Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44755-9 https://find.library.upatras.gr/Record/978-3-540-44755-9 Electronic eBook 2001 0 Advances in Artificial Intelligence International Joint Conference 7th Ibero-American Conference on AI 15th Brazilian Symposium on AI IBERAMIA-SBIA 2000 Atibaia, SP, Brazil, November 19-22, 2000 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44399-5 https://find.library.upatras.gr/Record/978-3-540-44399-5 Electronic eBook 2000 0 Next Generation Networks. Networks and Services for the Information Society 5th IFIP TC6 International Symposium, INTERWORKING 2000, Bergen, Norway, October 3-6, 2000 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-40019-6 https://find.library.upatras.gr/Record/978-3-540-40019-6 Electronic eBook 2000 0 On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2003 Catania, Sicily, Italy, November 3-7, 2003 Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-39964-3 https://find.library.upatras.gr/Record/978-3-540-39964-3 Electronic eBook 2003 0 Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44464-0 https://find.library.upatras.gr/Record/978-3-540-44464-0 Electronic eBook 2000 0 Computer Aided Systems Theory - EUROCAST'99 A Selection of Papers from the 7th International Workshop on Computer Aided Systems Theory Vienna, Austria, September 29 - October 2, 1999 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44931-7 https://find.library.upatras.gr/Record/978-3-540-44931-7 Electronic eBook 2000 0 Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45351-2 https://find.library.upatras.gr/Record/978-3-540-45351-2 Electronic eBook 2001 0 Applied Cryptography and Network Security First International Conference, ACNS 2003. Kunming, China, October 16-19, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45203-4 https://find.library.upatras.gr/Record/978-3-540-45203-4 Electronic eBook 2003 0 Design and Applications of Intelligent Agents Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 Melbourne, Australia, August 28-29, 2000 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44594-4 https://find.library.upatras.gr/Record/978-3-540-44594-4 Electronic eBook 2000 0 Pattern Recognition 23rd DAGM Symposium, Munich, Germany, September 12-14, 2001. Proceedings / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45404-5 https://find.library.upatras.gr/Record/978-3-540-45404-5 Electronic eBook 2001 0 Genetic Programming 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45984-2 https://find.library.upatras.gr/Record/978-3-540-45984-2 Electronic eBook 2002 0 Information and Communications Security 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-39927-8 https://find.library.upatras.gr/Record/978-3-540-39927-8 Electronic eBook 2003 0 Workflow Management Systems for Process Organisations Thu, 01 Jan 1998 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49450-8 https://find.library.upatras.gr/Record/978-3-540-49450-8 Schael, Thomas Electronic eBook 1998 Schael, Thomas 0 Software Engineering - ESEC/FSE '99 7th European Software Engineering Conference Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Toulouse, France, September 6-10, 1999 Proceedings / Fri, 01 Jan 1999 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48166-9 https://find.library.upatras.gr/Record/978-3-540-48166-9 Electronic eBook 1999 0 Computer Performance Evaluation. Modelling Techniques and Tools 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45232-4 https://find.library.upatras.gr/Record/978-3-540-45232-4 Electronic eBook 2003 0 FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36206-7 https://find.library.upatras.gr/Record/978-3-540-36206-7 Electronic eBook 2002 0 Parallel Computing Technologies 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45145-7 https://find.library.upatras.gr/Record/978-3-540-45145-7 Electronic eBook 2003 0 Discrete Integrable Systems Thu, 01 Jan 2004 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-40357-9 https://find.library.upatras.gr/Record/978-3-540-40357-9 Electronic eBook 2004 0 Topics in Cryptology - CT-RSA 2002 The Cryptographer's Track at the RSA Conference 2002, San Jose, CA, USA, February 18-22, 2002, Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45760-2 https://find.library.upatras.gr/Record/978-3-540-45760-2 Electronic eBook 2002 0 Intelligent Data Engineering and Automated Learning - IDEAL 2000. Data Mining, Financial Engineering, and Intelligent Agents Second International Conference Shatin, N.T., Hong Kong, China, December 13-15, 2000. Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44491-6 https://find.library.upatras.gr/Record/978-3-540-44491-6 Electronic eBook 2000 0 Theoretical Aspects of Computer Software 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45500-4 https://find.library.upatras.gr/Record/978-3-540-45500-4 Electronic eBook 2001 0 On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-39962-9 https://find.library.upatras.gr/Record/978-3-540-39962-9 Electronic eBook 2003 0 Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36599-0 https://find.library.upatras.gr/Record/978-3-540-36599-0 Electronic eBook 2003 0 π-Electron Magnetism From Molecules to Magnetic Materials / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44684-2 https://find.library.upatras.gr/Record/978-3-540-44684-2 Electronic eBook 2001 0 Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45739-8 https://find.library.upatras.gr/Record/978-3-540-45739-8 Electronic eBook 2002 0 Advances in Information Retrieval 25th European Conference on IR Research, ECIR 2003, Pisa, Italy, April 14-16, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36618-8 https://find.library.upatras.gr/Record/978-3-540-36618-8 Electronic eBook 2003 0 Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46017-6 https://find.library.upatras.gr/Record/978-3-540-46017-6 Electronic eBook 2002 0 Telecommunications and IT Convergence. Towards Service E-volution 7th International Conference on Intelligence in Services and Networks, IS&N 2000, Athens, Greece, February 23-25, 2000 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46525-6 https://find.library.upatras.gr/Record/978-3-540-46525-6 Electronic eBook 2000 0 Abstraction, Reformulation, and Approximation 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / Sat, 01 Jan 2000 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-44914-0 https://find.library.upatras.gr/Record/978-3-540-44914-0 Electronic eBook 2000 0 Artificial Intelligence Today Recent Trends and Developments / Fri, 01 Jan 1999 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-48317-5 https://find.library.upatras.gr/Record/978-3-540-48317-5 Electronic eBook 1999 0 High Performance Computing - HiPC'99 6th International Conference, Calcutta, India, December 17-20, 1999 Proceedings / Fri, 01 Jan 1999 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-46642-0 https://find.library.upatras.gr/Record/978-3-540-46642-0 Electronic eBook 1999 0 Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-36580-8 https://find.library.upatras.gr/Record/978-3-540-36580-8 Electronic eBook 2003 0 Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters / Thu, 01 Jan 1998 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-49254-2 https://find.library.upatras.gr/Record/978-3-540-49254-2 Electronic eBook 1998 0 Computer Aided Systems Theory - EUROCAST 2003 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers / Wed, 01 Jan 2003 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45210-2 https://find.library.upatras.gr/Record/978-3-540-45210-2 Electronic eBook 2003 0 Foundations of Information and Knowledge Systems Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002 Proceedings / Tue, 01 Jan 2002 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45758-9 https://find.library.upatras.gr/Record/978-3-540-45758-9 Electronic eBook 2002 0 Information and Communications Security Third International Conference, ICICS 2001, Xian, China, November 13-16, 2001. Proceedings / Mon, 01 Jan 2001 22:47:32 +0200 https://find.library.upatras.gr/Record/978-3-540-45600-1 https://find.library.upatras.gr/Record/978-3-540-45600-1 Electronic eBook 2001 0