Search Results for Theory of Computation.

Theory of Computation

2024-09-20T01:39:50Z

Yazar Kozen, Dexter C. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Elements of Computation Theory

2024-09-20T01:39:50Z

Yazar Singh, Arindama. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Theory of Fuzzy Computation

2024-09-20T01:39:50Z

Yazar Syropoulos, Apostolos. author. SpringerLink (Online service)
Yer Numarası QA71 -90
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages
Format: Electronic Resources

Introduction to the theory of computation

2024-09-20T01:39:50Z

Yazar Sipser, Michael.
Yer Numarası QA267 .S56 2006
Format: Books

Introduction to the theory of computation

2024-09-20T01:39:50Z

Yazar Sipser, Michael.
Yer Numarası QA267 .S56 1997
Format: Books

Elements of the theory of computation

2024-09-20T01:39:50Z

Yazar Lewis, Harry R. Papadimitriou, Christos H.
Yer Numarası QA267 .L49 1998
Format: Books

Introduction to the theory of neural computation

2024-09-20T01:39:50Z

Yazar Hertz, John. Krogh, Anders. Palmer, Richard G.
Yer Numarası QA76.5 .H475 1991
Format: Books

The Language of Design Theory and Computation

2024-09-20T01:39:50Z

Yazar Dong, Andy An-Si. author. SpringerLink (Online service)
Yer Numarası TA345 -345.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Models of computation : an introduction to computability theory

2024-09-20T01:39:50Z

Yazar Fernâandez, Maribel.
Yer Numarası QA267 .F47 2009
Format: Books

A Recursive Introduction to the Theory of Computation

2024-09-20T01:39:50Z

Yazar Smith, Carl. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

A recursive introduction to the theory of computation

2024-09-20T01:39:50Z

Yazar Smith, Carl H.
Yer Numarası QA76.6 .S615 1994
Format: Books

Oscillation Theory, Computation, and Methods of Compensated Compactness

2024-09-20T01:39:50Z

Yazar Dafermos, C. editor. Ericksen, J.L. editor. Kinderlehrer, D. editor. Slemrod, M. editor. SpringerLink (Online service)
Yer Numarası QC19.2 -20.85
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Integrated Matrix Analysis of Structures Theory and Computation

2024-09-20T01:39:50Z

Yazar Paz, Mario. author. Leigh, William. author. SpringerLink (Online service)
Yer Numarası TA1 -2040
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

The Pillars of Computation Theory State, Encoding, Nondeterminism

2024-09-20T01:39:50Z

Yazar Rosenberg, Arnold L. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages
Format: Electronic Resources

Models of Computation An Introduction to Computability Theory

2024-09-20T01:39:50Z

Yazar Fernandez, Maribel. author. (orcid)0000-0001-8325-5815 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Theory of Evolutionary Computation Recent Developments in Discrete Optimization

2024-09-20T01:39:50Z

Yazar Doerr, Benjamin. editor. Neumann, Frank. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theory and Computation of Complex Tensors and its Applications

2024-09-20T01:39:50Z

Yazar Che, Maolin. author. Wei, Yimin. author. SpringerLink (Online service)
Yer Numarası QA184 -205
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Dynamics of Charged Particulate Systems Modeling, Theory and Computation

2024-09-20T01:39:50Z

Yazar Zohdi, Tarek I. author. SpringerLink (Online service)
Yer Numarası TA349 -359
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Dynamics and Control of Trajectory Tubes Theory and Computation

2024-09-20T01:39:50Z

Yazar Kurzhanski, Alexander B. author. Varaiya, Pravin. author. SpringerLink (Online service)
Yer Numarası QA402.5 -402.6
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2014 Packages
Format: Electronic Resources

Reconfigurable computing : the theory and practice of FPGA-based computation

2024-09-20T01:39:50Z

Yazar Hauck, Scott. DeHon, André.
Yer Numarası QA76.9.A3 R43 2008
Format: Books

Control of Magnetotransport in Quantum Billiards Theory, Computation and Applications

2024-09-20T01:39:50Z

Yazar Morfonios, Christian V. author. Schmelcher, Peter. author. SpringerLink (Online service)
Yer Numarası QC610.9 -611.8
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2017 Packages
Format: Electronic Resources

Relativistic Quantum Theory of Atoms and Molecules Theory and Computation

2024-09-20T01:39:50Z

Yazar Grant, Ian P. author. SpringerLink (Online service)
Yer Numarası QC173.96 -174.52
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2007 Packages
Format: Electronic Resources

Electromagnetic Properties of Multiphase Dielectrics A Primer on Modeling, Theory and Computation

2024-09-20T01:39:50Z

Yazar Zohdi, Tarek I. author. SpringerLink (Online service)
Yer Numarası TA349 -359
Elektronik Erişim Full Text Available From Springer Nature Engineering 2012 Packages
Format: Electronic Resources

Mechanics: From Theory to Computation Essays in Honor of Juan-Carlos Simo

2024-09-20T01:39:50Z

Yazar Science, Journal of Nonlinear. author. SpringerLink (Online service)
Yer Numarası QC120 -168.85
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format: Electronic Resources

Quantum Information, Computation and Cryptography An Introductory Survey of Theory, Technology and Experiments

2024-09-20T01:39:50Z

Yazar Benatti, Fabio. editor. Fannes, Mark. editor. Floreanini, Roberto. editor. Petritis, Dimitri. editor. SpringerLink (Online service)
Yer Numarası QC173.96 -174.52
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy 2010 Packages
Format: Electronic Resources

The Practice of Econometric Theory An Examination of the Characteristics of Econometric Computation

2024-09-20T01:39:50Z

Yazar Renfro, Charles G. author. SpringerLink (Online service)
Yer Numarası HB139 -141
Elektronik Erişim Full Text Available From Springer Nature Business and Economics 2009 Packages
Format: Electronic Resources

Energy Limits in Computation A Review of Landauer's Principle, Theory and Experiments

2024-09-20T01:39:50Z

Yazar Lent, Craig S. editor. Orlov, Alexei O. editor. Porod, Wolfgang. editor. Snider, Gregory L. editor. SpringerLink (Online service)
Yer Numarası TK7867 -7867.5
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings

2024-09-20T01:39:50Z

Yazar Csirik, Janos. editor. Gecseg, Ferenc. editor. Demetrovics, Janos. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings

2024-09-20T01:39:50Z

Yazar Budach, Lothar. editor. Bukharajev, Rais G. editor. Lupanov, Oleg B. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

In Search of Elegance in the Theory and Practice of Computation Essays dedicated to Peter Buneman

2024-09-20T01:39:50Z

Yazar Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.
Yer Numarası QA76.9 .D3
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Fundamentals of Computation Theory Proceedings of the International Conference FCT 1985, Cottbus, GDR, September 9-13, 1985

2024-09-20T01:39:50Z

Yazar Budach, Lothar. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundations of Computation Theory Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983

2024-09-20T01:39:50Z

