» książki » Computers - Computer Science
topmenu
 |
Learn PROLOG Now!
ISBN: 9781904987178 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog is a programming language, but a rather unusual one. ``Prolog is short
for ``Programming with Logic, and the link with logic gives Prolog its special character. At the heart of Prolog lies a surprising idea: dont tell the computer what to do. Instead, describe situations of interest, and compute by asking questions. Prolog will logically deduce new facts about the situations and give its deductions back to us as answers. Why learn Prolog? For a start, its ``say what the problem is, rather than how to solve it stance, means that it is a very high level language, good for knowledge... Prolog is a programming language, but a rather unusual one. ``Prolog is short
for ``Programming with Logic, and the link with logic gives Prolog i... |
cena:
134,53 |
 |
Advances in Modal Logic, Volume 5
ISBN: 9781904987222 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial intelligence, computer science, mathematics, formal grammar and semantics to philosophy. This volume presents substantial recent advances in the relational and the algorithmic treatment of modal logics. It contains papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. Written by leading experts in the field, the present book is indispensable for any advanced student and researcher in pure and...
Modal logic is one of the most widely applied logical formalisms. Systems of modal logic are being used in many disciplines, ranging from artificial i...
|
cena:
160,56 |
 |
Computing, Philosophy and Cognition
ISBN: 9781904987246 / Angielski / Miękka / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a collection of papers that explore various areas of common interest between philosophy, computing, and cognition. The book illustrates the rich intrigue of this fascinating recent intellectual story. It begins by providing a new analysis of the ideas related to computer ethics, such as the role in information technology of the so-called moral mediators, the relationship between intelligent machines and warfare, and the new opportunities offered by telepresnece, for example in teaching and learning. The book also ties together the concerns of epistemology and logic, showing,...
This volume is a collection of papers that explore various areas of common interest between philosophy, computing, and cognition. The book illustrates...
|
cena:
160,56 |
 |
Foundations of the Formal Sciences: The History of the Concept of the Formal Sciences: v. 4
ISBN: 9781904987291 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks: * What are the Formal Sciences? * Can we develop a theoretical classification of the sciences that juxtaposes the formal sciences to the natural sciences, social sciences, and humanities? Can we do this solely by identifying common methodological features? * Can we identify changes of the notion of formal sciences over time? How were the areas that we now conceived as the "Foundations of the Formal Sciences" classified throughout history? Investigating the... This volume takes a reflective position with respect to the conference
series "Foundations of the Formal Sciences" (FotFS) and asks: * What ar... |
cena:
160,56 |
 |
Prolog, Tout De Suite!
ISBN: 9781904987529 / Francuski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Prolog est un langage de programmation tout a fait original. -Prolog- est l'abreviation de -Programmation logique-, et le lien qu'il entretient avec la logique est ce qui lui donne sa specificite. Au coeur de Prolog, reside une idee surprenante: ne pas dire a l'ordinateur ce qu'il doit faire, mais lui decrire des situations, et lui faire faire des calculs en lui posant des questions. Prolog deduira alors logiquement de nouveaux faits concernant les situations, et donnera en reponse ses deductions. Pourquoi apprendre Prolog ? Tout d'abord, l'aspect -dis-moi quel est ton probleme au lieu de me...
Prolog est un langage de programmation tout a fait original. -Prolog- est l'abreviation de -Programmation logique-, et le lien qu'il entretient avec l...
|
cena:
95,47 |
 |
Cases on Global It Applications and Management: Successes and Pitfalls
ISBN: 9781930708167 / Angielski / Twarda / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As organizations prepare to compete globally in the new millennium, the effective deployment and exploitation of IT will create the difference between those that are successful and those that are not. What lessons are there to be learned from organizations that run global IT operations and deploy IT in support of their global business operations? What lessons are there to be learned in the development, implementation, use and management of IT from organizations operating in countries other than their own? This work covers these aspects of global IT applications and should be useful to...
As organizations prepare to compete globally in the new millennium, the effective deployment and exploitation of IT will create the difference between...
|
cena:
386,22 |
 |
Managing the Human Side of Information Technology : Challenges and Solutions
ISBN: 9781930708327 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. As the field of information technology continues to grow and impact the personnel and management of organizations, changes have occurred in the way that such people contribute and participate in effective business operations. Managing the Human Side of Information Technology: Challenges and Solutions addresses how to effectively manage the ways in which information technology impacts both human and organizational behavior.
As the field of information technology continues to grow and impact the personnel and management of organizations, changes have occurred in the way th...
|
cena:
463,51 |
 |
