• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

 » książki  » Computers - Artificial Intelligence - Expert Systems

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2939893]
• Literatura piękna
 [1808953]

  więcej...
• Turystyka
 [70366]
• Informatyka
 [150555]
• Komiksy
 [35137]
• Encyklopedie
 [23160]
• Dziecięca
 [608786]
• Hobby
 [136447]
• AudioBooki
 [1631]
• Literatura faktu
 [225099]
• Muzyka CD
 [360]
• Słowniki
 [2914]
• Inne
 [442115]
• Kalendarze
 [1068]
• Podręczniki
 [166599]
• Poradniki
 [468390]
• Religia
 [506548]
• Czasopisma
 [506]
• Sport
 [61109]
• Sztuka
 [241608]
• CD, DVD, Video
 [3308]
• Technologie
 [218981]
• Zdrowie
 [98614]
• Książkowe Klimaty
 [124]
• Zabawki
 [2174]
• Puzzle, gry
 [3275]
• Literatura w języku ukraińskim
 [260]
• Art. papiernicze i szkolne
 [7376]
Kategorie szczegółowe BISAC

Kategoria BISAC: Computers >> Artificial Intelligence - Expert Systems

ilość książek w kategorii: 1962

Wyświetl książki:
Dostępne języki:
Cena:
od:
do:
ilość na stronie:


 Vlsi-Soc: The Advanced Research for Systems on Chip: 19th Ifip Wg 10.5/IEEE International Conference on Very Large Scale Integration, Vlsi-Soc 2011, H Mir, Salvador 9783642327698 Springer
Vlsi-Soc: The Advanced Research for Systems on Chip: 19th Ifip Wg 10.5/IEEE International Conference on Very Large Scale Integration, Vlsi-Soc 2011, H

ISBN: 9783642327698 / Angielski / Twarda / 190 str.

ISBN: 9783642327698/Angielski/Twarda/190 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Salvador Mir; Chi-Ying Tsui; Ricardo Reis
This book contains extended and revised versions of the best papers presented at the 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, held in Hong Kong, China, in October 2011. The 10 papers included in the book were carefully reviewed and selected from the 45 full papers and 16 special session papers presented at the conference. The papers cover a wide range of topics in VLSI technology and advanced research. They address the current trend toward increasing chip integration and technology process advancements bringing about stimulating new...
This book contains extended and revised versions of the best papers presented at the 19th IFIP WG 10.5/IEEE International Conference on Very Large Sca...
cena: 201,24

 Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings Kaklamanis, Christos 9783642328190 Springer
Euro-Par 2012 Parallel Processing: 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings

ISBN: 9783642328190 / Angielski / Miękka / 960 str.

ISBN: 9783642328190/Angielski/Miękka/960 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Christos Kaklamanis; Theodore Papatheodorou; Paul G. Spirakis
This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in August 2012. The 75 revised full papers presented were carefully reviewed and selected from 228 submissions. The papers are organized in topical sections on support tools and environments; performance prediction and evaluation; scheduling and load balancing; high-performance architectures and compilers; parallel and distributed data management; grid, cluster and cloud computing; peer to peer computing; distributed systems and algorithms; parallel...
This book constitutes the thoroughly refereed proceedings of the 18th International Conference, Euro-Par 2012, held in Rhodes Islands, Greece, in Augu...
cena: 201,24

 Elektronische Taschenrechner in der Schule: Ein Arbeits- und Aufgabenbuch für Lehrer und Schüler Alexander Wynands, Ursula Wynands 9783528040871 Springer Fachmedien Wiesbaden
Elektronische Taschenrechner in der Schule: Ein Arbeits- und Aufgabenbuch für Lehrer und Schüler

ISBN: 9783528040871 / Niemiecki / Miękka / 123 str.

