|
|
|
Implementation and Application of Automata [electronic resource] : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings / edited by Stavros Konstantinidis.
by Konstantinidis, Stavros [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Information and Communication Technologies in Education, Research, and Industrial Applications [electronic resource] : 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013, Revised Selected Papers / edited by Vadim Ermolayev, Heinrich C. Mayr, Mykola Nikitchenko, Aleksander Spivakovsky, Grygoriy Zholtkevych.
by Ermolayev, Vadim [editor.] | Mayr, Heinrich C [editor.] | Nikitchenko, Mykola [editor.] | Spivakovsky, Aleksander [editor.] | Zholtkevych, Grygoriy [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Perspectives of System Informatics [electronic resource] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / edited by Manuel Mazzara, Andrei Voronkov.
by Mazzara, Manuel [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by Jos�e-Manuel Colom, J�org Desel.
by Colom, Jos�e-Manuel [editor.] | Desel, J�org [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation [electronic resource] : Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday / edited by Thomas Eiter, Hannes Strass, Miros�aw Truszczyński, Stefan Woltran.
by Eiter, Thomas [editor.] | Strass, Hannes [editor.] | Truszczyński, Miros�aw [editor.] | Woltran, Stefan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Transactions on Computational Science XXIV [electronic resource] : Special Issue on Reversible Computing / edited by Marina L. Gavrilova, C.J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan.
by Gavrilova, Marina L [editor.] | Tan, C.J. Kenneth [editor.] | Thapliyal, Himanshu [editor.] | Ranganathan, Nagarajan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Testing Software and Systems [electronic resource] : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings / edited by Khaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko.
by El-Fakih, Khaled [editor.] | Barlas, Gerassimos [editor.] | Yevtushenko, Nina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
KI 2013: Advances in Artificial Intelligence [electronic resource] : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Ingo J. Timm, Matthias Thimm.
by Timm, Ingo J [editor.] | Thimm, Matthias [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / edited by Santiago Escobar.
by Escobar, Santiago [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Zhong Shao.
by Shao, Zhong [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering for Collective Autonomic Systems [electronic resource] : The ASCENS Approach / edited by Martin Wirsing, Matthias H�olzl, Nora Koch, Philip Mayer.
by Wirsing, Martin [editor.] | H�olzl, Matthias [editor.] | Koch, Nora [editor.] | Mayer, Philip [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Theory, Practice, and Applications of Rules on the Web [electronic resource] : 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings / edited by Leora Morgenstern, Petros Stefaneas, Fran�cois L�evy, Adam Wyner, Adrian Paschke.
by Morgenstern, Leora [editor.] | Stefaneas, Petros [editor.] | L�evy, Fran�cois [editor.] | Wyner, Adam [editor.] | Paschke, Adrian [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
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�odereder, Peter Dencker, Herbert Klenk.
by Keller, Hubert B [editor.] | Pl�odereder, Erhard [editor.] | Dencker, Peter [editor.] | Klenk, Herbert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
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�un.
by Păsăreanu, Corina S [editor.] | Sala�un, Gwen [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Digital Logic Design Using Verilog [electronic resource] : Coding and RTL Synthesis / by Vaibbhav Taraate.
by Taraate, Vaibbhav [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New Delhi : Springer India : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 13th European Conference, ECSQARU 2015, Compi�egne, France, July 15-17, 2015. Proceedings / edited by S�ebastien Destercke, Thierry Denoeux.
by Destercke, S�ebastien [editor.] | Denoeux, Thierry [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
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). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings / edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov.
by McMillan, Ken [editor.] | Middeldorp, Aart [editor.] | Voronkov, Andrei [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms - ESA 2015 [electronic resource] : 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi.
by Bansal, Nikhil [editor.] | Finocchi, Irene [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Unifying Theories of Programming [electronic resource] : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers / edited by Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi.
by Wolff, Burkhart [editor.] | Gaudel, Marie-Claude [editor.] | Feliachi, Abderrahmane [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
