Science & Technology
Results 65621 - 65640 of 98309
Science & Technology
Hardback. Simple Ordinary Differential Equations may have solutions in terms of power series whose coefficients grow at such a rate that the series has a radius of convergence equal to zero. This book presents the classical theory of meromorphic systems of ODE, in the light of the achievements in the theory of summability of formal power series. Series: Universitext. Num Pages: 319 pages, biography. BIC Classification: PBKJ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 19. Weight in Grams: 670.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 319
- Condition
- New
- SKU
- V9780387986906
- ISBN
- 9780387986906
Hardback
Condition: New
€ 63.87
€ 63.87
Formal Power Series and Algebraic Combinatorics: 12th International Co...
. Ed(S): Krob, Daniel; Mikhalev, Alexander A....
hardcover. Editor(s): Krob, Daniel; Mikhalev, Alexander A.; Mikhalev, A. V. Num Pages: 808 pages, biography. BIC Classification: PBKF; PBV. Category: (G) General (US: Trade); (UU) Undergraduate. Dimension: 234 x 156 x 44. Weight in Grams: 1326.
- Format
- Hardback
- Publication date
- 2000
- Publisher
- Springer Germany
- Edition
- 2000th Edition
- Number of pages
- 808
- Condition
- New
- SKU
- V9783540672470
- ISBN
- 9783540672470
Hardback
Condition: New
€ 350.86
€ 350.86
Paperback. Editor(s): Krob, Daniel; Mikhalev, Alexander A.; Mikhalev, A. V. Num Pages: 808 pages, biography. BIC Classification: PBKF; PBV. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 41. Weight in Grams: 1240.
- Format
- Paperback
- Publication date
- 2010
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of hardcover 1st ed. 2000
- Number of pages
- 808
- Condition
- New
- SKU
- V9783642086625
- ISBN
- 9783642086625
Paperback
Condition: New
€ 350.33
€ 350.33
paperback. Constitutes the proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007, held in Salzburg, Austria, in October 2007. This book covers work on foundations and semantics of timed systems including timed automata, timed Petri nets, hybrid automata, timed process algebra and max-plus algebra. Series: Lecture Notes in Computer Science. Num Pages: 382 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 20. Weight in Grams: 587.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 2007th Edition
- Number of pages
- 382
- Condition
- New
- SKU
- V9783540754534
- ISBN
- 9783540754534
Paperback
Condition: New
€ 63.35
€ 63.35
Paperback. Constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006. This book presents 22 revised full papers together with 3 invited talks. It covers coverage that includes work on foundations and semantics of timed systems including timed automata, timed Petri nets, and more. Series: Lecture Notes in Computer Science. Num Pages: 384 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 1200.
- Format
- Paperback
- Publication date
- 2006
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 384
- Condition
- New
- SKU
- V9783540450269
- ISBN
- 9783540450269
Paperback
Condition: New
€ 67.15
€ 67.15
Paperback. Constitutes the refereed post-proceedings of the Third International Conference on Formal Modelling and Analysis of Timed Systems, FORMATS 2005. The papers cover work on semantics and modelling of timed systems, formalisms for modelling and verification, including timed automata, hybrid automata, games for verification and synthesis, and more. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 314 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 451.
- Format
- Paperback
- Publication date
- 2005
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 314
- Condition
- New
- SKU
- V9783540309468
- ISBN
- 9783540309468
Paperback
Condition: New
€ 65.89
€ 65.89
Paperback. Series: Lecture Notes in Computer Science. Num Pages: 281 pages, biography. BIC Classification: PBW. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 15. Weight in Grams: 419.
- Format
- Paperback
- Publication date
- 2004
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 281
- Condition
- New
- SKU
- V9783540216711
- ISBN
- 9783540216711
Paperback
Condition: New
€ 65.41
€ 65.41
Formal Methods in the Methodology of Empirical Sciences
. Ed(S): Przelecki, Marian; Szaniawski, A.; W...
Paperback. Proceedings of the Conference for Formal Methods in the Methodology of Emperical Sciences, Warsaw, June 17-21, 1974, Poland. Editor(s): Przelecki, Marian; Szaniawski, A.; Wojcicki, Ryszard. Series: Synthese Library. Num Pages: 452 pages, biography. BIC Classification: HPC; PDA. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 700.
- Format
- Paperback
- Publication date
- 2011
- Publisher
- Springer Netherlands
- Edition
- Softcover reprint of the original 1st ed. 1976
- Number of pages
- 452
- Condition
- New
- SKU
- V9789401011372
- ISBN
- 9789401011372
Paperback
Condition: New
€ 182.37
€ 182.37
Formal Methods in the Methodology of Empirical Sciences
. Ed(S): Przelecki, Marian; Szaniawski, Kleme...
Hardback. Proceedings of the Conference for Formal Methods in the Methodology of Emperical Sciences, Warsaw, June 17-21, 1974, Poland. Editor(s): Przelecki, Marian; Szaniawski, Klemens; Wojcicki, Ryszard. Series: Synthese Library. Num Pages: 452 pages, biography. BIC Classification: PDA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 25. Weight in Grams: 824.
- Format
- Hardback
- Publication date
- 1977
- Publisher
- Springer Netherlands
- Number of pages
- 452
- Condition
- New
- SKU
- V9789027706980
- ISBN
- 9789027706980
Hardback
Condition: New
€ 189.28
€ 189.28
Paperback. Num Pages: 256 pages, 1, black & white illustrations. BIC Classification: JHB; PD. Category: (G) General (US: Trade). Dimension: 234 x 156 x 13. Weight in Grams: 364.
- Format
- Paperback
- Publication date
- 1978
- Publisher
- Birkhauser Verlag AG Switzerland
- Number of pages
- 256
- Condition
- New
- SKU
- V9783764309718
- ISBN
- 9783764309718
Paperback
Condition: New
€ 76.34€ 64.59
€ 76.34
€ 64.59
Paperback. Editor(s): Fages, Francois; Piazza, Carla. Series: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Num Pages: 209 pages, 46 black & white illustrations, biography. BIC Classification: PSA; UBH; UM; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 332.
- Format
- Paperback
- Publication date
- 2014
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 209
- Condition
- New
- SKU
- V9783319103976
- ISBN
- 9783319103976
Paperback
Condition: New
€ 61.59
€ 61.59
Paperback. Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. Num Pages: 292 pages, Illustrations. BIC Classification: TBC; TJ. Category: (P) Professional & Vocational. Dimension: 234 x 155 x 17. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 2013
- Publisher
- John Wiley & Sons Inc United Kingdom
- Edition
- 1st Edition
- Number of pages
- 292
- Condition
- New
- SKU
- V9780470876183
- ISBN
- 9780470876183
Paperback
Condition: New
€ 104.61
€ 104.61
Paperback. In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications. Editor(s): Abrial, J-.R.; Borger, E.; Langmaack, Hans. Series: Lecture Notes in Computer Science. Num Pages: 532 pages, biography. BIC Classification: KN; TGBN1; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 27. Weight in Grams: 738.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 532
- Condition
- New
- SKU
- V9783540619291
- ISBN
- 9783540619291
Paperback
Condition: New
€ 121.23
€ 121.23
Hardback. Series: Studies in Systems, Decision and Control. Num Pages: 284 pages, 54 black & white illustrations, 39 colour illustrations, biography. BIC Classification: GPFC; TJFM; UYD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Number of pages
- 284
- Condition
- New
- SKU
- V9783319507620
- ISBN
- 9783319507620
Hardback
Condition: New
€ 212.66
€ 212.66
Hardback. A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. Editor(s): Boulanger, Jean-Louis. Num Pages: 480 pages, illustrations (black and white). BIC Classification: TBJ. Category: (P) Professional & Vocational. Dimension: 165 x 241 x 30. Weight in Grams: 848.
- Format
- Hardback
- Publication date
- 2014
- Publisher
- ISTE Ltd and John Wiley & Sons Inc United Kingdom
- Number of pages
- 480
- Condition
- New
- SKU
- V9781848216327
- ISBN
- 9781848216327
Hardback
Condition: New
€ 203.92
€ 203.92
Hardback. Series: Synthese Library. Num Pages: 170 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 12. Weight in Grams: 444.
- Format
- Hardback
- Publication date
- 1970
- Publisher
- Springer Netherlands
- Number of pages
- 170
- Condition
- New
- SKU
- V9789027700698
- ISBN
- 9789027700698
Hardback
Condition: New
€ 122.37
€ 122.37
Hardback. Series: Algebra and Applications. Num Pages: 156 pages, biography. BIC Classification: PBC; PBF; PBPD. Category: (P) Professional & Vocational. Dimension: 235 x 155. .
- Format
- Hardback
- Publication date
- 2017
- Publisher
- Springer International Publishing AG Switzerland
- Edition
- 1st ed. 2017
- Number of pages
- 156
- Condition
- New
- SKU
- V9783319539065
- ISBN
- 9783319539065
Hardback
Condition: New
€ 108.59
€ 108.59
Paperback. Series: Frontiers in Electronic Testing. Num Pages: 247 pages, biography. BIC Classification: THR; TJFC; UGC; UMA. Category: (G) General (US: Trade). Dimension: 235 x 155 x 13. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 2012
- Publisher
- Springer-Verlag New York Inc. United States
- Edition
- Softcover reprint of the original 1st ed. 1998
- Number of pages
- 247
- Condition
- New
- SKU
- V9781461376064
- ISBN
- 9781461376064
Paperback
Condition: New
€ 211.96
€ 211.96
Hardback. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. Using the formal methods described in this book produces results that are more reliable and will have higher performance. Num Pages: 219 pages, 9 black & white tables, biography. BIC Classification: TBD; TJFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 517.
- Format
- Hardback
- Publication date
- 2011
- Publisher
- Springer-Verlag New York Inc. United States
- Number of pages
- 219
- Condition
- New
- SKU
- V9781441997357
- ISBN
- 9781441997357
Hardback
Condition: New
€ 170.96
€ 170.96
Paperback. Proceedings of the NATO Advanced Research Workshop, held in Manoa, Hawaii, U.S.A., 2-6 October 2002 Editor(s): Nation, James (Department of Mathematics, University of Hawaii, Honolulu, USA); Trofimova, Irina (Collective Intelligence Lab, McMaster University, Hamilton, Canada); Rand, John D. (Department of Mathematics, University of Hawaii, Honolulu, USA); Sulis, William (Department of Psychiatry and Behavioural Neurosciences, McMaster University, Hamilton, Canada). Series: NATO Science Series II. Num Pages: 306 pages, biography. BIC Classification: PDE; PS. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 160 x 17. Weight in Grams: 456.
- Format
- Paperback
- Publication date
- 2003
- Publisher
- Kluwer Academic Publishers United States
- Edition
- Softcover reprint of the original 1st ed. 2003
- Number of pages
- 306
- Condition
- New
- SKU
- V9781402015687
- ISBN
- 9781402015687
Paperback
Condition: New
€ 122.56
€ 122.56