Your search returned 1142 results.

Results
941.	Image from Amazon.com	Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. by Fahrenberg, Uli [editor.] Tripakis, Stavros [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6919Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
942.	Image from Amazon.com	Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. by Tinelli, Cesare [editor.] Sofronie-Stokkermans, Viorica [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6989Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
943.	Image from Amazon.com	Algorithmic Learning Theory [electronic resource] : 22nd International Conference, ALT 2011, Espoo, Finland, October 5-7, 2011. Proceedings / edited by Jyrki Kivinen, Csaba Szepesvári, Esko Ukkonen, Thomas Zeugmann. by Kivinen, Jyrki [editor.] Szepesvári, Csaba [editor.] Ukkonen, Esko [editor.] Zeugmann, Thomas [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6925Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
944.	Image from Amazon.com	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 [editor.] Ramanna, Sheela [editor.] Wang, Guoyin [editor.] Suraj, Zbigniew [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6954Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
945.	Image from Amazon.com	Formal Methods for Industrial Critical Systems [electronic resource] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. by Salaün, Gwen [editor.] Schätz, Bernhard [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6959Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
946.	Image from Amazon.com	Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers / edited by Sven-Bodo Scholz, Olaf Chitil. by Scholz, Sven-Bodo [editor.] Chitil, Olaf [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 5836Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
947.	Image from Amazon.com	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 [editor.] Qiu, Zongyan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6991Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
948.	Image from Amazon.com	Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings / edited by Burkhart Wolff, Fatiha Zaïdi. by Wolff, Burkhart [editor.] Zaïdi, Fatiha [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7019Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
949.	Image from Amazon.com	Algebraic Foundations in Computer Science [electronic resource] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. by Kuich, Werner [editor.] Rahonis, George [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7020Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
950.	Image from Amazon.com	Formal Modeling: Actors, Open Systems, Biological Systems [electronic resource] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / edited by Gul Agha, Olivier Danvy, José Meseguer. by Agha, Gul [editor.] Danvy, Olivier [editor.] Meseguer, José [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7000Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
951.	Image from Amazon.com	Quantum Interaction [electronic resource] : 5th International Symposium, QI 2011, Aberdeen, UK, June 26-29, 2011, Revised Selected Papers / edited by Dawei Song, Massimo Melucci, Ingo Frommholz, Peng Zhang, Lei Wang, Sachi Arafat. by Song, Dawei [editor.] Melucci, Massimo [editor.] Frommholz, Ingo [editor.] Zhang, Peng [editor.] Wang, Lei [editor.] Arafat, Sachi [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7052Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
952.	Image from Amazon.com	Combinatorial Algorithms [electronic resource] : 22nd International Workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011, Revised Selected Papers / edited by Costas S. Iliopoulos, William F. Smyth. by Iliopoulos, Costas S [editor.] Smyth, William F [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7056Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
953.	Image from Amazon.com	Formal Methods, Foundations and Applications [electronic resource] : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers / edited by Adenilso Simao, Carroll Morgan. by Simao, Adenilso [editor.] Morgan, Carroll [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7021Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
954.	Image from Amazon.com	Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers / edited by Pascal Schreck, Julien Narboux, Jürgen Richter-Gebert. by Schreck, Pascal [editor.] Narboux, Julien [editor.] Richter-Gebert, Jürgen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6877Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
955.	Image from Amazon.com	Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang. by Yang, Hongseok [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7078Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
956.	Image from Amazon.com	Certified Programs and Proofs [electronic resource] : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings / edited by Jean-Pierre Jouannaud, Zhong Shao. by Jouannaud, Jean-Pierre [editor.] Shao, Zhong [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7086Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
957.	Image from Amazon.com	Logica: Metodo Breve [electronic resource] / by Daniele Mundici. by Mundici, Daniele [author.] SpringerLink (Online service) Series: UNITEXT ; 1Publisher: Milano : Springer Milan : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
958.	Image from Amazon.com	Hybrid Logic and its Proof-Theory [electronic resource] / by Torben Braüner. by Braüner, Torben [author.] SpringerLink (Online service) Series: Applied Logic Series ; 37Publisher: Dordrecht : Springer Netherlands, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
959.	Image from Amazon.com	Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource] / by Ewa Orlowska, Joanna Golińska Pilarek. by Orlowska, Ewa [author.] Golińska Pilarek, Joanna [author.] SpringerLink (Online service) Series: Trends in Logic ; 33Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)
960.	Image from Amazon.com	Proof, Computation and Agency [electronic resource] : Logic at the Crossroads / edited by Johan van Benthem, Amitabha Gupta, Rohit Parikh. by van Benthem, Johan [editor.] Gupta, Amitabha [editor.] Parikh, Rohit [editor.] SpringerLink (Online service) Series: Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 352Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Place hold Save to lists Add to cart (remove)