.png){kind=logo}
Computer programming / software development
Results 6101 - 6120 of 8431
Computer programming / software development
hardcover. Part of the "CHDL Series", this work features a selection of the best papers presented in FDL'02. It contains papers from the Specification Formalisms for Proven design workshop that present formal methods for system modeling and design, semantic integrity and formal languages such as ALPHA, HANDLE and B. Editor(s): Villar, Eugenio; Mermet, Jean. Series: CHDL. Num Pages: 340 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 20. Weight in Grams: 669.
- Format
- Hardback
- Publication date
- 2003
- Publisher
- Kluwer Boston Incorporated United States
- Number of pages
- 340
- Condition
- New
- Edition
- 2003rd Edition
- SKU
- V9781402074141
- ISBN
- 9781402074141
Hardback
Condition: New
€ 200.93
€ 200.93
Artificial Neural Networks and Machine Learning - ICANN 2012
. Ed(S): Villa, Alessandro E. P.; Duch, Wlodz...
Paperback. Constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. Editor(s): Villa, Alessandro E. P.; Duch, Wlodzislaw; Erdi, Peter; Masulli, Francesco; Palm, Gunther. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 766 pages, 303 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1157.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 766
- Condition
- New
- SKU
- V9783642332685
- ISBN
- 9783642332685
Paperback
Condition: New
€ 71.59
€ 71.59
Artificial Neural Networks and Machine Learning -- ICANN 2012
. Ed(S): Villa, Alessandro E. P.; Duch, Wlodz...
Paperback. Constitutes the proceedings of the 22nd International Conference on Artificial Neural Networks, ICANN 2012, held in Lausanne, Switzerland, in September 2012. Editor(s): Villa, Alessandro E. P.; Duch, Wlodzislaw; Erdi, Peter; Masulli, Francesco; Palm, Gunther. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 618 pages, 172 black & white illustrations, biography. BIC Classification: UMB; UNH; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 31. Weight in Grams: 852.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 618
- Condition
- New
- SKU
- V9783642332654
- ISBN
- 9783642332654
Paperback
Condition: New
€ 70.12
€ 70.12
Paperback. Constitutes the refereed proceedings of the 5th International Conference on Information Processing, ICIP 2011, held in Bangalore, India, in August 2011. In this book, the papers are organized in topical sections on data mining; Web mining; artificial intelligence; soft computing; software engineering; and wireless networks. Editor(s): Venugopal, K. R.; Patnaik, L. M. Series: Communications in Computer and Information Science. Num Pages: 703 pages, biography. BIC Classification: UKN; UMB; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 38. Weight in Grams: 972.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 703
- Condition
- New
- SKU
- V9783642227851
- ISBN
- 9783642227851
Paperback
Condition: New
€ 132.50
€ 132.50
Paperback. Part of the "Eurographics" series, this book presents novel animation techniques and animation systems that simulate the dynamics and interactions of physical objects (solid, fluid and gaseous), as well as the behaviours of living systems, such as plant, lower animals and animals. Editor(s): Veltkamp, Remco C.; Blake, Edwin H. Series: Eurographics. Num Pages: 172 pages, 40 black & white illustrations. BIC Classification: UG; UM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 244 x 170 x 10. Weight in Grams: 350.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer Verlag GmbH Austria
- Edition
- Softcover reprint of the original 1st ed. 1995
- Number of pages
- 172
- Condition
- New
- SKU
- V9783211827888
- ISBN
- 9783211827888
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback. Editor(s): Velastin, Sergio; Jaafar, Azizah; Halimah, Badioze Zaman; Robinson, Peter; Smeaton, Alan F.; Shih, Timothy K.; Mohamad Ali, Nazlena. Series: Lecture Notes in Computer Science. Num Pages: 541 pages, 213 colour illustrations, biography. BIC Classification: UMB; UML; UYQ; UYQP; UYT; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 28. Weight in Grams: 825.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 541
- Condition
- New
- SKU
- V9783319259383
- ISBN
- 9783319259383
Paperback
Condition: New
€ 68.92
€ 68.92
Paperback. Editor(s): Veanes, Margus; Vigano, Luca (Albert-Ludwigs-Universitat, Freiburg, Germany). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 243 pages, 50 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 379.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 243
- Condition
- New
- SKU
- V9783642389153
- ISBN
- 9783642389153
Paperback
Condition: New
€ 85.74
€ 85.74
Paperback. Editor(s): Vassiliadis, Stamatis; Soudris, Dimitrios (Department of Electrical and Computer Engineering, Democritus University of Thrace, Xanthi, Greece). Num Pages: 397 pages, biography. BIC Classification: TJF; TJFC; UK; UMZ; UT. Category: (G) General (US: Trade). Dimension: 235 x 155 x 21. Weight in Grams: 611.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 397
- Condition
- New
- SKU
- V9789400798144
- ISBN
- 9789400798144
Paperback
Condition: New
€ 128.84
€ 128.84
Paperback. Proceedings of the Third International Conference on Computer-Aided Design of User Interfaces, 21-23 October 1999, Louvain-la-Neuve, Belgium Editor(s): Vanderdonckt, Jean; Puerta, Angel. Num Pages: 363 pages, biography. BIC Classification: UGC; UMA; UML; UYZG. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 19. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 363
- Condition
- New
- SKU
- V9789401058612
- ISBN
- 9789401058612
Paperback
Condition: New
€ 67.87
€ 67.87
Foundations of Real-Time Computing: Formal Specifications and Methods
. Ed(S): Van Tilborg, Andre M.; Koob, Gary M.
Paperback. Editor(s): Van Tilborg, Andre M.; Koob, Gary M. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 316 pages, biography. BIC Classification: UL; UMX; UMZ; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 510.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 316
- Condition
- New
- SKU
- V9781461367963
- ISBN
- 9781461367963
Paperback
Condition: New
€ 194.50
€ 194.50
Foundations of Real-Time Computing: Scheduling and Resource Management
. Ed(S): Van Tilborg, Andre M.; Koob, Gary M.
Paperback. Editor(s): Van Tilborg, Andre M.; Koob, Gary M. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 326 pages, biography. BIC Classification: UL; UMX; UMZ; UYF; UYQE. Category: (G) General (US: Trade). Dimension: 235 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 326
- Condition
- New
- SKU
- V9781461367666
- ISBN
- 9781461367666
Paperback
Condition: New
€ 194.49
€ 194.49
Paperback. Editor(s): Van Sinderen, Marten; Oude Luttighuis, Paul; Folmer, Erwin; Bosems, Steven. Series: Lecture Notes in Business Information Processing. Num Pages: 239 pages, 71 black & white illustrations, biography. BIC Classification: JPP; KJQ; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 343.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 239
- Condition
- New
- SKU
- V9783642367953
- ISBN
- 9783642367953
Paperback
Condition: New
€ 66.95
€ 66.95
Paperback. Editor(s): Van Gorp, Pieter; Ritter, Tom; Rose, Louis M. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 247 pages, 93 black & white illustrations, biography. BIC Classification: UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 385.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 247
- Condition
- New
- SKU
- V9783642390128
- ISBN
- 9783642390128
Paperback
Condition: New
€ 61.41
€ 61.41
Paperback. Editor(s): Van Gorp, Pieter; Engels, Gregor. Series: Lecture Notes in Computer Science. Num Pages: 221 pages, 66 black & white illustrations, biography. BIC Classification: UMZ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 12. Weight in Grams: 349.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 221
- Condition
- New
- SKU
- V9783319420639
- ISBN
- 9783319420639
Paperback
Condition: New
€ 66.95
€ 66.95
Integrity and Internal Control in Information Systems
. Ed(S): Van Biene-Hershey, Margaret E.; Stro...
Paperback. Editor(s): van Biene-Hershey, Margaret E.; Strous, Leon A. M. Series: IFIP Advances in Information and Communication Technology. Num Pages: 198 pages, biography. BIC Classification: GPFC; KJQ; UMB; UNH; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 314.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 2000
- Number of pages
- 198
- Condition
- New
- SKU
- V9781475755312
- ISBN
- 9781475755312
Paperback
Condition: New
€ 193.21
€ 193.21
Functional Imaging and Modeling of the Heart: 8th International Confer...
. Ed(S): Van Assen, Hans; Bovendeerd, Peter; ...
paperback. Editor(s): Van Assen, Hans; Bovendeerd, Peter; Delhaas, Tammo. Series: Lecture Notes in Computer Science. Num Pages: 501 pages, 210 black & white illustrations, biography. BIC Classification: MJD; MMPH; PSA; UGK; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 26. Weight in Grams: 765.
- Format
- Paperback
- Publication date
- 2015
- Publisher
- Springer Switzerland
- Edition
- 2015th Edition
- Number of pages
- 501
- Condition
- New
- SKU
- V9783319203089
- ISBN
- 9783319203089
Paperback
Condition: New
€ 68.56
€ 68.56
Paperback. Constitutes the refereed proceedings of the 9th International Conference on Formal Concept Analysis, ICFCA 2011, that was held in Nicosia, Cyprus. Editor(s): Valtchev, Petko; Jaschke, Robert. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 279 pages, biography. BIC Classification: PBF; UMX; UMZ; UNF; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 406.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 279
- Condition
- New
- SKU
- V9783642205132
- ISBN
- 9783642205132
Paperback
Condition: New
€ 66.76
€ 66.76
Hardback. Constitutes the thoroughly refereed post-conference proceedings of the International IFIP WG 5.7 Conference on Advances in Production Management Systems, APMS 2009, held in Bordeaux, France, in September 2009. Editor(s): Vallespir, Bruno; Alix, Thecle. Series: IFIP Advances in Information and Communication Technology. Num Pages: 688 pages, biography. BIC Classification: UKN; UKR; UMZ; UND; UYZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 36. Weight in Grams: 1138.
- Format
- Hardback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 688
- Condition
- New
- SKU
- V9783642163579
- ISBN
- 9783642163579
Hardback
Condition: New
€ 132.65
€ 132.65
Paperback. Editor(s): Vallecillo, Antonio; Tolvanen, Juha-Pekka; Kindler, Ekkart; Storrle, Harald; Kolovos, Dimitris. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 459 pages, 188 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 643.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 459
- Condition
- New
- SKU
- V9783642314902
- ISBN
- 9783642314902
Paperback
Condition: New
€ 68.56
€ 68.56
Analog and Mixed-Signal Hardware Description Languages
. Ed(S): Vachoux, Alain; Berge, Jean-Michel; ...
Hardback. Hardware description languages (HDL) such as VHDL and Verilog have found their way into almost every aspect of the design of digital hardware systems. This book shows how to use these hardware description languages in the design of electronic components and systems. It is suitable for researchers and designers working in electronic design. Editor(s): Vachoux, Alain; Berge, Jean-Michel; Levia, Oz; Rouillard, Jacques. Series: Current Issues in Electronic Modeling. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate; (XV) Technical / Manuals. Dimension: 235 x 155 x 11. Weight in Grams: 950.
- Format
- Hardback
- Publication date
- 1997
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 158
- Condition
- New
- SKU
- V9780792398752
- ISBN
- 9780792398752
Hardback
Condition: New
€ 131.06
€ 131.06