Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
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.981 Books

Bandwidth Extension of Speech Using Perceptual Criteria

Bandwidth Extension of Speech Using Perceptual Criteria

Berisha, Visar ; Sandoval, Steven ; Liss, Julie
Springer, 1 edition, Paperback, New

€ 33,44
Probabilistic Ranking Techniques in Relational Databases

Probabilistic Ranking Techniques in Relational Databases

Ilyas, Ihab ; Soliman, Mohamed
Springer, 1 edition, Paperback, New

€ 31,07
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

Russinoff, David M.
Springer, Hardcover, New

€ 147,53
Cryptology and Network Security: 19th International Conference, Cans 2020, Vienna, Austria, December 14-16, 2020, Proceedings

Cryptology and Network Security: 19th International Conference, Cans 2020, Vienna, Austria, December 14-16, 2020, Proceedings

Krenn, Stephan ; Shulman, Haya ; Vaudenay, Serge
Springer, Paperback, New

€ 98,89
Chinese Lexical Semantics: 21st Workshop, Clsw 2020, Hong Kong, China, May 28-30, 2020, Revised Selected Papers

Chinese Lexical Semantics: 21st Workshop, Clsw 2020, Hong Kong, China, May 28-30, 2020, Revised Selected Papers

Liu, Meichun ; Kit, Chunyu ; Su, Qi
Springer, Paperback, New

€ 100,43
Algorithm Portfolios: Advances, Applications, and Challenges

Algorithm Portfolios: Advances, Applications, and Challenges

Souravlias, Dimitris ; Parsopoulos, Konstantinos E. ; Kotsireas, Ilias S.
Springer, Paperback, New

€ 66,47
Artificial Intelligence in Intelligent Systems: Proceedings of 10th Computer Science On-Line Conference 2021, Vol. 2

Artificial Intelligence in Intelligent Systems: Proceedings of 10th Computer Science On-Line Conference 2021, Vol. 2

Silhavy, Radek
Springer, Paperback, New

€ 172,32
Developments in Language Theory: 25th International Conference, Dlt 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Developments in Language Theory: 25th International Conference, Dlt 2021, Porto, Portugal, August 16-20, 2021, Proceedings

Moreira, Nelma ; Reis, Rogério
Springer, Paperback, New

€ 90,78
The Boxes Methodology Second Edition: Black Box Control of Ill-Defined Systems

The Boxes Methodology Second Edition: Black Box Control of Ill-Defined Systems

Russell, David W.
Springer, Hardcover, New

€ 147,53
Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Leveraging Applications of Formal Methods, Verification and Validation: 10th International Symposium on Leveraging Applications of Formal Methods, Iso

Margaria, Tiziana ; Steffen, Bernhard
Springer, Paperback, New

€ 74,57
Genetic Programming: 25th European Conference, Eurogp 2022, Held as Part of Evostar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Genetic Programming: 25th European Conference, Eurogp 2022, Held as Part of Evostar 2022, Madrid, Spain, April 20-22, 2022, Proceedings

Medvet, Eric ; Pappa, Gisele ; Xue, Bing
Springer, Paperback, New

€ 66,47
Graph Transformation: 15th International Conference, Icgt 2022, Held as Part of Staf 2022, Nantes, France, July 7-8, 2022, Proceedings

Graph Transformation: 15th International Conference, Icgt 2022, Held as Part of Staf 2022, Nantes, France, July 7-8, 2022, Proceedings

Behr, Nicolas ; Strüber, Daniel
Springer, Paperback, New

€ 58,36
Advances in Building Information Modeling: Second Eurasian Bim Forum, Ebf 2021, Istanbul, Turkey, November 11-12, 2021, Revised Selected Papers

Advances in Building Information Modeling: Second Eurasian Bim Forum, Ebf 2021, Istanbul, Turkey, November 11-12, 2021, Revised Selected Papers

Özener, Ozan Önder ; Ofluoglu, Salih ; Isikdag, Umit
Springer, Paperback, New

€ 54,31
Computer-Aided Architectural Design. Interconnections: Co-Computing Beyond Boundaries: 20th International Conference, Caad Futures 2023, Delft, the Ne