Yazar Karpinski, M. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory Proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-28, 1981

2024-09-20T01:39:50Z

Yazar Gecseg, F. editor. SpringerLink (Online service)
Yer Numarası QA1 -939
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings

2024-09-20T01:39:50Z

Yazar Freivalds, Rusins. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings

2024-09-20T01:39:50Z

Yazar Reichel, Horst. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009, Proceedings

2024-09-20T01:39:50Z

Yazar Kutylowski, Miroslaw. editor. Gebala, Maciej. editor. Charatonik, Witold. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings

2024-09-20T01:39:50Z

Fundamentals of Computation Theory 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings

2024-09-20T01:39:50Z

Yazar Lingas, Andrzej. editor. Nilsson, Bengt J. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings

2024-09-20T01:39:50Z

Yazar Liskiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings

2024-09-20T01:39:50Z

Yazar Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings

2024-09-20T01:39:50Z

Yazar Esik, Zoltan. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .S88
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-28, 2011, Proceedings

2024-09-20T01:39:50Z

Yazar Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings

2024-09-20T01:39:50Z

Yazar Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Finite Fields: Theory and Computation The Meeting Point of Number Theory, Computer Science, Coding Theory and Cryptography

2024-09-20T01:39:50Z

Yazar Shparlinski, Igor. author. SpringerLink (Online service)
Yer Numarası QA247 -247.45
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings

2024-09-20T01:39:50Z

Yazar Chlebus, Bogdan S. editor. Czaja, Ludwik. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings

2024-09-20T01:39:50Z

Yazar Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Theory and Practice of Computation Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings

2024-09-20T01:39:50Z

Yazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2012 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, Proceedings

2024-09-20T01:39:50Z

Yazar Gąsieniec, Leszek. editor. (orcid)0000-0003-1809-9814 Wolter, Frank. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings

2024-09-20T01:39:50Z

Yazar Bampis, Evripidis. editor. (orcid)0000-0002-4498-3040 Pagourtzis, Aris. editor. (orcid)0000-0002-6220-3722 SpringerLink (Online service)
Yer Numarası QA9.58
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings

2024-09-20T01:39:50Z

Yazar Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Fundamentals of Computation Theory 12th International Symposium, FCT'99 Iasi, Romania, August 30 - September 3, 1999 Proceedings

2024-09-20T01:39:50Z

Yazar Ciobanu, Gabriel. editor. Paun, Gheorghe. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Fundamentals of Computation Theory Proceedings of the 1977 International FCT-Conference. Poznan - Kornik, Poland, September 19 - 23, 1977

2024-09-20T01:39:50Z

Yazar Karpinski, Marek. editor. SpringerLink (Online service)
Yer Numarası QA8.9 -10.3
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 Part 2: Computation and Proof Theory

2024-09-20T01:39:50Z

Yazar Richter, M. M. editor. Börger, E. editor. Oberschelp, W. editor. Schinzel, B. editor. Thomas, W. editor.
Yer Numarası QA8.9 -10.3
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2024-09-20T01:39:50Z

Yazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Category Theory Applied to Computation and Control Proceedings of the First International Symposium, San Francisco, February 25-26, 1974

2024-09-20T01:39:50Z

Yazar Manes, E.G. editor. SpringerLink (Online service)
Yer Numarası QA611 -614.97
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings

2024-09-20T01:39:50Z

Yazar Cai, Jin-Yi. editor. Cooper, Barry S. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings

2024-09-20T01:39:50Z

Domain Theory, Logic and Computation Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

2024-09-20T01:39:50Z

Yazar Guo-Qiang Zhang. editor. Lawson, J. editor. Ying Ming Liu. editor. Luo, M.K. editor. SpringerLink (Online service)
Yer Numarası BC1 -199
Elektronik Erişim Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages
Format: Electronic Resources

Theory of Quantum Computation, Communication and Cryptography 4th Workshop, TQC 2009, Waterloo, Canada, May 11-13. Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .U83
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings

2024-09-20T01:39:50Z

Yazar Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

2024-09-20T01:39:50Z

Yazar Chen, Jianer. editor. Cooper, Barry S. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings

2024-09-20T01:39:50Z

Yazar Agrawal, Manindra. editor. Cooper, Barry S. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2012 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 16th International Conference, TAMC 2020, Changsha, China, October 18-20, 2020, Proceedings

2024-09-20T01:39:50Z

Yazar Chen, Jianer. editor. Feng, Qilong. editor. Xu, Jinhui. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

2024-09-20T01:39:50Z

Yazar Cai, Jin-Yi. editor. Cooper, Barry S. editor. Zhu, Hong. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedings

2024-09-20T01:39:50Z

Yazar Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

2024-09-20T01:39:50Z

Yazar Gopal, T.V. editor. Jäger, Gerhard. editor. Steila, Silvia. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings

2024-09-20T01:39:50Z

Yazar Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings

2024-09-20T01:39:50Z

Yazar Agrawal, Manindra. editor. Du, Ding-Zhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

2024-09-20T01:39:50Z

Yazar Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings

2024-09-20T01:39:50Z

Yazar Kratochvil, Jan. editor. Li, Angsheng. editor. Fiala, Jiri. editor. Kolman, Petr. editor. SpringerLink (Online service)
Yer Numarası QA76.6 -76.66
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

Wave Motion: Theory, Modelling, and Computation Proceedings of a Conference in Honor of the 60th Birthday of Peter D. Lax

2024-09-20T01:39:50Z

Yazar Chorin, AlexandreJ. editor. Majda, Andrew J. editor. SpringerLink (Online service)
Yer Numarası QC19.2 -20.85
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Theory of Quantum Computation, Communication and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar van Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

2024-09-20T01:39:50Z

Yazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Well-Quasi Orders in Computation, Logic, Language and Reasoning A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory

2024-09-20T01:39:50Z

Yazar Schuster, Peter M. editor. Seisenberger, Monika. editor. Weiermann, Andreas. editor. SpringerLink (Online service)
Yer Numarası BC1 -199
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Nonlinear Hyperbolic Equations - Theory, Computation Methods, and Applications Proceedings of the Second International Conference on Nonlinear Hyperbolic Problems, Aachen, FRG, March 14 to 18, 1988

2024-09-20T01:39:50Z

Yazar Ballmann, Josef. editor. Jeltsch, Rolf. editor. SpringerLink (Online service)
Yer Numarası TA357 -359
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures Second International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

2024-09-20T01:39:50Z

Yazar Thomas, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

2024-09-20T01:39:50Z

Yazar Nivat, Maurice. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

2024-09-20T01:39:50Z

Yazar Pfenning, Frank. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-09-20T01:39:50Z

Yazar Muscholl, Anca. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2024-09-20T01:39:50Z

Yazar Esparza, Javier. editor. Murawski, Andrzej S. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002, Proceedings

2024-09-20T01:39:50Z

Yazar Nielsen, Mogens. editor. Engberg, Uffe. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

