×


 x 

Shopping cart

Computer science

Results 8473 - 8496 of 16996

Computer science

Paperback. Proceedings of the NATO Advanced Research Workshop, Bornova, Izmir, Turkey, September 16-20, 1996 Editor(s): Harmanciogammalu, Nilgun B.; Alpaslan, M. N. (Environmental Engineering Dept.); Ozkul, S. D.; Singh, Vijay. Series: NATO Science Partnership Subseries: 2. Num Pages: 559 pages, biography. BIC Classification: RBK; RNF; UYZM. Category: (P) Professional & Vocational. Dimension: 240 x 160 x 29. Weight in Grams: 888.
Format
Paperback
Publication date
2012
Publisher
Springer Netherlands
Number of pages
559
Condition
New
SKU
V9789401063678
ISBN
9789401063678
Paperback
Condition: New

€ 66.65

Paperback. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 370 pages, 234 black & white illustrations, biography. BIC Classification: UGK; UKS; UMB; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 587.
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
370
Condition
New
SKU
V9783642118012
ISBN
9783642118012
Paperback
Condition: New

€ 65.11

Paperback. Constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. Editor(s): Leuken, Rene van; Sicard, Gilles. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 260 pages, 77 black & white illustrations, 53 colour illustrations, biography. BIC Classification: TJFC; UKN; UYD. Category: (P) Professional & Vocational. Dimension: 236 x 155 x 15. Weight in Grams: 431.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
260
Condition
New
SKU
V9783642177514
ISBN
9783642177514
Paperback
Condition: New

€ 65.15

Paperback. Constitutes the refereed proceedings of the 21st International Conference on Integrated Circuit and System Design, PATMOS 2011, held in Madrid, Spain, in September 2011. Editor(s): Ayala, Jose L.; Garcia-Camara, Braulio; Prieto, Manuel; Ruggiero, Martino; Sicard, Gilles. Series: Lecture Notes in Computer Science. Num Pages: 352 pages, 81 black & white illustrations, 108 colour illustrations, biography. BIC Classification: UGK; UKN; UMB; UMZ; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 20. Weight in Grams: 517.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
352
Condition
New
SKU
V9783642241536
ISBN
9783642241536
Paperback
Condition: New

€ 65.70

Paperback. Constitutes the refereed proceedings of the 16th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2006. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 693 pages, biography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 35. Weight in Grams: 965.
Format
Paperback
Publication date
2006
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
693
Condition
New
SKU
V9783540390947
ISBN
9783540390947
Paperback
Condition: New

€ 126.37

Hardback. Integrated Circuit Authentication Num Pages: 238 pages, 55 black & white illustrations, 65 colour illustrations, 47 black & white tables, biograp. BIC Classification: TJFC; URJ; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 537.
Format
Hardback
Publication date
2013
Publisher
Springer International Publishing AG Switzerland
Number of pages
238
Condition
New
SKU
V9783319008158
ISBN
9783319008158
Hardback
Condition: New

€ 143.94

Paperback. Constitutes the refereed proceedings of the First International Conference on Integrated Computing Technology, INTECH 2011 that was held in Sao Carlos, Brazil. Editor(s): Hruschka, Estevam Rafael; Watada, Junzo; Carmo Nicoletti, Maria. Series: Communications in Computer and Information Science. Num Pages: 177 pages, 28 black & white illustrations, 35 colour illustrations, biography. BIC Classification: UKN; UM; UNH; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 10. Weight in Grams: 295.
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
177
Condition
New
SKU
V9783642222467
ISBN
9783642222467
Paperback
Condition: New

€ 64.29

Paperback. Editor(s): Abraham, Erika; Huisman, Marieke. Series: Lecture Notes in Computer Science. Num Pages: 552 pages, 145 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYF. Category: (G) General (US: Trade). Dimension: 235 x 155 x 28. Weight in Grams: 836.
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
552
Condition
New
SKU
V9783319336923
ISBN
9783319336923
Paperback
Condition: New

€ 102.88

Paperback. This volume covers the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. It discusses the theoretical aspects of combining behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. Editor(s): Araki, Keijiro; Galloway, Andy; Taguchi, K. Num Pages: 477 pages, 3 black & white illustrations, biography. BIC Classification: UL; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 25. Weight in Grams: 743.
Format
Paperback
Publication date
1999
Publisher
Springer London Ltd United Kingdom
Edition
Softcover reprint of the original 1st ed. 1999
Number of pages
477
Condition
New
SKU
V9781852331078
ISBN
9781852331078
Paperback
Condition: New

€ 123.75

Paperback. Editor(s): Albert, Elvira; Sekerinski, Emil. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 402 pages, 125 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 617.
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
402
Condition
New
SKU
V9783319101804
ISBN
9783319101804
Paperback
Condition: New

€ 64.69

paperback. Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in November/December 2005. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts. Editor(s): Romijn, Judi M.T. (Eindhoven University of Technology); Smith, Graeme P. (Eindhoven University of Technology); Pol, Jaco C. van de (Centre for Mathematics and Computer Science (CWI)). Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 407 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
Format
Paperback
Publication date
2005
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
2005th Edition
Number of pages
407
Condition
New
SKU
V9783540304920
ISBN
9783540304920
Paperback
Condition: New

€ 69.31

