|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [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
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu.
by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [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
|
|
|
|
Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Shankara Narayanan Krishna.
by Banerjee, Mohua [editor.] | Krishna, Shankara Narayanan [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
|
|
|
|
Logical Aspects of Computational Linguistics [electronic resource] : 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings / edited by Nicholas Asher, Sergei Soloviev.
by Asher, Nicholas [editor.] | Soloviev, Sergei [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.
by Proietti, Maurizio [editor.] | Seki, Hirohisa [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
|
|
|
|
Computers and Games [electronic resource] : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat.
by van den Herik, H. Jaap [editor.] | Iida, Hiroyuki [editor.] | Plaat, Aske [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
|
|
|
|
Logic, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [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
|
|
|
|
Subjective Logic [electronic resource] : A Formalism for Reasoning Under Uncertainty / by Audun J�sang.
by J�sang, Audun [author.] | 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
|
|
|
|
Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa.
by Klein, Gerwin [editor.] | Gamboa, Ruben [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
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part III / edited by Anne Laurent, Oliver Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager.
by Laurent, Anne [editor.] | Strauss, Oliver [editor.] | Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings / edited by Zhipeng Cai, Alex Zelikovsky, Anu Bourgeois.
by Cai, Zhipeng [editor.] | Zelikovsky, Alex [editor.] | Bourgeois, Anu [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
|
|
|
|
Information Processing and Management of Uncertainty in Knowledge-Based Systems [electronic resource] : 15th International Conference, IPMU 2014, Montpellier, France, July 15-19, 2014, Proceedings, Part II / edited by Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager.
by Laurent, Anne [editor.] | Strauss, Olivier [editor.] | Bouchon-Meunier, Bernadette [editor.] | Yager, Ronald R [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
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Chris Cornelis, Marzena Kryszkiewicz, Dominik Śl�ezak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang.
by Cornelis, Chris [editor.] | Kryszkiewicz, Marzena [editor.] | Śl�ezak, Dominik [editor.] | Ruiz, Ernestina Menasalvas [editor.] | Bello, Rafael [editor.] | Shang, Lin [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
|
|
|
|
Inductive Logic Programming [electronic resource] : 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers / edited by Gerson Zaverucha, V�itor Santos Costa, Aline Paes.
by Zaverucha, Gerson [editor.] | Santos Costa, V�itor [editor.] | Paes, Aline [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita.
by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
by Finkbeiner, Bernd [editor.] | Pu, Geguang [editor.] | Zhang, Lijun [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
|
|
|
|
Horizons of the Mind. A Tribute to Prakash Panangaden [electronic resource] : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
by Breugel, Franck van [editor.] | Kashefi, Elham [editor.] | Palamidessi, Catuscia [editor.] | Rutten, Jan [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
|
|
|
|
Conceptual Modeling [electronic resource] : 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings / edited by Isabelle Comyn-Wattiau, Katsumi Tanaka, Il-Yeol Song, Shuichiro Yamamoto, Motoshi Saeki.
by Comyn-Wattiau, Isabelle [editor.] | Tanaka, Katsumi [editor.] | Song, Il-Yeol [editor.] | Yamamoto, Shuichiro [editor.] | Saeki, Motoshi [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
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings / edited by Edward A. Hirsch, Sergei O. Kuznetsov, Jean-�Eric Pin, Nikolay K. Vereshchagin.
by Hirsch, Edward A [editor.] | Kuznetsov, Sergei O [editor.] | Pin, Jean-�Eric [editor.] | Vereshchagin, Nikolay K [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
|
|
|
|
Membrane Computing [electronic resource] : 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers / edited by Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sos�ik, Claudio Zandron.
by Gheorghe, Marian [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | Sos�ik, Petr [editor.] | Zandron, Claudio [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
|
