Deliverability
Language version
Topic
Product form
maximum price
CHF

Search result (EDV / Theorie / Software-Entw. / Allgemeines)

Mircea Diaconescu, Gerd Wagner - Web Applications with Javascript or Java.Vol.2 Associations and Class Hierarchies
Mircea Diaconescu, Gerd Wagner Web Applications with Javascript or Java.Vol.2 English 11.03.2021 Paperback / Softback CHF 90.00 4-7 working days
Siddhartha Bhattacharyya, Konar, Debanjan Konar, Raghavendra Rao Althar, Debabrata Samanta, … - Software Source Code Statistical Modeling
Siddhartha Bhattacharyya, Konar, Debanjan Konar, Raghavendra Rao Althar, Debabrata Samanta, … Software Source Code English 01.01.2021 Paperback / Softback CHF 121.00 4-7 working days
Ali Janfada, Ali S Janfada, Ali S. Janfada - Elementary Synchronous Programming in C++ and Java via algorithms
Ali Janfada, Ali S Janfada, Ali S. Janfada Elementary Synchronous Programming English 06.06.2019 Paperback / Softback CHF 83.00 4-7 working days
Dan E. Kelley - Oceanographic Analysis with R
Dan E. Kelley Oceanographic Analysis with R English 18.10.2018 Hardback CHF 103.00 1-2 weeks
Vlad Rusu - Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
Vlad Rusu Rewriting Logic and Its Applications English 08.09.2018 Paperback / Softback CHF 69.00 4-7 working days
Andreas Podelski - Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
Andreas Podelski Static Analysis English 29.08.2018 Paperback / Softback CHF 69.00 4-7 working days
Hana Chockler, Georg Weissenbacher - Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback CHF 69.00 4-7 working days
Hana Chockler, Georg Weissenbacher - Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
Hana Chockler, Georg Weissenbacher Computer Aided Verification English 22.07.2018 Paperback / Softback CHF 69.00 4-7 working days
Stavros Konstantinidis, Giovanni Pighizzini - Descriptional Complexity of Formal Systems 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings
Stavros Konstantinidis, Giovanni Pighizzini Descriptional Complexity of Formal Systems English 11.07.2018 Paperback / Softback CHF 69.00 4-7 working days
Fabio Fioravanti, John P. Gallagher - Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
Fabio Fioravanti, John P. Gallagher Logic-Based Program Synthesis and Transformation English 10.07.2018 Paperback / Softback CHF 69.00 4-7 working days
Agus Kurniawan - Practical Contiki-NG Programming for Wireless Sensor Networks
Agus Kurniawan Practical Contiki-NG English 14.06.2018 Paperback / Softback CHF 69.00 4-7 working days
Susan Stepney, Sergey Verlan - Unconventional Computation and Natural Computation 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings
Susan Stepney, Sergey Verlan Unconventional Computation and Natural Computation English 31.05.2018 Paperback / Softback CHF 69.00 4-7 working days
Grace Oualline, Steve Oualline - Practical Free Alternatives to Commercial Software
Grace Oualline, Steve Oualline Practical Free Alternatives to Commercial Software English 22.05.2018 Paperback / Softback CHF 43.50 4-7 working days
Victor Khomenko, Olivier H. Roux - Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings
Victor Khomenko, Olivier H. Roux Application and Theory of Petri Nets and Concurrency English 08.05.2018 Paperback / Softback CHF 69.00 4-7 working days
Sridhar Anandakrishnan - Propeller Programming Using Assembler, Spin, and C
Sridhar Anandakrishnan Propeller Programming English 10.03.2018 Paperback / Softback CHF 76.00 4-7 working days
Antonio Cerone, Marco Roveri - Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Antonio Cerone, Marco Roveri Software Engineering and Formal Methods English 03.02.2018 Paperback / Softback CHF 102.00 4-7 working days
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback CHF 69.00 4-7 working days
Sebastiano Battiato, Giovanni Maria Farinella, Giovanni Gallo, Marco Leo - New Trends in Image Analysis and Processing - ICIAP 2017 ICIAP International Workshops, WBICV, SSPandBE, 3AS, RGBD, NIVAR, IWBAAS, and MADiMa 2017, Catania, Italy, September 11-15, 2017, Revised Selected Papers
Sebastiano Battiato, Giovanni Maria Farinella, Giovanni Gallo, Marco Leo New Trends in Image Analysis and Processing - ICIAP 2017 English 10.01.2018 Paperback / Softback CHF 69.00 4-7 working days
Rosendo Abellera, Lakshman Bulusu - Oracle Business Intelligence with Machine Learning Artificial Intelligence Techniques in OBIEE for Actionable BI
Rosendo Abellera, Lakshman Bulusu Oracle Business Intelligence with Machine Learning English 19.12.2017 Paperback / Softback CHF 63.00 4-7 working days
Sandeep Nagar - Introduction to Octave For Engineers and Scientists
Sandeep Nagar Introduction to Octave English 27.11.2017 Paperback / Softback CHF 76.00 4-7 working days