Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “gregor kosec”
Skip side bar filters

  • Parallel Scientific Computing

    Theory, Algorithms, and Applications of Mesh Based and Meshless Methods

    by Roman Trobec, Gregor Kosec ...
    Series series Computer Science (R0)
    This book is concentrated on the synergy between computer science and numerical analysis. It is written to provide a firm understanding of the described approaches to computer scientists, engineers or other experts who have to solve real problems. The meshless solution approach is described in more detail, with a description of the required algorithms and the methods that are needed for the design ... Read more

    $49.49 USD

  • Observability of Power-Distribution Systems

    State-Estimation Techniques and Approaches

    by Urban Kuhar, Gregor Kosec, Aleš Švigelj ...
    Series series Energy (R0)
    This book develops, implements and thoroughly evaluates a three-phase distribution system state estimation (DSSE) model. It gathers all relevant state-of-the-art knowledge and provides the missing pieces to offer readers a complete picture of several essential design and implementation factors and ways to address them.The book presents a three-phase branch model that allows of conductors, ... Read more

    $49.49 USD

People who read these also enjoyed

  • Programming with Qt

    Writing Portable GUI applications on Unix and Win32

    by Matthias Kalle Dalheimer ...
    The popular open source KDE desktop environment for Unix was built with Qt, a C++ class library for writing GUI applications that run on Unix, Linux, Windows 95/98, Windows 2000, and Windows NT platforms. Qt emulates the look and feel of Motif, but is much easier to use. Best of all, after you have written an application with Qt, all you have to do is recompile it to have a version that works on ... Read more

    $25.99 USD

  • Quantitative Evaluation of Systems

    14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings

    Edited by Nathalie Bertrand, Luca Bortolussi ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and ... Read more

    $49.99 USD

  • Computer Performance Engineering

    14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings

    Edited by Philipp Reinecke, Antinisca Di Marco ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.The 18 papers presented together with the abstracts of two invited talks in this volumewere carefully reviewed and selected from 30 submissions.The papers presented at the workshop reflect the diversity of modern performanceengineering ... Read more

    $49.99 USD

  • Quantitative Evaluation of Systems

    12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings

    Edited by Javier Campos, Boudewijn R. Haverkort ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing ... Read more

    $49.99 USD

  • Foundational and Practical Aspects of Resource Analysis

    4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers

    Edited by Marko van Eekelen, Ugo Dal Lago ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 4th International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2015, held in London, UK, in April 2015. The 6 papers presented in this volume were carefully reviewed and selected from 7 submissions. ... Read more

    $49.99 USD

  • Quantitative Evaluation of Systems

    13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

    Edited by Gul Agha, Benny Van Houdt ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016.The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization ... Read more

    $49.49 USD

  • Interactive Theorem Proving

    7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

    Edited by Stephan Merz, Jasmin Christian Blanchette ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and ... Read more

    $49.49 USD

  • Computer Aided Verification

    29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

    Edited by Rupak Majumdar, Viktor Kunčak ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.The CAV conference series is ... Read more

    $49.99 USD

  • Computer Performance Engineering

    13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings

    Edited by Dieter Fiems, Marco Paolieri, Agapios N. Platis ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th European Workshop on Computer Performance Engineering, EPEW 2016, held in Chios, Greece, in October 2016. The 14 papers presented together with 2 invited talks in this volume were carefully reviewed and selected from 25 submissions.The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ... Read more

    $49.99 USD

  • 5G for Future Wireless Networks

    First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings

    Edited by Keping Long, Victor C.M. Leung, Haijun Zhang, Zhiyong Feng, Yonghui Li, Zhongshan Zhang ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the First International Conference on 5G for Future Wireless Networks, 5GWN 2017, held in Beijing, China, in April 2017. The 64 full papers were selected from 135 submissions and present the state of the art and practical applications of 5G technologies. The exponentially growing data traffic caused by the development of mobile Internet and smart phones ... Read more

    $89.09 USD