Results of search for 'ccl=se,phr:"Lecture Notes in Computer Science," and su-to:Software Engineering'

Results
	61.	Automated Deduction – CADE-23 [electronic resource] : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans. by Bjørner, Nikolaj Sofronie-Stokkermans, Viorica SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6803 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	62.	Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns / edited by James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun. by Noble, James Johnson, Ralph Avgeriou, Paris Harrison, Neil B Zdun, Uwe SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6510 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	63.	NETWORKING 2011 Workshops [electronic resource] : International IFIP TC 6 Workshops, PE-CRN, NC-Pro, WCNS, and SUNSET 2011, Held at NETWORKING 2011, Valencia, Spain, May 13, 2011, Revised Selected Papers / edited by Vicente Casares-Giner, Pietro Manzoni, Ana Pont. by Casares-Giner, Vicente Manzoni, Pietro Pont, Ana SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6827 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	64.	Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / edited by Marco T. Morazán, Sven-Bodo Scholz. by Morazán, Marco T Scholz, Sven-Bodo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6041 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	65.	Static Analysis [electronic resource] : 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings / edited by Eran Yahav. by Yahav, Eran SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6887 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	66.	Performance Evaluation, Measurement and Characterization of Complex Systems [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. by Nambiar, Raghunath Poess, Meikel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6417 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	67.	Computational Logistics [electronic resource] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings / edited by Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß. by Böse, Jürgen W Hu, Hao Jahn, Carlos Shi, Xiaoning Stahlbock, Robert Voß, Stefan SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6971 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	68.	Service-Oriented Perspectives in Design Science Research [electronic resource] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana. by Jain, Hemant Sinha, Atish P Vitharana, Padmal SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6629 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	69.	Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury. by Rocha, Ricardo Launchbury, John SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6539 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	70.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	71.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	72.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	73.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	74.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	75.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	76.	Formal Concept Analysis [electronic resource] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. by Valtchev, Petko Jäschke, Robert SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6628 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	77.	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 access: Click here to access online Availability: No items available. Add to cart (remove)
	78.	Objects, Models, Components, Patterns [electronic resource] : 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings / edited by Judith Bishop, Antonio Vallecillo. by Bishop, Judith Vallecillo, Antonio SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6705 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	79.	Advances in New Technologies, Interactive Interfaces, and Communicability [electronic resource] : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra. by Cipolla Ficarra, Francisco V Castro Lozano, Carlos Pérez Jiménez, Mauricio Nicol, Emma Kratky, Andreas Cipolla-Ficarra, Miguel SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6616 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	80.	Product-Focused Software Process Improvement [electronic resource] : 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings / edited by Danilo Caivano, Markku Oivo, Maria Teresa Baldassarre, Giuseppe Visaggio. by Caivano, Danilo Oivo, Markku Baldassarre, Maria Teresa Visaggio, Giuseppe SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6759 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)