Halo! Tracked shipping to Indonesia with premium packaging for just Rp 89.000 

Ship to
Indonesia
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

=

View Filters

Category

Quick Links

Format

Language

Author

Publisher

Edition Year

    You are in:
  1. Home 
  2. Books 
  3. 1 Computing and information technology  Computer programming/software development

Computer programming/software development Books

We found 25.536 Books

Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings

Dima, Catalin ; Shirmohammadi, Mahsa
Springer, Paperback, New

Rp 1.038.251
Web Engineering: 22nd International Conference, Icwe 2022, Bari, Italy, July 5-8, 2022, Proceedings

Web Engineering: 22nd International Conference, Icwe 2022, Bari, Italy, July 5-8, 2022, Proceedings

Di Noia, Tommaso ; Ko, In-Young ; Schedl, Markus
Springer, Paperback, New

Rp 1.741.872
Foundations for Functional Modeling of Technical Artefacts

Foundations for Functional Modeling of Technical Artefacts

Lind, Morten
Springer, Hardcover, New

Rp 2.992.753
Inductive Logic Programming: 30th International Conference, Ilp 2021, Virtual Event, October 25-27, 2021, Proceedings

Inductive Logic Programming: 30th International Conference, Ilp 2021, Virtual Event, October 25-27, 2021, Proceedings

Katzouris, Nikos ; Artikis, Alexander
Springer, Paperback, New

Rp 1.272.791
Speech Recognition Algorithms Using Weighted Finite-State Transducers

Speech Recognition Algorithms Using Weighted Finite-State Transducers

Hori, Takaaki ; Nakamura, Atsushi
Springer, 1 edition, Paperback, New

Rp 745.914
Formal Modeling and Analysis of Timed Systems: 20th International Conference, Formats 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Formal Modeling and Analysis of Timed Systems: 20th International Conference, Formats 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Bogomolov, Sergiy ; Parker, David
Springer, Paperback, New

Rp 1.116.431
Quantum Software Engineering

Quantum Software Engineering

Serrano, Manuel A. ; Pérez-Castillo, Ricardo ; Piattini, Mario
Springer, Hardcover, New

Rp 2.210.952
Advances in Cryptology - Asiacrypt 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, T

Advances in Cryptology - Asiacrypt 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, T

Agrawal, Shweta ; Lin, Dongdai
Springer, Paperback, New

Rp 2.067.309
Functional and Logic Programming: 16th International Symposium, Flops 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Functional and Logic Programming: 16th International Symposium, Flops 2022, Kyoto, Japan, May 10-12, 2022, Proceedings

Hanus, Michael ; Igarashi, Atsushi
Springer, Paperback, New

Rp 1.272.791
Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected P

Verified Software. Theories, Tools and Experiments.: 14th International Conference, Vstte 2022, Trento, Italy, October 17-18, 2022, Revised Selected P

Lal, Akash ; Tonetta, Stefano
Springer, Paperback, New

Rp 1.038.251
Developments in Language Theory: 27th International Conference, Dlt 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Developments in Language Theory: 27th International Conference, Dlt 2023, Umeå, Sweden, June 12-16, 2023, Proceedings

Drewes, Frank ; Volkov, Mikhail
Springer, Paperback, New

Rp 1.272.791
Implementation and Application of Automata: 27th International Conference, Ciaa 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Implementation and Application of Automata: 27th International Conference, Ciaa 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings

Nagy, Benedek
Springer, Paperback, New

Rp 1.272.791
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Bowen, Jonathan P. ; Li, Qin ; Xu, Qiwen
Springer, Paperback, New

Rp 1.419.621
Frontiers of Combining Systems: 14th International Symposium, Frocos 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Frontiers of Combining Systems: 14th International Symposium, Frocos 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Sattler, Uli ; Suda, Martin
Springer, Paperback, New

Rp 858.199
Digital-For-Development: Enabling Transformation, Inclusion and Sustainability Through Icts: 12th International Development Informatics Association Co

Digital-For-Development: Enabling Transformation, Inclusion and Sustainability Through Icts: 12th International Development Informatics Association Co

Ndayizigamiye, Patrick ; Twinomurinzi, Hossana ; Kalema, Billy
Springer, Paperback, New

Rp 1.585.511
Advances in Computing: 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22-26, 2021, Revised Selected Papers

Advances in Computing: 15th Colombian Congress, CCC 2021, Bogotá, Colombia, November 22-26, 2021, Revised Selected Papers

Gonzalez, Enrique ; Curiel, Mariela ; Moreno, Andrés
Springer, Paperback, New

Rp 1.272.791
Programming Languages and Systems: 20th Asian Symposium, Aplas 2022, Auckland, New Zealand, December 5, 2022, Proceedings

Programming Languages and Systems: 20th Asian Symposium, Aplas 2022, Auckland, New Zealand, December 5, 2022, Proceedings

Sergey, Ilya
Springer, Paperback, New

Rp 1.272.791
Combinatorial Image Analysis: 21st International Workshop, Iwcia 2022, Messina, Italy, July 13-15, 2022, Proceedings

