|
|
|
Central European Functional Programming School [electronic resource] : 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers / edited by Vikt�oria Zs�ok, Zolt�an Horv�ath, Lehel Csat�o.
by Zs�ok, Vikt�oria [editor.] | Horv�ath, Zolt�an [editor.] | Csat�o, Lehel [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] : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings / edited by Alberto Lluch Lafuente, Jos�e Proen�ca.
by Lluch Lafuente, Alberto [editor.] | Proen�ca, Jos�e [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
|
|
|
|
A Beginner's Guide to Scala, Object Orientation and Functional Programming [electronic resource] / by John Hunt.
by Hunt, John [author.] | 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
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen.
by Margaria, Tiziana [editor.] | Steffen, Bernhard [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
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 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 Erika �Abrah�am, Klaus Havelund.
by �Abrah�am, Erika [editor.] | Havelund, Klaus [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
|
|
|
|
Generative and Transformational Techniques in Software Engineering IV [electronic resource] : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers / edited by Ralf L�ammel, Jo�ao Saraiva, Joost Visser.
by L�ammel, Ralf [editor.] | Saraiva, Jo�ao [editor.] | Visser, Joost [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
|
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday / edited by Bob Coecke, Luke Ong, Prakash Panangaden.
by Coecke, Bob [editor.] | Ong, Luke [editor.] | Panangaden, Prakash [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
|
|
|
|
Functional and Logic Programming [electronic resource] : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings / edited by Michael Codish, Eijiro Sumii.
by Codish, Michael [editor.] | Sumii, Eijiro [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
|
|
|
|
Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.
by Artemov, Sergei [editor.] | Nerode, Anil [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
|
|
|
|
Evaluation of Novel Approaches to Software Engineering [electronic resource] : 7th International Conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, Revised Selected Papers / edited by Leszek A. Maciaszek, Joaquim Filipe.
by Maciaszek, Leszek A [editor.] | Filipe, Joaquim [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
|
|
|
|
Guide to Programming and Algorithms Using R [electronic resource] / by �Ozg�ur Erg�ul.
by Erg�ul, �Ozg�ur [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Concrete Semantics [electronic resource] : With Isabelle/HOL / by Tobias Nipkow, Gerwin Klein.
by Nipkow, Tobias [author.] | Klein, Gerwin [author.] | 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
|
|
|
|
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). 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
|
|
|
|
Instruction Level Parallelism [electronic resource] / by Alex Aiken, Utpal Banerjee, Arun Kejariwal, Alexandru Nicolau.
by Aiken, Alex [author.] | Banerjee, Utpal [author.] | Kejariwal, Arun [author.] | Nicolau, Alexandru [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings / edited by Dimitra Giannakopoulou, Gwen Sala�un.
by Giannakopoulou, Dimitra [editor.] | Sala�un, Gwen [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
|
|
|
|
Exploring Robotics with ROBOTIS Systems [electronic resource] / by Chi N. Thai.
by Thai, Chi N [author.] | 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
|
|
|
|
Euro-Par 2016: Parallel Processing [electronic resource] : 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings / edited by Pierre-Fran�cois Dutot, Denis Trystram.
by Dutot, Pierre-Fran�cois [editor.] | Trystram, Denis [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
|
|
|
|
Functional and Logic Programming [electronic resource] : 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings / edited by Oleg Kiselyov, Andy King.
by Kiselyov, Oleg [editor.] | King, Andy [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
|
|
|
|
Languages, Applications and Technologies [electronic resource] : 4th International Symposium, SLATE 2015, Madrid, Spain, June 18-19, 2015, Revised Selected Papers / edited by Jos�e-Luis Sierra-Rodr�iguez, Jos�e-Paulo Leal, Alberto Sim�oes.
by Sierra-Rodr�iguez, Jos�e-Luis [editor.] | Leal, Jos�e-Paulo [editor.] | Sim�oes, Alberto [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
|
|
|
|
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc J�ez�equel, Bernhard Rumpe.
by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | J�ez�equel, Jean-Marc [editor.] | Rumpe, Bernhard [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
|
