» książki » Computers - Computer Science
topmenu
 |
Foundations of Software Technology and Theoretical Computer Science: 13th Conference, Bombay, India, December 15-17, 1993. Proceedings
ISBN: 9783540575290 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, computational geometry and complexity, software technology, concurrency, distributed algorithms and learning theory.
This volume of conference proceedings contains papers grouped into sections on type theory, parallel algorithms, term rewriting, logic programming, co...
|
cena:
203,13 |
 |
An Extended Entity-Relationship Model: Fundamentals and Pragmatics
ISBN: 9783540576488 / Angielski / Miękka / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In addition to the primitives given by the data model the text introduces a language for the formulation of constraints in order to restrict database states to consistent ones. The text explains an implementation of the approach chosen in the logic programing language PROLOG and discusses in this context the computational power of the proposedcalculus. The extended Entity-Relationship calculus is used to define the meaning of the relational query...
This text presents a comprehensive introduction to an extended Entity-Relationship model both on a conceptual and on a formal, mathematicallevel. In a...
|
cena:
203,13 |
 |
Fast Software Encryption: Cambridge Security Workshop, Cambridge, U.K., December 9 - 11, 1993. Proceedings
ISBN: 9783540581086 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the refereed papers presented at the International Workshop on Software Encryption Algorithms, held at Cambridge University, U.K. in December 1993.
The collection of papers by representatives of all relevant research centers gives a thorough state-of-the-art report on all theoretical aspects of encryption algorithms and takes into account the new demands from new applications, as for example from the data-intensive multimedia applications. The 26 papers are organized in sections on block ciphers, stream ciphers, software performance, cryptanalysis, hash functions and... This volume contains the refereed papers presented at the International Workshop on Software Encryption Algorithms, held at Cambridge University, U.K....
|
cena:
203,13 |
 |
Advanced Information Systems Engineering: 6th International Conference, CAiSE '94, Utrecht, The Netherlands, June 6 - 10, 1994. Proceedings
ISBN: 9783540581130 / Angielski / Miękka / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the sixth International Conference on Advanced Information Systems Engineering, held in Utrecht, The Netherlands, in June 1994. The 30 contributions by researchers from industry and academia and by ambitioned professionals were selected from a total of 130 submissions after a highly competetive refereering process. The papers are organized in sections on development process support, workflow management, management and quality, object-oriented requirements engineering, behavioural modelling, advanced development tools, reuse, formal IS modelling, method...
This volume presents the proceedings of the sixth International Conference on Advanced Information Systems Engineering, held in Utrecht, The Netherlan...
|
cena:
325,04 |
 |
Results and Trends in Theoretical Computer Science: Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings
ISBN: 9783540581314 / Angielski / Miękka / 449 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented at the festive colloquium, organized by Hermann Maurer at Graz, Austria, in June 1994; the contributing authors are well-known scientists with special relations to Professor Salomaa as friends, Ph.D. students, or co-authors. The volume reflects the broad spectrum of Professor Salomaa's research interests in theoretical computer science and mathematics with contributions particularly to automata theory, formal language theory, mathematical logic,...
This volume is dedicated to Professor Arto Salomaa on the occasion of his 60th birthday. The 32 invited papers contained in the volume were presented ...
|
cena:
203,13 |
 |
Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
ISBN: 9783540581529 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 - 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets. This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 199...
|
cena:
203,13 |
 |
Automata, Languages, and Programming: 21st International Colloquium, Icalp '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
ISBN: 9783540582014 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in July 1994. ICALP is an annual conference sponsored by the European Association on Theoretical Computer Science (EATCS). The proceedings contains 48 refereed papers selected from 154 submissions and 4 invited papers. The papers cover the whole range of theoretical computer science; they are organized in sections on theory of computation, automata and computation models, expressive power, automata and concurrency, pattern matching, data structures,...
This volume constitutes the proceedings of the 21st International Colloquium on Automata, Languages and Programming (ICALP 94), held at Jerusalem in J...
|
cena:
406,31 |
 |
Numerical Integration: on Advanced Computer Systems
ISBN: 9783540584100 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration.
The authors give a unique overview of the topic by bringing into line many recent research results not yet presented coherently; the extensive bibliography lists 268 items. Particular emphasis is given to the potential parallelism of numerical integration problems and to utilizing it by means of dynamic load distribution techniques. The book discusses the basics and provides methodologies for producing efficient and reliable software for numerical integration on advanced... This monograph is a comprehensive treatment of the theoretical and computational aspects of numerical integration.
The authors give a unique overv... |
cena:
203,13 |
 |
Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
ISBN: 9783540587156 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994.
Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency,... This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, ...
|
cena:
203,13 |
 |
Towards a CSCW Framework for Scientific Cooperation in Europe
ISBN: 9783540588443 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph presents the still young, but already large and very active interdisciplinary realm of computer supported cooperative work (CSCW) in a systematic and well-balanced way. Besides technical progress also the cultural, social, legal, psychological and economic aspects of CSCW are discussed. The book makes accessible a wealth of information and culminates in the development and detailed discussion of a "Collaboratory" suitable to fulfil the needs of scientific cooperation in Europe.
The book addresses CSCW research and development professionals as well as the general scientist... This monograph presents the still young, but already large and very active interdisciplinary realm of computer supported cooperative work (CSCW) in a ...
|
cena:
203,13 |
 |