Combinatorial Image Analysis: 21st International Workshop, Iwcia 2022, Messina, Italy, July 13-15, 2022, Proceedings

Barneva, Reneta P. ; Brimkov, Valentin E. ; Nordo, Giorgio
Springer, Paperback, New

Rp 1.507.331
Theoretical Aspects of Computing - Ictac 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Theoretical Aspects of Computing - Ictac 2023: 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

Ábrahám, Erika ; Dubslaff, Clemens ; Tarifa, Silvia Lizeth Tapia
Springer, Paperback, New

Rp 1.585.511
Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track: European Conference, Ecml Pkdd 2023, Turin, Italy, Septemb

Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track: European Conference, Ecml Pkdd 2023, Turin, Italy, Septemb

de Francisci Morales, Gianmarco ; Perlich, Claudia ; Ruchansky, Natali
Springer, Paperback, New

Rp 1.746.111
Fundamental Approaches to Software Engineering: 27th International Conference, Fase 2024, Held as Part of the European Joint Conferences on Theory and

Fundamental Approaches to Software Engineering: 27th International Conference, Fase 2024, Held as Part of the European Joint Conferences on Theory and

Beyer, Dirk ; Cavalcanti, Ana
Springer, Paperback, New

Rp 858.199
Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 2024, Held as Part of the 19th In

Formal Techniques for Distributed Objects, Components, and Systems: 44th Ifip Wg 6.1 International Conference, Forte 2024, Held as Part of the 19th In

Castiglioni, Valentina ; Francalanza, Adrian
Springer, Paperback, New

Rp 1.402.347
fundamental approaches to software engineering

fundamental approaches to software engineering

Springer, New

Rp 1.038.251
End-User Development: 8th International Symposium, Is-Eud 2021, Virtual Event, July 6-8, 2021, Proceedings

End-User Development: 8th International Symposium, Is-Eud 2021, Virtual Event, July 6-8, 2021, Proceedings

Fogli, Daniela ; Tetteroo, Daniel ; Barricelli, Barbara Rita
Springer, Paperback, New

Rp 1.038.251
Broadband Communications, Networks, and Systems: 12th Eai International Conference, Broadnets 2021, Virtual Event, October 28-29, 2021, Proceedings

Broadband Communications, Networks, and Systems: 12th Eai International Conference, Broadnets 2021, Virtual Event, October 28-29, 2021, Proceedings

Xiang, Wei ; Han, Fengling ; Phan, Tran Khoa
Springer, Paperback, New

Rp 1.585.511
Software Architecture: 15th European Conference, Ecsa 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Software Architecture: 15th European Conference, Ecsa 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings

Biffl, Stefan ; Navarro, Elena ; Löwe, Welf
Springer, Paperback, New

Rp 1.741.872
Information Systems and Design: Second International Conference, ICID 2021, Virtual Event, September 6-7, 2021, Revised Selected Papers

Information Systems and Design: Second International Conference, ICID 2021, Virtual Event, September 6-7, 2021, Revised Selected Papers

Taratukhin, Victor ; Matveev, Mikhail ; Becker, Jörg
Springer, Paperback, New

Rp 1.585.511
Reinforcement Learning from Scratch: Understanding Current Approaches - With Examples in Java and Greenfoot

Reinforcement Learning from Scratch: Understanding Current Approaches - With Examples in Java and Greenfoot

Lorenz, Uwe
Springer, 1 edition, Paperback, New

Rp 1.194.611
Software, System, and Service Engineering: S3e 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, Kkio

Software, System, and Service Engineering: S3e 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, Kkio

Jarzębowicz, Aleksander ; Lukovic, Ivan ; Przybylek, Adam
Springer, Paperback, New

Rp 1.116.431
Integrated Uncertainty in Knowledge Modelling and Decision Making: 9th International Symposium, Iukm 2022, Ishikawa, Japan, March 18-19, 2022, Proceed

Integrated Uncertainty in Knowledge Modelling and Decision Making: 9th International Symposium, Iukm 2022, Ishikawa, Japan, March 18-19, 2022, Proceed

Honda, Katsuhiro ; Entani, Tomoe ; Ubukata, Seiki
Springer, Paperback, New

Rp 1.272.791
Application Design for Wearable Computing

Application Design for Wearable Computing

Siewiorek, Dan ; Smailagic, Asim ; Starner, Thad
Springer, 1 edition, Paperback, New

Rp 633.630
Software Technologies: 16th International Conference, Icsoft 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

Software Technologies: 16th International Conference, Icsoft 2021, Virtual Event, July 6-8, 2021, Revised Selected Papers

Fill, Hans-Georg ; Van Sinderen, Marten ; Maciaszek, Leszek A.
Springer, Paperback, New

Rp 1.585.511
Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Software Engineering and Formal Methods: 20th International Conference, Sefm 2022, Berlin, Germany, September 26-30, 2022, Proceedings

Schlingloff, Bernd-Holger ; Chai, Ming
Springer, Paperback, New

Rp 1.272.791
Discrete Diversity and Dispersion Maximization: A Tutorial on Metaheuristic Optimization