Paperback. Compiled from the proceedings of the Third International Conference on Integrated Formal Methods in May 2002, this volume contains 21 papers. They are organized in topicalsections on integration, simulation, and animation from specification to verification statcharts. Editor(s): Butler, Michael; Sere, Kaisa; Petre, Luigia. Series: Lecture Notes in Computer Science. Num Pages: 401 pages, biography. BIC Classification: UMX; UMZ; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (XV) Technical / Manuals. Dimension: 234 x 156 x 21. Weight in Grams: 581.
Format
Paperback
Publication date
2002
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
401
Condition
New
SKU
V9783540437031
ISBN
9783540437031
Paperback
Condition: New

€ 69.11

Paperback. Constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007. This book presents 32 revised full papers together with 1 invited paper that were reviewed and selected from 85 submissions. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 671 pages, biography. BIC Classification: UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 34. Weight in Grams: 1015.
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
671
Condition
New
SKU
V9783540732099
ISBN
9783540732099
Paperback
Condition: New

€ 126.10

Paperback. Constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. Editor(s): Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 372 pages, 105 black & white illustrations, biography. BIC Classification: UMB; UMX; UMZ; UYA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 524.
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
372
Condition
New
SKU
V9783642307287
ISBN
9783642307287
Paperback
Condition: New

€ 64.97

Paperback. Editor(s): Johnsen, Einar Broch; Petre, Luigia. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 457 pages, 95 black & white illustrations, biography. BIC Classification: UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
457
Condition
New
SKU
V9783642386121
ISBN
9783642386121
Paperback
Condition: New

€ 65.45

Hardcover. Num Pages: 685 pages, biography. BIC Classification: UGK; UYM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 38. Weight in Grams: 1161.
Publisher
Springer
Format
Hardback
Publication date
2008
Edition
2008th Edition
Condition
New
SKU
V9781848001787
ISBN
9781848001787
Hardback
Condition: New

€ 68.84

Paperback. Num Pages: 706 pages, biography. BIC Classification: PBM; UML; UYQV; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 36. Weight in Grams: 1056.
Format
Paperback
Publication date
2014
Publisher
Springer London Ltd United Kingdom
Number of pages
706
Condition
New
SKU
V9781447161363
ISBN
9781447161363
Paperback
Condition: New

€ 68.05

Hardback. Provides a collection of fifteen contributed chapters by experts, containing tutorial articles and material describing the basic concepts, theories, characteristic features of the technology and the integration of image and graphics technologies, with developments and significant applications. Editor(s): Baciu, George; Kamel, Mohamed. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 416 pages, biography. BIC Classification: UYT. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 779.
Format
Hardback
Publication date
2004
Publisher
Springer-Verlag New York Inc. United States
Number of pages
416
Condition
New
SKU
V9781402077746
ISBN
9781402077746
Hardback
Condition: New

€ 193.78

Paperback. Editor(s): Zhang, David D.; Kamel, Mohamed; Baciu, George. Series: The Springer International Series in Engineering and Computer Science. Num Pages: 430 pages, biography. BIC Classification: TTBM; UG; UML; UYT. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 22. Weight in Grams: 658.
Format
Paperback
Publication date
2013
Publisher
Springer-Verlag New York Inc. United States
Edition
Softcover reprint of the original 1st ed. 2004
Number of pages
430
Condition
New
SKU
V9781475784688
ISBN
9781475784688
Paperback
Condition: New

€ 187.38

Paperback. This is an account of the theoretical structures, database, computation and application of ORANI-INT - a multi-period elaboration of ORANI, a computable general equilibrium model of the Australian economy. Series: Contributions to Economics. Num Pages: 280 pages, 35 black & white illustrations, 35 black & white tables, biography. BIC Classification: KCB; KCC; KCLT; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 15. Weight in Grams: 456.
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Edition
Softcover reprint of the original 1st ed. 2000
Number of pages
280
Condition
New
SKU
V9783790812749
ISBN
9783790812749
Paperback
Condition: New

€ 64.03

Paperback. Series: Network and Systems Management. Num Pages: 396 pages, biography. BIC Classification: KJMV3; UKN; UYZG. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 640.
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
396
Condition
New
SKU
V9781461349181
ISBN
9781461349181
Paperback
Condition: New

€ 65.36

Paperback. Series: Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications. Num Pages: 203 pages, biography. BIC Classification: UKN; UR; UT; UYD; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 320.
Format
Paperback
Publication date
2009
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
203
Condition
New
SKU
V9783642049880
ISBN
9783642049880
Paperback
Condition: New

€ 63.90

Paperback. Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and GO/nonlinear programming, this unified treatment of optimization methods deals with all facets of the topic needed by students and practitioners. Series: International Series in Operations Research & Management Science. Num Pages: 642 pages, 30 black & white tables, biography. BIC Classification: KJT; PBU; PBWH; UMA; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 34. Weight in Grams: 997.
Format
Paperback
Publication date
2014
Publisher
Springer-Verlag New York Inc. United States
Edition
2 Rev ed
Number of pages
642
Condition
New
SKU
V9781489989949
ISBN
9781489989949
Paperback
Condition: New

€ 67.73

Hardcover. Now in a fully updated second edition, with new chapters covering flow theory, state-of-the-art search methods and GO/nonlinear programming, this unified treatment of optimization methods deals with all facets of the topic needed by students and practitioners. Series: International Series in Operations Research & Management Science. Num Pages: 642 pages, 30 black & white tables, biography. BIC Classification: KJT; PBWH; UMA; UYA. Category: (P) Professional & Vocational. Dimension: 242 x 165 x 42. Weight in Grams: 1070.
Format
Hardback
Publication date
2011
Publisher
Springer
Edition
2nd
Condition
New
SKU
V9781461418993
ISBN
9781461418993
Hardback
Condition: New

€ 68.13

Subscribe to our newsletter

News on special offers, signed editions & more!