Search Results for

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer software.

Author

SpringerLink (Online service)

(2161)

Kim, Tai-hoon. editor.

(34)

Yung, Moti. editor.

(25)

Gervasi, Osvaldo. editor.

(22)

Apduhan, Bernady O. editor.

(20)

Murgante, Beniamino. editor.

(18)

Taniar, David. editor.

(18)

Adeli, Hojjat. editor.

(17)

Nguyen, Ngoc Thanh. editor.

(16)

Nagamalai, Dhinaharan. editor.

(15)

Corchado, Emilio. editor.

(14)

Dongarra, Jack. editor.

(14)

Huang, De-Shuang. editor.

(14)

Jansen, Klaus. editor.

(13)

Rozenberg, Grzegorz. editor.

(13)

Yang, Laurence T. editor.

(13)

Campilho, Aurélio. editor.

(12)

Li, Kang. editor.

(12)

Yin, Hujun. editor.

(12)

Blum, Christian. editor.

(11)

Chaki, Nabendu. editor.

(11)

Kamel, Mohamed. editor.

(11)

Kang, Byeong-Ho. editor.

(11)

Riolo, Rick. editor.

(11)

Waśniewski, Jerzy. editor.

(11)

Du, Ding-Zhu. editor.

(10)

El-Qawasmeh, Eyas. editor.

(10)

Löwe, Benedikt. editor.

(10)

Meghanathan, Natarajan. editor.

(10)

Paragios, Nikos. editor.

(10)

Shi, Yuhui. editor.

(10)

Tadeusiewicz, Ryszard. editor.

(10)

Tan, Ying. editor.

(10)

Zurada, Jacek M. editor.

(10)

Erlebach, Thomas. editor.

(9)

Huang, Xiong. editor.

(9)

Mayr, Ernst W. editor.

(9)

Misra, Sanjay. editor.

(9)

Priami, Corrado. editor.

(9)

Vorozhtsov, Evgenii V. editor.

(9)

Wang, Fu Lee. editor.

(9)

Wang, Jun. editor.

(9)

Ślęzak, Dominik. editor.

(9)

Abraham, Ajith. editor.

(8)

Ali, Moonis. editor.

(8)

Calude, Cristian S. editor.

(8)

Cotta, Carlos. editor.

(8)

Fang, Wai-chi. editor.

(8)

Fei, Minrui. editor.

(8)

Lopez, Javier. editor.

(8)

Philips, Wilfried. editor.

(8)

Wang, Lipo. editor.

(8)

Bebis, George. editor.

(7)

Boyle, Richard. editor.

(7)

Cooper, S. Barry. editor.

(7)

Cuzzocrea, Alfredo. editor.

(7)

Das, Swagatam. editor.

(7)

Deng, Hepu. editor.

(7)

Gavrilova, Marina L. editor.

(7)

Guo, Minyi. editor.

(7)

Herik, H. Jaap. editor.

(7)

Koracin, Darko. editor.

(7)

Lei, Jingsheng. editor.

(7)

Lin, Dongdai. editor.

(7)

Lin, Song. editor.

(7)

Martino, Beniamino. editor.

(7)

Pan, Jeng-Shyang. editor.

(7)

Parashar, Manish. editor.

(7)

Parvin, Bahram. editor.

(7)

Prasanna, Viktor K. editor.

(7)

Qing, Sihan. editor.

(7)

Roli, Andrea. editor.

(7)

Rolim, José D. P. editor.

(7)

Rutkowski, Leszek. editor.

(7)

Sampels, Michael. editor.

(7)

Schmid, Cordelia. editor.

(7)

Shi, Yun Q. editor.

(7)

Shih, Timothy K. editor.

(7)

Tan, C. J. Kenneth. editor.

(7)

Xiang, Yang. editor.

(7)

Birattari, Mauro. editor.

(6)

Cao, Jiannong. editor.

(6)

Chapman, Barbara M. editor.

(6)

Chen, Shyi-Ming. editor.

(6)

Christianson, Bruce. editor.

(6)

Collet, Pierre. editor.

(6)

Crispo, Bruno. editor.

(6)

Daniilidis, Kostas. editor.

(6)

Dediu, Adrian-Horia. editor.

(6)

Filipe, Joaquim. editor.

(6)

Fischer-Hübner, Simone. editor.

(6)

Fitzgibbon, Andrew. editor.

(6)

Fomin, Fedor V. editor.

(6)

Fyfe, Colin. editor.

(6)

Gerdt, Vladimir P. editor.

(6)

Giacobini, Mario. editor.

(6)

He, Haibo. editor.

(6)

Iglesias, Andrés. editor.

(6)

Kano, Mikio. editor.

(6)

Karczewski, Konrad. editor.

(6)

Lazebnik, Svetlana. editor.

(6)

Liu, Derong. editor.

(6)

Machado, Penousal. editor.

(6)

Maglogiannis, Ilias. editor.

(6)

Malyshkin, Victor. editor.

(6)

Maragos, Petros. editor.

(6)

Margenov, Svetozar. editor.

(6)

Martín-Vide, Carlos. editor.

(6)

Mira, José. editor.

(6)

Nicosia, Giuseppe. editor.

(6)

Panigrahi, Bijaya Ketan. editor.

(6)

Perona, Pietro. editor.

(6)

Preneel, Bart. editor.

(6)

Queiroz, Ruy. editor.

(6)

Sato, Yoichi. editor.

(6)

Schoenauer, Marc. editor.

(6)

Schwiegelshohn, Uwe. editor.

(6)

Stoica, Adrian. editor.

(6)

Stützle, Thomas. editor.

(6)

Suganthan, Ponnuthurai Nagaratnam. editor.

(6)

Vasilakos, Thanos. editor.

(6)

Wagner, Dorothea. editor.

(6)

Wang, Guilin. editor.

(6)

Worzel, Bill. editor.

(6)

Wyrzykowski, Roman. editor.

(6)

Yi, Zhang. editor.

(6)

Zhang, Huaguang. editor.

(6)

Zhang, Yanchun. editor.

(6)

Zhou, Jianying. editor.

(6)

Álvarez, José R. editor.

(6)

Akiyama, Jin. editor.

(5)

Alexander, Michael. editor.

(5)

Ariwa, Ezendu. editor.

(5)

Barneva, Reneta P. editor.

(5)

Blanc-Talon, Jacques. editor.

(5)

Blesa, María J. editor.

(5)

Carlini, Maurizio. editor.

(5)

Das, Sajal K. editor.

(5)

Das, Vinu V. editor.

(5)

Deb, Kalyanmoy. editor.

(5)

Dehne, Frank. editor.

(5)

Ebner, Marc. editor.

(5)

Ekárt, Anikó. editor.

(5)

Fages, François. editor.

(5)

Frachtenberg, Eitan. editor.

(5)

Fred, Ana. editor.

(5)

Grosky, William I. editor.

(5)

Hao, Jin-Kao. editor.

(5)

Iliadis, Lazaros. editor.

(5)

Irwin, George W. editor.

(5)

Jo, Kang-Hyun. editor.

(5)

Klette, Reinhard. editor.

(5)

Koepf, Wolfram. editor.

(5)

Lirkov, Ivan. editor.

(5)

Liu, Baoxiang. editor.

(5)

Liu, Chunfeng. editor.

(5)

Liu, Yong. editor.

(5)

Lu, Bao-Liang. editor.

(5)

Lutton, Evelyne. editor.

(5)

Ma, Jianhua. editor.

(5)

Ma, Shiwei. editor.

(5)

Masulli, Francesco. editor.

(5)

Miao, Duoqian. editor.

(5)

Müller, Matthias S. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Pointcheval, David. editor.

(5)

Popescu, Dan. editor.

(5)

Potapov, Igor. editor.

(5)

Rossi, Francesca. editor.

(5)

Sack, Jörg-Rüdiger. editor.

(5)

Scheideler, Christian. editor.

(5)

Scherer, Rafał. editor.

(5)

Scheunders, Paul. editor.

(5)

Shen, Dinggang. editor.

(5)

Thampi, Sabu M. editor.

(5)

Timmis, Jon. editor.

(5)

Torre, Carmelo M. editor.

(5)

Tsudik, Gene. editor.

(5)

Vaidya, Jaideep. editor.

(5)

Vanneschi, Leonardo. editor.

(5)

Vaudenay, Serge. editor.

(5)

Villalba, Javier García. editor.

(5)

Woźniak, Michał. editor.

(5)

Xiao, Tianyuan. editor.

(5)

Zadeh, Lotfi A. editor.

(5)

Zeugmann, Thomas. editor.

(5)

Zha, Hongbin. editor.

(5)

Zhang, Lin. editor.

(5)

Zhu, Binhai. editor.

(5)

Abd Manaf, Azizah. editor.

(4)

Alippi, Cesare. editor.

(4)

Balandin, Sergey. editor.

(4)

Balitanas, Maricel. editor.

(4)

Bandini, Stefania. editor.

(4)

Bellalta, Boris. editor.

(4)

Bolc, Leonard. editor.

(4)

Bonato, Anthony. editor.

(4)

Bouchon-Meunier, Bernadette. editor.

(4)

Brimkov, Valentin E. editor.

(4)

Buford, John F. editor.

(4)

Language

(2148)

(14)

(5)

(3)

(3)

(1)

Publication Date

-

(346)

(316)

(308)

(222)

(176)

(171)

(168)

(160)

(151)

(143)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(2011)

Computer Communication Networks.

(873)

Artificial intelligence.

(857)

Software engineering.

(552)

Computational complexity.

(545)

Information systems.

(367)

Optical pattern recognition.

(344)

Data encryption (Computer science).

(335)

Information storage and retrieval systems.

(299)

Computer vision.

(285)

Electronic data processing.

(260)

Data structures (Computer science).

(250)

Computer graphics.

(238)

Information Systems.

(236)

Algorithm Analysis and Problem Complexity.

(213)

Data protection.

(209)

(204)

(201)

Database management.

(195)

Bioinformatics.

(180)

(143)

Computer simulation.

(143)

Operating systems (Computers).

(130)

Information theory.

(99)

Algebra -- Data processing.

(82)

(82)

Computer network architectures.

(80)

Artificial Intelligence (incl. Robotics).

(71)

(70)

Computer system performance.

(57)

Information Systems Applications (incl. Internet).

(57)

Discrete Mathematics in Computer Science.

(55)

Computation by Abstract Devices.

(48)

Pattern Recognition.

(40)

(39)

Data Mining and Knowledge Discovery.

(35)

Computer science -- Mathematics.

(34)

Information Storage and Retrieval.

(32)

Data Encryption.

(30)

Systems and Data Security.

(29)

Telecommunication.

(29)

Numeric Computing.

(28)

Data structures (Computer scienc.

(27)

(27)

Mathematical optimization.

(26)

Biology -- Data processing.

(24)

Image Processing and Computer Vision.

(24)

Mathematical Logic and Formal Languages.

(23)

(21)

Logics and Meanings of Programs.

(21)

Management of Computing and Information Systems.

(20)

Multimedia systems.

(19)

Text processing (Computer science.

(19)

Data Structures.

(18)

Logic, Symbolic and mathematical.

(18)

Computational Biology/Bioinformatics.

(16)

Computer security.

(15)

Evolution (Biology).

(15)

Simulation and Modeling.

(14)

Translators (Computer programs).

(14)

Medical records -- Data processing.

(13)

(11)

Programming Languages, Compilers, Interpreters.

(11)

(10)

Programming Techniques.

(10)

Social sciences -- Data processing.

(10)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(9)

Engineering mathematics.

(9)

Operations research.

(9)

(8)

Computer Science, general.

(8)

Computer aided design.

(8)

(8)

Numerical analysis.

(8)

System Performance and Evaluation.

(8)

Computer Systems Organization and Communication Networks.

(7)

Computers and Society.

(7)

Distribution (Probability theory).

(7)

(7)

Industrial management.

(7)

Math Applications in Computer Science.

(7)

Mathematical Software.

(7)

Radiology, Medical.

(7)

Computer hardware.

(6)

Theory of Computation.

(6)

(6)

Bilgisayar yazılımı.

(5)

Coding and Information Theory.

(5)

Computer Applications.

(5)

Data Structures, Cryptology and Information Theory.

(5)

Discrete groups.

(5)

Economics, Mathematical.

(5)

Mathematical physics.

(5)

Mathematical statistics.

(5)

Natural language processing (Computer science).

(5)

(5)

(5)

Symbolic and Algebraic Manipulation.

(5)

User Interfaces and Human Computer Interaction.

(5)

(4)

Global analysis (Mathematics).

(4)

Mathematics of Computing.

(4)

Operating Systems.

(4)

Operations Research, Management Science.

(4)

Probability and Statistics in Computer Science.

(4)

Software Engineering/Programming and Operating Systems.

(4)

(3)

Computer industry.

(3)

Computers -- Law and legislation.

(3)

(3)

Game Theory, Economics, Social and Behav. Sciences.

(3)

Geometry, algebraic.

(3)

Health Informatics.

(3)

Mathematical Logic and Foundations.

(3)

(3)

Microprogramming.

(3)

Special Purpose and Application-Based Systems.

(3)

Systems engineering.

(3)

Systems theory.

(3)

Applications of Mathematics.

(2)

Arithmetic and Logic Structures.

(2)

(2)

Biomedical engineering.

(2)

Computational Science and Engineering.

(2)

Computer Appl. in Administrative Data Processing.

(2)

Computer Appl. in Social and Behavioral Sciences.

(2)

Computer architecture.

(2)

Data transmission systems.

(2)

(2)

Economics -- Statistics.

(2)

Economics/Management Science.

(2)

Educational Technology.

(2)

Engineering economy.

(2)

Genetics -- Mathematics.

(2)

(2)

History of Computing.

(2)

Imaging / Radiology.

(2)

Management information systems.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematics Education.

(2)

Mathematics of Algorithmic Complexity.

(2)

Mechanical engineering.

(2)

Memory management (Computer science).

(2)

Microcomputers.

(2)

Microeconomics.

(2)

Microsoft .NET Framework.

(2)

Models and Principles.

(2)

Multimedia Information Systems.

(2)

(2)

Performance and Reliability.

(2)

Physical geography.

(2)

Processor Architectures.

(2)

Signal, Image and Speech Processing.

(2)

Algebraic Geometry.

(1)

Algebraic topology.

(1)

Algebras, Linear.

(1)

(1)

Appl.Mathematics/Computational Methods of Engineering.

(1)

(1)

(1)

Bilgisayar bilimi -- Amatörler için el kitabı.

(1)

Bilgisayar programlama.

(1)

Bilgisayar programları -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar programları.

(1)

Bilgisayar yazılımı -- El kitapları, kılavuzlar vb.

(1)

Bilgisayar yazılımı -- Veritabanları.

(1)

Bilgisayarlar -- El kiyapları v.b.

(1)

(1)

Biological models.

(1)

(1)

Business planning.

(1)

BİLGİSAYAR YAZILIMI.

(1)

C (Bilgisayar programlama dili)

(1)

C (Computer program language)

(1)

Calculus of Variations and Optimal Control; Optimization.

(1)

Cell aggregation -- Mathematics.

(1)

Chemical engineering.

(1)

Chemical process control -- Data processing.

(1)

Chemistry -- Mathematics.

(1)

Chemistry, Physical organic.

(1)

Computational Intelligence.

(1)

Computer Appl. in Arts and Humanities.

(1)

Computer Appl. in Life Sciences.

(1)

Computer System Implementation.

(1)

Computer files.

(1)

Computer input-output equipment.

(1)

Computer integrated manufacturing systems.

(1)

Computer organization.

(1)

Computer programming -- Handbooks, manuals, etc.

(1)

Computer programming.

(1)

Computer programs.

(1)

Computer science -- Amateurs' manuals.

(1)

Computer software -- Databases.

(1)

Computer software -- Development.

(1)

Computer software -- Handbooks, manuals, etc.

(1)

Computer software industry.

(1)

Computers -- Handbooks, manuals, etc.

(1)

Computers and Education.

(1)

(1)

(1)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

2174 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 182

000000000000DEFAULT

Print

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.

49.

Cover image for Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

Advances in Computational Intelligence 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II

Author

Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02840-4

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

Advances in Soft Computing 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I

Author

Castro, Félix. editor. Miranda-Jiménez, Sabino. editor. González-Mendoza, Miguel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-02837-4

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017

Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017

Artificial Intelligence and Evolutionary Computations in Engineering Systems Proceedings of ICAIECES 2017

Author

Dash, Subhransu Sekhar. editor. Naidu, Paruchuri Chandra Babu. editor. Bayindir, Ramazan. editor. Das, Swagatam. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-7868-2

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I

Author

Vaidya, Jaideep. editor. Li, Jin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05051-1

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection 16th International Conference, PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

Author

Demazeau, Yves. editor. An, Bo. editor. (orcid)0000-0002-7064-7438 Bajo, Javier. editor. Fernández-Caballero, Antonio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-94580-4

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part III

Author

Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Perfilieva, Irina. editor. Bouchon-Meunier, Bernadette. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91479-4

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Approximation and Online Algorithms 16th International Workshop, WAOA 2018, Helsinki, Finland, August 23-24, 2018, Revised Selected Papers

Author

Epstein, Leah. editor. Erlebach, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04693-4

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

Web and Internet Economics 14th International Conference, WINE 2018, Oxford, UK, December 15–17, 2018, Proceedings

Author

Christodoulou, George. editor. Harks, Tobias. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-04612-5

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Author

Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X Verlan, Sergey. editor. (orcid)0000-0001-7800-1618 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-92402-1

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Auction Based Resource Provisioning in Cloud Computing

Auction Based Resource Provisioning in Cloud Computing

Auction Based Resource Provisioning in Cloud Computing

Author

Baranwal, Gaurav. author. Kumar, Dinesh. author. Raza, Zahid. author. Vidyarthi, Deo Prakash. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-10-8737-0

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part I

Author

Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-98443-8

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Author

Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-96142-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7 .. 182

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11