ISBN: 9783528040871/Niemiecki/Miękka/123 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Alexander Wynands;Ursula Wynands
Nach einer (von uns im Herbst 1976 durchgefuhrten) Schulerbefragung verfugten ca. 70 % aller Schuler der Klassen 5 bis 10 (Sekundarstufe I) uber einen elektro nischen Taschenrechner (ETR). In der parallel durchgefuhrten Lehrerbefragung hielten mehr als 80 % aller befragten Lehrer den Einsatz von ETR ab Klasse 8 fur sinnvoll, weil sie im ETR ein Hilfsmittel zum okonomischen Rechnen sahen. Gleich zeitig wunschte man I nformationen zum fachdidaktisch begrundeten und methodisch sinnvollen Einsatz des ETR in der Schule. Dieses Buch richtet sich daher in erster Linie an den Lehrer, der einerseits...
Nach einer (von uns im Herbst 1976 durchgefuhrten) Schulerbefragung verfugten ca. 70 % aller Schuler der Klassen 5 bis 10 (Sekundarstufe I) uber einen...
cena: 206,88

 Anwenderleitfaden PageMaker: Version 3 Michael H. Müller 9783528047405 Springer Fachmedien Wiesbaden
Anwenderleitfaden PageMaker: Version 3

ISBN: 9783528047405 / Niemiecki / Miękka / 204 str.

ISBN: 9783528047405/Niemiecki/Miękka/204 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Michael H. Müller
cena: 206,88

 Building Knowledge-Based Systems for Natural Resource Management Daniel L. Schmoldt H. Michael Rauscher 9781461284895 Springer
Building Knowledge-Based Systems for Natural Resource Management

ISBN: 9781461284895 / Angielski / Miękka / 386 str.

ISBN: 9781461284895/Angielski/Miękka/386 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Daniel L. Schmoldt; H. Michael Rauscher
If one were forced to use a single key word to describe the decade of the 1980's, a very prominent one would be "technology. " Leading the forefront of tech nology advancement were breakthroughs in electronics. Devices that were uncommon or unknown in 1980 became commonplace, and almost indispens able, by 1989. This trend has continued into the 1990's and it does not seem to be abating in any way. Microwave ovens, video recorders, telephone answer ing machines, compact disc players, computers, and a host of smaller or less sophisticated devices now appear in most households. The development...
If one were forced to use a single key word to describe the decade of the 1980's, a very prominent one would be "technology. " Leading the forefront o...
cena: 603,81

 Neuronale Netze und Fuzzy-Systeme: Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden Detlef D. Nauck 9783528052652 Springer Fachmedien Wiesbaden
Neuronale Netze und Fuzzy-Systeme: Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden

ISBN: 9783528052652 / Niemiecki / Miękka / 407 str.

ISBN: 9783528052652/Niemiecki/Miękka/407 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Detlef D. Nauck
Neuronale Netze erfreuen sich einer wachsenden Popularitat, die sich in einer Viel zahl von Veroffentlichungen und industriellen Anwendungen ausdriickt. Ihre Fahig keit, aus Beispielen lernen zu konnen, ohne im herkommlichen Sinne programmiert werden zu miissen, macht einen wesentlichen Teil ihrer Faszination aus. Die Arbeit an Neuronalen Netzen, die auch als "konnektionistische Systeme" bezeichnet wer den, war zunachst biologisch motiviert. Die Forscher wollten an ihnen mehr iiber Eigenschaften des Gehirns lernen. Das erste lernfahige kiinstliche Neuronale Netz, das Perceptron, wurde 1958...
Neuronale Netze erfreuen sich einer wachsenden Popularitat, die sich in einer Viel zahl von Veroffentlichungen und industriellen Anwendungen ausdriick...
cena: 206,88

 Objektorientierte Anwendungsentwicklung: Konzepte, Strategien, Erfahrungen Klaus Kilberth, Guido Gryczan, Heinz Züllighoven 9783528053468 Springer Fachmedien Wiesbaden
Objektorientierte Anwendungsentwicklung: Konzepte, Strategien, Erfahrungen

ISBN: 9783528053468 / Niemiecki / Miękka / 220 str.