Discrete Diversity and Dispersion Maximization: A Tutorial on Metaheuristic Optimization

Martí, Rafael ; Martínez-Gavara, Anna
Springer, Hardcover, New

Rp 2.680.033
Information and Communication Technologies in Education, Research, and Industrial Applications: 17th International Conference, Icteri 2021, Kherson, U

Information and Communication Technologies in Education, Research, and Industrial Applications: 17th International Conference, Icteri 2021, Kherson, U

Ermolayev, Vadim ; Esteban, David ; Yakovyna, Vitaliy
Springer, Paperback, New

Rp 1.507.331
Inductive Logic Programming: 32nd International Conference, Ilp 2023, Bari, Italy, November 13-15, 2023, Proceedings

Inductive Logic Programming: 32nd International Conference, Ilp 2023, Bari, Italy, November 13-15, 2023, Proceedings

Bellodi, Elena ; Lisi, Francesca Alessandra ; Zese, Riccardo
Springer, Paperback, New

Rp 960.071
Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Pra

Programming Languages and Systems: 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Pra

Wies, Thomas
Springer, Paperback, New

Rp 858.199
Software Engineering Methods in Systems and Network Systems: Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Software Engineering Methods in Systems and Network Systems: Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

Silhavy, Radek ; Silhavy, Petr
Springer, Paperback, New

Rp 3.305.474
Blockchain - Icbc 2023: 6th International Conference, Held as Part of the Services Conference Federation, Scf 2023, Honolulu, Hi, Usa, Septemb

Blockchain - Icbc 2023: 6th International Conference, Held as Part of the Services Conference Federation, Scf 2023, Honolulu, Hi, Usa, Septemb

Wang, Qin ; Feng, Jun ; Zhang, Liang-Jie
Springer, Paperback, New

Rp 1.116.431
Artificial Intelligence Applications and Innovations. Aiai 2023 Ifip Wg 12.5 International Workshops: Mhdw 2023, 5g-Pine 2023, ΑΙbmg 2023, a

Artificial Intelligence Applications and Innovations. Aiai 2023 Ifip Wg 12.5 International Workshops: Mhdw 2023, 5g-Pine 2023, ΑΙbmg 2023, a

Maglogiannis, Ilias ; Iliadis, Lazaros ; Papaleonidas, Antonios
Springer, Hardcover, New

Rp 2.210.952
Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th Ifip Tc 10 International Embedded Systems Symposium, Iess 2022, Lippstadt

Designing Modern Embedded Systems: Software, Hardware, and Applications: 7th Ifip Tc 10 International Embedded Systems Symposium, Iess 2022, Lippstadt

Henkler, Stefan ; Kreutz, Márcio ; Wehrmeister, Marco A.
Springer, Hardcover, New

Rp 1.741.872
Electronic Governance with Emerging Technologies: Second International Conference, Egetc 2023, Poznan, Poland, September 11-12, 2023, Revised Selected

Electronic Governance with Emerging Technologies: Second International Conference, Egetc 2023, Poznan, Poland, September 11-12, 2023, Revised Selected

Ortiz-Rodríguez, Fernando ; Tiwari, Sanju ; Usoro Usip, Patience
Springer, Paperback, New

Rp 1.507.331
Job Scheduling Strategies for Parallel Processing: 26th Workshop, Jsspp 2023, St. Petersburg, Fl, Usa, May 19, 2023, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing: 26th Workshop, Jsspp 2023, St. Petersburg, Fl, Usa, May 19, 2023, Revised Selected Papers

Klusáček, Dalibor ; Corbalán, Julita ; Rodrigo, Gonzalo P.
Springer, Paperback, New

Rp 1.116.431
recent advances in parallel virtual machine and message passing interface

recent advances in parallel virtual machine and message passing interface

Springer, New

Rp 1.038.251
categories for software engineering

categories for software engineering

Fiadeiro, Jose Luiz
Springer, 2010, Paperback, New

Rp 1.038.251
parsing theory ii: lr(k) and ll(k) parsing

parsing theory ii: lr(k) and ll(k) parsing

Sippu, Seppo ; Soisalon-Soininen, Eljas
Springer, 2010, Paperback, New

Rp 1.082.768
testbeds and research infrastructure

testbeds and research infrastructure

Korakis, Thanasis ; Li, Hongbin ; Tran-Gia, Phuoc
Springer, Paperback, New

Rp 1.038.251
reconfigurable computing: architectures, tools and applications

reconfigurable computing: architectures, tools and applications

Springer, New

Rp 1.038.251
software composition: 10th international conference, sc 2011, zurich, switzerland, june 30 - july 1, 2011, proceedings

software composition: 10th international conference, sc 2011, zurich, switzerland, june 30 - july 1, 2011, proceedings

apel, sven
springer, 2012, New

Rp 1.038.251
integrated formal methods: 9th international conference, ifm 2012, pisa, italy, june 18-21, 2012. proceedings

integrated formal methods: 9th international conference, ifm 2012, pisa, italy, june 18-21, 2012. proceedings

derrick eds
springer, 2012, New

Rp 1.059.446
60616263646566