|
|
|
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
|
|
|
|
IAENG Transactions on Engineering Technologies [electronic resource] : Special Edition of the World Congress on Engineering and Computer Science 2011 / edited by Haeng Kon Kim, Sio-Iong Ao, Burghard B. Rieger.
by Kim, Haeng Kon [editor.] | Ao, Sio-Iong [editor.] | Rieger, Burghard B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Synthesizable VHDL Design for FPGAs [electronic resource] / by Eduardo Augusto Bezerra, Djones Vinicius Lettnin.
by Bezerra, Eduardo Augusto [author.] | Lettnin, Djones Vinicius [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
|
|
|
|
Instruction Selection [electronic resource] : Principles, Methods, and Applications / by Gabriel Hjort Blindell.
by Hjort Blindell, Gabriel [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
|
|
|
|
Euro-Par 2012: Parallel Processing Workshops [electronic resource] : BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers / edited by Ioannis Caragiannis, Michael Alexander, Rosa Maria Badia, Mario Cannataro, Alexandru Costan, Marco Danelutto, Fr�ed�eric Desprez, Bettina Krammer, Julio Sahuquillo, Stephen L. Scott, Josef Weidendorfer.
by Caragiannis, Ioannis [editor.] | Alexander, Michael [editor.] | Badia, Rosa Maria [editor.] | Cannataro, Mario [editor.] | Costan, Alexandru [editor.] | Danelutto, Marco [editor.] | Desprez, Fr�ed�eric [editor.] | Krammer, Bettina [editor.] | Sahuquillo, Julio [editor.] | Scott, Stephen L [editor.] | Weidendorfer, Josef [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
|
|
|
|
Nostradamus 2014: Prediction, Modeling and Analysis of Complex Systems [electronic resource] / edited by Ivan Zelinka, Ponnuthurai Nagaratnam Suganthan, Guanrong Chen, Vaclav Snasel, Ajith Abraham, Otto R�ossler.
by Zelinka, Ivan [editor.] | Suganthan, Ponnuthurai Nagaratnam [editor.] | Chen, Guanrong [editor.] | Snasel, Vaclav [editor.] | Abraham, Ajith [editor.] | R�ossler, Otto [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
|
|
|
|
Practical Analysis of Algorithms [electronic resource] / by Dana Vrajitoru, William Knight.
by Vrajitoru, Dana [author.] | Knight, William [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
|
|
|
|
Verification of Business Rules Programs [electronic resource] / by Bruno Berstel-Da Silva.
by Berstel-Da Silva, Bruno [author.] | 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 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
|
|
|
|
Autonomic Road Transport Support Systems [electronic resource] / edited by Thomas Leo McCluskey, Apostolos Kotsialos, J�org P. M�uller, Franziska Kl�ugl, Omer Rana, Ren�e Schumann.
by McCluskey, Thomas Leo [editor.] | Kotsialos, Apostolos [editor.] | M�uller, J�org P [editor.] | Kl�ugl, Franziska [editor.] | Rana, Omer [editor.] | Schumann, Ren�e [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Birkh�auser, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Job Scheduling Strategies for Parallel Processing [electronic resource] : 18th International Workshop, JSSPP 2014, Phoenix, AZ, USA, May 23, 2014. Revised Selected Papers / edited by Walfredo Cirne, Narayan Desai.
by Cirne, Walfredo [editor.] | Desai, Narayan [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
|
|
|
|
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
|
|
|
|
Crisis Management for Software Development and Knowledge Transfer [electronic resource] / by Sergey V. Zykov.
by Zykov, Sergey V [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
|
|
|
|
Control Modes on Mobile Software Platforms [electronic resource] : Empirical Studies on the Importance of Informal Control / by Tobias Goldbach.
by Goldbach, Tobias [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
High Performance Computing in Science and Engineering [electronic resource] : Second International Conference, HPCSE 2015, Sol�aň, Czech Republic, May 25-28, 2015, Revised Selected Papers / edited by Tom�aš Kozubek, Radim Blaheta, Jakub Š�istek, Miroslav Rozložn�ik, Martin Čerm�ak.
by Kozubek, Tom�aš [editor.] | Blaheta, Radim [editor.] | Š�istek, Jakub [editor.] | Rozložn�ik, Miroslav [editor.] | Čerm�ak, Martin [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
|