ISBN: 9783528053468/Niemiecki/Miękka/220 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Klaus Kilberth;Guido Gryczan;Heinz Zullighoven
Dieses Buch wendet sich an DV-Managerl, Leiter von Entwicklungsprojekten und Praktiker, die uber die Einfiihrung von objektorientierter Systementwicklung in ihren Untemehmen nachdenken, urn ihnen Moglichkeiten fur eine betriebliche Umsetzung aufzuzeigen. Das Buch soIl insbesondere dazu dienen, innovativen Entscheidungstragem aufzuzeigen, daB die Einfuhrung objektorientierter Techni ken "hier und jetzt" moglich ist, urn damit qualitativ hochwertige Software systeme herzustellen. Das vorliegende Buch basiert auf dem Text einer Studie, die im zweiten Halbjahr 1992 im Auf trag der ARAG Allgemeine...
Dieses Buch wendet sich an DV-Managerl, Leiter von Entwicklungsprojekten und Praktiker, die uber die Einfiihrung von objektorientierter Systementwickl...
cena: 206,88

 Geschäftsprozeßoptimierung mit SAP-R/3: Modellierung, Steuerung und Management betriebswirtschaftlich-integrierter Geschäftsprozesse Paul Wenzel 9783528055080 Springer Fachmedien Wiesbaden
Geschäftsprozeßoptimierung mit SAP-R/3: Modellierung, Steuerung und Management betriebswirtschaftlich-integrierter Geschäftsprozesse

ISBN: 9783528055080 / Niemiecki / Miękka / 351 str.

ISBN: 9783528055080/Niemiecki/Miękka/351 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Paul Wenzel
Vorwort Zunehmend werden die Arbeitsplatze in unternehmensweite Datenverarbeitungs-, Informations- und Kommunikations Systemen integriert und die Geschaftsprozesse durch flexible, benutzerangepaBte "Standard-Software" unterstiitzt, die mit der individuellen Datenverarbeitung korrespondiert. Die Software zur Unterstiitzung betrieblicher Geschaftsprozesse, also die Anwendungsprogramme zur Abwicklung der logisti schen Ablaufe (sowohl qualitativ als auch quantitativ) sowie zur Ergebnisrechnung und -kontrolle im Sinne des Unternehmens controlling wurde bis vor wenigen Jahren meist von Informatik...
Vorwort Zunehmend werden die Arbeitsplatze in unternehmensweite Datenverarbeitungs-, Informations- und Kommunikations Systemen integriert und die Gesc...
cena: 206,88

 Computer Safety, Reliability, and Security: Safecomp 2012 Workshops: Sassur, Ascoms, Desec4lcci, Ercim/Ewics, Iwde, Magdeburg, Germany, September 25-2 Ortmeier, Frank 9783642336744 Springer
Computer Safety, Reliability, and Security: Safecomp 2012 Workshops: Sassur, Ascoms, Desec4lcci, Ercim/Ewics, Iwde, Magdeburg, Germany, September 25-2

ISBN: 9783642336744 / Angielski / Miękka / 530 str.

ISBN: 9783642336744/Angielski/Miękka/530 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Frank Ortmeier; Peter Daniel
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for...
This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Rel...
cena: 201,24

 Computer Safety, Reliability, and Security: 31st International Conference, Safecomp 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings Ortmeier, Frank 9783642336775 Springer
Computer Safety, Reliability, and Security: 31st International Conference, Safecomp 2012, Magdeburg, Germany, September 25-28, 2012, Proceedings

ISBN: 9783642336775 / Angielski / Miękka / 402 str.

ISBN: 9783642336775/Angielski/Miękka/402 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Frank Ortmeier; Peter Daniel
This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.
This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held...
cena: 201,24

 Research and Development in Intelligent Systems XXIX: Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of Ai-2012, the Bramer, Max 9781447147381 Springer
Research and Development in Intelligent Systems XXIX: Incorporating Applications and Innovations in Intelligent Systems XX Proceedings of Ai-2012, the

ISBN: 9781447147381 / Angielski / Miękka / 446 str.

