Results of search for 'ccl=Provider:Springer-Verlag GmbH Berlin Heidelberg,'

Results
	161.	Conceptual Modeling – ER 2011 [electronic resource] : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011. Proceedings / edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling. by Jeusfeld, Manfred Delcambre, Lois Ling, Tok-Wang SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6998 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	162.	Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings / edited by Shengchao Qin, Zongyan Qiu. by Qin, Shengchao Qiu, Zongyan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6991 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	163.	Advances in Computer Science, Environment, Ecoinformatics, and Education [electronic resource] : International Conference, CSEE 2011, Wuhan, China, August 21-22, 2011. Proceedings, Part I / edited by Song Lin, Xiong Huang. by Lin, Song Huang, Xiong SpringerLink (Online service) Series: Communications in Computer and Information Science ; 214 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	164.	On the Move to Meaningful Internet Systems: OTM 2011 [electronic resource] : Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I / edited by Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng-Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler, Mukesh Mohania. by Meersman, Robert Dillon, Tharam Herrero, Pilar Kumar, Akhil Reichert, Manfred Qing, Li Ooi, Beng-Chin Damiani, Ernesto Schmidt, Douglas C White, Jules Hauswirth, Manfred Hitzler, Pascal Mohania, Mukesh SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7044 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	165.	System Analysis and Modeling: About Models [electronic resource] : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers / edited by Frank Alexander Kraemer, Peter Herrmann. by Kraemer, Frank Alexander Herrmann, Peter SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6598 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	166.	Interactive Theorem Proving [electronic resource] : Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings / edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk. by Eekelen, Marko Geuvers, Herman Schmaltz, Julien Wiedijk, Freek SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6898 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	167.	Scalable Uncertainty Management [electronic resource] : 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings / edited by Salem Benferhat, John Grant. by Benferhat, Salem Grant, John SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6929 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	168.	Business Information Systems Workshops [electronic resource] : BIS 2011 International Workshops and BPSC International Conference, Poznań, Poland, June 15-17, 2011. Revised Papers / edited by Witold Abramowicz, Leszek Maciaszek, Krzysztof Węcel. by Abramowicz, Witold Maciaszek, Leszek Węcel, Krzysztof SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 97 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	169.	Fundamentals of Computation Theory [electronic resource] : 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings / edited by Olaf Owe, Martin Steffen, Jan Arne Telle. by Owe, Olaf Steffen, Martin Telle, Jan Arne SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6914 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	170.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings / edited by Xavier Défago, Franck Petit, Vincent Villain. by Défago, Xavier Petit, Franck Villain, Vincent SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6976 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	171.	Convergence and Hybrid Information Technology [electronic resource] : 5th International Conference, ICHIT 2011, Daejeon, Korea, September 22-24, 2011. Proceedings / edited by Geuk Lee, Daniel Howard, Dominik Ślęzak. by Lee, Geuk Howard, Daniel Ślęzak, Dominik SpringerLink (Online service) Series: Communications in Computer and Information Science ; 206 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	172.	Modern Approaches in Applied Intelligence [electronic resource] : 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part I / edited by Kishan G. Mehrotra, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali. by Mehrotra, Kishan G Mohan, Chilukuri K Oh, Jae C Varshney, Pramod K Ali, Moonis SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6703 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	173.	High Performance Networking, Computing, and Communication Systems [electronic resource] : Second International Conference, ICHCC 2011, Singapore, May 5-6, 2011. Selected Papers / edited by Yanwen Wu. by Wu, Yanwen SpringerLink (Online service) Series: Communications in Computer and Information Science ; 163 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	174.	Innovative Computing and Information [electronic resource] : International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part I / edited by Minli Dai. by Dai, Minli SpringerLink (Online service) Series: Communications in Computer and Information Science ; 231 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	175.	Database and Expert Systems Applications [electronic resource] : 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I / edited by Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou. by Hameurlain, Abdelkader Liddle, Stephen W Schewe, Klaus-Dieter Zhou, Xiaofang SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6860 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	176.	Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost. by Pogodalla, Sylvain Prost, Jean-Philippe SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6736 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	177.	Rough Sets and Knowledge Technology [electronic resource] : 6th International Conference, RSKT 2011, Banff, Canada, October 9-12, 2011. Proceedings / edited by JingTao Yao, Sheela Ramanna, Guoyin Wang, Zbigniew Suraj. by Yao, JingTao Ramanna, Sheela Wang, Guoyin Suraj, Zbigniew SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6954 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	178.	Information and Communications Security [electronic resource] : 13th International Conference, ICICS 2011, Beijing, China, November 23-26, 2011. Proceedings / edited by Sihan Qing, Willy Susilo, Guilin Wang, Dongmei Liu. by Qing, Sihan Susilo, Willy Wang, Guilin Liu, Dongmei SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7043 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	179.	Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings / edited by Olivier Temam, Pen-Chung Yew, Binyu Zang. by Temam, Olivier Yew, Pen-Chung Zang, Binyu SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6965 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	180.	Search Based Software Engineering [electronic resource] : Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011. Proceedings / edited by Myra B. Cohen, Mel Ó Cinnéide. by Cohen, Myra B Ó Cinnéide, Mel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6956 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)