2024-09-20T01:39:50Z

Yazar Honsell, Furio. editor. Miculan, Marino. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundation of Software Science and Computation Structures Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

2024-09-20T01:39:50Z

Yazar Tiuryn, Jerzy. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-09-20T01:39:50Z

Yazar Pitts, Andrew. editor. (orcid)0000-0001-7775-3471 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings

2024-09-20T01:39:50Z

Yazar Goubault-Larrecq, Jean. editor. (orcid)0000-0001-5879-3304 König, Barbara. editor. (orcid)0000-0002-4193-2889 SpringerLink (Online service)
Yer Numarası QA8.9 -10.3
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2020 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings

2024-09-20T01:39:50Z

Yazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2024-09-20T01:39:50Z

Yazar Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings

2024-09-20T01:39:50Z

Yazar Walukiewicz, Igor. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

2024-09-20T01:39:50Z

Yazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

2024-09-20T01:39:50Z

Yazar Kiefer, Stefan. editor. Tasson, Christine. editor. SpringerLink (Online service)
Yer Numarası QA267 -268.5
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

The Computational Complexity of Equivalence and Isomorphism Problems

2024-09-20T01:39:50Z

Yazar Thierauf, Thomas. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computational Algorithms for Fingerprint Recognition

2024-09-20T01:39:50Z

Yazar Bhanu, Bir. author. Tan, Xuejun. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Analysis and Correctness of Algebraic Graph and Model Transformations

2024-09-20T01:39:50Z

Yazar Golas, Ulrike. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Theory of Computing Systems

2024-09-20T01:39:50Z