ISBN: 9781447147381/Angielski/Miękka/446 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Max Bramer; Miltos Petridis
The papers in this volume are the refereed papers presented at AI-2012, the Thirty-second SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence, held in Cambridge in December 2012 in both the technical and the application streams. They present new and innovative developments and applications, divided into technical stream sections on Data Mining, Data Mining and Machine Learning, Planning and Optimisation, and Knowledge Management and Prediction, followed by application stream sections on Language and Classification, Recommendation, Practical...
The papers in this volume are the refereed papers presented at AI-2012, the Thirty-second SGAI International Conference on Innovative Techniques and A...
cena: 805,10

 Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings Brian Nielsen, Carsten Weise 9783642346903 Springer-Verlag Berlin and Heidelberg GmbH &
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings

ISBN: 9783642346903 / Angielski / Miękka / 263 str.

ISBN: 9783642346903/Angielski/Miękka/263 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Brian Nielsen;Carsten Weise
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark, in November 2012. The 16 revised full papers presented together with 2 invited talks were carefully selected from 48 submissions. The papers are organized in topical sections on testing in practice, test frameworks for distributed systems, testing of embedded systems, test optimization, and new testing methods.
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2012, held in A...
cena: 201,24

 The Knowledge Acquisition and Representation Language, Karl Dieter Fensel 9781461359593 Springer
The Knowledge Acquisition and Representation Language, Karl

ISBN: 9781461359593 / Angielski / Miękka / 238 str.

ISBN: 9781461359593/Angielski/Miękka/238 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Dieter Fensel
Within the framework of so-called second generation expert systems 62] knowledge modeling is one of the most important aspects. On the one hand, knowledge acquisition is no longer seen as a knowledge transfer process, rather it is now considered as model construction process which is typically a cyclic and error prone process. On the other hand, the distinction between knowledge and symbol level descriptions 166] resulted in various proposals for conceptual knowledge models describing knowledge in an implementation independent way. One of the most prominent examples of such a conceptual...
Within the framework of so-called second generation expert systems 62] knowledge modeling is one of the most important aspects. On the one hand, know...
cena: 603,81

 Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods Adelman, Leonard 9781461378297 Springer
Handbook for Evaluating Knowledge-Based Systems: Conceptual Framework and Compendium of Methods

ISBN: 9781461378297 / Angielski / Miękka / 392 str.

ISBN: 9781461378297/Angielski/Miękka/392 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Leonard Adelman; Sharon L. Riedel; Sharon L. Riedel
Knowledge-based systems are increasingly found in a wide variety of settings and this handbook has been written to meet a specific need in their widening use. While there have been many successful applications of knowledge-based systems, some applications have failed because they never received the corrective feedback that evaluation provides for keeping development focused on the users' needs in their actual working environment. This handbook provides a conceptual framework and compendium of methods for performing evaluations of knowledge-based systems during their development. Its focus is...
Knowledge-based systems are increasingly found in a wide variety of settings and this handbook has been written to meet a specific need in their widen...
cena: 603,81

 Dokumentenmanagementsysteme: Handbuch Zur Einführung Klingelhöller, Harald 9783642625169 Springer
Dokumentenmanagementsysteme: Handbuch Zur Einführung

ISBN: 9783642625169 / Niemiecki / Miękka / 254 str.

ISBN: 9783642625169/Niemiecki/Miękka/254 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Harald Klingelh Ller
Dokumentenmanagementprojekte sind ganzheitliche Projekte. Organisatorische, technische und menschliche Faktoren entscheiden uber Erfolg oder Misserfolg. Das DMS-Handbuch hilft fruhzeitig Fehler zu erkennen und zu vermeiden. Es ist eine Pflichtlekture fur jeden, der sich mit dem Gedanken tragt, ein Dokumentenmanagementsystem einzufuhren. Schritt fur Schritt wird der Leser durch die einzelnen Projektstufen gefuhrt. Mit Hilfe von Tabellen, Charts und Diagrammen wird eine komplexe Materie ubersichtlich dargestellt. Ein ausfuhrliches Glossar mit Begriffserklarungen der Fachtermini und eine Fulle...
Dokumentenmanagementprojekte sind ganzheitliche Projekte. Organisatorische, technische und menschliche Faktoren entscheiden uber Erfolg oder Misserfol...
cena: 169,28

 Wireless Sensor Networks: 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013, Proceedings Piet Demeester, Ingrid Moerman, Andreas Terzis 9783642366710 Springer-Verlag Berlin and Heidelberg GmbH &
