Programming & scripting languages: general
Results 421 - 440 of 498
Programming & scripting languages: general
Paperback. Stump s Programming Language Foundations is a short concise text that covers semantics, equally weighting operational and denotational semantics for several different programming paradigms: imperative, concurrent, and functional. Num Pages: 336 pages, black & white line drawings, figures. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 233 x 191 x 12. Weight in Grams: 484.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- John Wiley & Sons Inc United States
- Number of pages
- 336
- Condition
- New
- Edition
- 1st Edition
- SKU
- V9781118007471
- ISBN
- 9781118007471
Paperback
Condition: New
€ 142.88
€ 142.88
Paperback.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- APress United States
- Edition
- 1st Edition
- Number of pages
- 239
- Condition
- New
- SKU
- V9781590598214
- ISBN
- 9781590598214
Paperback
Condition: New
€ 48.99€ 40.15
€ 48.99
€ 40.15
Hardcover. This book presents a process for problem resolution, policy crafting, and decision making based on the use of modeling and simulation. Detailed descriptions of the methods by which Visual SLAM and AweSim, version 3, support this process are presented. Num Pages: 852 pages, illustrations. BIC Classification: UGK; UMX; UMZ. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 245 x 200 x 53. Weight in Grams: 1828.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- John Wiley and Sons Ltd United States
- Edition
- 2nd Edition
- Number of pages
- 852
- Condition
- New
- SKU
- V9780471352938
- ISBN
- 9780471352938
Hardback
Condition: New
€ 269.40
€ 269.40
Paperback. Constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2011, held in Paris, France, in November 2011. Editor(s): Wolff, Burkhart; Zaidi, Fatiha. Series: Lecture Notes in Computer Science. Num Pages: 226 pages, 75 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 226
- Condition
- New
- SKU
- V9783642245794
- ISBN
- 9783642245794
Paperback
Condition: New
€ 69.04
€ 69.04
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.86
€ 200.86
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.03
€ 131.03
Software Agent-based Applications, Platforms and Development Kits
. Ed(S): Unland, Rainer; Klusch, Matthias; Ca...
paperback. Introduces major agent platforms, frameworks, systems, tools, and applications. This book describes each system by their developers in sufficient detail so that the reader can get a good understanding of the architecture, functionality, and application areas of the system. Editor(s): Unland, Rainer; Klusch, Matthias; Calisti, Monique. Series: Whitestein Series in Software Agent Technologies and Autonomic Computing. Num Pages: 463 pages, biography. BIC Classification: UGK; UKR; UMX; UT; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 24. Weight in Grams: 793.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Birkhauser Verlag AG Switzerland
- Edition
- 2005th Edition
- Number of pages
- 463
- Condition
- New
- SKU
- V9783764373474
- ISBN
- 9783764373474
Paperback
Condition: New
€ 69.20
€ 69.20
Paperback. Constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, held in Krakow, Poland, in October 2009. Editor(s): Szmuc, Tomasz; Szpyrka, Marcin; Zendulka, Jaroslav. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 276 pages, 87 black & white illustrations, biography. BIC Classification: UKN; UMX; UMZ; UNH. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 276
- Condition
- New
- SKU
- V9783642280375
- ISBN
- 9783642280375
Paperback
Condition: New
€ 69.35
€ 69.35
Paperback. Constitutes the refereed post-workshop proceedings of the 6th International Workshop on Automated Deduction in Geometry, ADG 2008, that was held in Shanghai, China in September 2008. Editor(s): Sturm, Thomas; Zengler, Christoph. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 225 pages, 46 black & white illustrations, 22 colour illustrations, biography. BIC Classification: PBMW; UG; UMB; UMX; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 363.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 225
- Condition
- New
- SKU
- V9783642210457
- ISBN
- 9783642210457
Paperback
Condition: New
€ 69.04
€ 69.04
Theory and Applications of Satisfiability Testing - SAT 2010
. Ed(S): Strichman, Ofer; Szeider, Stefan
Paperback. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Editor(s): Strichman, Ofer; Szeider, Stefan. Series: Lecture Notes in Computer Science. Num Pages: 400 pages, 74 black & white illustrations, biography. BIC Classification: PBCD; UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 23. Weight in Grams: 612.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 400
- Condition
- New
- SKU
- V9783642141850
- ISBN
- 9783642141850
Paperback
Condition: New
€ 70.73
€ 70.73
Paperback. This volume contains revised papers from the Rough Set and Knowledge Technology Conference (RSKT 2008), together with five papers introducing advances in rough set theory and its applications. It is part of the LNCS Transactions on Rough Sets series. Editor(s): Slowinski, Roman; Lingras, Pawan; Tsumoto, Shusaku; Miao, Duoqian. Series: Lecture Notes in Computer Science. Num Pages: 339 pages, 5 colour illustrations, biography. BIC Classification: UG; UMB; UMX; UYQP. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 18. Weight in Grams: 522.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 339
- Condition
- New
- SKU
- V9783642144660
- ISBN
- 9783642144660
Paperback
Condition: New
€ 70.11
€ 70.11
Paperback. Collects the articles that cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction, and termination analysis, and give a good perspective on the formal verification of the correctness of software systems. Editor(s): Siegler, Simon; Wasser, Nathan. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 145 pages, 30 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 231 x 152 x 10. Weight in Grams: 259.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783642171710
- ISBN
- 9783642171710
Paperback
Condition: New
€ 68.33
€ 68.33
Implementation and Application of Functional Languages: 20th Internati...
. Ed(S): Scholz, Sven-Bodo; Chitil, Olaf
paperback. Constitutes the refereed post-proceedings of the 20th International Workshop on Implementation and Applications of Functional Languages, IFL 2008, held in Hatfield, UK, in September 2008. Editor(s): Scholz, Sven-Bodo; Chitil, Olaf. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 291 pages, 79 black & white illustrations, 5 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Edition
- 2011th Edition
- Number of pages
- 291
- Condition
- New
- SKU
- V9783642244513
- ISBN
- 9783642244513
Paperback
Condition: New
€ 86.80
€ 86.80
Practical Aspects of Declarative Languages: 14th International Symposi...
. Ed(S): Russo, Claudio; Zhou, Neng-Fa
paperback. Editor(s): Russo, Claudio; Zhou, Neng-Fa. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 304 pages, 75 black & white illustrations, 3 colour illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 458.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Germany
- Number of pages
- 304
- Condition
- New
- Edition
- 2012th Edition
- SKU
- V9783642276934
- ISBN
- 9783642276934
Paperback
Condition: New
€ 70.58
€ 70.58
Paperback. Constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, that was held in Edinburgh, UK. Editor(s): Romanovsky, Alexander; Vardanega, Tullio. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 227 pages, 27 black & white illustrations, 28 colour illustrations, biography. BIC Classification: UKN; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 386.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 227
- Condition
- New
- SKU
- V9783642213373
- ISBN
- 9783642213373
Paperback
Condition: New
€ 69.19
€ 69.19
Paperback. Constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages. Editor(s): Rocha, Ricardo; Launchbury, John. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 265 pages, 52 black & white illustrations, 12 colour illustrations, biography. BIC Classification: UMB; UMG; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 408.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 265
- Condition
- New
- SKU
- V9783642183775
- ISBN
- 9783642183775
Paperback
Condition: New
€ 69.35
€ 69.35
Systems, Software and Services Process Improvement: 17th European Conf...
. Ed(S): Riel, Andreas; O'Connor, Rory; Tichk...
paperback. Constitutes the refereed proceedings of the 17th EuroSPI conference in Grenoble, France, during September 1-3. This book includes the papers that are organized in topical sections on SPI Tools, SPI Methods, SPI in SMEs, SPI and Economic Aspects as well as Future of SPI. Editor(s): Riel, Andreas; O'Connor, Rory; Tichkiewitch, Serge; Messnarz, Richard. Series: Communications in Computer and Information Science. Num Pages: 303 pages, 67 black & white illustrations, biography. BIC Classification: UKR; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 18. Weight in Grams: 476.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Number of pages
- 303
- Condition
- New
- Edition
- 2010th Edition
- SKU
- V9783642156656
- ISBN
- 9783642156656
Paperback
Condition: New
€ 69.80
€ 69.80
Paperback. Constitutes the proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2010, held in Valencia, Spain, on June 14-18, 2010. Topics of interest to the conference are software dependability, critical, real-time and distributed systems, and language technology. Editor(s): Real, Jorge; Vardanega, Tullio. Series: Lecture Notes in Computer Science. Num Pages: 277 pages, 65 black & white illustrations, biography. BIC Classification: UKN; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 152 x 15. Weight in Grams: 431.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 277
- Condition
- New
- SKU
- V9783642135491
- ISBN
- 9783642135491
Paperback
Condition: New
€ 69.50
€ 69.50
Paperback. Editor(s): Obaidat, Mohammad S.; Filipe, Joaquim. Series: Communications in Computer and Information Science. Num Pages: 359 pages, 85 black & white illustrations, 37 colour illustrations, biography. BIC Classification: KJE; UKN; UMB; UMX; URY; UY. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 567.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 359
- Condition
- New
- SKU
- V9783642200762
- ISBN
- 9783642200762
Paperback
Condition: New
€ 70.42
€ 70.42
Implementation and Application of Functional Languages: 21st Internati...
. Ed(S): Morazan, Marco T.; Scholz, Sven-Bodo
paperback. Constitutes the refereed post-proceedings of the 21st International Workshop on Implementation and Applications of Functional Languages, IFL 2000, held in South Orange, NJ, USA, in September 2009. Editor(s): Morazan, Marco T.; Scholz, Sven-Bodo. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 237 pages, 107 black & white illustrations, biography. BIC Classification: UMB; UMJ; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 376.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Germany
- Edition
- 2010th Edition
- Number of pages
- 237
- Condition
- New
- SKU
- V9783642164774
- ISBN
- 9783642164774
Paperback
Condition: New
€ 69.14
€ 69.14