Search Results for Software

|

|

|

|

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:

+

Konu: Computer software.

Author

SpringerLink (Online service)

(2176)

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)

Lopez, Cesar. author.

(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)

Language

(2163)

(14)

(5)

(3)

(3)

(1)

Publication Date

-

(346)

(316)

(308)

(222)

(176)

(171)

(168)

(160)

(151)

(143)

(14)

(3)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(2011)

Computer Communication Networks.

(873)

Artificial intelligence.

(857)

Software engineering.

(554)

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)

Computer science -- Mathematics.

(35)

Data Mining and Knowledge Discovery.

(35)

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)

Mathematical Software.

(22)

(21)

Logics and Meanings of Programs.

(21)

Management of Computing and Information Systems.

(20)

Multimedia systems.

(20)

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)

Compilers (Computer programs).

(11)

Compilers and Interpreters.

(11)

(11)

Programming Languages, Compilers, Interpreters.

(11)

(10)

Programming Techniques.

(10)

Social sciences -- Data processing.

(10)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(9)

(9)

Engineering mathematics.

(9)

Operations research.

(9)

(8)

Computer Science, general.

(8)

Computer aided design.

(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)

Radiology, Medical.

(7)

Computer hardware.

(6)

Natural language processing (Computer science).

(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)

(5)

(5)

Symbolic and Algebraic Manipulation.

(5)

User Interfaces and Human Computer Interaction.

(5)

Computer industry.

(4)

(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)

Biomedical engineering.

(3)

(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)

Mathematical Modeling and Industrial Mathematics.

(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)

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 Applications in Computer Science.

(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)

Application software.

(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)

Biomedical Engineering and Bioengineering.

(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 Engineering and Networks.

(1)

Computer System Implementation.

(1)

Computer and Information Systems Applications.

(1)

Computer engineering.

(1)

Computer files.

(1)

Computer input-output equipment.

(1)

Computer integrated manufacturing systems.

(1)

Computer networks .

(1)

Computer organization.

(1)

Computer programming -- Handbooks, manuals, etc.

(1)

Computer programming.

(1)

Computer programs.

(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

2189 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 183

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.

1.

Cover image for Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Author

Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Castagna, Giuseppe. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

Author

Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Compiler Construction 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Moor, Oege. editor. Schwartzbach, Michael I. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Author

Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Fast Software Encryption 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

Author

Nyberg, Kaisa. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71039-4

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-78800-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings

Author

Liu, Shaoying. editor. Maibaum, Tom. editor. Araki, Keijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-88194-0

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Fast Software Encryption 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers

Author

Biryukov, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-74619-5

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers

Author

Okada, Mitsu. editor. Satoh, Ichiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77505-8

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-71209-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings

Author

Arvind, V. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-77050-3

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 183

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11