Comparor Shopping Experience

Computer & Internet Bücher

1,102 Ergebnis(s)

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Springer Berlin Heidelberg (9783540439318 / Illustrations) | Automated Deduction

Distributed Computing - IWDC 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings

Distributed Computing - IWDC 2005: 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings

(9783540309598 / biography) | Distributed Computing

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... Notes in Computer Science, 3455, Band 3455)

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings ... Notes in Computer Science, 3455, Band 3455)

(9783540255598 / Illustrations) | Specification and

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

(9783540278825 / 1) | Formal Methods

Information Security and Privacy: 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings

Information Security and Privacy: 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings

(9783540223795 / Illustrations)

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Logic Programming and Automated Reasoning: International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

Springer Berlin Heidelberg (9783540557272 / 1) | And Automated Reasoning

Coding, Cryptography and Combinatorics

"Coding, Cryptography and Combinatorics"

(9783034896023 / biography)

J.UCS The Journal of Universal Computer Science: Annual Print and CD-ROM Archive Edition Volume 1 • 1995

J.UCS The Journal of Universal Computer Science: Annual Print and CD-ROM Archive Edition Volume 1 • 1995

(9783642803529 / biography) | The Journal of Universal

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514)

Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 ... Notes in Computer Science, 2514, Band 2514)

(9783540000105 / Illustrations)

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science, 2250, Band 2250)

Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings ... Notes in Computer Science, 2250, Band 2250)

(9783540429579 / 1)

Proceedings of Sixth International Conference on Soft Computing for Problem Solving: SocProS 2016, Volume 1

Proceedings of Sixth International Conference on Soft Computing for Problem Solving: SocProS 2016, Volume 1

(9789811033216) | Proceedings of Sixth International

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, 2031, Band 2031)

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, 2031, Band 2031)

Springer Berlin Heidelberg (9783540418658 / Illustrations)

Coding, Cryptography and Combinatorics

Coding, Cryptography and Combinatorics

(9783764324292)

Software Engineering and Middleware: 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers

Software Engineering and Middleware: 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers

(9783540253280 / Illustrations)

Software Process Improvement: 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings

Software Process Improvement: 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings

(9783540476955 / Illustrations)

High Performance Computing - HiPC 2005: 12th International Conference, Goa, India, December 18-21, 2005, Proceedings

High Performance Computing - HiPC 2005: 12th International Conference, Goa, India, December 18-21, 2005, Proceedings

(9783540309369)

Business Systems Analysis with Ontologies

Business Systems Analysis with Ontologies

Idea Group Publishing (9781591403395 / 4038957)

Proceedings of the 14th and 15th Asian Logic Conferences: 14th and 15th Asian Logic Conferences Mumbai, India & Daejeon, South Korea, 5 - 8 January ... 14 July 2017

Proceedings of the 14th and 15th Asian Logic Conferences: 14th and 15th Asian Logic Conferences Mumbai, India & Daejeon, South Korea, 5 - 8 January ... 14 July 2017

(9789813237544)

Scalable Computing and Communications: Theory and Practice

Scalable Computing and Communications: Theory and Practice

(9781118162651) | Scalable Computing

Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

Dependable Computing - EDCC 2005: 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

(9783540257233 / Illustrations)

Practical Aspects of Declarative Languages: 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

Practical Aspects of Declarative Languages: 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings

(9783540309475 / Illustrations)

Combinatorial Pattern Matching: 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings

Combinatorial Pattern Matching: 16th Annual Symposium, CPM 2005, Jeju Island, Korea, June 19-22, 2005, Proceedings

(9783540262015 / Illustrations)

Computational Linguistics and Intelligent Text Processing: 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, ... Notes in Computer Science, 3406, Band 3406)

Computational Linguistics and Intelligent Text Processing: 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, ... Notes in Computer Science, 3406, Band 3406)

(9783540245230 / biography)

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers

(9783540708803 / biography) | Perspectives of Systems Informatics

Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, ... Notes in Computer Science, 3561, Band 3561)

Mechanisms, Symbols, and Models Underlying Cognition: First International Work-Conference on the Interplay Between Natural and Artificial Computation, ... Notes in Computer Science, 3561, Band 3561)

(9783540262985 / Illustrations) | And Models Underlying

Proceedings of Sixth International Conference on Soft Computing for Problem Solving: SocProS 2016, Volume 2

Proceedings of Sixth International Conference on Soft Computing for Problem Solving: SocProS 2016, Volume 2

(9789811033247)

D'étudiant étranger à travailleur étranger hautement qualifié en Suisse: « Être dit » dans la presse et «

D'étudiant étranger à travailleur étranger hautement qualifié en Suisse: « Être dit » dans la presse et «

(9783034324649)

La Métaphore par-delà l’infini: Les pou-VOIRS de la métaphore : des bénéfices et de l’usage des figures analogiques dans la recherche et la vulgarisation scientifique

La Métaphore par-delà l’infini: Les pou-VOIRS de la métaphore : des bénéfices et de l’usage des figures analogiques dans la recherche et la vulgarisation scientifique

(9783034320276) | La Métaphore par-delà

Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications

Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications

(9783540248439 / Illustrations)

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

Scheduling Real-Time Streaming Applications onto an Embedded Multiprocessor

(9783319344423) | Streaming Applications onto

Reliable and Energy Efficient Streaming Multiprocessor Systems

Reliable and Energy Efficient Streaming Multiprocessor Systems

(9783319693736) | Energy Efficient Streaming Multiprocessor

Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

Computability and Complexity: Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

(9783319500614) | Computability and Complexity

Advances in Services Computing: 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings

Advances in Services Computing: 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings

(9783319491776) | Advances in Services Computing, Services Computing

The Semantic Web - ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I

The Semantic Web - ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I

(9783319465227) | Semantic Web, The Semantic Web

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... Notes in Computer Science, Band 9609)

Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, ... Notes in Computer Science, Band 9609)

(9783319415789) | Perspectives of System Informatics, Ershov Informatics

Human Aspects of IT for the Aged Population. Design for Aging

Human Aspects of IT for the Aged Population. Design for Aging

(9783319399423) | Of IT for the

Filter

Anzeigen/verbergen vollständige Liste