|
|
Universal Artificial Intellegence Sequential Decisions Based on Algorithmic Probability /
|
Hutter, Marcus.
|
2005.
|
|
Software Engineering 1 Abstraction and Modelling /
|
Bjorner, Dines.
|
2006.
|
|
Abstract Computing Machines A Lambda Calculus Perspective /
|
Kluge, W.
|
2005.
|
|
Design and Analysis of Randomized Algorithms Introduction to Design Paradigms /
|
Hromkovic, Juraj.
|
2005.
|
|
Dissemination of Information in Communication Networks Broadcasting, Gossiping, Leader Election, and Fault-Tolerance /
|
Hromkovic, Juraj.
|
2005.
|
|
Parameterized Complexity Theory
|
Flum, Jörg.
|
2006.
|
|
A Practical Theory of Reactive Systems Incremental Modeling of Dynamic Behaviors /
|
Kurki-Suonio, Reino.
|
2005.
|
|
Software Engineering 2 Specification of Systems and Languages /
|
Bjorner, Dines.
|
2006.
|
|
Finite Model Theory and Its Applications
|
Grädel, Erich.
|
2007.
|
|
Modelling Distributed Systems
|
Fokkink, Wan.
|
2007.
|
|
Extremal Combinatorics With Applications in Computer Science /
|
Jukna, Stasys.
|
2011.
|
|
Extremal Combinatorics With Applications in Computer Science /
|
Jukna, Stasys.
|
2011.
|
|
Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks /
|
Koster, Arie.
|
2010.
|
|
Graphs and Algorithms in Communication Networks Studies in Broadband, Optical, Wireless and Ad Hoc Networks /
|
Koster, Arie.
|
2010.
|
|
Exact Exponential Algorithms
|
Fomin, Fedor V.
|
2010.
|
|
Exact Exponential Algorithms
|
Fomin, Fedor V.
|
2010.
|
|
Introduction to Concurrency Theory Transition Systems and CCS /
|
Gorrieri, Roberto.
|
2015.
|
|
Introduction to Concurrency Theory Transition Systems and CCS /
|
Gorrieri, Roberto.
|
2015.
|
|
Petri Net Synthesis
|
Badouel, Eric.
|
2015.
|
|
Petri Net Synthesis
|
Badouel, Eric.
|
2015.
|
|
An Introduction to Online Computation Determinism, Randomization, Advice /
|
Komm, Dennis.
|
2016.
|
|
An Introduction to Online Computation Determinism, Randomization, Advice /
|
Komm, Dennis.
|
2016.
|
|
Decision Procedures An Algorithmic Point of View /
|
Kroening, Daniel.
|
2016.
|
|
Decision Procedures An Algorithmic Point of View /
|
Kroening, Daniel.
|
2016.
|
|
Models of Computation
|
Bruni, Roberto.
|
2017.
|
|
Models of Computation
|
Bruni, Roberto.
|
2017.
|
|
Simulation Algorithms for Computational Systems Biology
|
Marchetti, Luca.
|
2017.
|
|
Simulation Algorithms for Computational Systems Biology
|
Marchetti, Luca.
|
2017.
|
|
Complexity Theory and Cryptology An Introduction to Cryptocomplexity /
|
Rothe, Jörg.
|
2005.
|
|
texts of international treaties and conventions in the preparation of which Australia participated but to which Australia did not become a party during 1985.
|
INTERNATIONAL Treaties and Conventions.
|
1987.
|
|
The texts of Keats's poems.
|
Stillinger, Jack.
|
1974.
|
|
The texts of King Lear and their origins /
|
Blayney, Peter W. M., 1944-
|
1982-
|
|
Texts of power emerging disciplines in colonial Bengal /
|
|
c1995.
|
|
Dynamics of structures /
|
Argyris, J. H. (John H.), 1916-
|
1991.
|
|
Texts on history compiled with translation and commentary /
|
|
1900.
|
|
Texts on islam.
|
|
[19--].
|
|
Texts on method/
|
Marx, Karl, 1818-1883.
|
1975.
|
|
أخبار الصوفية و الزهاد من تاريخ بغداد /
|
بلسم بصري عزت
|
2004.
|
|
Texts, tasks, and theories
|
|
2007.
|
|
Texts, Textual Acts and the History of Science
|
|
2015.
|
|
TEXTS THROUGH A COMPARATIVE LENS:
THE ARABIAN NIGHTS AND JAMES ELROY
FLECKER’S HASSAN /
|
ALQUDMAN, FATIMA SALAMEH ELWEIFE
|
|
|
Texts through history /
|
Wills, Adele, 1963-
|
2004.
|
|
Kontrastive Textologie : Untersuchungen zur deutschen und franzoesischen Sprach- und Literaturwissenschaft /
|
Adamzik, Kirsten
|
c2001.
|
|
Textsorten, Handlungsmuster, Oberflèachen : linguistische Typologien der Kommunikation /
|
Habscheid, Stephan.
|
c2011.
|
|
Textsorten im Deutschen : linguistische Analysen aus sprachdidaktischer Sicht /
|
Fandrych, Christian.
|
[2011], أ2011.
|
|
Textsorten und kulturelle Kompetenz : interdisziplinèare Beitrèage zur Textwissenschaft = Genre and cultural competence : an interdisciplinary approach to the study of text /
|
|
2010.
|
|
Das Textsortenspektrum im fachinternen Wissenstransfer Untersuchung anhand von Fachzeitschriften der Medizin /
|
Weinreich, Cornelia.
|
2010.
|
|
Textstilistik des Deutschen /
|
Sandig, Barbara.
|
c2006.
|
|
The inveterate dreamer essays and conversations on Jewish culture /
|
Stavans, Ilan.
|
c2001.
|
|
Texts & contexts of the oldest Runic inscriptions
|
Looijenga, Tineke.
|
c2003.
|
|
Empathy, form, and space : problems in German aesthetics, 1873-1893 /
|
|
1994.
|
|
Empathy, form, and space : problems in German aesthetics, 1873-1893 /
|
|
1994.
|
|
Ordonnance for the five kinds of columns after the method of the ancients /
|
Perrault, Claude, 1613-1688.
|
1993.
|
|
History of the art of antiquity /
|
Winckelmann, Johann Joachim, 1717-1768.
|
2006.
|
|
Italian Renaissance painting according to genres /
|
Burckhardt, Jacob, 1818-1897.
|
c2005.
|
|
Making up the rococo : Franًcois Boucher and his critics /
|
Hyde, Melissa Lee.
|
c2006.
|
|
Style in the technical and tectonic arts, or, Practical aesthetics /
|
Semper, Gottfried, 1803- 1879.
|
c2004.
|
|
Style in the technical and tectonic arts, or, Practical aesthetics /
|
Semper, Gottfried, 1803- 1879.
|
c2004.
|
|
The victory of the new building style /
|
Behrendt, Walter Curt, 1884-1945.
|
2000.
|
|
In what style should we build the German debate on architectural style /
|
|
c1992.
|
|
Style-architecture and building-art : transformations of architecture in the nineteenth century and its present condition /
|
Muthesius, Hermann, 1861-1927.
|
1994.
|
|
Modern architecture : a guidebook for his students to this field of art /
|
Wagner, Otto, 1841-1918.
|
1988.
|
|
Modern architecture : a guidebook for his students to this field of art /
|
Wagner, Otto, 1841-1918.
|
1988.
|
|
The ruins of the most beautiful monuments of Greece /
|
Le Roy, David, 1724?-1803.
|
c2004.
|
|
The ruins of the most beautiful monuments of Greece /
|
Le Roy, David, 1724?-1803.
|
c2004.
|
|
The origins of Baroque art in Rome /
|
Riegl, Alois, 1858-1905.
|
c2010.
|
|
The origins of Baroque art in Rome /
|
Riegl, Alois, 1858-1905.
|
c2010.
|
|
Texts /
|
Heissenbèuttel, Helmut, 1921-
|
1977.
|
|
Numerical and Symbolic Scientific Computing Progress and Prospects /
|
Langer, Ulrich.
|
2012.
|
|
Numerical and Symbolic Scientific Computing Progress and Prospects /
|
Langer, Ulrich.
|
2012.
|
|
Loewy Decomposition of Linear Differential Equations
|
Schwarz, Fritz.
|
2012.
|
|
Loewy Decomposition of Linear Differential Equations
|
Schwarz, Fritz.
|
2012.
|
|
Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions /
|
Schneider, Carsten.
|
2013.
|
|
Computer Algebra in Quantum Field Theory Integration, Summation and Special Functions /
|
Schneider, Carsten.
|
2013.
|
|
Correct Software in Web Applications and Web Services
|
|
2015.
|
|
Correct Software in Web Applications and Web Services
|
|
2015.
|
|
Victorian poetry in context /
|
Miles, Rosie.
|
2013.
|
|
Medieval English romance in context
|
Ashton, Gail, 1957-
|
2010.
|
|
Medieval English romance in context
|
Ashton, Gail, 1957-
|
2010.
|
|
Postcolonial literatures in context
|
Mullaney, Julie.
|
c2010.
|
|
Texts and contexts : a contemporary approach to college writing /
|
Robinson, William S., 1932-
|
c1991.
|
|
Texts and contexts : a contemporary approach to college writing /
|
Robinson, William S., 1932-
|
c2006.
|
|
Texts and contexts : an introduction to literature and language study /
|
Beard, Adrian, 1951-
|
2001.
|
|
Postcolonial literatures in context
|
Mullaney, Julie.
|
c2010.
|
|
Princeton readings in Islamist thought : texts and contexts from al-Banna to Bin Laden /
|
|
�2009.
|
|
Texts and contexts in ancient and medieval science : studies on the occasion of John E. Murdoch's seventieth birthday /
|
|
1997.
|
|
Texts & contexts of the oldest Runic inscriptions
|
Looijenga, Tineke.
|
c2003.
|
|
The inveterate dreamer essays and conversations on Jewish culture /
|
Stavans, Ilan.
|
c2001.
|
|
Ad fontes original manuscripts and their significance for studying early Christianity : selected essays /
|
Kraus, Thomas J., 1965-
|
2007.
|
|
Ad fontes original manuscripts and their significance for studying early Christianity : selected essays /
|
Kraus, Thomas J., 1965-
|
2007.
|
|
RELATIONAL DATABASE TECHNOLOGY/
|
ALAGIC,SUAD
|
1986
|
|
Adaptive information processing : an introductory survey /
|
Sampson, Jeffrey R., 1942-
|
1976.
|
|
Chess skill in man and machine /
|
|
c1978.
|
|
Design of digital computers : an introduction /
|
Gschwind , Hans W.
|
1975.
|
|
The origins of digital computers : selected papers /
|
Randell, Brian, 1936-
|
1975.
|
|
Selected writings on computing : a personal perspective /
|
Dijkstra, Edsger Wybe.
|
c1982.
|
|
Compiler construction/
|
Goos, Gerhard
|
1984.
|
|
Programming methodology : a collection of articles by members of IFIP WG2.3 /
|
|
c1978.
|
|
Programming in Modula-2 /
|
Wirth, Niklaus.
|
1985.
|
|
A guide to Modula2 /
|
Christian, Kaare, 1954-
|
c1986.
|