Computer science
Results 9625 - 9648 of 16991
Computer science
Hardback. Leo Esakia on Duality in Modal and Intuitionistic Logics Editor(s): Bezhanishvili, Guram. Series: Outstanding Contributions to Logic. Num Pages: 334 pages, 44 black & white illustrations, biography. BIC Classification: CF; HPL; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 159 x 23. Weight in Grams: 656.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- Springer Netherlands
- Number of pages
- 334
- Condition
- New
- SKU
- V9789401788595
- ISBN
- 9789401788595
Hardback
Condition: New
€ 122.68
€ 122.68
Paperback / so. Series: X.Media.Press. Num Pages: black & white illustrations, bibliography. BIC Classification: UB; UDB; UF; UG; UNH; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 8. Weight in Grams: 218.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Condition
- New
- SKU
- V9783642625596
- ISBN
- 9783642625596
Paperback
Condition: New
€ 67.87
€ 67.87
Paperback / so. Num Pages: 145 pages, black & white illustrations, bibliography. BIC Classification: TBC; TD; TJFM1; TJK; UYQ. Category: (G) General (US: Trade). Dimension: 244 x 170 x 8. Weight in Grams: 254.
- Format
- Paperback
- Publication date
- 1988
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 145
- Condition
- New
- SKU
- V9783540190790
- ISBN
- 9783540190790
Paperback
Condition: New
€ 68.05
€ 68.05
Paperback. Series: Mathematiques & Applications. Num Pages: 304 pages, 1. BIC Classification: PBD; PBKJ; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 16. Weight in Grams: 430.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 304
- Condition
- New
- SKU
- V9783540600862
- ISBN
- 9783540600862
Paperback
Condition: New
€ 67.01
€ 67.01
Paperback. .
- Publisher
- Springer-Verlag New York Inc.
- Number of pages
- 382
- Format
- Paperback
- Publication date
- 2013
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9781461478331
- ISBN
- 9781461478331
Paperback
Condition: New
€ 52.99€ 48.52
€ 52.99
€ 48.52
Hardback. "You should not overlook the potential genius in this concept. " ----Geoffrey Moore, consultant and author, Dealing with Darwin "Since he first identified a information systems as mirrors of the people who build thema for me, I have seen it operate in many ways. Num Pages: 384 pages, Illustrations. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 162 x 32. Weight in Grams: 700.
- Format
- Hardback
- Publication date
- 2006
- Publisher
- John Wiley and Sons Ltd United States
- Number of pages
- 384
- Condition
- New
- SKU
- V9780471790105
- ISBN
- 9780471790105
Hardback
Condition: New
€ 39.24
€ 39.24
Hardback. In dem Buch werden Methoden vorgestellt, mit denen ubersehenes IT-Potenzial in Organisation genutzt werden kann. Dabei geht die Autorin davon aus, dass das Wissen bereits vorhanden ist und nur gehoben werden muss. Mit Checklisten und Tipps fur die Umsetzung." Series: Xpert.Press. Num Pages: 187 pages, black & white illustrations, black & white tables, bibliography. BIC Classification: KJMV3; UB; UYQV. Category: (G) General (US: Trade). Dimension: 244 x 165 x 15. Weight in Grams: 476.
- Format
- Hardback
- Publication date
- 2013
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 187
- Condition
- New
- SKU
- V9783642328305
- ISBN
- 9783642328305
Hardback
Condition: New
€ 54.12
€ 54.12
Level Set and PDE Based Reconstruction Methods in Imaging: Cetraro, It...
Burger, Martin, Mennucci, Andrea C.G., Osher,...
Paperback. Series: Lecture Notes in Mathematics / C.I.M.E. Foundation Subseries. Num Pages: 326 pages, 48 black & white illustrations, 40 colour illustrations, biography. BIC Classification: PBKJ; PBKS; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 149 x 19. Weight in Grams: 494.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- Springer
- Edition
- 2013th Edition
- Condition
- New
- SKU
- V9783319017112
- ISBN
- 9783319017112
Paperback
Condition: New
€ 69.56
€ 69.56
Paperback. Very hot area with a wide range of applications; Gives complete numerical analysis and recipes, which will enable readers to quickly apply the techniques to real problems; Includes two new techniques pioneered by Osher and Fedkiw; Osher and Fedkiw are internationally well-known researchers in this area Series: Applied Mathematical Sciences. Num Pages: 286 pages, 106 black & white illustrations, 47 colour illustrations, biography. BIC Classification: PBKS; PHD; TGMD; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 474.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc.
- Edition
- Softcover reprint of the original 1st ed. 2003
- Condition
- New
- SKU
- V9781468492514
- ISBN
- 9781468492514
Paperback
Condition: New
€ 74.87
€ 74.87
Paperback. Constitutes the refereed proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Porto Sani, Greece, in October 2008. This book covers tools and applications in industrial software quality control. Series: Communications in Computer and Information Science. Num Pages: 883 pages, biography. BIC Classification: UGK; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 33. Weight in Grams: 1329.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2008th Edition
- Number of pages
- 728
- Condition
- New
- SKU
- V9783540884781
- ISBN
- 9783540884781
Paperback
Condition: New
€ 190.78
€ 190.78
Leveraging Applications of Formal Methods, Verification and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard...
Paperback. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Editor(s): Margaria, Tiziana; Steffen, Bernhard; Merten, Maik. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 633 pages, 170 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 32. Weight in Grams: 879.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 633
- Condition
- New
- SKU
- V9783642340253
- ISBN
- 9783642340253
Paperback
Condition: New
€ 67.51
€ 67.51
Leveraging Applications of Formal Methods, Verification and Validation
. Ed(S): Margaria, Tiziana; Steffen, Bernhard...
Paperback. Constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. Editor(s): Margaria, Tiziana; Steffen, Bernhard; Merten, Maik. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 377 pages, 129 black & white illustrations, biography. BIC Classification: UL; UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 377
- Condition
- New
- SKU
- V9783642340314
- ISBN
- 9783642340314
Paperback
Condition: New
€ 65.09
€ 65.09
Leveraging Applications of Formal Methods, Verification and Validation...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 662 pages, 187 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 1003.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 662
- Condition
- New
- SKU
- V9783662452301
- ISBN
- 9783662452301
Paperback
Condition: New
€ 66.89
€ 66.89
Leveraging Applications of Formal Methods, Verification and Validation...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 565 pages, 139 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 29. Weight in Grams: 860.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 565
- Condition
- New
- SKU
- V9783662452332
- ISBN
- 9783662452332
Paperback
Condition: New
€ 66.05
€ 66.05
Leveraging Applications of Formal Methods, Verification and Validation...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
paperback. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 866 pages, 291 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 45. Weight in Grams: 1341.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 866
- Condition
- New
- Edition
- 1st ed. 2016
- SKU
- V9783319471686
- ISBN
- 9783319471686
Paperback
Condition: New
€ 68.87
€ 68.87
Leveraging Applications of Formal Methods, Verification and Validation...
. Ed(S): Margaria, Tiziana; Steffen, Bernhard
Paperback. Editor(s): Margaria, Tiziana; Steffen, Bernhard. Series: Lecture Notes in Computer Science. Num Pages: 974 pages, 256 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYQ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 50. Weight in Grams: 1502.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 974
- Condition
- New
- SKU
- V9783319471655
- ISBN
- 9783319471655
Paperback
Condition: New
€ 127.33
€ 127.33
Leveraging Applications of Formal Methods, Verification, and Validatio...
Anna-Lena . Ed(S): Lamprecht
Paperback. Editor(s): Lamprecht, Anna-Lena. Series: Communications in Computer and Information Science. Num Pages: 157 pages, 62 black & white illustrations, biography. BIC Classification: UGK; UMZ; UN; UYA; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 9. Weight in Grams: 267.
- Format
- Paperback
- Publication date
- 2016
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 157
- Condition
- New
- SKU
- V9783319516400
- ISBN
- 9783319516400
Paperback
Condition: New
€ 62.95
€ 62.95
Leveraging Applications of Formal Methods, Verification, and Validatio...
. Ed(S): Hahnle, Reiner; Knoop, Jens; Margari...
Paperback. Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria. Editor(s): Hahnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard. Series: Communications in Computer and Information Science. Num Pages: 273 pages, 94 black & white illustrations, biography. BIC Classification: UMZ; UNF; UNH; UYQ; UYQP; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783642347801
- ISBN
- 9783642347801
Paperback
Condition: New
€ 63.90
€ 63.90
Hardback. Series: IFIP Advances in Information and Communication Technology. Num Pages: 835 pages, biography. BIC Classification: JNV; UKN; UM; UNH; UT; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 44. Weight in Grams: 1442.
- Format
- Hardback
- Publication date
- 2009
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 835
- Condition
- New
- SKU
- V9783642045677
- ISBN
- 9783642045677
Hardback
Condition: New
€ 191.19
€ 191.19
Paperback. Series: Information Age Economy. Num Pages: 270 pages, 17 black & white illustrations, 13 black & white tables, biography. BIC Classification: KC; KJSA; UY. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 157 x 17. Weight in Grams: 432.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 270
- Condition
- New
- SKU
- V9783790815757
- ISBN
- 9783790815757
Paperback
Condition: New
€ 124.79
€ 124.79
Hardback. In knowledge-based natural language generation, issues of formal knowledge representation meet with the linguistic problems of choosing the most appropriate verbalization in a particular situation of utterance. This work presents a new approach to linking the realms of lexical semantics and knowledge represented in a description logic. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 219 pages, biography. BIC Classification: UYQE; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 14. Weight in Grams: 514.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9780792384199
- ISBN
- 9780792384199
Hardback
Condition: New
€ 190.44
€ 190.44
Hardback. This work offers a survey of methods and techniques for structuring, acquiring and maintaining lexical resources for speech and language processing. The first chapter offers a survey of computational lexicography, with further chapters providing greater detail. Editor(s): Eynde, Frank Von; Gibbon, Dafydd. Series: Text, Speech and Language Technology. Num Pages: 312 pages, biography. BIC Classification: CF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 19. Weight in Grams: 620.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Kluwer Academic Publishers United States
- Number of pages
- 312
- Condition
- New
- SKU
- V9780792363682
- ISBN
- 9780792363682
Hardback
Condition: New
€ 191.90
€ 191.90
Paperback. Editor(s): Eynde, Frank van; Gibbon, Dafydd. Series: Text, Speech and Language Technology. Num Pages: 312 pages, biography. BIC Classification: CFX; UYQ; UYS. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer Netherlands
- Edition
- 1st ed. Softcover of orig. ed. 2000
- Number of pages
- 312
- Condition
- New
- SKU
- V9789048154821
- ISBN
- 9789048154821
Paperback
Condition: New
€ 186.26
€ 186.26
Paperback. Series: Informatik-Fachberichte / Subreihe Kunstliche Intelligenz. Num Pages: 273 pages, 6 black & white illustrations. BIC Classification: UNH; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 15. Weight in Grams: 465.
- Format
- Paperback
- Publication date
- 1990
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 273
- Condition
- New
- SKU
- V9783540532309
- ISBN
- 9783540532309
Paperback
Condition: New
€ 79.68
€ 79.68