Skip to contents Ziegenbalg, Jochen [Author]; Ziegenbalg, Oliver [Author]; Ziegenbalg, Bernd [Author] ; Springer Fachmedien Wiesbaden Algorithmen von Hammurapi bis Gödel : mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima - [4., überarbeitete und erweiterte Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Spektrum, [2016] Nipkow, Tobias [Author]; Klein, Gerwin [Author] Concrete semantics : with Isabelle/HOL Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham; Heidelberg; New York: Springer, [2014] Stuart, Tom [Author] Understanding computation : [from simple machines to impossible programs] - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Beijing; Köln [u.a.]: O'Reilly, 2013 Lorenz, Gernot [Author] Funktionale Modellierung und Rekursion : Praxis - Didaktik - Theorie Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg Verlag, [2015] Wende, Christian [Author] Language family engineering : with features and role-based composition Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2012 Sestoft, Peter [Author] Programming language concepts Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2012 Published in: Undergraduate topics in computer science Hausser, Roland [Author] Computational linguistics and talking robots : processing content in database semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Drescher, Conrad [Author] Action Logic Programs : How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2010 Stepanov, Alexander A. [Author]; McJones, Paul [Author] Elements of programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Upper Saddle River, NJ; Munich [u.a.]: Addison-Wesley, 2009 Bjoerner, Dines [Editor]; Bjørner, Dines [Other]; Henson, Martin C. [Other] Logics of specification languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2008 Published in: Monographs in theoretical computer science : an EATCS series Nielson, Hanne Riis [Author]; Nielson, Flemming [Author] Semantics with applications : an appetizer Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2007 Published in: Undergraduate topics in computer science Voigtländer, Janis [Author]; Johann, Patricia [Author] Selective strictness and paramentricity in structural operational semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Techn. Univ., Fakultät Informatik, 2006 Published in: Technische Universität Dresden: Technische Berichte ; 2006,02 Pierce, Benjamin C. [Editor] Advanced topics in types and programming languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 2005 Stahl, Christian [Author] ; Humboldt-Universität zu Berlin Institut für Informatik, Humboldt-Universität zu Berlin A petri net semantics for BPEL Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Inst. für Informatik, 2005 Published in: Informatik-Berichte ; 188 Blackburn, Patrick [Author]; Bos, Johan [Author] Representation and inference for natural language : a first course in computational semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stanford, Calif.: Center for the Study of Language and Information, 2005 Published in: CSLI studies in computational linguistics Jürgensen, Claus [Author] Categorical semantics and composition of tree transducers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2003 Pierce, Benjamin C. [Author] Types and programming languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Massachusetts; London, England: The MIT Press, [2002] Eirund, Helmut [Author]; Müller, Bernd [Author]; Schreiber, Gerlinde [Author] Formale Beschreibungsverfahren der Informatik : ein Arbeitsbuch für die Praxis - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig [u.a.]: Teubner, 2000 Published in: Informatik & Praxis Böszörményi, László [Other]; Wirth, Niklaus [Other] The school of Niklaus Wirth : the art of simplicity Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: dpunkt-Verl. [u.a.], 2000 ; San Francisco: Morgan Kaufmann, 2000 Walther, Christoph [Author] Semantik und Programmverifikation - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2001 Published in: Teubner-Texte zur Informatik ; 34
Ziegenbalg, Jochen [Author]; Ziegenbalg, Oliver [Author]; Ziegenbalg, Bernd [Author] ; Springer Fachmedien Wiesbaden Algorithmen von Hammurapi bis Gödel : mit Beispielen aus den Computeralgebrasystemen Mathematica und Maxima - [4., überarbeitete und erweiterte Auflage] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiesbaden: Springer Spektrum, [2016]
Nipkow, Tobias [Author]; Klein, Gerwin [Author] Concrete semantics : with Isabelle/HOL Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham; Heidelberg; New York: Springer, [2014]
Stuart, Tom [Author] Understanding computation : [from simple machines to impossible programs] - [1. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Beijing; Köln [u.a.]: O'Reilly, 2013
Lorenz, Gernot [Author] Funktionale Modellierung und Rekursion : Praxis - Didaktik - Theorie Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München: Oldenbourg Verlag, [2015]
Wende, Christian [Author] Language family engineering : with features and role-based composition Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2012
Sestoft, Peter [Author] Programming language concepts Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London; Heidelberg [u.a.]: Springer, 2012 Published in: Undergraduate topics in computer science
Hausser, Roland [Author] Computational linguistics and talking robots : processing content in database semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011
Drescher, Conrad [Author] Action Logic Programs : How to Specify Strategic Behavior in Dynamic Domains Using Logical Rules Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2010
Stepanov, Alexander A. [Author]; McJones, Paul [Author] Elements of programming Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Upper Saddle River, NJ; Munich [u.a.]: Addison-Wesley, 2009
Bjoerner, Dines [Editor]; Bjørner, Dines [Other]; Henson, Martin C. [Other] Logics of specification languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg: Springer, 2008 Published in: Monographs in theoretical computer science : an EATCS series
Nielson, Hanne Riis [Author]; Nielson, Flemming [Author] Semantics with applications : an appetizer Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. London: Springer, 2007 Published in: Undergraduate topics in computer science
Voigtländer, Janis [Author]; Johann, Patricia [Author] Selective strictness and paramentricity in structural operational semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Techn. Univ., Fakultät Informatik, 2006 Published in: Technische Universität Dresden: Technische Berichte ; 2006,02
Pierce, Benjamin C. [Editor] Advanced topics in types and programming languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Mass. [u.a.]: MIT Press, 2005
Stahl, Christian [Author] ; Humboldt-Universität zu Berlin Institut für Informatik, Humboldt-Universität zu Berlin A petri net semantics for BPEL Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Inst. für Informatik, 2005 Published in: Informatik-Berichte ; 188
Blackburn, Patrick [Author]; Bos, Johan [Author] Representation and inference for natural language : a first course in computational semantics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stanford, Calif.: Center for the Study of Language and Information, 2005 Published in: CSLI studies in computational linguistics
Jürgensen, Claus [Author] Categorical semantics and composition of tree transducers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2003
Pierce, Benjamin C. [Author] Types and programming languages Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge, Massachusetts; London, England: The MIT Press, [2002]
Eirund, Helmut [Author]; Müller, Bernd [Author]; Schreiber, Gerlinde [Author] Formale Beschreibungsverfahren der Informatik : ein Arbeitsbuch für die Praxis - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig [u.a.]: Teubner, 2000 Published in: Informatik & Praxis
Böszörményi, László [Other]; Wirth, Niklaus [Other] The school of Niklaus Wirth : the art of simplicity Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Heidelberg [u.a.]: dpunkt-Verl. [u.a.], 2000 ; San Francisco: Morgan Kaufmann, 2000
Walther, Christoph [Author] Semantik und Programmverifikation - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stuttgart; Leipzig; Wiesbaden: Teubner, 2001 Published in: Teubner-Texte zur Informatik ; 34
> Availability Skip to next facet Open Shelves (21) Wert ausschließen Stack Collection (132) Wert ausschließen Ask for availability (8) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (132) Wert ausschließen Central Library (47) Wert ausschließen TU Dresden holdings (5) Wert ausschließen Branch Library of Medicine (2) Wert ausschließen Branch Library of Educationen (1) Wert ausschließen Branch Library of Forestry (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (3) Wert ausschließen Attribution (CC BY) (2) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (1) Wert ausschließen Attribution - Share Alike (CC BY-SA) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (12) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (29) Wert ausschließen Show more show less
> Language Skip to next facet English (140) Wert ausschließen German (49) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (174) Wert ausschließen Mathmatics (64) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (10) Wert ausschließen Economics (7) Wert ausschließen General (2) Wert ausschließen Philosophy (2) Wert ausschließen Technology (2) Wert ausschließen Show more show less
> Creator Skip to next facet Ehrig, Hartmut (6) Wert ausschließen Melton, Austin (6) Wert ausschließen Brookes, Stephen (5) Wert ausschließen Herre, Heinrich (5) Wert ausschließen Wagner, Gerd (5) Wert ausschließen Rudolph, Sebastian (4) Wert ausschließen Technische Universität Dresden (4) Wert ausschließen Vogler, Heiko (4) Wert ausschließen Aßmann, Uwe (3) Wert ausschließen Bakker, Jacobus W. de (3) Wert ausschließen Bochmann, Gregor von (3) Wert ausschließen Courcoubetis, Costas (3) Wert ausschließen Drescher, Conrad (3) Wert ausschließen Itō, Takayasū (3) Wert ausschließen Loeckx, Jacques (3) Wert ausschließen Mahr, Bernd (3) Wert ausschließen Main, Michael (3) Wert ausschließen Mislove, Michael (3) Wert ausschließen Olderog, Ernst-Rüdiger (3) Wert ausschließen Schmidt, David (3) Wert ausschließen Wende, Christian (3) Wert ausschließen Ziegenbalg, Jochen (3) Wert ausschließen Apt, Krzysztof R. (2) Wert ausschließen Bauer, Friedrich L. (2) Wert ausschließen Bird, Richard (2) Wert ausschließen Blum, Edward K. (2) Wert ausschließen Brookes, Stephen D. (2) Wert ausschließen CAV 4 1992 Montréal (2) Wert ausschließen CAV 5 1993 Elounda (2) Wert ausschließen COMPASS 4 1992 Caldas de Malavella (2) Wert ausschließen CONCUR 3 1992 Stony Brook, NY (2) Wert ausschließen Cleaveland, Walter R. (2) Wert ausschließen Dijkstra, Edsger W. (2) Wert ausschließen Falakh, Faiq Miftakhul (2) Wert ausschließen Gebhardt, Kilian (2) Wert ausschließen Gunter, Carl A. (2) Wert ausschließen Götz, Sebastian (2) Wert ausschließen Jürgensen, Claus (2) Wert ausschließen Kartalopoulos, Stamatios V. (2) Wert ausschließen Kern-Isberner, Gabriele (2) Wert ausschließen Kuhlmann, Marco (2) Wert ausschließen Lightfoot, David (2) Wert ausschließen Lorenz, Gernot (2) Wert ausschließen Manna, Zohar (2) Wert ausschließen Pierce, Benjamin C. (2) Wert ausschließen Pitts, Andrew M. (2) Wert ausschließen Pukhkaiev, Dmytro (2) Wert ausschließen REX Workshop 1992 Beekbergen (2) Wert ausschließen Shields, Michael W. (2) Wert ausschließen Struckmann, Werner (2) Wert ausschließen TACS 1 1991 Sendai (2) Wert ausschließen Walther, Christoph (2) Wert ausschließen Winskel, Glynn (2) Wert ausschließen Workshop on Specification of Abstract Data Types 9 1992 Caldas de Malavella (2) Wert ausschließen Wössner, Hans (2) Wert ausschließen Ziegenbalg, Bernd (2) Wert ausschließen Ziegenbalg, Oliver (2) Wert ausschließen Aceto, Luca (1) Wert ausschließen Advanced Study Institute on Verification of Digital and Hybrid Systems 1997 Antalya (1) Wert ausschließen Alber, Klaus (1) Wert ausschließen Allison, Lloyd (1) Wert ausschließen Amadio, Roberto M. (1) Wert ausschließen Andrews, Derek J. (1) Wert ausschließen Andrews, Derek John (1) Wert ausschließen Arbib, Michael A. (1) Wert ausschließen Astesiano, Egidio (1) Wert ausschließen Atkinson, Colin (1) Wert ausschließen Backhouse, Roland C. (1) Wert ausschließen Bakker, J.W.de (1) Wert ausschließen Barbosa, Valmir C. (1) Wert ausschließen Becker, Klaus P. (1) Wert ausschließen Bergstra, J. A. (1) Wert ausschließen Bergstra, Jan A. (1) Wert ausschließen Best, Eike (1) Wert ausschließen Bjoerner, Dines (1) Wert ausschließen Bjørner, Dines (1) Wert ausschließen Blackburn, Patrick (1) Wert ausschließen Blum, E.K (1) Wert ausschließen Bohlmann, Karsten (1) Wert ausschließen Bos, Johan (1) Wert ausschließen Bottaci, Leonardo (1) Wert ausschließen Bowen, Jonathan P. (1) Wert ausschließen Bradfield, Julian (1) Wert ausschließen Bradfield, Julian Charles (1) Wert ausschließen Brainerd, Barron (1) Wert ausschließen Breu, Michael (1) Wert ausschließen Breugel, Franck van (1) Wert ausschließen British Computer Society Specialist Group in Formal Aspects of Computing Science (1) Wert ausschließen Bruin, Arie de (1) Wert ausschließen Böszörményi, László (1) Wert ausschließen Chomsky, Noam (1) Wert ausschließen Cleaveland, Walter Rance (1) Wert ausschließen Conference on the Mathematical Foundations of Programming Semantics 1985 Manhattan, Kan (1) Wert ausschließen Conrad, Stefan (1) Wert ausschließen Curien, Pierre-Louis (1) Wert ausschließen Davies, Jim (1) Wert ausschließen Dembiński, Piotr (1) Wert ausschließen Dershowitz, Nachum (1) Wert ausschließen Donahue, James E. (1) Wert ausschließen Donahue, James Edward (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (186) Wert ausschließen Lizenzfreie Online-Ressourcen (7) Wert ausschließen Qucosa (7) Wert ausschließen Diss online (4) Wert ausschließen Show more show less