Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. Published

    vZ - An Optimizing SMT Solver. / Bjørner, Nikolaj; Dung, Phan Anh; Fleckenstein, Lars .

    Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. Springer, 2015. p. 194-199 (Lecture Notes in Computer Science, Vol. 9035).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  2. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  3. Published

    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Hölzl, Matthias; Lluch Lafuente, Alberto; Vandin, Andrea; Wirsing, Martin.

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. ed. / Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer. Springer, 2015. p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  4. Published

    Lab-on-a-chip devices and micro-total analysis systems : a practical guide. / Castillo, Jaime (Editor); Svendsen, Winnie Edith (Editor).

    Springer, 2015.

    Publication: Research - peer-reviewBook – Annual report year: 2015

  5. Published

    Polymer Based Biosensors for Medical Applications. / Cherré, Solène; Rozlosnik, Noemi.

    Advanced Polymers in Medicine. Springer, 2015. p. 513-537.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2015

  6. Published

    Quantifying the Impact of Subgrid Scale Models in Actuator-Line Based LES of Wind Turbine Wakes in Laminar and Turbulent Inflow. / Chivaee, Hamid Sarlak; Meneveau, C.; Sørensen, Jens Nørkær; Mikkelsen, Robert.

    Direct and Large-Eddy Simulation IX. ed. / Jochen Frölich; Hans Kuerten; Bernard J. Geurts; Vincenzo Armenio. Springer, 2015. p. 169-175 (ERCOFTAC Series; No. 20).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  7. Accepted/In press

    On Devising Boussinesq-type Equations with Bounded Eigenspectra: Two Horizontal Dimensions. / Eskilsson, Claes; Engsig-Karup, Allan Peter.

    Proceedings of the 18th European Conference on Mathematics for Industry (ECMI 2014). Springer, 2015.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  8. Published

    Sustainable Transportation - Indicators, Frameworks, and Performance Management. / Gudmundsson, Henrik; Hall, Ralph P.; Marsden, Greg; Zietsman, Josias.

    Springer, 2015. 304 p. (Springer Texts in Business and Economics).

    Publication: Research - peer-reviewBook – Annual report year: 2015

  9. Published

    Optimal Sceduling of Stochastic Production Processes Through Model Checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Modelling and Management of Engineering Processes: Proceedings of the 3rd International Conference 2013. ed. / Michael Schabacker; Kilian Gericke; Nikoletta Szélig; Sándor Vajna. Springer, 2015. p. 187-202.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  10. Published

    Communication Technologies for Vehicles : Proceedings of the 8th International Workshop, Nets4Cars/Nets4Trains/Nets4Aircraft 2015. / Kassab, Mohamed (Editor); Berbineau, Marion (Editor); Vinel, Alexey; Jonsson, Magnus (Editor); Garcia, Fabien (Editor); Soler, José (Editor).

    Springer, 2015. 241 p. (Computer Communication Networks and Telecommunications, Vol. 9066).

    Publication: Research - peer-reviewBook – Annual report year: 2015

Previous 1 2 3 4 5 6 7 8 ...103 Next
Download list: To download, please limit the number of search results to 1,000 or less.