×


 x 

Shopping cart

Computer programming / software development

Results 1461 - 1480 of 7511

Computer programming / software development

Paperback. Series: Studienreihe Informatik. Num Pages: 211 pages, black & white illustrations, bibliography. BIC Classification: UMX. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 12. Weight in Grams: 400.
Format
Paperback
Publication date
1989
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
211
Condition
New
SKU
V9783540151630
ISBN
9783540151630
Paperback
Condition: New

€ 68.82

Paperback.
Publisher
Springer
Format
Paperback
Publication date
2007
Edition
2007th Edition
Condition
New
SKU
V9781846286919
ISBN
9781846286919
Paperback
Condition: New

€ 57.58

Hardcover. Num Pages: 218 pages, 6 black & white illustrations, 5 black & white tables, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
Format
Hardback
Publication date
2017
Publisher
Springer
Edition
1st ed. 2017
Condition
New
SKU
V9783642551970
ISBN
9783642551970
Hardback
Condition: New

€ 143.36

Paperback. The proceedings of a workshop, the aim of which was to assess various research attempts to define specification languages and to identify a programme of work for future investigations. Emphasis was placed on proof checking, type consistency, static semantics and stepwise specification developments. Editor(s): Andrews, Derek J.; Groote, Jan F.; Middelburg, C.A. (Eindhoven University of Technology). Series: Workshops in Computing. Num Pages: 357 pages, 1 black & white illustrations. BIC Classification: UMX. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 630.
Format
Paperback
Publication date
1994
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 1994
Number of pages
357
Condition
New
SKU
V9783540198543
ISBN
9783540198543
Paperback
Condition: New

€ 64.89

Hardcover. Semantics of Probabilistic Processes Num Pages: 249 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 248 x 163 x 19. Weight in Grams: 542.
Format
Hardback
Publication date
2015
Publisher
Springer
Edition
2014th Edition
Condition
New
SKU
V9783662451977
ISBN
9783662451977
Hardback
Condition: New

€ 64.57

Paperback. Num Pages: 263 pages, 32 black & white illustrations, biography. BIC Classification: PBD; UM; UYA; UYAM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 409.
Format
Paperback
Publication date
2016
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 2014
Number of pages
263
Condition
New
SKU
V9783662515983
ISBN
9783662515983
Paperback
Condition: New

€ 63.44

Paperback. Editor(s): Kahn, G. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, biography. BIC Classification: UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
Format
Paperback
Publication date
1979
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
380
Condition
New
SKU
V9783540095118
ISBN
9783540095118
Paperback
Condition: New

€ 63.15

Paperback. A collection of papers presented at the International Workshop on Semantics for Concurrency held in July 1990 at Leicester University. The text aims to identify positive objective features of the main approaches to semantics for concurrency, increasing understanding between research groups. Editor(s): Kwiatkowska, Marta Zofia; Shields, M.W.; Thomas, R. Murray. Series: Workshops in Computing. Num Pages: 346 pages, 1 black & white illustrations, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 240 x 170 x 19. Weight in Grams: 614.
Format
Paperback
Publication date
1990
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
346
Condition
New
SKU
V9783540196259
ISBN
9783540196259
Paperback
Condition: New

€ 64.93

Hardback. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Num Pages: 520 pages, 36 figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 187 x 237 x 29. Weight in Grams: 982.
Publisher
MIT Press Ltd
Number of pages
520
Format
Hardback
Publication date
2009
Edition
1st
Condition
New
SKU
V9780262062756
ISBN
9780262062756
Hardback
Condition: New

€ 72.53

Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 419 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 23. Weight in Grams: 640.
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
419
Condition
New
SKU
V9783642041631
ISBN
9783642041631
Paperback
Condition: New

€ 65.46

Paperback. Constitutes the thoroughly refereed post-conference proceedings of the joint International Workshops on Semantic Web, Ontologies and Databases, SWDB-ODBIS 2007, co-located with the 33rd International Conference on Very Large Data Bases, VLDB 2007, held in Vienna, Austria, in September 2007. Series: Lecture Notes in Computer Science. Num Pages: 163 pages, biography. BIC Classification: UBW; UMB; UNF; UYQE. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 249.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
163
Condition
New
SKU
V9783540709596
ISBN
9783540709596
Paperback
Condition: New

€ 63.10

