Shipping to Brasil for only R$18 

Ship to
Brasil
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.538 Books

Approximation Algorithms and Semidefinite Programming

Approximation Algorithms and Semidefinite Programming

Gärtner, Bernd ; Matousek, Jiri
Springer, Paperback, New

R$ 390,76
WebServices und serviceorientierte Architektur (German Edition)

WebServices und serviceorientierte Architektur (German Edition)

Timo Müller
GRIN Publishing, Paperback, New

R$ 295,89
Programmentwicklung Und Verifikation (in German)

Programmentwicklung Und Verifikation (in German)

Futschek, Gerald
Springer, Paperback, New

R$ 446,59
Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis: 11th International Symposium, Atva 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Van Hung, Dang ; Ogawa, Mizuhito
Springer, Paperback, New

R$ 334,92
Programming Languages and Systems: 11th International Symposium, Aplas 2013, Melbourne, Vic, Australia, December 9-11, 2013, Proceedings

Programming Languages and Systems: 11th International Symposium, Aplas 2013, Melbourne, Vic, Australia, December 9-11, 2013, Proceedings

Shan, Chung-Chien
Springer, Paperback, New

R$ 334,92
Mathematics of Program Construction: 12Th International Conference, mpc 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings (Lecture Notes in Computer Science)

Mathematics of Program Construction: 12Th International Conference, mpc 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings (Lecture Notes in Computer Science)

Springer, 2015, Paperback, New

R$ 334,92
Dokumentenmanagement mit Microsoft Access: Vollwertiges dms mit Quellcode und Erläuterungen (in German)

Dokumentenmanagement mit Microsoft Access: Vollwertiges dms mit Quellcode und Erläuterungen (in German)

JÜRgen Alfred Klein
Books On Demand, 2020, 1 edition, Paperback, New

R$ 238,90
Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering)

Hardware and Software: Verification and Testing: 10Th International Haifa Verification Conference, hvc 2014, Haifa, Israel, November 18-20, 2014, Proceedings (Programming and Software Engineering)

Eran Yahav
Springer, 2014, Paperback, New

R$ 334,92
Hacking for Beginners: Comprehensive Guide on Hacking Websites, Smartphones, Wireless Networks, Conducting Social Engineering, Performing a P

Hacking for Beginners: Comprehensive Guide on Hacking Websites, Smartphones, Wireless Networks, Conducting Social Engineering, Performing a P

Menzie, Ross
Ross Menzie, Paperback, New

R$ 168,07
Correct Software in Web Applications and Web Services

Correct Software in Web Applications and Web Services

Thalheim, Bernhard ; Schewe, Klaus-Dieter ; Prinz, Andreas
Springer, Hardcover, New

R$ 334,92
Artificial Neural Networks and Machine Learning -- Icann 2014: 24th International Conference on Artificial Neural Networks, Hamburg, Germany, Septembe

Artificial Neural Networks and Machine Learning -- Icann 2014: 24th International Conference on Artificial Neural Networks, Hamburg, Germany, Septembe

Wermter, Stefan ; Weber, Cornelius ; Duch, Wlodzislaw
Springer, Paperback, New

R$ 334,92
Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Leucker, Martin ; Rueda, Camilo ; Valencia, Frank D.
Springer, Paperback, New

R$ 334,92
Multidimensional Queueing Models in Telecommunication Networks

Multidimensional Queueing Models in Telecommunication Networks

Melikov, Agassi ; Ponomarenko, Leonid
Springer, Hardcover, New

R$ 334,92
Theory and Practice of Model Transformations: 7th International Conference, Icmt 2014, Held as Part of Staf 2014, York, Uk, July 21-22, 2014, Proceedi

Theory and Practice of Model Transformations: 7th International Conference, Icmt 2014, Held as Part of Staf 2014, York, Uk, July 21-22, 2014, Proceedi

Di Ruscio, Davide ; Varró, Dániel
Springer, Paperback, New

R$ 334,92
Human-Computer Interaction. Interaction Contexts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, ... Part II (Lecture Notes in Computer Science)

Human-Computer Interaction. Interaction Contexts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, ... Part II (Lecture Notes in Computer Science)

Springer, Paperback, New

R$ 334,92
Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 (Theoretical Computer Science and General Issues)

Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 1 (Theoretical Computer Science and General Issues)

Springer, Paperback, New

R$ 642,02
Languages and Compilers for Parallel Computing: 27Th International Workshop, Lcpc 2014, Hillsboro, or, Usa, September 15-17, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

