Books on the topic 'Berechenbarkeit'

Hromkovič, Juraj. Berechenbarkeit. Wiesbaden: Vieweg+Teubner, 2011. http://dx.doi.org/10.1007/978-3-8348-9937-8.

Zimmermann, Karl-Heinz. Berechenbarkeit. Wiesbaden: Springer Fachmedien Wiesbaden, 2020. http://dx.doi.org/10.1007/978-3-658-31739-3.

Felscher, Walter. Berechenbarkeit. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78019-6.

Döpp, Klemens. Berechenbarkeit und Unlösbarkeit. Wiesbaden: Vieweg+Teubner Verlag, 2000. http://dx.doi.org/10.1007/978-3-322-83091-3.

Börger, Egon. Berechenbarkeit Komplexität Logik. Wiesbaden: Vieweg+Teubner Verlag, 1992. http://dx.doi.org/10.1007/978-3-322-83227-6.

Sander, Peter, Wolffried Stucky, and Rudolf Herschel. Automaten Sprachen Berechenbarkeit. Edited by W. Stucky. Wiesbaden: Vieweg+Teubner Verlag, 1995. http://dx.doi.org/10.1007/978-3-322-84873-4.

Pietsch, Wolfgang, Jörg Wernecke, and Maximilian Ott, eds. Berechenbarkeit der Welt? Wiesbaden: Springer Fachmedien Wiesbaden, 2017. http://dx.doi.org/10.1007/978-3-658-12153-2.

Börger, Egon. Berechenbarkeit, Komplexität, Logik. Edited by Dieter Rödding. Wiesbaden: Vieweg+Teubner Verlag, 1986. http://dx.doi.org/10.1007/978-3-663-14213-3.

Börger, Egon. Berechenbarkeit, Komplexität, Logik. Edited by Dieter Rödding. Wiesbaden: Vieweg+Teubner Verlag, 1985. http://dx.doi.org/10.1007/978-3-322-87777-2.

Hotz, Günter. Über Berechenbarkeit fraktaler Strukturen. Mainz: Akademie der Wissenschaften und der Literatur, 1994.

Modis, Theodore. Die Berechenbarkeit der Zukunft. Basel: Birkhäuser Basel, 1994. http://dx.doi.org/10.1007/978-3-0348-6068-0.

Tieber, Michael. Die Berechenbarkeit des Übersetzens. Berlin, Heidelberg: Springer Berlin Heidelberg, 2023. http://dx.doi.org/10.1007/978-3-662-66713-2.

Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit über Nachfolgerbereichen. Bremen: Universitätsdruckerei Bremen, 2003.

Idealismus und Recht: Gerechtigkeit, Berechenbarkeit und Rhetorik. Wien: Springer, 2009.

Hossfeld, Friedel H. W. Komplexität und Berechenbarkeit: Über die Möglichkeiten und Grenzen des Computers. Wiesbaden: VS Verlag für Sozialwissenschaften, 2000. http://dx.doi.org/10.1007/978-3-663-14381-9.

TAMC 2010 (2010 Prague, Czech Republic). Theory and applications of models of computation: 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings. Berlin: Springer, 2010.

Deutsch, Michael. Einführung in die Grundlagen der Mathematik: Theorie der Berechenbarkeit mathematische Logik Mengenlehre. Bremen: Universitätsdruckerei Bremen, 1999.

Christel, Baier, ed. Theoretische Informatik: Eine Einfu hrung in Berechenbarkeit, Komplexita t und formale Sprachen mit 101 Beispielen. Mu nchen: Pearson Education Deutschland, 2003.

Bedeutende Theorien des 20. Jahrhunderts: Ein Vorstoss zu den Grenzen von Berechenbarkeit und Erkenntnis : Quantenmechanik, Relativitätstheorie, Gravitation, Kosmologie, Chaostheorie, Prädikatenlogik. München: Oldenbourg, 1999.

ILC 2007 (2007 Cape Town, South Africa). Infinity in logic and computation: International conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers. Berlin: Springer, 2009.