Computer-Aided Architectural Design. Interconnections: Co-Computing Beyond Boundaries: 20th International Conference, Caad Futures 2023, Delft, the Ne

Turrin, Michela ; Andriotis, Charalampos ; Rafiee, Azarakhsh
Springer, Paperback, New

€ 90,78
The Evolution of Pervasive Information Systems

The Evolution of Pervasive Information Systems

Kirsch Pinheiro, Manuele ; Souveyet, Carine ; Roose, Philippe
Springer, Hardcover, New

€ 171,84
Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Computer Aided Verification: 35th International Conference, Cav 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Enea, Constantin ; Lal, Akash
Springer, Paperback, New

€ 45,29
Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revis

Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, F-Ide, Cosim-Cps, Cifma, Berlin, Germany, September 26-30, 2022, Revis

Masci, Paolo ; Bernardeschi, Cinzia ; Graziani, Pierluigi
Springer, Paperback, New

€ 107,00
Internet of Things. Advances in Information and Communication Technology: 6th Ifip International Cross-Domain Conference, Ifipiot 2023, Denton, Tx, Us

Internet of Things. Advances in Information and Communication Technology: 6th Ifip International Cross-Domain Conference, Ifipiot 2023, Denton, Tx, Us

Puthal, Deepak ; Mohanty, Saraju ; Choi, Baek-Young
Springer, Hardcover, New

€ 115,10
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion

Lopez-Garcia, Pedro ; Gallagher, John P. ; Giacobazzi, Roberto
Springer, Paperback, New

€ 123,21
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Kosmatov, Nikolai ; Prevosto, Virgile ; Signoles, Julien
Springer, Hardcover, New

€ 74,57
International Conference on Applied Technologies: 5th International Conference on Applied Technologies, iCat 2023, Samborondon, Ecuador, November 22-2

International Conference on Applied Technologies: 5th International Conference on Applied Technologies, iCat 2023, Samborondon, Ecuador, November 22-2

Botto-Tobar, Miguel ; Zambrano Vizuete, Marcelo ; Montes León, Sergio
Springer, Paperback, New

€ 139,42
The Sacred & the Digital: Critical Depictions of Religions in Video Games

The Sacred & the Digital: Critical Depictions of Religions in Video Games

Bosman, Frank G.
Mdpi AG, Paperback, New

€ 50,87
Programming in C++: Object Oriented Features: 5 (de Gruyter Textbook)

Programming in C++: Object Oriented Features: 5 (de Gruyter Textbook)

Rai China Science Publishing & Media
de Gruyter, 2019, 1 edition, Paperback, New

€ 63,24
modeling semantic web services

modeling semantic web services

de Bruijn, Jos ; Kerrigan, Mick ; Keller, Uwe
Springer, Paperback, New

€ 55,95
mathematical modeling in mechanics of granular materials

mathematical modeling in mechanics of granular materials

sadovskaya, oxana
springer, 2012, New

€ 150,48
web intelligence

web intelligence

Zhong, Ning ; Liu, Jiming ; Yao, Yiyu
Springer, 2010, Paperback, New

€ 149,27
rationale management in software engineering

rationale management in software engineering

Dutoit, Allen H. ; McCall, Raymond ; Mistrik, Ivan
Springer, 2013, Paperback, New

€ 98,09
formal aspects of component software: 9th international symposium, facs 2012, mountain view, ca, usa, september 11-13, 2012. revised selected papers

formal aspects of component software: 9th international symposium, facs 2012, mountain view, ca, usa, september 11-13, 2012. revised selected papers

pasareanu, corina s.
springer, 2013, New

€ 53,58
software language engineering

software language engineering

Springer, New

€ 54,31
abstract computing machines: a lambda calculus perspective

abstract computing machines: a lambda calculus perspective

kluge, werner
springer, 2010, New

€ 99,45
Computational Technologies (de Gruyter Textbook)

Computational Technologies (de Gruyter Textbook)