Einführung in Die Stochastik: Mit Elementen Der Bayes-Statistik Und Der Analyse Unscharfer Information
ISBN: 9783211008379 / Niemiecki / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. in die Stochastik Mit Elementen der Bayes-Statistik und der Analyse unscharfer Information Dritte, uberarbeitete und erweiterte Auflage Springers Lehrbucher der Informatik Springer-Verlag Wien GmbH o. Univ.-Prof. Dipl.-Ing. Dr. techno Reinhard Kar Wolfgang Viertl Institut fur Statistik und Wahrscheinlichkeitstheorie Technische Universitat Wien, Osterreich Das Werk ist urheberrechtlich geschutzt. Die dadurch begrundeten Rechte, insbesondere die der Ubersetzung des Nachdruckes, der Entnahme von Abbildungen, der Funksendung, der Wiedergabe auf photomechani schem oder ahnlichem Wege und der...
in die Stochastik Mit Elementen der Bayes-Statistik und der Analyse unscharfer Information Dritte, uberarbeitete und erweiterte Auflage Springers Lehr...
|
cena:
139,66 |
 |
Geometric Modelling: Dagstuhl 2002
ISBN: 9783211208182 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: 22 dni roboczych In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing, modeling, and analyzing curves, surfaces as well as other 3-dimensional geometry is given. The range of applications include CAD/CAM-systems, computer graphics, scientific visualization, virtual reality, simulation and medical imaging. The content of this book is based on selected lectures given at a workshop held at IBFI Schloss Dagstuhl, Germany. Topics treated are: curve and surface modelling non-manifold modelling in CAD multiresolution analysis of complex geometric models...
In 19 articles presented by leading experts in the field of geometric modelling the state-of-the-art on representing, modeling, and analyzing curves, ...
|
296,18 |
 |
Elimination Methods
ISBN: 9783211832417 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be observed L. van der Waerden's elimination of the "elimination theory" chapter from from B. his classic Modern Algebra in later editions, A. Weil's hope to eliminate "from algebraic geometry the last traces of elimination theory," and S. Abhyankar's sug gestion to "eliminate the eliminators of elimination theory. " The renaissance and recognition of polynomial elimination owe much to the advent and advance of mod ern computing technology, based...
The development of polynomial-elimination techniques from classical theory to modern algorithms has undergone a tortuous and rugged path. This can be ...
|
cena:
404,42 |
 |
Computer Animation and Simulation '98: Proceedings of the Eurographics Workshop in Lisbon, Portugal, August 31 - September 1, 1998
ISBN: 9783211832578 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 9th Eurographics workshop on Animation and Simulation was held on Au gust 31st -September 1st, 1998, at INESC Lisbon. The workshop was chaired by Bruno Arnaldi (IRISA Rennes, France) and Gerard Hegron (Ecole des Mines de Nantes, France). The local organizer Mario Rui Gomes (INESC Lisbon, Por tugal) notably contributed to provide a harmonious environment. The main theme of this seventh workshop was centered on Virtual Reality versus Anima tion and Simulation: from real time animation/simulation to physical perception of virtual environments. About twenty participants attended the workshop,...
The 9th Eurographics workshop on Animation and Simulation was held on Au gust 31st -September 1st, 1998, at INESC Lisbon. The workshop was chaired by ...
|
cena:
202,19 |
 |
Sofsem 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, Nove
ISBN: 9783540001454 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Forthe29thtime, SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- temporary SOFSEM is a mix of a winter school and a conference striving for multidisciplinarity in computer science, accompaniedby workshops dedicated to a narrow ?eld (this year multimedia and softcomputing) and a student forum. This volume constitutes the proceedings of SOFSEM 2002 held in Milovy, Czech Republic, November 22-29, 2002. This year, 23 papers were submitted from 11 countries. The selection of the 11 best papers accepted by the Program...
Forthe29thtime, SOFSEM(SOFtwareSEMinar)washeld.Havingtransformed over the years from a local event to a fully international conference, the c- tempora...
|
cena:
202,19 |
 |
Articulated Motion and Deformable Objects: Second International Workshop, Amdo 2002, Palma de Mallorca, Spain, November 21-23, 2002, Proceedings
ISBN: 9783540001492 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The AMDO 2002 workshop took place at the Universitat de les Illes Balears (UIB) on 21-23 November, 2002, sponsored by the International Association for Pattern Recognition (IAPR), AERFAI (Spanish Association for Pattern Rec- nition and Image Analysis), the CICYT (Comision Interministerial de Ciencia y Tecnologia, Spanish Government), the European Commission (Human Potential Programme: High Level Scienti?c Conferences), and the Mathematics and C- puter Science Department of the UIB. In addition, Egse (Eurographics Spanish Chapter)helpedwithdisseminationandpromotion. Thesubjectoftheworkshop...
The AMDO 2002 workshop took place at the Universitat de les Illes Balears (UIB) on 21-23 November, 2002, sponsored by the International Association fo...
|
cena:
202,19 |
 |