Conference on Computability in Europe (6th 2010 Ponta Delgada, Azores, Portugal). Programs, proofs, processes: 6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 ; proceedings. Berlin: Springer, 2010.

Hromkovic, Juraj. Sieben Wunder der Informatik: Eine Reise an die Grenze des Machbaren mit Aufgaben und Lo sungen. 2nd ed. Wiesbaden: Vieweg+Teubner, 2009.

COCOON '98 (1998 Taipei, Taiwan). Computing and combinatorics: 4th annual international conference, COCOON '98, Taipei, Taiwan, R.o.C., August 12-14, 1998 : proceedings. Berlin: Springer, 1998.

Petri-Netze. 2nd ed. Berlin: Springer, 2008.

Jie, Wang, and SpringerLink (Online service), eds. Computing and Combinatorics: 14th Annual International Conference, COCOON 2008 Dalian, China, June 27-29, 2008 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.

FGIT 2009 (2009 Cheju Island, Korea). Future generation information technology: First international conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings. Berlin: Springer, 2009.

Pour-El, Marian B. Computability in analysis and physics. Berlin: Springer Verlag, 1989.

Young-hoon, Lee, Kang Byeong-Ho, Ślęzak Dominik, and SpringerLink (Online service), eds. Future Generation Information Technology: Second International Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.

Blass, Andreas, Wolfgang Reisig, Yuri Gurevich, and Nachum Dershowitz. Fields of logic and computation: Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer, 2010.

Hein, James L. Discrete structures, logic, and computability. Boston: Jones and Bartlett Publishers, 1994.

Discrete structures, logic, and computability. Boston: Jones and Bartlett, 1995.

Hein, James L. Discrete structures, logic, and computability. Burlington, MA: World Headquarters/Jones & Bartlett Learning, 2016.

Discrete structures, logic, and computability. 3rd ed. Sudbury, Mass: Jones and Bartlett Publishers, 2010.

Discrete structures, logic, and computability. 2nd ed. Boston: Jones and Bartlett Publishers, 2002.

1953-, Rougemont Michel de, ed. Logique et fondements de l'informatique: Logique du 1er ordre, calculabilité et lambda-calcul. Paris: Hermès, 1993.

Berechenbarkeit. Springer Verlag, 1993.

Berechenbarkeit, Komplexität, Logik. Springer, 1986.

Zimmermann, Karl-Heinz. Berechenbarkeit: Berechnungsmodelle und Unentscheidbarkeit. Springer Fachmedien Wiesbaden GmbH, 2020.

Küppers, Bernd-Olaf. Die Berechenbarkeit der Welt. S. Hirzel Verlag, 2014. http://dx.doi.org/10.3813/9783777624747.

Berechenbarkeit: Rekursive und Programmierbare Funktionen. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993.

Felscher, Walter. Berechenbarkeit: Rekursive Und Programmierbare Funktionen. Springer-Verlag, 1993.

Gumm, Heinz-Peter, and Manfred Sommer. Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität. De Gruyter, Inc., 2019.

Gumm, Heinz Peter, and Manfred Sommer. Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität. de Gruyter GmbH, Walter, 2019.

Witt, Kurt-Ulrich, and Martin Eric Müller. Algorithmische Informationstheorie: Berechenbarkeit und Komplexität verstehen. Springer Spektrum, 2020.

Gumm, Heinz Peter, and Manfred Sommer. Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität. de Gruyter GmbH, Walter, 2019.

Berechenbarkeit Komplexität Logik: Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität. 3rd ed. Wiesbaden: Vieweg+Teubner Verlag, 1992.

Einführung in Automatentheorie, Formale Sprachen und Berechenbarkeit. Pearson Studium, 2011.

Automaten Sprachen Berechenbarkeit: Grundkurs Angewandte Informatik IV. 2nd ed. Wiesbaden: Vieweg+Teubner Verlag, 1995.

Herschel, Rudolf, Wolffried Stucky, and Peter Sander. Automaten Sprachen Berechenbarkeit: Grundkurs Angewandte Informatik IV. Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH, 1995.

Computability in Analysis and Physics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989.