N. M. Afanas'eva; M. Yu. Antonov; V. S. Borisov; A. V. Grigor'ev; A. E. Kolesov; P. A. Popov; I. K. Sirditov; M. V. Vasil'eva; P. E. Zakharov
De Gruyter, 2014, Paperback, New

€ 48,63
measurement, modelling, and evaluation and dependability in fault tolerance

measurement, modelling, and evaluation and dependability in fault tolerance

Springer, New

€ 54,31
graph-theoretic concepts in computer science: 37th international workshop, wg 2011, tepla monastery, czech republic, june 21-24, 2011, revised papers

graph-theoretic concepts in computer science: 37th international workshop, wg 2011, tepla monastery, czech republic, june 21-24, 2011, revised papers

Kolman, Petr ; Kratochvíl, Jan
Springer, 2012, Paperback, New

€ 55,49
evaluation of novel approaches to software engineering: 6th international conference, enase 2011, beijing, china, june 8-11, 2011. revised selected pa

evaluation of novel approaches to software engineering: 6th international conference, enase 2011, beijing, china, june 8-11, 2011. revised selected pa

Maciaszek, Leszek A. ; Zhang, Kang
Springer, 2013, Paperback, New

€ 54,31
programming languages: 16th brazilian symposium, sblp 2012, natal, brazil, september 23-28, 2012, proceedings

programming languages: 16th brazilian symposium, sblp 2012, natal, brazil, september 23-28, 2012, proceedings

de carvalho junior, francisco heron
springer, 2012, New

€ 53,58
integrated circuit and system design. power and timing modeling, optimization and simulation: 22nd international workshop, patmos 2012, newcastle upon

integrated circuit and system design. power and timing modeling, optimization and simulation: 22nd international workshop, patmos 2012, newcastle upon

Ayala, José L. ; Shang, DeLong ; Yakovlev, Alex
Springer, 2012, Paperback, New

€ 50,25
qos management of web services

qos management of web services

Zheng, Zibin ; Lyu, Michael R.
Springer, 2013, Hardcover, New

€ 98,89
field-based coordination for pervasive multiagent systems

field-based coordination for pervasive multiagent systems

Mamei, Marco ; Zambonelli, Franco
Springer, 2010, Paperback, New

€ 98,89
software engineering research, management and applications

software engineering research, management and applications

Lee, Roger
Springer, 2010, Paperback, New

€ 98,89
problems and methodologies in mathematical software production

problems and methodologies in mathematical software production

Springer, New

€ 27,51
grid computing - grid 2002

grid computing - grid 2002

Springer, New

€ 54,31
object-oriented technology. ecoop 2002 workshop reader

object-oriented technology. ecoop 2002 workshop reader

Hernández, Juan ; Moreira, Ana
Springer, Paperback, New

€ 54,31
ada software tools interfaces

ada software tools interfaces

Springer, New

€ 54,31
algebraic specifications in software engineering: an introduction

algebraic specifications in software engineering: an introduction

horebeek, ivo van
springer, 2011, New

€ 54,31
object-oriented programming: with prototypes

object-oriented programming: with prototypes

Blaschek, Günther
Springer, 2011, Paperback, New

€ 54,90
Numerical Algorithms With Fortran

Numerical Algorithms With Fortran

Gisela Engeln-Müllges; Frank Uhlig
Springer, 2014, Paperback, New

€ 82,68
modula-2: an introduction

modula-2: an introduction

thalmann, daniel
springer, 1985, New

€ 98,89
object-oriented technology: ecoop 2000 workshop reader

object-oriented technology: ecoop 2000 workshop reader

Malenfant, Jacques ; Moisan, Sabine ; Moreira, Ana
Springer, Paperback, New

€ 54,31
programming languages and systems

programming languages and systems

Springer, New

€ 54,31
testing of communicating systems: 17th ifip tc 6/wg 6.1 international conference, testcom 2005, montreal, canada, may 31 - june 2, 2005, proceedings

testing of communicating systems: 17th ifip tc 6/wg 6.1 international conference, testcom 2005, montreal, canada, may 31 - june 2, 2005, proceedings

khendek, ferhat
springer, 2005, New

€ 55,67
136137138139140141142