Advances in Computing Science - Asian 2002: Internet Computing and Modeling, Grid Computing, Peer-To-Peer Computing, and Cluster Computing: 7th Asian
ISBN: 9783540001959 / Angielski / Miękka / 233 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The series of annual Asian Computing Science Conferences (ASIAN) was init- ted in 1995 by AIT, INRIA, and UNU/IIST to provide a forum for researchers in computer science from the Asian region and to promote interaction with - searchers from other regions. The ?rst six conferences were held, respectively, in Bangkok, Singapore, Katmandu, Manila, Phuket, and Penang. The proc- dings have been published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year, the main themes chosen for ASIAN 2002 were: - Internet Computing and Modeling, - Grid, Peer-to-Peer, and Cluster...
The series of annual Asian Computing Science Conferences (ASIAN) was init- ted in 1995 by AIT, INRIA, and UNU/IIST to provide a forum for researchers ...
|
cena:
202,19 |
 |
Interactive Systems: Design, Specification, and Verification: 9th International Workshop, Dsv-Is 2002, Rostock Germany, June 12-14, 2002
ISBN: 9783540002666 / Angielski / Miękka / 274 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2002, held in Rostock, Germany in June 2002. The 19 revised full papers presented have gone through two rounds of reviewing, selection, and improvement. All aspects of the design, specification, and verification of interactive systems from the human-computer interaction point of view are addressed. Particular emphasis is given to models and their role in supporting the design and development of interactive... This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on the Design, Specification, and Verification of... |
cena:
202,19 |
 |
Verification of Reactive Systems: Formal Methods and Algorithms
ISBN: 9783540002963 / Angielski / Twarda / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible.
This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In... Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of ...
|
cena:
202,19 |
 |
Relational Methods in Computer Science: 6th International Conference, Relmics 2001 and 1st Workshop of Cost Action 274 Tarski Oisterwijk, the Netherla
ISBN: 9783540003151 / Angielski / Miękka / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First Workshop of COST Action 274TARSKI, Theory and Application of Relat- nal Structures as Knowledge Instruments. The conference was held in conference centre Boschoord, Oisterwijk near Tilburg, The Netherlands, from October 16 till October 21, 2001. The conference attracted interest from many parts of the world with contributions from many countries. This conference was a continuation of international conferences/workshops on Relational Methods in...
This volume contains the papers presented at RelMiCS 2001, the 6th Int- national Conference on Relational Methods in Computer Science, and the First W...
|
cena:
202,19 |
 |
Computation in Cells and Tissues: Perspectives and Tools of Thought
ISBN: 9783540003588 / Angielski / Twarda / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The field of biologically inspired computation has coexisted with mainstream computing since the 1930s, and the pioneers in this area include Warren McCulloch, Walter Pitts, Robert Rosen, Otto Schmitt, Alan Turing, John von Neumann and Norbert Wiener. Ideas arising out of studies of biology have permeated algorithmics, automata theory, artificial intelligence, graphics, information systems and software design. Within this context, the biomolecular, cellular and tissue levels of biological organisation have had a considerable inspirational impact on the development of computational ideas. Such...
The field of biologically inspired computation has coexisted with mainstream computing since the 1930s, and the pioneers in this area include Warren M...
|
cena:
404,42 |
 |
Finite Model Theory and Its Applications
ISBN: 9783540004288 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, in particular the theory of computational complexity and database theory. One of the fundamental insights of mathematical logic is that our understanding of mathematical phenomena is enriched by elevating the languages we use to describe mathematical structures to objects of explicit study. If mathematics is the science of patterns, then the media through which we discern patterns, as well as the structures in which we discern them, command our...
Finite model theory, as understoodhere, is an areaof mathematicallogic that has developed in close connection with applications to computer science, i...
|
cena:
363,97 |
 |
Computer Science in Perspective: Essays Dedicated to Thomas Ottmann
ISBN: 9783540005797 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. By presenting state-of-the-art aspects of theoretical computer science and practical applications in various fields, this book commemorates the 60th birthday of Thomas Ottmann. The 26 research papers presented span the whole range of Thomas Ottmann's scientific career, from formal languages to algorithms and data structures, from topics in practical computer science like software engineering or database systems to applications of Web technology, groupware, and e-learning. By presenting state-of-the-art aspects of theoretical computer science and practical applications in various fields, this book commemorates the 60t... |
cena:
202,19 |
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