Languages and Compilers for Parallel Computing: 27Th International Workshop, Lcpc 2014, Hillsboro, or, Usa, September 15-17, 2014, Revised Selected Papers (Lecture Notes in Computer Science)

Springer, 2015, Paperback, New

R$ 334,92
Security, Privacy, And Applied Cryptography Engineering: 6th International Conference, Space 2016, Hyderabad, India, December 14-18, 2016, Proceedings (lecture Notes In Computer Science (10076))

Security, Privacy, And Applied Cryptography Engineering: 6th International Conference, Space 2016, Hyderabad, India, December 14-18, 2016, Proceedings (lecture Notes In Computer Science (10076))

Carlet, Claude ; Hasan, M. Anwar ; Saraswat, Vishal
Springer, Paperback, New

R$ 334,92
Foundations of Security Analysis and Design VII: Fosad 2012 / 2013 Tutorial Lectures

Foundations of Security Analysis and Design VII: Fosad 2012 / 2013 Tutorial Lectures

Aldini, Alessandro ; Lopez, Javier ; Martinelli, Fabio
Springer, Paperback, New

R$ 334,92
Agile Project Management: Managing for Success

Agile Project Management: Managing for Success

Crowder, James A. ; Friess, Shelli
Springer, 1 edition, Paperback, New

R$ 586,18
Concrete Semantics: With Isabelle/Hol

Concrete Semantics: With Isabelle/Hol

Nipkow, Tobias ; Klein, Gerwin
Springer, 1 edition, Paperback, New

R$ 418,68
Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product

Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product

Kobyliński, Andrzej ; Czarnacka-Chrobot, Beata ; Świerczek, Jaroslaw
Springer, Paperback, New

R$ 334,92
Algorithms for Sensor Systems: 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, Algosensors 2015, Patras, Gre

Algorithms for Sensor Systems: 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, Algosensors 2015, Patras, Gre

Bose, Prosenjit ; Gąsieniec, Leszek Antoni ; Römer, Kay
Springer, Paperback, New

R$ 334,92
Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Integrated Formal Methods: 12th International Conference, Ifm 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Ábrahám, Erika ; Huisman, Marieke
Springer, Paperback, New

R$ 530,35
Algorithms and Architectures for Parallel Processing: Ica3pp International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceed

Algorithms and Architectures for Parallel Processing: Ica3pp International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceed

Wang, Guojin ; Zomaya, Albert ; Martinez, Gregorio
Springer, Paperback, New

R$ 642,02
Wired/Wireless Internet Communications: 14th Ifip Wg 6.2 International Conference, Wwic 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

Wired/Wireless Internet Communications: 14th Ifip Wg 6.2 International Conference, Wwic 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings

Mamatas, Lefteris ; Matta, Ibrahim ; Papadimitriou, Panagiotis
Springer, Paperback, New

R$ 334,92
Hybrid Systems Biology: Second International Workshop, Hsb 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, Hsb 2014

Hybrid Systems Biology: Second International Workshop, Hsb 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, Hsb 2014

Maler, Oded ; Halász, Ádám ; Dang, Thao
Springer, Paperback, New

R$ 279,09
Descriptional Complexity of Formal Systems: 19th Ifip Wg 1.02 International Conference, Dcfs 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems: 19th Ifip Wg 1.02 International Conference, Dcfs 2017, Milano, Italy, July 3-5, 2017, Proceedings

Pighizzini, Giovanni ; Câmpeanu, Cezar
Springer, Paperback, New

R$ 334,92
lipoprotein metabolism and atherogenesis

lipoprotein metabolism and atherogenesis

Kita, T. ; Yokode, M.
Springer, 2012, Paperback, New

R$ 386,10
Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture Notes in Computer Science)

Quantitative Evaluation of Systems: 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings (Lecture Notes in Computer Science)

Springer, Paperback, New

R$ 334,92
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings

Cavalheiro, Simone ; Fiadeiro, José
Springer, Paperback, New

R$ 418,68
Optimization Techniques in Computer Vision: Ill-Posed Problems and Regularization

Optimization Techniques in Computer Vision: Ill-Posed Problems and Regularization

Abidi, Mongi A. ; Gribok, Andrei V. ; Paik, Joonki
Springer, Paperback, New

R$ 586,18
Human Centered Computing: Third International Conference, Hcc 2017, Kazan, Russia, August 7-9, 2017, Revised Selected Papers

Human Centered Computing: Third International Conference, Hcc 2017, Kazan, Russia, August 7-9, 2017, Revised Selected Papers

Zu, Qiaohong ; Hu, Bo
Springer, Paperback, New

R$ 334,92
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P

Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji
Springer, Paperback, New

