Foundations of Computer Science Potential-Theory-Cognition /

Foundations of Computer Science Potential-Theory-Cognition /

This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer scie...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Freksa, Christian (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Jantzen, Matthias (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Valk, Rüdiger (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:	1st ed. 1997.
Σειρά:	Lecture Notes in Computer Science, 1337
Θέματα:	Computers. Artificial intelligence. Software engineering. Computers and civilization. Theory of Computation. Artificial Intelligence. Software Engineering/Programming and Operating Systems. Computers and Society.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers /
Έκδοση: (2018)

Advances in Learning Software Organizations 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers /
Έκδοση: (2003)

Multi-Agent Systems and Applications 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001. Selected Tutorial Papers /
Έκδοση: (2001)

Trust Management First International Conference, iTrust 2003, Heraklion, Crete, Greece, May 28-30, 2002, Proceedings /
Έκδοση: (2003)

Advances in Cryptology - CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part II /
Έκδοση: (2019)

Advances in Cryptology - CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part I /
Έκδοση: (2019)

Advances in Cryptology - CRYPTO 2019 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18-22, 2019, Proceedings, Part III /
Έκδοση: (2019)

Artificial Intelligence 5th RAAI Summer School, Dolgoprudny, Russia, July 4-7, 2019, Tutorial Lectures /
Έκδοση: (2019)

Advances in Cryptology - EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part II /
Έκδοση: (2019)

Advances in Cryptology - EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part I /
Έκδοση: (2019)

Advances in Cryptology - EUROCRYPT 2019 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Darmstadt, Germany, May 19-23, 2019, Proceedings, Part III /
Έκδοση: (2019)

Advances in Cryptology - EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III /
Έκδοση: (2018)

Advances in Cryptology - EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part II /
Έκδοση: (2018)

Advances in Cryptology - EUROCRYPT 2018 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part I /
Έκδοση: (2018)

Agent Technologies, Infrastructures, Tools, and Applications for E-Services NODe 2002 Agent-Related Workshop, Erfurt, Germany, October 7-10, 2002, Revised Papers /
Έκδοση: (2003)

Matchmaking in Electronic Markets An Agent-Based Approach towards Matchmaking in Electronic Negotiations /
ανά: Veit, Daniel J., κ.ά.
Έκδοση: (2003)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Computer and Communication Engineering First International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, Proceedings /
Έκδοση: (2019)

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

The Future of Digital Democracy An Interdisciplinary Approach /
Έκδοση: (2019)

Ambient Intelligence Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings /
Έκδοση: (2004)

Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
Έκδοση: (1997)

Informatics 10 Years Back. 10 Years Ahead /
ανά: Wilhelm, Reinhard, κ.ά.
Έκδοση: (2001)

Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
Έκδοση: (1997)

Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
Έκδοση: (2002)

Topics in Cryptology - CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings /
Έκδοση: (2019)

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
Έκδοση: (2019)

Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
Έκδοση: (1999)

Web Engineering International Conference, ICWE 2003, Oviedo, Spain, July 14-18, 2003. Proceedings /
Έκδοση: (2003)

Conceptual Modeling 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings /
Έκδοση: (2019)

Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers /
Έκδοση: (2018)

Cooperative Multimodal Communication Second International Conference, CMC'98, Tilburg, The Netherlands, January 28-30, 1998. Selected Papers /
Έκδοση: (2001)

Multi-Agent System Engineering 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 Valencia, Spain, June 30 - July 2, 1999 Proceedings /
Έκδοση: (1999)

Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems International Workshop on Infrastructure for Scalable Multi-Agent Systems, Barcelona, Spain, June 3-7, 2000 Revised Papers /
Έκδοση: (2001)

Engineering Multi-Agent Systems 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
Έκδοση: (2018)

Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /
Έκδοση: (2000)

Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
Έκδοση: (1998)

Applied Computing Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings /
Έκδοση: (2004)

Social, Cultural, and Behavioral Modeling 11th International Conference, SBP-BRiMS 2018, Washington, DC, USA, July 10-13, 2018, Proceedings /
Έκδοση: (2018)

Advanced Information Systems Engineering 10th International Conference, CAiSE'98, Pisa, Italy, June 8-12, 1998, Proceedings /
Έκδοση: (1998)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών