Arama Sonuçları Computation by Abstract Devices.

Logging in...

Username:

Password:

Forgot your PIN?

|

|

|

|

Remember to clear the cache and close the browser window.

Rooms Restriction Values

Search Field

Target ValueLimit ValueRestriction Value

Search For:To enable accessibility mode, return to the beginning of the page and use the link in the menu bar.

Gelişmiş Arama

268 Sonuç Bulundu

Subscribe to search results

Tümünü Seç

1 2 3 4 5 .. 23

Önizleme Görünümü

000000000000DEFAULTTR

Yazdır

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Encyclopedia of Computational Neuroscience

Encyclopedia of Computational Neuroscience

by

Jaeger, Dieter. editor.

http://dx.doi.org/10.1007/978-1-4614-6675-8

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

2.

Cover image for Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

by

Artho, Cyrille. editor.

http://dx.doi.org/10.1007/978-3-319-05416-2

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

View Other Search Results

3.

Cover image for Time and Petri Nets

Time and Petri Nets

by

Popova-Zeugmann, Louchka. author.

http://dx.doi.org/10.1007/978-3-642-41115-1

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

4.

Cover image for Transactions on Petri Nets and Other Models of Concurrency VII

Transactions on Petri Nets and Other Models of Concurrency VII

by

Jensen, Kurt. editor.

http://dx.doi.org/10.1007/978-3-642-38143-0

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

5.

Cover image for Model-Driven Dependability Assessment of Software Systems

Model-Driven Dependability Assessment of Software Systems

by

Bernardi, Simona. author.

http://dx.doi.org/10.1007/978-3-642-39512-3

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

6.

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

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

by

Grimaldo, Francisco. editor.

http://dx.doi.org/10.1007/978-3-319-14627-0

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

7.

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

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

by

Giardini, Francesca. editor.

http://dx.doi.org/10.1007/978-3-642-38859-0

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

8.

Cover image for Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

Multi-Agent-Based Simulation XIV International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers

by

Alam, Shah Jamal. editor.

http://dx.doi.org/10.1007/978-3-642-54783-6

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

9.

Cover image for Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

Unconventional Computation and Natural Computation 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings

by

Calude, Cristian S. editor.

http://dx.doi.org/10.1007/978-3-319-21819-9

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

10.

Cover image for Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

by

Ibarra, Oscar H. editor.

http://dx.doi.org/10.1007/978-3-319-08123-6

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

11.

Cover image for Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

Formal Modeling and Analysis of Timed Systems 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings

by

Legay, Axel. editor.

http://dx.doi.org/10.1007/978-3-319-10512-3

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

12.

Cover image for Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

by

Beckmann, Arnold. editor.

http://dx.doi.org/10.1007/978-3-319-08019-2

Format:

Electronic Resources

Alıntı:

Computation by Abstract Devices.

Tümünü Seç

1 2 3 4 5 .. 23

268 Sonuç Bulundu

Subscribe to search results

Arama Sonuçlarını Filtrele

Yazar

SpringerLink (Online service)

(268)

Dediu, Adrian-Horia. editor.

(7)

Martín-Vide, Carlos. editor.

(7)

Korytkowski, Marcin. editor.

(6)

Rutkowski, Leszek. editor.

(6)

Tadeusiewicz, Ryszard. editor.

(6)

Zadeh, Lotfi A. editor.

(6)

Zurada, Jacek M. editor.

(6)

Corchado, Emilio. editor.

(5)

Hou, Zeng-Guang. editor.

(5)

Huang, De-Shuang. editor.

(5)

Nguyen, Ngoc Thanh. editor.

(5)

Arik, Sabri. editor.

(4)

Blum, Christian. editor.

(4)

Ferrández Vicente, José Manuel. editor.

(4)

Huang, Tingwen. editor.

(4)

Lai, Weng Kin. editor.

(4)

Lee, Minho. editor.

(4)

Liu, Qingshan. editor.

(4)

Potapov, Igor. editor.

(4)

Rozenberg, Grzegorz. editor.

(4)

Salomaa, Arto. editor.

(4)

Scherer, Rafał. editor.

(4)

Truthe, Bianca. editor.

(4)

Bevilacqua, Vitoantonio. editor.

(3)

Das, Swagatam. editor.

(3)

Freivalds, Rūsiņš. editor.

(3)

Gheorghe, Marian. editor.

(3)

Hirose, Akira. editor.

(3)

Huang, Kaizhu. editor.

(3)

Iwama, Kazuo. editor.

(3)

Kil, Rhee Man. editor.

(3)

Loo, Chu Kiong. editor.

(3)

Panigrahi, Bijaya Ketan. editor.

(3)

Papadopoulos, Harris. editor.

(3)

Petkov, Nicolai. editor.

(3)

Premaratne, Prashan. editor.

(3)

Quintián, Héctor. editor.

(3)

Suganthan, Ponnuthurai Nagaratnam. editor.

(3)

Wong, Kok Wai. editor.

(3)

Woźniak, Michał. editor.

(3)

Yap, Keem Siah. editor.

(3)

Yin, Hujun. editor.

(3)

Adeli, Hojjat. editor.

(2)

Ait Ameur, Yamine. editor.

(2)

Artho, Cyrille. editor.

(2)

Atmanspacher, Harald. editor.

(2)

Azzopardi, George. editor.

(2)

Beckmann, Arnold. editor.

(2)

Calude, Cristian S. editor.

(2)

Carvalho, André C. P. L. F. de. editor.

(2)

Castelli, Mauro. editor.

(2)

Coecke, Bob. editor.

(2)

Coello, Carlos Coello. editor.

(2)

Csuhaj-Varjú, Erzsébet. editor.

(2)

Dash, Shubhransu Sekhar. editor.

(2)

Dodis, Yevgeniy. editor.

(2)

Esparcia-Alcázar, Anna I. editor.

(2)

Esparza, Javier. editor.

(2)

Fomin, Fedor V. editor.

(2)

Formenti, Enrico. editor.

(2)

Fraigniaud, Pierre. editor.

(2)

García-Sánchez, Pablo. editor.

(2)

Gaspar-Cunha, António. editor.

(2)

Guo, Chengan. editor.

(2)

Halldórsson, Magnús M. editor.

(2)

Henggeler Antunes, Carlos. editor.

(2)

Heywood, Malcolm I. editor.

(2)

Hodicky, Jan. editor.

(2)

Husfeldt, Thore. editor.

(2)

Iliadis, Lazaros. editor.

(2)

Jayne, Chrisina. editor.

(2)

Karhumäki, Juhani. editor.

(2)

Kari, Jarkko. editor.

(2)

Kitto, Kirsty. editor.

(2)

Kobayashi, Naoki. editor.

(2)

Koprinkova-Hristova, Petia. editor.

(2)

Koutsoupias, Elias. editor.

(2)

Kowalczyk, Ryszard. editor.

(2)

Krawiec, Krzysztof. editor.

(2)

Kutrib, Martin. editor.

(2)

Kwiatkowska, Marta. editor.

(2)

Legay, Axel. editor.

(2)

Margaria, Tiziana. editor.

(2)

Masulli, Francesco. editor.

(2)

Mora, Antonio M. editor.

(2)

Nielsen, Jesper Buus. editor.

(2)

Ochoa, Gabriela. editor.

(2)

Okhotin, Alexander. editor.

(2)

Pal, Sankar K. editor.

(2)

Palamidessi, Catuscia. editor.

(2)

Palm, Günther. editor.

(2)

Pan, Jeng-Shyang. editor.

(2)

Pardalos, Panos. editor.

(2)

Paz López, Félix de la. editor.

(2)

Peleg, David. editor.

(2)

Plaat, Aske. editor.

(2)

Riguzzi, Fabrizio. editor.

(2)

Scherer, Rafal. editor.

(2)

Schewe, Klaus-Dieter. editor.

(2)

Shur, Arseny M. editor.

(2)

Sim, Kevin. editor.

(2)

Speckmann, Bettina. editor.

(2)

Steffen, Bernhard. editor.

(2)

Tagliaferri, Roberto. editor.

(2)

Tang, Ke. editor.

(2)

Teoh, Andrew. editor.

(2)

Toledo Moreo, Fco. Javier. editor.

(2)

Toledo-Moreo, Fco. Javier. editor.

(2)

Troncoso, Alicia. editor.

(2)

Villa, Alessandro E. P. editor.

(2)

Yoshida, Hiroyuki. editor.

(2)

Zandron, Claudio. editor.

(2)

Zeng, Zhigang. editor.

(2)

de la Paz López, Félix. editor.

(2)

van den Herik, Jaap. editor.

(2)

Ábrahám, Erika. editor.

(2)

Álvarez Sánchez, José Ramón. editor.

(2)

Álvarez-Sánchez, José Ramón. editor.

(2)

Ölveczky, Peter Csaba. editor.

(2)

Aalst, Wil M. P. van der. editor.

(1)

Abdulla, Parosh Aziz. editor.

(1)

Aguilera, Marcos K. editor.

(1)

Alam, Shah Jamal. editor.

(1)

Alhazov, Artiom. editor.

(1)

Alippi, Cesare. editor.

(1)

Alonso-Betanzos, Amparo. editor.

(1)

Amblard, Frédéric. editor.

(1)

Antonioni, Alberto. editor.

(1)

Appollini, Bruno. editor.

(1)

Aujol, Jean-François. editor.

(1)

Baier, Christel. editor.

(1)

Balbo, Gianfranco. editor.

(1)

Baldoni, Matteo. editor.

(1)

Baldoni, Roberto. editor.

(1)

Bandini, Stefania. editor.

(1)

Bandyopadhyay, Sanghamitra. editor.

(1)

Banerjee, Mohua. editor.

(1)

Barbosa, Denilson. editor.

(1)

Baroglio, Cristina. editor.

(1)

Barrenechea, Edurne. editor.

(1)

Barros, Márcio. editor.

(1)

Bartz-Beielstein, Thomas. editor.

(1)

Baruque, Bruno. editor.

(1)

Bazzan, Ana L.C. editor.

(1)

Beek, Peter van. editor.

(1)

Beklemishev, Lev D. editor.

(1)

Beng Jin, Andrew Teoh. editor.

(1)

Bensalem, Saddek. editor.

(1)

Berdine, Josh. editor.

(1)

Bergomi, Claudia. editor.

(1)

Bernardi, Simona. author.

(1)

Bernardo, Marco. editor.

(1)

Beyer, Dirk. editor.

(1)

Bhatia, Kanwal K. editor.

(1)

Bianculli, Domenico. editor.

(1)

Biba, Marenglen. editor.

(1)

Bielza, Concha. editor.

(1)

Bischof, Horst. editor.

(1)

Bjørner, Nikolaj. editor.

(1)

Blair, Alan D. editor.

(1)

Blekas, Konstantinos. editor.

(1)

Blesa, Maria J. editor.

(1)

Blesa, María J. editor.

(1)

Boella, Guido. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Boniol, Frédéric. editor.

(1)

Bonizzoni, Paola. editor.

(1)

Bonsangue, Marcello M. editor.

(1)

Boreale, Michele. editor.

(1)

Bose, Prosenjit. editor.

(1)

Bouchachia, Abdelhamid. editor.

(1)

Bourdon, Jérémie. editor.

(1)

Bourgeois, Anu. editor.

(1)

Bozga, Marius. editor.

(1)

Branke, Jürgen. editor.

(1)

Brattka, Vasco. editor.

(1)

Bredies, Kristian. editor.

(1)

Breugel, Franck van. editor.

(1)

Broenink, Jan F. editor.

(1)

Browne, Will N. editor.

(1)

Brugali, Davide. editor.

(1)

Buesser, Pierre. editor.

(1)

Bui, Lam Thu. editor.

(1)

Bulatov, Andrei A. editor.

(1)

Burczyński, Tadeusz. editor.

(1)

Burduk, Robert. editor.

(1)

Burelli, Paolo. editor.

(1)

Bush, William S. editor.

(1)

Béal, Marie-Pierre. editor.

(1)

Cai, Ruichu. editor.

(1)

Cai, Zhipeng. editor.

(1)

Calinescu, Radu. editor.

(1)

Campos, Javier. editor.

(1)

Cao, Tru. editor.

(1)

Carton, Olivier. editor.

(1)

Casadio, Claudia. editor.

(1)

Cervera, Enric. editor.

(1)

Chalup, Stephan K. editor.

(1)

Chapman, Barbara M. editor.

(1)

Tümünü Göster

Materyal Türü

(268)

Dil

(268)

Yayın Yılı

This graph shows the distribution of publication dates for use with a date range slider. Switch to Years view for a more detailed breakdown of search results by year.

From Publication Year - To Publication Year

(94)

(88)

(86)

Konu

Computer science.

(267)

Computation by Abstract Devices.

(266)

(266)

Artificial Intelligence (incl. Robotics).

(152)

Artificial intelligence.

(152)

Algorithm Analysis and Problem Complexity.

(144)

(144)

Information Systems Applications (incl. Internet).

(77)

Computer logic.

(73)

Logics and Meanings of Programs.

(73)

Pattern recognition.

(73)

Software engineering.

(69)

Mathematical logic.

(68)

Mathematical Logic and Formal Languages.

(67)

Computer science -- Mathematics.

(63)

Discrete Mathematics in Computer Science.

(52)

Information storage and retrieval.

(46)

Computer Communication Networks.

(40)

Computer communication systems.

(40)

Data Mining and Knowledge Discovery.

(40)

(40)

Image Processing and Computer Vision.

(38)

Image processing.

(38)

Bioinformatics.

(33)

Computational Biology/Bioinformatics.

(33)

Computer simulation.

(29)

Simulation and Modeling.

(29)

Programming Languages, Compilers, Interpreters.

(23)

Programming languages (Electronic computers).

(23)

Database management.

(22)

Numeric Computing.

(19)

Numerical analysis.

(19)

Application software.

(16)

Computer graphics.

(16)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(14)

Data structures (Computer science).

(13)

Data Structures.

(12)

Computer Applications.

(10)

Computer programming.

(10)

Mathematical statistics.

(10)

Probability and Statistics in Computer Science.

(10)

Programming Techniques.

(10)

Computer Science, general.

(7)

Computer security.

(7)

Data Encryption.

(7)

Data encryption (Computer science).

(7)

Mathematics of Computing.

(7)

Systems and Data Security.

(7)

Coding and Information Theory.

(6)

(6)

Computational intelligence.

(6)

Computational linguistics.

(6)

Computer system failures.

(6)

Language Translation and Linguistics.

(6)

Quantum computers.

(6)

System Performance and Evaluation.

(6)

Theory of Computation.

(6)

User Interfaces and Human Computer Interaction.

(6)

User interfaces (Computer systems).

(6)

(5)

Quantum Computing.

(5)

Symbolic and Algebraic Manipulation.

(5)

Information Systems and Communication Service.

(4)

Computational biology.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Appl. in Life Sciences.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Management information systems.

(3)

Management of Computing and Information Systems.

(3)

Math Applications in Computer Science.

(3)

Mathematical Logic and Foundations.

(3)

History of Computing.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

Special Purpose and Application-Based Systems.

(2)

Special purpose computers.

(2)

Arithmetic and Logic Structures.

(1)

Arithmetic and logic units, Computer.

(1)

(1)

Complex Systems.

(1)

Computer mathematics.

(1)

Control engineering.

(1)

Control, Robotics, Mechatronics.

(1)

Data Structures, Cryptology and Information Theory.

(1)

(1)

File organization (Computer science).

(1)

(1)

Health informatics.

(1)

History of Mathematical Sciences.

(1)

(1)

Information and Communication, Circuits.

(1)

Information theory.

(1)

Mathematical Applications in Computer Science.

(1)

(1)

(1)

(1)

Microprocessors.

(1)

Models and Principles.

(1)

(1)

(1)

Operating Systems.

(1)

Operating systems (Computers).

(1)

Processor Architectures.

(1)

Quantum Information Technology, Spintronics.

(1)

(1)

Software Engineering/Programming and Operating Systems.

(1)

(1)

(1)

Systems biology.

(1)

e-Commerce/e-business.

(1)

Tümünü Göster

Kütüphane

Pamukkale Merkez Kütüphanesi

(268)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2