انتشارات Springer.
کتاب های انتشارات
صفحه ۳۴۳ از ۶,۳۴۰ در بین ۱۵۸,۴۸۳ کتاب.
PDF
Changing Television Environments: 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedings
Jens F. Jensen (auth.), Manfred Tscheligi, Marianna Obrist, Artur Lugmayr (eds.), 2008PDF
Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers
Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Manfred Pinkal (auth.), Ruqian Lu, Jörg H. Siekmann, Carsten Ullrich (eds.), 2007PDF
Communities and Technologies 2005: Proceedings of the Second Communities and Technologies Conference, Milano 2005
Peter van den Besselaar, Giorgio de Michelis, Jenny Preece, Carla Simone, 2005PDF
Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
Gabor Karsai, Anantha Narayanan (auth.), Fabrice Kordon, Oleg Sokolsky (eds.), 2007PDF
Conceptual Modeling for New Information Systems Technologies: ER 2001 Workshops HUMACS, DASWIS, ECOMO, and DAMA Yokohama, Japan, November 27–30, 2001 Revised Papers
Peter Vink, Frans M. van Eijnatten (auth.), Hiroshi Arisawa, Yahiko Kambayashi, Vijay Kumar, Heinrich C. Mayr, Ingrid Hunt (eds.), 2002PDF
Conceptual Modeling for Novel Application Domains: ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003. Proceedings
Heinrich C. Mayr, Willem-Jan van den Heuvel (auth.), Manfred A. Jeusfeld, Óscar Pastor (eds.), 2003PDF
Control of uncertain systems--modelling, approximation, and design: a workshop on the occasion of Keith Glover's 60th birthday
Bruce A. Francis, Malcolm C. Smith, Jan C. Willems, 2006PDF
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.), 1999PDF
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (eds.), 2001PDF
Correct Hardware Design and Verification Methods: 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L’Aquila, Italy, October 21-24, 2003. Proceedings
Wolfgang Roesner (auth.), Daniel Geist, Enrico Tronci (eds.), 2003PDF
Correct Hardware Design and Verification Methods: 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Wolfram Büttner (auth.), Dominique Borrione, Wolfgang Paul (eds.), 2005DJVU
Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings
Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.), 1995DJVU
Correct Hardware Design and Verification Methods: IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings
Viktor Cingel (auth.), George J. Milne, Laurence Pierre (eds.), 1993PDF
Cross-Language Information Retrieval and Evaluation: Workshop of the Cross-Language Evaluation Forum, CLEF 2000 Lisbon, Portugal, September 21–22, 2000 Revised Papers
Carol Peters (auth.), Carol Peters (eds.), 2001DJVU
Current Developments in Knowledge Acquisition — EKAW '92: 6th European Knowledge Acquisition Workshop Heidelberg and Kaiserslautern, Germany, May 18–22, 1992 Proceedings
Francois Allard (auth.), Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian R. Gaines, Marc Linster, Franz Schmalhofer (eds.), 1992PDF
Cyberspace security and defense: research issues. Proceedings of the NATO Advanced Research Workshop on Cyberspace Security and Defense, NATO Advanced Research Workshop
Janusz S. Kowalik, Janusz Gorski, Anatoly Sachenko, 2005DJVU
Digital Libraries Current Issues: Digital Libraries Workshop DL '94 Newark, NJ, USA, May 19–20, 1994 Selected Papers
Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha (auth.), Nabil R. Adam, Bharat K. Bhargava, Yelena Yesha (eds.), 1995DJVU
Digital Libraries Research and Technology Advances: ADL'95 Forum McLean, Virginia, USA, May 15–17, 1995 Selected Papers
France Cordova (auth.), Nabil R. Adam, Bharat K. Bhargava, Milton Halem, Yelena Yesha (eds.), 1996PDF
Dimension Reduction of Large-Scale Systems: Proceedings of a Workshop held in Oberwolfach, Germany, October 19-25, 2003
Peter Benner, Volker Mehrmann, Danny C. Sorensen, 2005DJVU
Distributed Software Agents and Applications: 6th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '94 Odense, Denmark, August 3–5, 1994 Proceedings
Mario Tokoro (auth.), John W. Perram, Jean-Pierre Müller (eds.), 1996PDF
Dynamical Vision: ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006. Revised Papers
Xiaodong Fan, René Vidal (auth.), René Vidal, Anders Heyden, Yi Ma (eds.), 2007PDF
E-Government, E-Services and Global Processes: Joint IFIP TC 8 and TC 6 International Conferences, EGES 2010 and GISP 2010, Held as Part of WCC 2010, Brisbane, ... in Information and Communication Technology)
Marijn Janssen, Winfried Lamersdorf, Jan Pries-Heje, Michael Rosemann, 2010PDF
Euro-Par 2007 Workshops: Parallel Processing: HPPC 2007, UNICORE Summit 2007, and VHPC 2007, Rennes, France, August 28-31, 2007, Revised Selected Papers
Martti Forsell, Jesper Larsson Träff (auth.), Luc Bougé, Martti Forsell, Jesper Larsson Träff, Achim Streit, Wolfgang Ziegler, Michael Alexander, Stephen Childs (eds.), 2008PDF