Yazar Ogihara, Mitsunori. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)
Yer Numarası XX(1985529.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Language Hierarchies and Interfaces International Summer School

2024-09-20T01:39:50Z

Yazar Bauer, F.L. editor. Samelson, K. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Methods of Algorithmic Language Implementation

2024-09-20T01:39:50Z

Yazar Ershov, A. editor. Koster, C.H.A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Deduction Systems

2024-09-20T01:39:50Z

Yazar Socher-Ambrosius, Rolf. author. Johann, Patricia. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Refinement Calculus A Systematic Introduction

2024-09-20T01:39:50Z

Yazar Back, Ralph-Johan. author. Wright, Joakim. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Products of Automata

2024-09-20T01:39:50Z

Yazar Gecseg, Ferenc. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Theoretical Computer Science 4th GI Conference Aachen, March 26-28, 1979

2024-09-20T01:39:50Z

Yazar Weihrauch, K. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Rechnerstrukturen und Betriebsprogrammierung GI - Gesellschaft für Informatik e.V., Erlangen, 1970

2024-09-20T01:39:50Z

Yazar Händler, W. editor. Spies, P.P. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

ECI Conference 1976 Proceedings of the 1st Conference of the European Cooperation in Informatics, Amsterdam, August 9-12, 1976

2024-09-20T01:39:50Z

Yazar Samelson, K. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

2024-09-20T01:39:50Z

Yazar Herde, Christian. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Automata Theory and Formal Languages 2nd GI Conference, Kaiserslautern, May 20-23, 1975

2024-09-20T01:39:50Z

Yazar Brakhage, H. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Parallel Algorithms and Architectures International Workshop Suhl, GDR, May 25-30, 1987; Proceedings

2024-09-20T01:39:50Z

Yazar Albrecht, Andreas. editor. Jung, Hermann. editor. Mehlhorn, Kurt. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Automata, Logics, and Infinite Games A Guide to Current Research

2024-09-20T01:39:50Z

Yazar Grädel, Erich. editor. Thomas, Wolfgang. editor. Wilke, Thomas. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Advances in Bioinformatics and Computational Biology Third Brazilian Symposium on Bioinformatics, BSB 2008, Sao Paulo, Brazil, August 28-30, 2008, Proceedings

2024-09-20T01:39:50Z

Yazar Bazzan, Ana L.C. editor. Craven, Mark. editor. Martins, Natalia F. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Probabilistic Analysis of Algorithms On Computing Methodologies for Computer Algorithms Performance Evaluation

2024-09-20T01:39:50Z

Yazar Hofri, Micha. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Theoretical Computer Science 3rd GI Conference Darmstadt, March 28-30, 1977

2024-09-20T01:39:50Z

Yazar Tzschach, H. editor. Waldschmidt, H. editor. Walter, H. K.-G. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Structure in Complexity Theory Proceedings of the Conference held at the University of California, Berkeley, June 2-5, 1986

2024-09-20T01:39:50Z

Yazar Selman, Alan L. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Amyot, Daniel. editor. Williams, Alan W. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Graphtheoretic Concepts in Computer Science Proceedings of the International Workshop WG 80 Bad Honnef, June 15-18, 1980

2024-09-20T01:39:50Z

Yazar Noltemeier, H. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Grundlagen der Theoretischen Informatik mit Anwendungen Eine Einführung für Studierende der Informatik, Wirtschaftsinformatik und Technischen Informatik

2024-09-20T01:39:50Z

Yazar Vossen, Gottfried. author. Witt, Kurt-Ulrich. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Professional and Applied Computing Archive Packages
Format: Electronic Resources

Mathematical Foundations of Computer Science 1974 3rd Symposium at Jadwisin near Warsaw, June 17 - 22, 1974

2024-09-20T01:39:50Z

Yazar Blikle, A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Graph-Grammars and Their Application to Computer Science and Biology International Workshop, Bad Honnef, October 30 - November 3, 1978

2024-09-20T01:39:50Z

Yazar Claus, V. editor. Ehrig, H. editor. Rozenberg, G. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Modelling and Optimization of Complex System Proceedings of the IFIP-TC 7 Working Conference, Novosibirsk, USSR, 3-9 July, 1978

2024-09-20T01:39:50Z

Yazar Marchuk, G.I. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Distributed Parameter Systems: Modelling and Identification Proceedings of the IFIP Working Conference, Rome, Italy, June 21-24, 1976

2024-09-20T01:39:50Z

Yazar Ruberti, A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Computation Theory and Logic

2024-09-20T01:39:50Z

Yazar Börger, Egon. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Automata, Languages and Programming 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings

2024-09-20T01:39:50Z

Yazar Loeckx, J. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Practical Aspects of Declarative Languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009, Proceedings

2024-09-20T01:39:50Z

Yazar Gill, Andy. editor. Swift, Terrance. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Theory and Practice of Model Transformations First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

2024-09-20T01:39:50Z

Yazar Vallecillo, Antonio. editor. Gray, Jeff. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

CAAP '88 13th Colloquium on Trees in Algebra and Programming Nancy, France, March 21-24, 1988. Proceedings

2024-09-20T01:39:50Z

Yazar Dauchet, Max. editor. Nivat, Maurice. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Mathematical Foundations of Computer Science 1977 6th Symposium, Tatranska Lomnica September 5-9, 1977. Proceedings

2024-09-20T01:39:50Z

Yazar Gruska, J. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Aspects and Prospects of Theoretical Computer Science 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990. Proceedings

2024-09-20T01:39:50Z

Yazar Dassow, Jürgen. editor. Kelemen, Jozef. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Mathematical Foundations of Computer Science 1976 5th Symposium at Gdansk, Sept. 6-10, 1976. Proceedings

2024-09-20T01:39:50Z

Yazar Mazurkiewicz, A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Symbolic and Algebraic Computation Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979

2024-09-20T01:39:50Z

Yazar Ng, E.W. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings

2024-09-20T01:39:50Z

Yazar Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Deharbe, David. editor. Gaudel, Marie-Claude. editor. Woodcock, Jim. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

Advanced Parallel Processing Technologies 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009 Proceedings

2024-09-20T01:39:50Z

Yazar Dou, Yong. editor. Gruber, Ralf. editor. Joller, Josef. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Mathematical Foundations of Computer Science 1988 13th Symposium Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Proceedings

2024-09-20T01:39:50Z

Yazar Chytil, Michal P. editor. Janiga, Ladislav. editor. Koubek, Vaclav. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Optimization Techniques. Modeling and Optimization in the Service of Man 1 Proceedings, 7th IFIP Conference, Nice, Sept. 8-12, 1975

2024-09-20T01:39:50Z

Yazar Cea, J. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Control Theory, Numerical Methods and Computer Systems Modelling International Symposium, Rocquencourt, June 17-21, 1974

2024-09-20T01:39:50Z

Yazar Bensoussan, A. editor. Lions, J. L. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Business and Economics Archive Packages
Format: Electronic Resources

Massively Multi-Agent Technology AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007, Selected and Revised Papers

2024-09-20T01:39:50Z

Yazar Jamali, Nadeem. editor. Scerri, Paul. editor. Sugawara, Toshiharu. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006 IFIP 19th World Computer Congress, TC-1, Foundations of Computer Science, August 23-24, 2006, Santiago, Chile

2024-09-20T01:39:50Z

Yazar Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

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

2024-09-20T01:39:50Z

Yazar Maurer, Hermann. editor. Calude, Christian. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Visual Information Systems. Web-Based Visual Information Search and Management 10th International Conference, VISUAL 2008, Salerno, Italy, September 11-12, 2008, Proceedings

2024-09-20T01:39:50Z

Yazar Sebillo, Monica. editor. Vitiello, Giuliana. editor. Schaefer, Gerald. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Grid-Based Problem Solving Environments IFIP TC2/WG2.5 Working Conference on Grid-Based Problem Solving Environments: Implications for Development and Deployment of Numerical Software, July 17-21, 2006, Prescott, Arizona, USA

2024-09-20T01:39:50Z

Yazar Gaffney, Patrick W. editor. Pool, James C.T. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI '2004

2024-09-20T01:39:50Z

Yazar Jacob, Robert J.K. editor. Limbourg, Quentin. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Selcted Papers, Part II

2024-09-20T01:39:50Z

Yazar Zhou, Jie. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Emerging Trends in Technological Innovation First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22-24, 2010, Proceedings

2024-09-20T01:39:50Z

Yazar Camarinha-Matos, Luis M. editor. Pereira, Pedro. editor. Ribeiro, Luis. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

An Introduction to Kolmogorov Complexity and Its Applications

2024-09-20T01:39:50Z

Yazar Li, Ming. author. Vitanyi, Paul. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

An Introduction to Online Computation Determinism, Randomization, Advice

2024-09-20T01:39:50Z

Yazar Komm, Dennis. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Computability and Complexity Theory

2024-09-20T01:39:50Z

Yazar Homer, Steven. author. Selman, Alan L. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Automata and Computability

2024-09-20T01:39:50Z

Yazar Kozen, Dexter C. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Automata and Computability

2024-09-20T01:39:50Z

Computability and Complexity Theory

2024-09-20T01:39:50Z

Symbolic Rewriting Techniques

2024-09-20T01:39:50Z

Yazar Bronstein, Manuel. editor. Grabmeier, Johannes. editor. Weispfenning, Volker. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Information

2024-09-20T01:39:50Z

Yazar Cicalese, Ferdinando. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983

2024-09-20T01:39:50Z

Yazar Cremers, A.B. editor. Kriegel, H.-P. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Selected Writings on Computing: A personal Perspective

2024-09-20T01:39:50Z

Yazar Dijkstra, Edsger W. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Mathematical Foundations of Computer Science 1981 10th Symposium Strbske Pleso, Czechoslovakia, August 31- September 4, 1981. Proceedings

2024-09-20T01:39:50Z

Yazar Gruska, J. editor. Chytil, M. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

STACS 87 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987

2024-09-20T01:39:50Z

Yazar Brandenburg, Franz J. editor. Vidal-Naquet, Guy. editor. Wirsing, Martin. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computational Matter

2024-09-20T01:39:50Z

Yazar Stepney, Susan. editor. Rasmussen, Steen. editor. Amos, Martyn. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Applications in Decision-aiding Software

2024-09-20T01:39:50Z

Yazar Nagel, Stuart S. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Augmented Marked Graphs

2024-09-20T01:39:50Z

Yazar Cheung, King Sing. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Robust Intelligent Systems

2024-09-20T01:39:50Z

Yazar Schuster, Alfons. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Techniques for Searching, Parsing, and Matching

2024-09-20T01:39:50Z

Yazar Pettorossi, Alberto. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Calcolo

2024-09-20T01:39:50Z

Yazar Favati, Paola. editor. Benzi, Michele. editor. Bini, Dario A. editor. Brezzi, Franco. editor. Codenotti, Bruno. editor.
Yer Numarası XX(1984247.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Planning and Learning by Analogical Reasoning

2024-09-20T01:39:50Z

Yazar Veloso, Manuela M. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Models of Computation

2024-09-20T01:39:50Z

Yazar Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Introduction to Evolutionary Computing

2024-09-20T01:39:50Z

Yazar Eiben, Agoston E. author. Smith, J.E. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The Dynamical System Generated by the 3n+1 Function

2024-09-20T01:39:50Z

Yazar Wirsching, Günther J. author. SpringerLink (Online service)
Yer Numarası QA241 -247.5
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Algoritmi Lo spirito dell'informatica

2024-09-20T01:39:50Z

Yazar Harel, David. author. Feldman, Yishai. author. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2008 Packages
Format: Electronic Resources

Immunocomputing Principles and Applications

2024-09-20T01:39:50Z

Yazar Tarakanov, Alexander O. author. Skormin, Victor A. author. Sokolova, S.P. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Linear Genetic Programming

2024-09-20T01:39:50Z

Yazar Brameier, Markus F. author. Banzhaf, Wolfgang. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Anticipatory Learning Classifier Systems

2024-09-20T01:39:50Z

Yazar Butz, Martin V. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The Planiverse Computer Contact with a Two-Dimensional World

2024-09-20T01:39:50Z

Yazar Dewdney, A.K. author. SpringerLink (Online service)
Yer Numarası QB460 -466
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format: Electronic Resources

Bridging Constraint Satisfaction and Boolean Satisfiability

2024-09-20T01:39:50Z

Yazar Petke, Justyna. author. (orcid)0000-0002-7833-6044 SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Practical Distributed Processing

2024-09-20T01:39:50Z

Yazar Brooke, Phillip J. author. Paige, Richard F. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Rheology of Fluid and Semisolid Foods: Principles and Applications

2024-09-20T01:39:50Z

Yazar Rao, M. A. Andy. author. SpringerLink (Online service)
Yer Numarası TX341 -641
Elektronik Erişim Full Text Available From Springer Nature Chemistry and Materials Science 2007 Packages
Format: Electronic Resources

Competitively Inhibited Neural Networks for Adaptive Parameter Estimation

2024-09-20T01:39:50Z

Yazar Lemmon, Michael. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Formal Methods An Appetizer

2024-09-20T01:39:50Z

Yazar Nielson, Flemming. author. (orcid)0000-0001-7362-6176 Riis Nielson, Hanne. author. (orcid)0000-0002-2484-5580 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Variable Domain-specific Software Languages with DjDSL Design and Implementation

2024-09-20T01:39:50Z

Yazar Sobernig, Stefan. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Efficient and Accurate Parallel Genetic Algorithms

2024-09-20T01:39:50Z

Yazar Cantú-Paz, Erick. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Grammatical Evolution Evolutionary Automatic Programming in an Arbitrary Language

2024-09-20T01:39:50Z

Yazar O'Neill, Michael. author. Ryan, Conor. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Adaptive Learning of Polynomial Networks Genetic Programming, Backpropagation and Bayesian Methods

2024-09-20T01:39:50Z

Yazar Nikolaev, Nikolay. author. Iba, Hitoshi. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

International Journal on Software Tools for Technology Transfer

2024-09-20T01:39:50Z

Yazar Steffen, Bernhard. editor. Wirsing, Martin. editor. Hatcliff, John. editor. Springer Journals SpringerLink Journals
Yer Numarası XX(1985242.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Algorithmic Randomness and Complexity

2024-09-20T01:39:50Z

Yazar Downey, Rodney G. author. Hirschfeldt, Denis R. author. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2010 Packages
Format: Electronic Resources

Machine Learning, Meta-Reasoning and Logics

2024-09-20T01:39:50Z

Yazar Brazdil, Pavel B. editor. Konolige, Kurt. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Theory and Applications of Formal Argumentation Second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Black, Elizabeth. editor. Modgil, Sanjay. editor. Oren, Nir. editor. (orcid)0000-0002-4854-9014 SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Graph Transformation for Software Engineers With Applications to Model-Based Development and Domain-Specific Language Engineering

2024-09-20T01:39:50Z

Yazar Heckel, Reiko. author. Taentzer, Gabriele. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Unconventional Computation 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings

2024-09-20T01:39:50Z

Yazar Calude, Cristian S. editor. Dinneen, Michael J. editor. Paun, Gheorghe. editor. Rozenberg, Grzegorz. editor. Stepney, Susan. editor.
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

ML with Concurrency Design, Analysis, Implementation, and Application

2024-09-20T01:39:50Z

Yazar Nielson, Flemming. editor. (orcid)0000-0001-7362-6176 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Parallel Processes and Related Automata / Parallele Prozesse und damit zusammenhängende Automaten

2024-09-20T01:39:50Z

Yazar Knödel, W. editor. Schneider, Hans Juergen. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Unconventional Models of Computation Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings

2024-09-20T01:39:50Z

Yazar Calude, Cristian. editor. Dinneen, Michael J. editor. Peper, F. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Algorithmic Learning Theory 6th International Workshop, ALT '95, Fukuoka, Japan, October 18 - 20, 1995. Proceedings

2024-09-20T01:39:50Z

Yazar Jantke, Klaus P. editor. Shinohara, Takeshi. editor. Zeugmann, Thomas. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Modeling and Verification of Parallel Processes 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures

2024-09-20T01:39:50Z

Yazar Cassez, Franck. editor. Jard, Claude. editor. Rozoy, Brigitte. editor. Ryan, Mark D. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

SWAT '88 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings

2024-09-20T01:39:50Z

Yazar Karlsson, Rolf. editor. Lingas, Andrzej. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Automata, Languages, and Programming Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings

2024-09-20T01:39:50Z

Yazar Maurer, H. A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Numerical Bayesian Methods Applied to Signal Processing

2024-09-20T01:39:50Z

Yazar O Ruanaidh, Joseph J.K. author. Fitzgerald, William J. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Advances in Artificial Intelligence - IBERAMIA 2002 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings

2024-09-20T01:39:50Z

Yazar Garijo, Francisco J. editor. Riquelme, José C. editor. Toro Bonilla, Miguel. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Graph-Theoretic Concepts in Computer Science International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29 - July 1, 1987. Proceedings

2024-09-20T01:39:50Z

Yazar Göttler, Herbert. editor. Schneider, Hans-Jürgen. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Advances in Case-Based Reasoning 5th European Workshop, EWCBR 2000 Trento, Italy, September 6-9, 2000 Proceedings

2024-09-20T01:39:50Z

Yazar Blanzieri, Enrico. editor. Portinale, Luigi. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Artificial Intelligence and Cognitive Science 13th Irish International Conference, AICS 2002, Limerick, Ireland, September 12-13, 2002. Proceedings

2024-09-20T01:39:50Z

Yazar O'Neill, Michael. editor. Sutcliffe, Richard F.E. editor. Ryan, Conor. editor. Eaton, Malachy. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Unconventional Computation 4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings

2024-09-20T01:39:50Z

Yazar Calude, Cristian S. editor. Dinneen, Michael J. editor. Paun, Gheorghe. editor. Pérez-Jiménez, Mario de Jesus. editor. Rozenberg, Grzegorz. editor.
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Neural Network Dynamics Proceedings of the Workshop on Complex Dynamics in Neural Networks, June 17-21 1991 at IIASS, Vietri, Italy

2024-09-20T01:39:50Z

Yazar Taylor, J.G. editor. Caianiello, E.R. editor. Cotterill, R.M.J. editor. Clark, J.W. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Transactions on Computational Systems Biology II

2024-09-20T01:39:50Z

Yazar Zelikovsky, Alexander. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Encyclopedia of Computational Neuroscience

2024-09-20T01:39:50Z

Yazar Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)
Yer Numarası RC321 -580
Elektronik Erişim Full Text Available From Springer Nature Biomedical and Life Sciences 2015 Packages
Format: Electronic Resources

Transactions on Computational Systems Biology I

2024-09-20T01:39:50Z

Yazar SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Kolmogorov Complexity and Computational Complexity

2024-09-20T01:39:50Z

Yazar Watanabe, Osamu. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Numerical Integration on Advanced Computer Systems

2024-09-20T01:39:50Z

Yazar Krommer, Arnold R. editor. Ueberhuber, Christoph W. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Introductory Lectures on Convex Optimization A Basic Course

2024-09-20T01:39:50Z

Yazar Nesterov, Y. author. SpringerLink (Online service)
Yer Numarası QA402.5 -402.6
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Invariants of Behavior Constancy and Variability in Neural Systems

2024-09-20T01:39:50Z

Yazar Negrello, Mario. author. SpringerLink (Online service)
Yer Numarası RC321 -580
Elektronik Erişim Full Text Available From Springer Nature Biomedical and Life Sciences 2011 Packages
Format: Electronic Resources

Colloquium on Methods of Optimization Held in Novosibirsk/USSR, June 1968

2024-09-20T01:39:50Z

Yazar Moiseev, N. N. editor. SpringerLink (Online service)
Yer Numarası QA402.5 -402.6
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Computation Theory Fifth Symposium, Zaborow, Poland, December 3-8, 1984 Proceedings

2024-09-20T01:39:50Z

Yazar Skowron, Andrzej. author. SpringerLink (Online service)
Yer Numarası QA1 -939
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Explorations in Quantum Computing

2024-09-20T01:39:50Z

Yazar Williams, Colin P. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Sequence Learning Paradigms, Algorithms, and Applications

2024-09-20T01:39:50Z

Yazar Sun, Ron. editor. Giles, C.Lee. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

CAAP '81 Trees in Algebra and Programming /6th Colloquium, Genoa, March 5-7, 1981. Proceedings

2024-09-20T01:39:50Z

Yazar Astesiano, E. editor. Böhm, C. editor. SpringerLink (Online service)
Yer Numarası QA1 -939
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Numerical Algorithms

2024-09-20T01:39:50Z

Yazar Brezinski, Claude. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)
Yer Numarası XX(1985395.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Transactions on Computational Systems Biology IV

2024-09-20T01:39:50Z

Yazar Cardelli, Luca. editor. Emmott, Stephen. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Algorithmic Learning Theory - ALT '92 Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings

2024-09-20T01:39:50Z

Yazar Doshita, Shuji. editor. Furukawa, Koichi. editor. Jantke, Klaus P. editor. Nishida, Toyaki. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Algorithmic Learning Theory 4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings

2024-09-20T01:39:50Z

Yazar Jantke, Klaus P. editor. Kobayashi, Shigenobu. editor. Tomita, Etsuji. editor. Yokomori, Takashi. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Domain-Specific Model-Driven Testing

2024-09-20T01:39:50Z

Yazar Bärisch, Stefan. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

Geometry and Codes

2024-09-20T01:39:50Z

Yazar Goppa. author. SpringerLink (Online service)
Yer Numarası QA564 -609
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

A Guided Tour of Artificial Intelligence Research Volume II: AI Algorithms

2024-09-20T01:39:50Z

Yazar Marquis, Pierre. editor. Papini, Odile. editor. Prade, Henri. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2020 Packages
Format: Electronic Resources

Machine Intelligence and Smart Systems Proceedings of MISS 2020

2024-09-20T01:39:50Z

Yazar Agrawal, Shikha. editor. Kumar Gupta, Kamlesh. editor. H. Chan, Jonathan. editor. (orcid)0000-0002-2384-0462 Agrawal, Jitendra. editor. Gupta, Manish. editor.
Yer Numarası Q342
Elektronik Erişim Full Text Available From Springer Nature Intelligent Technologies and Robotics 2021 Packages
Format: Electronic Resources

Underwater Robots

2024-09-20T01:39:50Z

Yazar Yuh, Junku. editor. Ura, Tamaki. editor. Bekey, George A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Intelligent Robotic Systems Design, Planning, and Control

2024-09-20T01:39:50Z

Yazar Jacak, Witold. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Exploring Computer Science with Scheme

2024-09-20T01:39:50Z

Yazar Grillmeyer, Oliver. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

SAT 2005 Satisfiability Research in the Year 2005

2024-09-20T01:39:50Z

Yazar Giunchiglia, Enrico. editor. Walsh, Toby. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2024-09-20T01:39:50Z

Yazar Wagner, Christian. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies

2024-09-20T01:39:50Z

Yazar Reisig, Wolfgang. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Treewidth Computations and Approximations

2024-09-20T01:39:50Z

Yazar Kloks, Ton. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Mastering Business Microcomputing

2024-09-20T01:39:50Z

Yazar Avison, D.E. author. SpringerLink (Online service)
Yer Numarası HF54.5 -54.56
Elektronik Erişim Full Text Available From Palgrave Business & Management Archive Packages
Format: Electronic Resources

Computers and Exploratory Learning

2024-09-20T01:39:50Z

Yazar DiSessa, Andrea A. editor. Hoyles, Celia. editor. Noss, Richard. editor. SpringerLink (Online service)
Yer Numarası LB1050.9 -1091
Elektronik Erişim Full Text Available From Springer Nature Humanities, Social Sciences and Law Archive Packages
Format: Electronic Resources

Arithmetic Geometry, Number Theory, and Computation

2024-09-20T01:39:50Z

Yazar Balakrishnan, Jennifer S. editor. Elkies, Noam. editor. Hassett, Brendan. editor. Poonen, Bjorn. editor. Sutherland, Andrew V. editor.
Yer Numarası QA564 -609
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics 2021 Packages
Format: Electronic Resources

Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

2024-09-20T01:39:50Z

Yazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 26th IFIP WG 1.5 International Workshop, AUTOMATA 2020, Stockholm, Sweden, August 10-12, 2020, Proceedings

2024-09-20T01:39:50Z

Yazar Zenil, Hector. editor. (orcid)0000-0003-0634-4384 SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2020 Packages
Format: Electronic Resources

Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

2024-09-20T01:39:50Z

Yazar Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers

2024-09-20T01:39:50Z

Yazar Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

From Data to Models and Back 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Nanni, Mirco. editor. (orcid)0000-0003-3534-4332 SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

Advanced Information Systems Engineering Second Nordic Conference CAiSE '90, Stockholm, Sweden, May 8-10, 1990, Proceedings

2024-09-20T01:39:50Z

Yazar Steinholtz, Bo. editor. Soelvberg, Arne. editor. Bergman, Lars. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

New Frontiers in Artificial Intelligence JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, Virtual Event, November 15-17, 2020, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Okazaki, Naoaki. editor. Yada, Katsutoshi. editor. Satoh, Ken. editor. Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2021 Packages
Format: Electronic Resources

The Digital Synaptic Neural Substrate A New Approach to Computational Creativity

2024-09-20T01:39:50Z

Yazar Iqbal, Azlan. author. Guid, Matej. author. Colton, Simon. author. Krivec, Jana. author. Azman, Shazril. author.
Yer Numarası RC321 -580
Elektronik Erişim Full Text Available From Springer Nature Biomedical and Life Sciences 2016 Packages
Format: Electronic Resources

Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems Theory, Algorithm, and Applications

2024-09-20T01:39:50Z

Yazar Lang, Jens. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Sleep and Anesthesia Neural Correlates in Theory and Experiment

2024-09-20T01:39:50Z

Yazar Hutt, Axel. editor. SpringerLink (Online service)
Yer Numarası RC321 -580
Elektronik Erişim Full Text Available From Springer Nature Biomedical and Life Sciences 2011 Packages
Format: Electronic Resources

Advances in Artificial Intelligence -- IBERAMIA 2004 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings

2024-09-20T01:39:50Z

Yazar Lemaitre, Christian. editor. Reyes, Carlos A. editor. Gonzalez, Jesus A. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Advances in Software Tools for Scientific Computing

2024-09-20T01:39:50Z

Yazar Langtangen, Hans P. editor. Bruaset, Are M. editor. Quak, Ewald. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Parallel Numerical Computation with Applications

2024-09-20T01:39:50Z

Yazar Tianruo Yang, Laurence. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Random Generation of Trees Random Generators in Computer Science

2024-09-20T01:39:50Z

Yazar Alonso, Laurent. author. Schott, René. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Noisy Optimization With Evolution Strategies

2024-09-20T01:39:50Z

Yazar Arnold, Dirk V. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Hybrid Metaheuristics 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014, Proceedings

2024-09-20T01:39:50Z

Yazar Blesa, Maria J. editor. (orcid)0000-0001-8246-9926 Blum, Christian. editor. Voß, Stefan. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Fault-Tolerant Parallel Computation

2024-09-20T01:39:50Z

Yazar Kanellakis, Paris Christos. author. Shvartsman, Alex Allister. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Engineering Archive Packages
Format: Electronic Resources

Hypothesis-Driven Simulation Studies Assistance for the Systematic Design and Conducting of Computer Simulation Experiments

2024-09-20T01:39:50Z

Yazar Lorig, Fabian. author. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

802.11 Wireless Networks Security and Analysis

2024-09-20T01:39:50Z

Yazar Holt, Alan. author. Huang, Chi-Yu. author. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2010 Packages
Format: Electronic Resources

Towards Dynamic Randomized Algorithms in Computational Geometry

2024-09-20T01:39:50Z

Yazar Teillaud, Monique. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Transactions on Computational Systems Biology III

2024-09-20T01:39:50Z

Yazar Priami, Corrado. editor. Merelli, Emanuela. editor. Gonzalez, Pedro Pablo. editor. Omicini, Andrea. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2005 Packages
Format: Electronic Resources

Hybrid Metaheuristics 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings

2024-09-20T01:39:50Z

Yazar Blesa, Maria J. editor. (orcid)0000-0001-8246-9926 Blum, Christian. editor. Festa, Paola. editor. Roli, Andrea. editor. (orcid)0000-0001-9891-5441 Sampels, Michael. editor.
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Transactions on Computational Systems Biology V

2024-09-20T01:39:50Z

Yazar Hu, Tony. editor. Pan, Yi. editor. Lin, Tsau Young. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

OmeGA A Competent Genetic Algorithm for Solving Permutation and Scheduling Problems

2024-09-20T01:39:50Z

Yazar Knjazew, Dimitri. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Principles in Noisy Optimization Applied to Multi-agent Coordination

2024-09-20T01:39:50Z

Yazar Rakshit, Pratyusha. author. Konar, Amit. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2018 Packages
Format: Electronic Resources

Concurrency and Nets Advances in Petri Nets

2024-09-20T01:39:50Z

Yazar Voss, Klaus. editor. Genrich, Hartmann J. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Decision Procedures An Algorithmic Point of View

2024-09-20T01:39:50Z

Yazar Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Systems, Approximation, Singular Integral Operators, and Related Topics International Workshop on Operator Theory and Applications, IWOTA 2000

2024-09-20T01:39:50Z

Yazar Borichev, Alexander A. editor. Nikolski, Nikolai K. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Turing's Connectionism An Investigation of Neural Network Architectures

2024-09-20T01:39:50Z

Yazar Teuscher, Christof. author. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The Relevance of the Time Domain to Neural Network Models

2024-09-20T01:39:50Z

Yazar Rao, A. Ravishankar. editor. Cecchi, Guillermo A. editor. SpringerLink (Online service)
Yer Numarası RC321 -580
Elektronik Erişim Full Text Available From Springer Nature Biomedical and Life Sciences 2012 Packages
Format: Electronic Resources

C-XSC A C++ Class Library for Extended Scientific Computing

2024-09-20T01:39:50Z

Yazar Klatte, Rudi. author. Kulisch, Ulrich. author. Wiethoff, Andreas. author. Lawo, Christian. author. Rauch, Michael. author.
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Computer Games Workshop on Computer Games, CGW 2013, Held in Conjunction with the 23rd International Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3, 2013, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Iida, Hiroyuki. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Natural Computing 2nd International Workshop on Natural Computing Nagoya, Japan, December 2007, Proceedings

2024-09-20T01:39:50Z

Yazar Suzuki, Yasuhiro. editor. Hagiya, Masami. editor. Umeo, Hiroshi. editor. Adamatzky, Andrew. editor. SpringerLink (Online service)
Yer Numarası TK5105.5 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2009 Packages
Format: Electronic Resources

Algorithms, Concurrency and Knowledge 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11 - 13, 1995. Proceedings

2024-09-20T01:39:50Z

Yazar Kanchanasut, Kanchana. editor. Levy, Jean-Jacques. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Agile Software Construction

2024-09-20T01:39:50Z

Yazar Hunt, John. author. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

Space in Weak Propositional Proof Systems

2024-09-20T01:39:50Z

Yazar Bonacina, Ilario. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2017 Packages
Format: Electronic Resources

Code Generation - Concepts, Tools, Techniques Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20-24 May 1991

2024-09-20T01:39:50Z

Yazar Giegerich, Robert. editor. Graham, S.L. editor. SpringerLink (Online service)
Yer Numarası QA76.76 .C65
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Trends in Computer Aided Innovation Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA

2024-09-20T01:39:50Z

Yazar León-Rovira, Noel. editor. Cho, Su. editor. SpringerLink (Online service)
Yer Numarası TS1 -2301
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2007 Packages
Format: Electronic Resources

Cycles and Rays

2024-09-20T01:39:50Z

Yazar Hahn, Gena. editor. Sabidussi, Gert. editor. Woodrow, R.E. editor. SpringerLink (Online service)
Yer Numarası QA297.4
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format: Electronic Resources

Computer Games Third Workshop on Computer Games, CGW 2014, Held in Conjunction with the 21st European Conference on Artificial Intelligence, ECAI 2014, Prague, Czech Republic, August 18, 2014, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Björnsson, Yngvi. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2014 Packages
Format: Electronic Resources

Applications of Circularly Polarized Radiation Using Synchrotron and Ordinary Sources

2024-09-20T01:39:50Z

Yazar Allen, Fritz. author. Bustamante, Carlos. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

The Past and Future of Information Systems: 1976 -2006 and Beyond IFIP 19th World Computer Congress, TC-8, Information System Stream, August 21-23, 2006, Santiago, Chile

2024-09-20T01:39:50Z

Yazar Avison, David. editor. Elliot, Steve. editor. Krogstie, John. editor. Pries-Heje, Jan. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2006 Packages
Format: Electronic Resources

A Primer on Quantum Computing

2024-09-20T01:39:50Z

Yazar de Lima Marquezino, Franklin. author. Portugal, Renato. author. Lavor, Carlile. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Reflexive Structures An Introduction to Computability Theory

2024-09-20T01:39:50Z

Yazar Sanchis, Luis E. author. SpringerLink (Online service)
Yer Numarası QA8.9 -10.3
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Evolutionary Computation and Complex Networks

2024-09-20T01:39:50Z

Yazar Liu, Jing. author. Abbass, Hussein A. author. Tan, Kay Chen. author. SpringerLink (Online service)
Yer Numarası TK5101 -5105.9
Elektronik Erişim Full Text Available From Springer Nature Engineering 2019 Packages
Format: Electronic Resources

Complexity and Real Computation

2024-09-20T01:39:50Z

Yazar Blum, Lenore. author. Cucker, Felipe. author. Shub, Michael. author. Smale, Steve. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Systems: Approaches, Theories, Applications Including the Proceedings of the Eighth George Hudson Symposium Held at Plattsburgh, New York, April 11-12, 1975

2024-09-20T01:39:50Z

Yazar Hartnett, W.E. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Cognitive Computation

2024-09-20T01:39:50Z

Yazar Hussain, Amir. editor. Aleksander, Igor. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)
Yer Numarası XX(1983974.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Advances in Steiner Trees

2024-09-20T01:39:50Z

Yazar Du, Ding-Zhu. editor. Smith, J.M. editor. Rubinstein, J. Hyam. editor. SpringerLink (Online service)
Yer Numarası QA297.4
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Wireless Power Transfer Algorithms, Technologies and Applications in Ad Hoc Communication Networks

2024-09-20T01:39:50Z

Yazar Nikoletseas, Sotiris. editor. Yang, Yuanyuan. editor. Georgiadis, Apostolos. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2016 Packages
Format: Electronic Resources

Unconventional Computation 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008, Proceedings

2024-09-20T01:39:50Z

Yazar Calude, Christian S. editor. da Costa, Jose Felix Gomes. editor. Freund, Rudolf. editor. Oswald, Marion. editor. Rozenberg, Grzegorz. editor.
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2008 Packages
Format: Electronic Resources

Higher-Order Computability

2024-09-20T01:39:50Z

Yazar Longley, John. author. Normann, Dag. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Multi-Agent-Based Simulation XV International Workshop, MABS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Grimaldo, Francisco. editor. Norling, Emma. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2015 Packages
Format: Electronic Resources

Concise Guide to Computation Theory

2024-09-20T01:39:50Z

Yazar Maruoka, Akira. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2011 Packages
Format: Electronic Resources

Modified Branching Programs and Their Computational Power

2024-09-20T01:39:50Z

Yazar Meinel, Christoph. author. SpringerLink (Online service)
Yer Numarası QA273 .A1-274.9
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Color Theory and Its Application in Art and Design

2024-09-20T01:39:50Z

Yazar Agoston, George A. author. SpringerLink (Online service)
Yer Numarası QC630 -648
Elektronik Erişim Full Text Available From Springer Nature Physics and Astronomy Archive Packages
Format: Electronic Resources

Computer Science Today Recent Trends and Developments

2024-09-20T01:39:50Z

Yazar Leeuwen, Jan van. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984

2024-09-20T01:39:50Z

Yazar Brookes, Stephen D. editor. Roscoe, Andrew W. editor. Winskel, Glynn. editor. SpringerLink (Online service)
Yer Numarası QA76.758
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Time and Petri Nets

2024-09-20T01:39:50Z

Yazar Popova-Zeugmann, Louchka. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

A Proof Theory for General Unification

2024-09-20T01:39:50Z

Yazar Snyder, W. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Mathematics and Statistics Archive Packages
Format: Electronic Resources

Design and Implementation of Programming Languages Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

2024-09-20T01:39:50Z

Yazar Williams, J. H. editor. Fisher, D. A. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Advances in Independent Component Analysis

2024-09-20T01:39:50Z

Yazar Girolami, Mark. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Analyzing Evolutionary Algorithms The Computer Science Perspective

2024-09-20T01:39:50Z

Yazar Jansen, Thomas. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Expert Systems in Auditing

2024-09-20T01:39:50Z

Yazar Dijk, J. C. van. author. Williams, Paul. author. SpringerLink (Online service)
Yer Numarası HC
Elektronik Erişim Full Text Available From Palgrave Business & Management Archive Packages
Format: Electronic Resources

Multi-Agent-Based Simulation XIII International Workshop, MABS 2012, Valencia, Spain, June 4-8, 2012, Revised Selected Papers

2024-09-20T01:39:50Z

Yazar Giardini, Francesca. editor. Amblard, Frédéric. editor. SpringerLink (Online service)
Yer Numarası Q334 -342
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2013 Packages
Format: Electronic Resources

Program Design Calculi

2024-09-20T01:39:50Z

Yazar Broy, Manfred. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Structures in Logic and Computer Science A Selection of Essays in Honor of A. Ehrenfeucht

2024-09-20T01:39:50Z

Yazar Mycielski, Jan. editor. Rozenberg, Grzegorz. editor. Salomaa, Arto. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Topics in the General Theory of Structures

2024-09-20T01:39:50Z

Yazar Caianiello, E.R. editor. Aizerman, M.A. editor. SpringerLink (Online service)
Yer Numarası QA76.9 .A43
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

Carl Adam Petri: Ideas, Personality, Impact

2024-09-20T01:39:50Z

Yazar Reisig, Wolfgang. editor. Rozenberg, Grzegorz. editor. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science 2019 Packages
Format: Electronic Resources

Automata, Languages and Programming Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings

2024-09-20T01:39:50Z

Yazar Ausiello, G. editor. Böhm, C. editor. SpringerLink (Online service)
Yer Numarası QA8.9 -10.3
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources

International Journal of Parallel Programming

2024-09-20T01:39:50Z

Yazar Nicolau, Alexandru. editor. Springer Journals SpringerLink Journals SpringerLink (Online service)
Yer Numarası XX(1985663.1)
Elektronik Erişim Full Text Available From SpringerLink Journals
Format: Electronic Resources

Structural Complexity I

2024-09-20T01:39:50Z

Yazar Balcazar, Jose L. author. Diaz, Josep. author. Gabarro, Joaquim. author. SpringerLink (Online service)
Yer Numarası QA75.5 -76.95
Elektronik Erişim Full Text Available From Springer Nature Computer Science Archive Packages
Format: Electronic Resources