Computer science
Results 8353 - 8376 of 16996
Computer science
Hardback. Covers the basic principles and techniques of specifying systems and languages. This work deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity, Petri nets, live sequence charts, statecharts, and temporal logics. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 780 pages, 151 black & white illustrations, 27 black & white tables, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 42. Weight in Grams: 1298.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 780
- Condition
- New
- SKU
- V9783540211501
- ISBN
- 9783540211501
Hardback
Condition: New
€ 70.10
€ 70.10
Hardback. Covers the process from the development of domain descriptions, through the derivation of requirements prescriptions from domain models, to the refinement of requirements into software architectures and component design. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 768 pages, biography. BIC Classification: UMX; UMZ; UYD. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 235 x 155 x 34. Weight in Grams: 1358.
- Format
- Hardback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2006
- Number of pages
- 768
- Condition
- New
- SKU
- V9783540211518
- ISBN
- 9783540211518
Hardback
Condition: New
€ 128.04
€ 128.04
hardcover. This carefully edited book presents examples of the successful application of Intelligent Systems techniques to practical problems. The invited contributions, written by international experts in their respective fields, clearly demonstrate what can be achieved when AI systems are used to solve real-world problems. Editor(s): Fulcher, John; Jain, Prof. Lakhmi C. Series: Studies in Fuzziness and Soft Computing. Num Pages: 325 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 19. Weight in Grams: 747.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 325
- Condition
- New
- SKU
- V9783540211532
- ISBN
- 9783540211532
Hardback
Condition: New
€ 187.66
€ 187.66
Hardback. Provides a course on Intelligent Agent or AI with focus on contemporary and latest AI technologies and development. This title includes companion technical reference for agent developers/researchers who would like to adopt the iJADK toolkit to develop their own agent-based applications and projects. Series: Springer Series on Agent Technology. Num Pages: 376 pages, 126 black & white illustrations, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 22. Weight in Grams: 730.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 376
- Condition
- New
- SKU
- V9783540212034
- ISBN
- 9783540212034
Hardback
Condition: New
€ 65.82
€ 65.82
Paperback. Editor(s): Alur, Rajeev; Pappas, George S. Series: Lecture Notes in Computer Science. Num Pages: 686 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 35. Weight in Grams: 954.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 686
- Condition
- New
- SKU
- V9783540212591
- ISBN
- 9783540212591
Paperback
Condition: New
€ 132.81
€ 132.81
Paperback. Editor(s): Klopotek, Mieczyslaw A.; Wierzchon, Slawomir T.; Trojanowski, Krzysztof. Series: Advances in Intelligent and Soft Computing (Closed). Num Pages: 641 pages, biography. BIC Classification: UDB; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 33. Weight in Grams: 991.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 641
- Condition
- New
- SKU
- V9783540213314
- ISBN
- 9783540213314
Paperback
Condition: New
€ 358.33
€ 358.33
paperback. Series: Lecture Notes in Computer Science. Num Pages: 412 pages, biography. BIC Classification: UYQM. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 22. Weight in Grams: 620.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 412
- Condition
- New
- SKU
- V9783540213468
- ISBN
- 9783540213468
Paperback
Condition: New
€ 69.22
€ 69.22
Paperback. Editor(s): Raidl, Gunther R. (Vienna University of Technology); Rothlauf, Franz; Smith, George D.; Squillero, Giovanni; Cagnoni, Stefano; Branke, Jurgen; Corne, David W.; Drechsler, Rolf; Jin, Yaochu; Johnson, Colin G. (University of Kent). Series: Lecture Notes in Computer Science. Num Pages: 588 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (U) Tertiary Education (US: College). Dimension: 234 x 156 x 30. Weight in Grams: 840.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 588
- Condition
- New
- SKU
- V9783540213789
- ISBN
- 9783540213789
Paperback
Condition: New
€ 72.40
€ 72.40
Paperback. This book constitutes the refereed proceedings of the Third Mexican International Conference on Artificial Intelligence, MICAI 2004, held in Mexico City, Mexico in April 2004.The 94 revised full papers presented were carefully reviewed and selected from 254 submissions. Editor(s): Monroy, Raul; Arroyo-Figueroa, Gustavo; Sucar, Luis Enrique; Sossa, Humberto. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 948 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 47. Weight in Grams: 1401.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 948
- Condition
- New
- SKU
- V9783540214595
- ISBN
- 9783540214595
Paperback
Condition: New
€ 127.77
€ 127.77
Paperback. This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 held in Budapest, Hungary in June/July 2003. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book. Series: Lecture Notes in Computer Science. Num Pages: 296 pages, biography. BIC Classification: KNTX; UM; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 15. Weight in Grams: 940.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 296
- Condition
- New
- SKU
- V9783540218340
- ISBN
- 9783540218340
Paperback
Condition: New
€ 66.96
€ 66.96
Book. Editor(s): Krvger, Detlef; Wind, Martin; Krc6ger, Detlef; Kroger, Detlef; Krager, Detlef; Kr Ger, Detlef. Num Pages: 749 pages, XI, 749 S. 115 Abb. BIC Classification: KJMV3; LNCB; LNK; LNQ; UF; UY. Category: (G) General (US: Trade). Dimension: 234 x 156 x 41. Weight in Grams: 1238.
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 749
- Condition
- New
- SKU
- V9783540218791
- ISBN
- 9783540218791
Paperback
Condition: New
€ 190.29
€ 190.29
Hardback. Editor(s): Rossmann, Torsten; Tropea, Cameron. Num Pages: 613 pages, biography. BIC Classification: PHVN; TGB; UY. Category: (G) General (US: Trade). Dimension: 236 x 156 x 35. Weight in Grams: 2290.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 613
- Condition
- New
- SKU
- V9783540218906
- ISBN
- 9783540218906
Hardback
Condition: New
€ 185.11
€ 185.11
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 561 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 29. Weight in Grams: 786.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 561
- Condition
- New
- SKU
- V9783540219378
- ISBN
- 9783540219378
Paperback
Condition: New
€ 72.45
€ 72.45
paperback. Series: Lecture Notes in Computer Science. Num Pages: 222 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 12. Weight in Grams: 720.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 222
- Condition
- New
- SKU
- V9783540219408
- ISBN
- 9783540219408
Paperback
Condition: New
€ 65.46
€ 65.46
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 176 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 233 x 155 x 9. Weight in Grams: 262.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 176
- Condition
- New
- SKU
- V9783540219774
- ISBN
- 9783540219774
Paperback
Condition: New
€ 64.70
€ 64.70
Paperback. Editor(s): Pajdle, Tomas; Matas, Jiri. Series: Lecture Notes in Computer Science. Num Pages: 652 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 41. Weight in Grams: 1096.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 652
- Condition
- New
- SKU
- V9783540219835
- ISBN
- 9783540219835
Paperback
Condition: New
€ 125.86
€ 125.86
Paperback. Editor(s): Pajdla, Tomas; Matas, Jiri. Series: Lecture Notes in Computer Science. Num Pages: 668 pages, biography. BIC Classification: UYQV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 34. Weight in Grams: 922.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 668
- Condition
- New
- SKU
- V9783540219842
- ISBN
- 9783540219842
Paperback
Condition: New
€ 125.99
€ 125.99
Hardback. Series: Studies in Fuzziness and Soft Computing. Num Pages: 156 pages, 133 black & white illustrations, biography. BIC Classification: MJA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 15. Weight in Grams: 451.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 156
- Condition
- New
- SKU
- V9783540219859
- ISBN
- 9783540219859
Hardback
Condition: New
€ 121.80
€ 121.80
Paperback. Editor(s): Favela, Jesus; Menasalvas, Ernestina; Chavez, Edgar. Series: Lecture Notes in Computer Science. Num Pages: 244 pages, biography. BIC Classification: UDB; UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 354.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- annotated ed
- Number of pages
- 244
- Condition
- New
- SKU
- V9783540220091
- ISBN
- 9783540220091
Paperback
Condition: New
€ 65.96
€ 65.96
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 218 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 210 x 148 x 12. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 218
- Condition
- New
- SKU
- V9783540220107
- ISBN
- 9783540220107
Paperback
Condition: New
€ 66.04
€ 66.04
Hardback. Editor(s): Damiani, Ernesto; Jain, Prof. Lakhmi C.; Madravio, Mauro. Series: Studies in Fuzziness and Soft Computing. Num Pages: 325 pages, biography. BIC Classification: UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 642.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 325
- Condition
- New
- SKU
- V9783540220305
- ISBN
- 9783540220305
Hardback
Condition: New
€ 192.22
€ 192.22
Abstract State Machines 2004. Advances in Theory and Practice
. Ed(S): Zimmermann, Wolf; Thalheim, B.
Paperback. Editor(s): Zimmermann, Wolf; Thalheim, B. Series: Lecture Notes in Computer Science. Num Pages: 252 pages, biography. BIC Classification: UYD. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 13. Weight in Grams: 790.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 252
- Condition
- New
- SKU
- V9783540220947
- ISBN
- 9783540220947
Paperback
Condition: New
€ 66.41
€ 66.41
Paperback. Editor(s): Tsumoto, Shusaku; Slowinski, Roman; Komorowski, Jan; Grzymala-Busse, Jerzy W. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 880 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 44. Weight in Grams: 1324.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 880
- Condition
- New
- SKU
- V9783540221173
- ISBN
- 9783540221173
Paperback
Condition: New
€ 127.29
€ 127.29
Soft Computing and Its Applications in Business and Economics
Aliev, Rafik Aziz; Fazlollahi, Bijan; Aliev, ...
hardcover. Series: Studies in Fuzziness and Soft Computing. Num Pages: 446 pages, 187 black & white illustrations, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 25. Weight in Grams: 829.
- Format
- Hardback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2004th Edition
- Number of pages
- 446
- Condition
- New
- SKU
- V9783540221388
- ISBN
- 9783540221388
Hardback
Condition: New
€ 194.81
€ 194.81