R$ 334,92
Genetic Programming: 19th European Conference, Eurogp 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Genetic Programming: 19th European Conference, Eurogp 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings

Heywood, Malcolm I. ; McDermott, James ; Castelli, Mauro
Springer, Paperback, New

R$ 334,92
Numerical Computations with Gpus

Numerical Computations with Gpus

Kindratenko, Volodymyr
Springer, Paperback, New

R$ 977,03
Reduced Order Methods for Modeling and Computational Reduction

Reduced Order Methods for Modeling and Computational Reduction

Quarteroni, Alfio ; Rozza, Gianluigi
Springer, Paperback, New

R$ 642,02
Cellular Automata and Discrete Complex Systems: 22nd Ifip Wg 1.5 International Workshop, Automata 2016, Zurich, Switzerland, June 15-17, 2016, Proceed

Cellular Automata and Discrete Complex Systems: 22nd Ifip Wg 1.5 International Workshop, Automata 2016, Zurich, Switzerland, June 15-17, 2016, Proceed

Cook, Matthew ; Neary, Turlough
Springer, Paperback, New

R$ 334,92
Networked Systems: 4th International Conference, Netys 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

Networked Systems: 4th International Conference, Netys 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers

Abdulla, Parosh Aziz ; Delporte-Gallet, Carole
Springer, Paperback, New

R$ 334,92
Information and Software Technologies: 22nd International Conference, Icist 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

Information and Software Technologies: 22nd International Conference, Icist 2016, Druskininkai, Lithuania, October 13-15, 2016, Proceedings

Dregvaite, Giedre ; Damasevicius, Robertas
Springer, Paperback, New

R$ 642,02
Modelling Foundations and Applications: 12th European Conference, Ecmfa 2016, Held as Part of Staf 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Modelling Foundations and Applications: 12th European Conference, Ecmfa 2016, Held as Part of Staf 2016, Vienna, Austria, July 6-7, 2016, Proceedings

Wąsowski, Andrzej ; Lönn, Henrik
Springer, Paperback, New

R$ 334,92
Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Stabilization, Safety, and Security of Distributed Systems: 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings

Bonakdarpour, Borzoo ; Petit, Franck
Springer, Paperback, New

R$ 334,92
Rapid Mashup Development Tools: Second International Rapid Mashup Challenge, Rmc 2016, Lugano, Switzerland, June 6, 2016, Revised Selected Papers

Rapid Mashup Development Tools: Second International Rapid Mashup Challenge, Rmc 2016, Lugano, Switzerland, June 6, 2016, Revised Selected Papers

Daniel, Florian ; Gaedke, Martin
Springer, Paperback, New

R$ 334,92
Engineering Multi-Agent Systems: 4th International Workshop, Emas 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Engineering Multi-Agent Systems: 4th International Workshop, Emas 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers

Baldoni, Matteo ; Müller, Jörg P. ; Nunes, Ingrid
Springer, Paperback, New

R$ 334,92
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proc

Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, Hvc 2016, Haifa, Israel, November 14-17, 2016, Proc

Bloem, Roderick ; Arbel, Eli
Springer, Paperback, New

R$ 334,92
Computer Vision - Eccv 2016 Workshops: Amsterdam, the Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I

Computer Vision - Eccv 2016 Workshops: Amsterdam, the Netherlands, October 8-10 and 15-16, 2016, Proceedings, Part I

Hua, Gang ; Jégou, Hervé
Springer, Paperback, New

R$ 642,02
Instruction Selection: Principles, Methods, and Applications

Instruction Selection: Principles, Methods, and Applications

Hjort Blindell, Gabriel
Springer, Paperback, New

R$ 279,09
Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Modeled, Tested, Trusted: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, Joost-Pieter ; Langerak, Rom ; Rensink, Arend
Springer, Paperback, New

R$ 334,92
Computational Logistics: 8th International Conference, ICCL 2017, Southampton, Uk, October 18-20, 2017, Proceedings

Computational Logistics: 8th International Conference, ICCL 2017, Southampton, Uk, October 18-20, 2017, Proceedings

Bektaş, Tolga ; Coniglio, Stefano ; Martinez-Sykora, Antonio
Springer, Paperback, New

R$ 334,92
Rules and Reasoning: International Joint Conference, Ruleml+rr 2017, London, Uk, July 12-15, 2017, Proceedings

Rules and Reasoning: International Joint Conference, Ruleml+rr 2017, London, Uk, July 12-15, 2017, Proceedings

Costantini, Stefania ; Franconi, Enrico ; Van Woensel, William
Springer, Paperback, New

R$ 334,92
19202122232425