Theorem Provers in Circuit Design: Theory, Practice and Experience: Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings
ISBN: 9783540590477 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.
The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are... This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the F...
|
cena:
203,13 |
 |
Efficient Graph Rewriting and Its Implementation
ISBN: 9783540600558 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriting. Second, an abstract machine for graph rewriting is defined providing an instruction set sufficient for the execution of GRS.
The basic definitions of GRS in the algorithmic approach are introduced and extended by attribution and control structures to comprise a formalism for an operational... This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called U...
|
cena:
203,13 |
 |
Automata, Languages and Programming: 22nd International Colloquium, Icalp 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings
ISBN: 9783540600848 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of EATCS in Szeged, Hungary in July 1995.
The volume presents four invited papers and 53 full revised research papers selected from a total of 111 submissions. ICALP traditionally covers the whole area of theoretical computer science; among the topics addressed in the volume are concurrency, automata, formal languages, algorithms, communication protocols, computational complexity, computability, foundations of programming, learning and coding,... This volume constitutes the proceedings of the 22nd Interna- tional Colloquium on Automata, Languages, and Programming, held under the sponsorship of ...
|
cena:
406,31 |
 |
Speech Recognition and Coding: New Advances and Trends
ISBN: 9783540600985 / Angielski / Twarda / 505 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on a recent NATO workshop, this volume presents recent advances in automatic speech recognition and speech coding. 16 invited lectures and 57 short contributions by outstanding researchers in the field give a clear view of new work and trends.
Based on a recent NATO workshop, this volume presents recent advances in automatic speech recognition and speech coding. 16 invited lectures and 57 sh...
|
cena:
843,36 |
 |
Computer Science Today
ISBN: 9783540601050 / Angielski / Miękka / 645 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology.
This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It... This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science toda...
|
cena:
190,94 |
 |
Static Analysis: Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings
ISBN: 9783540603603 / Angielski / Miękka / 431 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level programming languages.
22 full revised papers selected from a total of 55 submissions are presented; they address static analysis issues for different programming paradigms; in particular concurrent, constraint, functional, imperative, logic, and object-oriented programming are addressed. In addition there... This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 19...
|
cena:
203,13 |
 |
Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics: International Workshop, SLS 2007 Brussels,
ISBN: 9783540744450 / Angielski / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimization pr- lems from many areas of computer science, operations research, and engineering. To a large degree, this popularity is based on the conceptual simplicity of many SLS methods and on their excellent performance on a wide gamut of problems, ranging from rather abstract problems of high academic interest to the very s- ci?c problems encountered in many real-world applications. SLS methods range from quite simple construction procedures and...
Stochastic local search (SLS) algorithms enjoy great popularity as powerful and versatile tools for tackling computationally hard decision and optimiz...
|
cena:
203,13 |
 |
Independent Component Analysis and Signal Separation: 7th International Conference, Ica 2007, London, Uk, September 9-12, 2007, Proceedings
ISBN: 9783540744931 / Angielski / Miękka / 872 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 7th International Conference on Independent Component Analysis (ICA) and Source Separation held in L- don, 9 12 September 2007, at Queen Mary, University of London. Independent Component Analysis and Signal Separation is one of the most exciting current areas of research in statistical signal processing and unsup- vised machine learning. The area has received attention from several research communities including machine learning, neural networks, statistical signal p- cessing and Bayesian modeling. Independent Component Analysis and Signal...
This volume contains the papers presented at the 7th International Conference on Independent Component Analysis (ICA) and Source Separation held in L-...
|
cena:
406,31 |
 |
Evolvable Systems: From Biology to Hardware: 7th International Conference, ICES 2007 Wuhan, China, September 21-23, 2007 Proceedings
ISBN: 9783540746256 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in September 2007. The 41 revised full papers collected in this volume are organized in topical sections on digital hardware evolution, analog hardware evolution, bio-inspired systems, mechanical hardware evolution, evolutionary design, evolutionary algorithms in hardware design, and hardware implementation of evolutionary algorithms. This book constitutes the refereed proceedings of the 7th International Conference on Evolvable Systems, ICES 2007, held in Wuhan, China, in Septem... |
cena:
203,13 |
 |
Life System Modeling and Simulation: International Conference, LSMS 2007 Shanghai, China, September 14-17, 2007 Proceedings
ISBN: 9783540747703 / Angielski / Miękka / 586 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in the field of life system modeling and simulation as well as life system-inspired theory and methodology. The concept of a life system is quite broad. It covers both micro and macro c- ponents ranging from cells, tissues and organs across to organisms and ecologic niches. These interact and evolve to produce an overall complex system whose beh- ior is difficult to comprehend and predict. The arrival of the 21st century has been marked by a...
The International Conference on Life System Modeling and Simulation (LSMS) was formed to bring together international researchers and practitioners in...
|
cena:
203,13 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