Wireless Sensor Networks: 10th European Conference, EWSN 2013, Ghent, Belgium, February 13-15, 2013, Proceedings

ISBN: 9783642366710 / Angielski / Miękka / 197 str.

ISBN: 9783642366710/Angielski/Miękka/197 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Piet Demeester;Ingrid Moerman;Andreas Terzis
This book constitutes the refereed proceedings of the 10th European Conference on Wireless Sensor Networks, EWSN 2013, held in Ghent, Belgium, in February 2013. The 12 revised full papers presented were carefully reviewed and selected from 51 submissions. The papers cover a wide range of topics in the following areas: experimentation and data access; data management; network algorithms and protocols; and physical layer and hardware aspects.
This book constitutes the refereed proceedings of the 10th European Conference on Wireless Sensor Networks, EWSN 2013, held in Ghent, Belgium, in Febr...
cena: 185,18

 Pervasive Computing and the Networked World: Joint International Conference, Icpca-Sws 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected Zu, Qiaohong 9783642370144 Springer
Pervasive Computing and the Networked World: Joint International Conference, Icpca-Sws 2012, Istanbul, Turkey, November 28-30, 2012, Revised Selected

ISBN: 9783642370144 / Angielski / Miękka / 921 str.

ISBN: 9783642370144/Angielski/Miękka/921 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Qiaohong Zu; Bo Hu; Atilla Elci
This book constitutes the refereed post-proceedings of the Joint International Conference on Pervasive Computing and the Networked World, ICPCA-SWS 2012, held in Istanbul, Turkey, in November 2012. This conference is a merger of the 7th International Conference on Pervasive Computing and Applications (ICPCA) and the 4th Symposium on Web Society (SWS). The 53 revised full papers and 26 short papers presented were carefully reviewed and selected from 143 submissions. The papers cover a wide range of topics from different research communities such as computer science, sociology and psychology...
This book constitutes the refereed post-proceedings of the Joint International Conference on Pervasive Computing and the Networked World, ICPCA-SWS 20...
cena: 402,53

 Knowledge Discovery, Knowledge Engineering and Knowledge Management: Third International Joint Conference, Ic3k 2011, Paris, France, October 26-29, 20 Fred, Ana 9783642371851 Springer
Knowledge Discovery, Knowledge Engineering and Knowledge Management: Third International Joint Conference, Ic3k 2011, Paris, France, October 26-29, 20

ISBN: 9783642371851 / Angielski / Miękka / 472 str.

ISBN: 9783642371851/Angielski/Miękka/472 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Ana Fred; Jan Dietz; Kecheng Liu
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Joint Conference on Knowledge Discovery, Knowledge Engineering, and Knowledge Management, IC3K 2011, held in Paris, France, in October 2011. This book includes revised and extended versions of a strict selection of the best papers presented at the conference; 39 revised full papers together with one invited lecture were carefully reviewed and selected from 429 submissions. According to the three covered conferences KDIR 2011, KEOD 2011, and KMIS 2011, the papers are organized in topical...
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Joint Conference on Knowledge Discovery, Knowledg...
cena: 201,24

 Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Pr Galmiche, Didier 9783642405365 Springer
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, Tableaux 2013, Nancy, France, September 16-19, 2013, Pr

ISBN: 9783642405365 / Angielski / Miękka / 289 str.

ISBN: 9783642405365/Angielski/Miękka/289 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Didier Galmiche; Dominique Larchey-Wendling
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and...
This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods,...
cena: 185,18

 The Temporal Logic of Reactive and Concurrent Systems: Specification Manna, Zohar 9781461269502 Springer
The Temporal Logic of Reactive and Concurrent Systems: Specification

ISBN: 9781461269502 / Angielski / Miękka / 427 str.

ISBN: 9781461269502/Angielski/Miękka/427 str.

Termin realizacji zamówienia: ok. 5-8 dni roboczych.
Zohar Manna; Amir Pnueli
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann...
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. ...
cena: 201,24

Pierwsza Podprzednia  10  11  12  Następna Ostatnia

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2026 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia