.png){kind=logo}
Computer architecture & logic design
Results 261 - 280 of 951
Computer architecture & logic design
Business Object Design and Implementation: OOPSLA ’95 Workshop Proce...
. Ed(S): Sutherland, Jeffrey V.; Patel, Dilip...
paperback. This volume contains a collection of papers establishing the need for business objects, with particular reference to work undertaken by the Object Management Group (OMG). The emphasis is on defining an agenda for establishing business object standards and architectures. Editor(s): Sutherland, Jeffrey V.; Patel, Dilip; Casanave, Cory; Miller, Joaquin; Hollowell, Glenn. Num Pages: 167 pages, 19 black & white illustrations, biography. BIC Classification: UFC; UMN; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 9. Weight in Grams: 256.
- Format
- Paperback
- Publication date
- 1997
- Publisher
- Springer Germany
- Edition
- Softcover reprint of the original 1st ed. 1997
- Number of pages
- 167
- Condition
- New
- SKU
- V9783540760962
- ISBN
- 9783540760962
Paperback
Condition: New
€ 126.65
€ 126.65
Paperback. This is the publication programme from the first in an annual series of national conferences covering the broad area of parallel and distributed computing. The papers included cover such topics as compiler development for both data-parallel and message-passing languages. Editor(s): Jesshope, C. R.; Shafarenko, A.Shasha. Num Pages: 207 pages, 5 black & white illustrations, biography. BIC Classification: UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 11. Weight in Grams: 310.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 207
- Condition
- New
- SKU
- V9783540760689
- ISBN
- 9783540760689
Paperback
Condition: New
€ 66.25
€ 66.25
Paperback. This study focuses on recent research into the interaction between digital signal processing (DSP) and telecommunications. Particular emphasis is given to advanced techniques and system architectures in the fields of signal encoding and transmission for multimedia and personal communications. Editor(s): Biglieri, Professor Ezio; Luise, Marco. Series: Information Technology: Transmission, Processing and Storage. Num Pages: 454 pages, 28 black & white illustrations, 26 black & white tables, biography. BIC Classification: TJK; UYD; UYF; UYS; UYT. Category: (P) Professional & Vocational; (XV) Technical / Manuals. Dimension: 234 x 156 x 23. Weight in Grams: 651.
- Format
- Paperback
- Publication date
- 1996
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 454
- Condition
- New
- SKU
- V9783540760191
- ISBN
- 9783540760191
Paperback
Condition: New
€ 129.40
€ 129.40
High Performance Computing for Computer Graphics and Visualisation
. Ed(S): Chen, Min; Townsend, Peter; Vince, J...
Paperback. Among the topics covered in the work are: the impact of the development of high performance computing on computer graphics and visualization; and the current use of high perfomance computing architecture and software tools in computer graphics and visualization. Editor(s): Chen, Min; Townsend, Peter; Vince, John. Num Pages: 289 pages, 51 black & white illustrations, biography. BIC Classification: UG; UYFP. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 17. Weight in Grams: 470.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 289
- Condition
- New
- SKU
- V9783540760160
- ISBN
- 9783540760160
Paperback
Condition: New
€ 127.88
€ 127.88
Paperback. These conference papers cover theoretical studies of various logical and conceptual tools along with the assessment of various applications. Areas featured include deontic logics, logics of action and normative systems. Editor(s): Brown, Mark A.; Carmo, Jose. Series: Workshops in Computing. Num Pages: 235 pages, biography. BIC Classification: UYA; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 13. Weight in Grams: 359.
- Format
- Paperback
- Publication date
- 1995
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1996
- Number of pages
- 235
- Condition
- New
- SKU
- V9783540760153
- ISBN
- 9783540760153
Paperback
Condition: New
€ 127.42
€ 127.42
Paperback. Editor(s): Berns, Karsten; Luksch, Tobias. Series: Informatik Aktuell. Num Pages: 348 pages, biography. BIC Classification: UYD; UYF; UYQ. Category: (G) General (US: Trade). Dimension: 235 x 155 x 19. Weight in Grams: 1120.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 348
- Condition
- New
- SKU
- V9783540747635
- ISBN
- 9783540747635
Paperback
Condition: New
€ 153.18
€ 153.18
Paperback. Constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory, CONCUR 2007, held in Lisbon, Portugal, September 3-8, 2007. This title presents 30 revised full papers together with 3 invited papers that were reviewed and selected from 112 submissions. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 523 pages, biography. BIC Classification: UYA; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 26. Weight in Grams: 801.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 523
- Condition
- New
- SKU
- V9783540744061
- ISBN
- 9783540744061
Paperback
Condition: New
€ 69.27
€ 69.27
Paperback. This book constitutes the refereed proceedings of the Third European Conference on Model Driven Architecture: Foundations and Applications, ECMDA-FA 2007, held in Haifa, Israel in June 2007. The papers address all current issues of model-driven architecture, including foundational topics and application--oriented issues. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 232 pages, biography. BIC Classification: UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 361.
- Format
- Paperback
- Publication date
- 2007
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 232
- Condition
- New
- SKU
- V9783540729006
- ISBN
- 9783540729006
Paperback
Condition: New
€ 66.97
€ 66.97
paperback. Presents the refereed proceedings of the 21st International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2008, held in Montreal, Canada, in August 2008. This book includes papers that cover various aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification. Series: Lecture Notes in Computer Science / Theoretical Computer Science and General Issues. Num Pages: 331 pages, biography. BIC Classification: UMB; UMX; UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 17. Weight in Grams: 516.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer Germany
- Edition
- 2008th Edition
- Number of pages
- 331
- Condition
- New
- SKU
- V9783540710653
- ISBN
- 9783540710653
Paperback
Condition: New
€ 67.37
€ 67.37
Paperback. Constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and Simulation, SAMOS 2008, held in Samos, Greece, in July 2008. This book features 24 revised full papers presented together with a contamplative keynote and additional papers of two special workshop sessions. Series: Lecture Notes in Computer Science. Num Pages: 316 pages, biography. BIC Classification: UKN; UKR; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 156 x 19. Weight in Grams: 478.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 316
- Condition
- New
- SKU
- V9783540705499
- ISBN
- 9783540705499
Paperback
Condition: New
€ 67.21
€ 67.21
Paperback. Constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. Editor(s): Hee, Kees van. Series: Lecture Notes in Computer Science. Num Pages: 442 pages, biography. BIC Classification: UKN; UL; UMZ; UYA; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 23. Weight in Grams: 682.
- Format
- Paperback
- Publication date
- 2008
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 442
- Condition
- New
- SKU
- V9783540687450
- ISBN
- 9783540687450
Paperback
Condition: New
€ 68.47
€ 68.47
Paperback. This volume is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Editor(s): Schobbens, Pierre-Yves; Meyer, J.-J Ch. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 268 pages, biography. BIC Classification: UMZ; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 381.
- Format
- Paperback
- Publication date
- 2000
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 268
- Condition
- New
- SKU
- V9783540670278
- ISBN
- 9783540670278
Paperback
Condition: New
€ 69.52
€ 69.52
Logic Programming and Automated Reasoning: 6th International Conferenc...
. Ed(S): Ganzinger, Harald; Voronkov, Andrei;...
paperback. Included among the topics addressed in these proceedings are: logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, and partial evaluation. Editor(s): Ganzinger, Harald; Voronkov, Andrei; McAllester, David P. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 416 pages, biography. BIC Classification: UYF; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer Germany
- Edition
- 1999th Edition
- Number of pages
- 416
- Condition
- New
- SKU
- V9783540664925
- ISBN
- 9783540664925
Paperback
Condition: New
€ 72.42
€ 72.42
Paperback. This text addresses all areas of semantics, logics and verification techniques for concurrent systems, in particular process algebras, Petri nets, event-structures, real-time systems, hybrid systems, stochastic systems, decidability, model-checking, verification and refinement. Editor(s): Baeten, J. C. M.; Mauw, Sjouke. Series: Lecture Notes in Computer Science. Num Pages: 596 pages, biography. BIC Classification: PBW; UYFP. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 30. Weight in Grams: 1820.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 596
- Condition
- New
- SKU
- V9783540664253
- ISBN
- 9783540664253
Paperback
Condition: New
€ 136.83
€ 136.83
Hardback. Num Pages: 188 pages, biography. BIC Classification: KJ; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 482.
- Format
- Hardback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- 3rd ed. 1999
- Number of pages
- 188
- Condition
- New
- SKU
- V9783540658344
- ISBN
- 9783540658344
Hardback
Condition: New
€ 67.13
€ 67.13
Paperback. This text presents the refereed proceedings of the Second International Conference on Logical Aspects of Computational Linguistics. Among the topics covered are type theory, various types of grammars, linear logic, parsing, type directed natural language processing and proof theoretic aspects. Editor(s): Lecomte, Alain; Lamarche, Francois; Perrier, Guy. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 266 pages, biography. BIC Classification: UYF; UYQL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 233 x 155 x 14. Weight in Grams: 391.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 266
- Condition
- New
- SKU
- V9783540657514
- ISBN
- 9783540657514
Paperback
Condition: New
€ 69.66
€ 69.66
Paperback. This volume contains papers from the 5th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems. They address aspects of embedded systems, in particular temporal logic, requirements engineering, analysis techniques, verification, model checking, and applications. Editor(s): Ravn, Anders P.; Rischel, Hans. Series: Lecture Notes in Computer Science. Num Pages: 356 pages, biography. BIC Classification: UMC; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 500.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 356
- Condition
- New
- SKU
- V9783540650034
- ISBN
- 9783540650034
Paperback
Condition: New
€ 71.25
€ 71.25
Paperback. These 28 papers present the refereed proceedings of an international conference on theorem proving in higher order logics. They address all aspects of theorem proving in higher order logics, formal verification and program analysis, and also discuss Coq, Isabelle, LAMBDA, LEGO, NuPrl and PVS. Editor(s): Grundy, Jim; Newey, Malcolm. Series: Lecture Notes in Computer Science. Num Pages: 505 pages, biography. BIC Classification: UM; UYF; UYQ. Category: (P) Professional & Vocational. Dimension: 233 x 155 x 26. Weight in Grams: 716.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Number of pages
- 505
- Condition
- New
- SKU
- V9783540649878
- ISBN
- 9783540649878
Paperback
Condition: New
€ 74.41
€ 74.41
Solving Irregularly Structured Problems in Parallel: 5th International...
. Ed(S): Ferreira, Alfonso; Rolim, Jose D. P....
paperback. The proceedings of a symposium on solving irregularly structured problems in parallel. It includes 26 papers, abstracts of four invited talks, and six invited presentations, on applicational and systems aspects arising in the development of parallel solutions to irregularly structured problems. Editor(s): Ferreira, Alfonso; Rolim, Jose D. P.; Simon, Horst D.; Teng, Shang-Hua. Series: Lecture Notes in Computer Science. Num Pages: 424 pages, biography. BIC Classification: UM; UYA; UYFP. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 21. Weight in Grams: 1310.
- Format
- Paperback
- Publication date
- 1998
- Publisher
- Springer/Sci-Tech/Trade Germany
- Edition
- 1998th Edition
- Number of pages
- 424
- Condition
- New
- SKU
- V9783540648093
- ISBN
- 9783540648093
Paperback
Condition: New
€ 72.62
€ 72.62
Paperback. Offers a survey of architectural mechanisms and implementation techniques for exploiting fine- and coarse-grained parallelism within microprocessors. Beginning with a review of past techniques, this monograph provides an account of techniques used in microprocessors, covering both the concepts involved and implementations in sample processors. Num Pages: 389 pages, 14 black & white illustrations, 34 black & white tables, biography. BIC Classification: AM; UYF. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 21. Weight in Grams: 581.
- Format
- Paperback
- Publication date
- 1999
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
- Edition
- Softcover reprint of the original 1st ed. 1999
- Number of pages
- 389
- Condition
- New
- SKU
- V9783540647980
- ISBN
- 9783540647980
Paperback
Condition: New
€ 122.20
€ 122.20