Your search returned 90 results.

Not what you expected? Check for suggestions

Results
	41.	Logic-Based Program Synthesis and Transformation [electronic resource] : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers / edited by Elvira Albert. by Albert, Elvira [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7844 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	42.	Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz. by Libkin, Leonid [editor.] Kohlenbach, Ulrich [editor.] Queiroz, Ruy de [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8071 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	43.	Theory and Practice of Model Transformations [electronic resource] : 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings / edited by Keith Duddy, Gerti Kappel. by Duddy, Keith [editor.] Kappel, Gerti [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7909 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	44.	Computational Logic in Multi-Agent Systems [electronic resource] : 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings / edited by João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran. by Leite, João [editor.] Son, Tran Cao [editor.] Torroni, Paolo [editor.] Torre, Leon van der [editor.] Woltran, Stefan [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8143 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	45.	Coordination Models and Languages [electronic resource] : 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings / edited by Rocco De Nicola, Christine Julien. by Nicola, Rocco De [editor.] Julien, Christine [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7890 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	46.	Runtime Verification [electronic resource] : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers / edited by Shaz Qadeer, Serdar Tasiran. by Qadeer, Shaz [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7687 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	47.	Theory and Practice of Computation [electronic resource] : 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. by Nishizaki, Shin-ya [editor.] Numao, Masayuki [editor.] Caro, Jaime [editor.] Suarez, Merlin Teodosia [editor.] SpringerLink (Online service) Series: Proceedings in Information and Communications Technology ; 7 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Tokyo : Springer Japan : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	48.	Formal Methods for Components and Objects [electronic resource] : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures / edited by Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue. by Giachino, Elena [editor.] Hähnle, Reiner [editor.] Boer, Frank S. de [editor.] Bonsangue, Marcello M [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7866 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	49.	In Search of Elegance in the Theory and Practice of Computation [electronic resource] : Essays Dedicated to Peter Buneman / edited by Val Tannen, Limsoon Wong, Leonid Libkin, Wenfei Fan, Wang-Chiew Tan, Michael Fourman. by Tannen, Val [editor.] Wong, Limsoon [editor.] Libkin, Leonid [editor.] Fan, Wenfei [editor.] Tan, Wang-Chiew [editor.] Fourman, Michael [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8000 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	50.	Formal Aspects of Component Software [electronic resource] : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers / edited by Corina S. Păsăreanu, Gwen Salaün. by Păsăreanu, Corina S [editor.] Salaün, Gwen [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7684 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	51.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings / edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. by Giacobazzi, Roberto [editor.] Berdine, Josh [editor.] Mastroeni, Isabella [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7737 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	52.	Formal Languages and Compilation [electronic resource] / by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti. by Crespi Reghizzi, Stefano [author.] Breveglieri, Luca [author.] Morzenti, Angelo [author.] SpringerLink (Online service) Series: Texts in Computer Science Edition: 2nd ed. 2013. Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	53.	Model Checking Software [electronic resource] : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings / edited by Ezio Bartocci, C. R. Ramakrishnan. by Bartocci, Ezio [editor.] Ramakrishnan, C. R [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7976 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	54.	Hardware and Software: Verification and Testing [electronic resource] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / edited by Armin Biere, Amir Nahir, Tanja Vos. by Biere, Armin [editor.] Nahir, Amir [editor.] Vos, Tanja [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7857 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	55.	Using Event-B for Critical Device Software Systems [electronic resource] / by Neeraj Kumar Singh. by Singh, Neeraj Kumar [author.] SpringerLink (Online service) Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	56.	Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Nir Piterman, Scott A. Smolka. by Piterman, Nir [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7795 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	57.	Frontiers of Combining Systems [electronic resource] : 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings / edited by Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt. by Fontaine, Pascal [editor.] Ringeissen, Christophe [editor.] Schmidt, Renate A [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 8152 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	58.	Integrated Formal Methods [electronic resource] : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / edited by Einar Broch Johnsen, Luigia Petre. by Johnsen, Einar Broch [editor.] Petre, Luigia [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7940 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	59.	Reliable Software Technologies – Ada-Europe 2013 [electronic resource] : 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings / edited by Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk. by Keller, Hubert B [editor.] Plödereder, Erhard [editor.] Dencker, Peter [editor.] Klenk, Herbert [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7896 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)
	60.	Facing the Multicore-Challenge III [electronic resource] : Aspects of New Paradigms and Technologies in Parallel Computing / edited by Rainer Keller, David Kramer, Jan-Philipp Weiss. by Keller, Rainer [editor.] Kramer, David [editor.] Weiss, Jan-Philipp [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7686 Source: Springer eBooks Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013 Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Holding libraries

Languages

Your search returned 90 results.