Paperback. Including a useful overview of the latest research on implemented SWS technologies, this volume details a variety of current semantic service approaches and provides valuable material that will enhance future SWS evaluation methodologies and techniques. Editor(s): Blake, Brian; Cabral, Liliana; Konig-Ries, Birgitta; Kuster, Ulrich; Martin, David. Num Pages: 376 pages, 35 black & white tables, biography. BIC Classification: UBW; UMW. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 575.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
376
Condition
New
SKU
V9783642426643
ISBN
9783642426643
Paperback
Condition: New

€ 121.53

Paperback. Constitutes the refereed proceedings of the 7th International Semantic Web Conference, ISWC 2008, held in Karlsruhe, Germany, during October 26-30, 2008. This book covers such topics as ontology engineering, data management, software and service engineering, non-standard reasoning with ontologies, and semantic retrieval. Series: Lecture Notes in Computer Science / Information Systems and Applications, Incl. Internet/Web, and HCI. Num Pages: 958 pages, biography. BIC Classification: UBW; UKN; UKR; UMB. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 48. Weight in Grams: 1317.
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
958
Condition
New
SKU
V9783540885634
ISBN
9783540885634
Paperback
Condition: New

€ 128.59

Paperback. Series: Advances in Computer Vision and Machine Intelligence. Num Pages: 500 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 229 x 152 x 26. Weight in Grams: 748.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 1997
Number of pages
500
Condition
New
SKU
V9781489919151
ISBN
9781489919151
Paperback
Condition: New

€ 187.96

Hardback. This book explores the growing popularity and diversity of real-life semantic mashups, exploring such application areas as mathematical knowledge, speech, crisis and disaster management, recommendations (for games), inner-city information and tourism. Editor(s): Endres-Niggemeyer, Brigitte. Num Pages: 382 pages, biography. BIC Classification: UG; UMZ; UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 243 x 161 x 27. Weight in Grams: 722.
Format
Hardback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
382
Condition
New
SKU
V9783642364020
ISBN
9783642364020
Hardback
Condition: New

€ 65.72

Paperback. Editor(s): Aberer, Karl. Series: IFIP Advances in Information and Communication Technology. Num Pages: 360 pages, 31 black & white illustrations, biography. BIC Classification: UF; UMB; UNH. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 551.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 2003
Number of pages
360
Condition
New
SKU
V9781475710359
ISBN
9781475710359
Paperback
Condition: New

€ 123.14

Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 339 pages, biography. BIC Classification: UMX; UMZ; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 528.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of hardcover 1st ed. 2004
Number of pages
339
Condition
New
SKU
V9783642073069
ISBN
9783642073069
Paperback
Condition: New

€ 185.40

Hardback. Based on a common semantic domain of abstract systems, their composition and development, this book integrates various model-based software specification approaches. It shows the applicability of integration approach through semantic interpretations and compositional comparisons of different specification approaches. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 339 pages, biography. BIC Classification: UM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 659.
Format
Hardback
Publication date
2003
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
339
Condition
New
SKU
V9783540402572
ISBN
9783540402572
Hardback
Condition: New

€ 186.38

Hardcover. Geared to the usersa needs, this work provides comprehensive coverage of the main techniques and methods necessary to construct a self--tuning and self--adaptive system. Num Pages: 604 pages, Ill. BIC Classification: TGP; TJFM; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 241 x 197 x 38. Weight in Grams: 1226.
Format
Hardback
Publication date
1991
Publisher
John Wiley and Sons Ltd United Kingdom
Edition
1st Edition
Number of pages
604
Condition
New
SKU
V9780471928836
ISBN
9780471928836
Hardback
Condition: New

€ 519.45

Paperback. Constitutes the refereed proceedings of the 6th IFIP TC 6 International Workshop on Self-Organizing Systems, IWSOS 2012, held in Delft, The Netherlands, in March 2012. Editor(s): Kuipers, Fernando A.; Heegaard, Poul E. Series: Lecture Notes in Computer Science. Num Pages: 130 pages, 43 black & white illustrations, biography. BIC Classification: TJK; UKN; UMZ; UNF; UNH. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 200.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
130
Condition
New
SKU
V9783642285820
ISBN
9783642285820
Paperback
Condition: New

€ 63.69

Subscribe to our newsletter

News on special offers, signed editions & more!