|
|
|
Programming Languages and Systems [electronic resource] : 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings / edited by Ranjit Jhala, Atsushi Igarashi.
by Jhala, Ranjit [editor.] | Igarashi, Atsushi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / edited by Sophia Drossopoulou.
by Drossopoulou, Sophia [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers / edited by Christiano Braga, Peter Csaba Ölveczky.
by Braga, Christiano [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Inductive Logic Programming [electronic resource] : 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers / edited by James Cussens, Alessandra Russo.
by Cussens, James [editor.] | Russo, Alessandra [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Concept Analysis [electronic resource] : 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012. Proceedings / edited by Florent Domenach, Dmitry Ignatov, Jonas Poelmans.
by Domenach, Florent [editor.] | Ignatov, Dmitry [editor.] | Poelmans, Jonas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Typed Lambda Calculi and Applications [electronic resource] : 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings / edited by Simona Ronchi Della Rocca.
by Ronchi Della Rocca, Simona [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Science - Theory and Applications [electronic resource] : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger.
by Kulikov, Alexander S [editor.] | Woeginger, Gerhard J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Natural Language Processing and Information Systems [electronic resource] : 21st International Conference on Applications of Natural Language to Information Systems, NLDB 2016, Salford, UK, June 22-24, 2016, Proceedings / edited by Elisabeth Métais, Farid Meziane, Mohamad Saraee, Vijayan Sugumaran, Sunil Vadera.
by Métais, Elisabeth [editor.] | Meziane, Farid [editor.] | Saraee, Mohamad [editor.] | Sugumaran, Vijayan [editor.] | Vadera, Sunil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Dependable Software Engineering. Theories, Tools, and Applications [electronic resource] : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings / edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
by Larsen, Kim Guldstrand [editor.] | Sokolsky, Oleg [editor.] | Wang, Ji [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers / edited by Germán Vidal.
by Vidal, Germán [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers / edited by Phillip James, Markus Roggenbach.
by James, Phillip [editor.] | Roggenbach, Markus [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
Hardware and Software: Verification and Testing [electronic resource] : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / edited by Ofer Strichman, Rachel Tzoref-Brill.
by Strichman, Ofer [editor.] | Tzoref-Brill, Rachel [editor.] | SpringerLink (Online service). Edition: 1st ed. 2017.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Online access: Click here to access online Availability: No items available
|
|
|
|
It's All About Coordination [electronic resource] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten.
by de Boer, Frank [editor.] | Bonsangue, Marcello [editor.] | Rutten, Jan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Diagrammatic Representation and Inference [electronic resource] : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings / edited by Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci.
by Chapman, Peter [editor.] | Stapleton, Gem [editor.] | Moktefi, Amirouche [editor.] | Perez-Kriz, Sarah [editor.] | Bellucci, Francesco [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 33rd International Workshop, LCPC 2020, Virtual Event, October 14-16, 2020, Revised Selected Papers / edited by Barbara Chapman, José Moreira.
by Chapman, Barbara [editor.] | Moreira, José [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Inductive Logic Programming [electronic resource] : 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings / edited by Nikos Katzouris, Alexander Artikis.
by Katzouris, Nikos [editor.] | Artikis, Alexander [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Developments in Language Theory [electronic resource] : 26th International Conference, DLT 2022, Tampa, FL, USA, May 9-13, 2022, Proceedings / edited by Volker Diekert, Mikhail Volkov.
by Diekert, Volker [editor.] | Volkov, Mikhail [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Reliable Software Technologies - Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliabel Software Technologies, Valencia, Spain, June 14-18, 2010, Proceedings / edited by Jorge Real, Tullio Vardanega.
by Real, Jorge [editor.] | Vardanega, Tullio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods and Software Engineering [electronic resource] : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhiro Ogata, Mark Lawford, Shaoying Liu.
by Ogata, Kazuhiro [editor.] | Lawford, Mark [editor.] | Liu, Shaoying [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings / edited by Petra Perner, Atsushi Imiya.
by Perner, Petra [editor.] | Imiya, Atsushi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
