Search Results for

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Software engineering.

Author

SpringerLink (Online service)

(3724)

Gervasi, Osvaldo. editor.

(39)

Taniar, David. editor.

(38)

Apduhan, Bernady O. editor.

(37)

Dongarra, Jack. editor.

(29)

Kim, Tai-hoon. editor.

(29)

Yang, Laurence T. editor.

(25)

Murgante, Beniamino. editor.

(22)

Gavrilova, Marina L. editor.

(21)

Meersman, Robert. editor.

(19)

Sloot, Peter M. A. editor.

(19)

Misra, Sanjay. editor. (orcid)0000-0002-3556-9331

(18)

Filipe, Joaquim. editor.

(17)

Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X

(17)

Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959

(17)

Albada, Geert Dick. editor.

(16)

Margaria, Tiziana. editor.

(16)

Nagamalai, Dhinaharan. editor.

(16)

Lee, Roger. editor.

(14)

Li, Daoliang. editor.

(14)

Palanque, Philippe. editor.

(14)

Ślęzak, Dominik. editor.

(14)

Herrero, Pilar. editor.

(13)

Meyer, Bertrand. editor.

(13)

Mun, Youngsong. editor.

(13)

Rozenberg, Grzegorz. editor.

(13)

Stephanidis, Constantine. editor.

(13)

Voronkov, Andrei. editor.

(13)

Chaki, Nabendu. editor.

(12)

Meghanathan, Natarajan. editor.

(12)

Nguyen, Ngoc Thanh. editor.

(12)

Romanovsky, Alexander. editor.

(12)

Torre, Carmelo. editor. (orcid)0000-0003-4737-6040

(12)

Winckler, Marco. editor.

(12)

Bernardo, Marco. editor.

(11)

Cordeiro, José. editor.

(11)

Guo, Minyi. editor.

(11)

Kang, Byeong-Ho. editor.

(11)

Messnarz, Richard. editor.

(11)

Rocha, Ana Maria A.C. editor. (orcid)0000-0001-8679-2886

(11)

Stankova, Elena. editor. (orcid)0000-0003-2625-452X

(11)

Steffen, Bernhard. editor.

(11)

Taniar, David. editor. (orcid)0000-0002-8862-3960

(11)

Tarantino, Eufemia. editor. (orcid)0000-0002-2468-0771

(11)

Yung, Moti. editor.

(11)

Alexander, Michael. editor.

(10)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Damiani, Ernesto. editor.

(10)

Dillon, Tharam. editor.

(10)

El-Qawasmeh, Eyas. editor.

(10)

Lei, Jingsheng. editor.

(10)

Liu, Zhiming. editor.

(10)

Maciaszek, Leszek A. editor.

(10)

Reussner, Ralf. editor.

(10)

Shishkov, Boris. editor.

(10)

Tan, C. J. Kenneth. editor.

(10)

Wang, Fu Lee. editor.

(10)

Adeli, Hojjat. editor.

(9)

Dix, Jürgen. editor.

(9)

Kumar, Vipin. editor.

(9)

Lemos, Rogério. editor.

(9)

Misra, Sanjay. editor.

(9)

Woodcock, Jim. editor.

(9)

Abrahamsson, Pekka. editor.

(8)

Anderson, Tom. editor.

(8)

Barthe, Gilles. editor.

(8)

Das, Vinu V. editor.

(8)

Giese, Holger. editor.

(8)

Governatori, Guido. editor.

(8)

Karczewski, Konrad. editor.

(8)

Koucheryavy, Yevgeni. editor.

(8)

Krogstie, John. editor.

(8)

Proper, Erik. editor.

(8)

Rana, Omer F. editor.

(8)

Vinel, Alexey. editor.

(8)

Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853

(8)

Broy, Manfred. editor.

(7)

Chen, Yingyi. editor.

(7)

Cheng, Long. editor. (orcid)0000-0001-7565-8788

(7)

Dastani, Mehdi. editor.

(7)

Halang, Wolfgang A. editor.

(7)

Helfert, Markus. editor.

(7)

Huang, Xiong. editor.

(7)

Jeannot, Emmanuel. editor.

(7)

Kleuker, Stephan. author.

(7)

Laganà, Antonio. editor.

(7)

Leung, Andrew Chi Sing. editor.

(7)

Luo, Yuhua. editor.

(7)

Martino, Beniamino. editor.

(7)

Mokhtari, Mounir. editor.

(7)

Nurcan, Selmin. editor.

(7)

Ozawa, Seiichi. editor.

(7)

O’Connor, Rory V. editor.

(7)

Paige, Richard F. editor.

(7)

Salomaa, Arto. editor.

(7)

Sillitti, Alberto. editor.

(7)

Sinderen, Marten. editor.

(7)

Tari, Zahir. editor.

(7)

Zavattaro, Gianluigi. editor.

(7)

Baldoni, Matteo. editor.

(6)

Beckert, Bernhard. editor.

(6)

Benatallah, Boualem. editor.

(6)

Boldyreva, Alexandra. editor.

(6)

Bubak, Marian. editor.

(6)

Cannataro, Mario. editor.

(6)

Cruz-Cunha, Maria Manuela. editor.

(6)

Cuzzocrea, Alfredo. editor.

(6)

Daniel, Florian. editor.

(6)

Deng, Hepu. editor.

(6)

Dietz, Jan L. G. editor.

(6)

Elleithy, Khaled. editor.

(6)

Falcão, Maria Irene. editor.

(6)

Fortino, Giancarlo. editor.

(6)

Gacek, Cristina. editor.

(6)

Goll, Joachim. author.

(6)

Graf, Susanne. editor.

(6)

Gruhn, Volker. editor.

(6)

Hameurlain, Abdelkader. editor.

(6)

Hammoudi, Slimane. editor.

(6)

Hauswirth, Manfred. editor.

(6)

Holleczek, Peter. editor.

(6)

Jensen, Kurt. editor.

(6)

Jones, Cliff B. editor.

(6)

Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194

(6)

Kotzé, Paula. editor.

(6)

Koutny, Maciej. editor.

(6)

Kronland-Martinet, Richard. editor.

(6)

Kurosu, Masaaki. editor.

(6)

Laganá, Antonio. editor.

(6)

Legay, Axel. editor.

(6)

Ma, Jianhua. editor.

(6)

Malyshkin, Victor. editor.

(6)

Manolopoulos, Yannis. editor.

(6)

Noble, James. editor.

(6)

Paschke, Adrian. editor.

(6)

Potapov, Igor. editor.

(6)

Prasanna, Viktor K. editor.

(6)

Rammig, Franz J. editor.

(6)

Rashid, Awais. editor.

(6)

Reed, Rick. editor.

(6)

Rijmen, Vincent. editor.

(6)

Rocha, Ana Maria Alves Coutinho. editor. (orcid)0000-0001-8679-2886

(6)

Rocha, Jorge Gustavo. editor.

(6)

Schmidt, Rainer. editor.

(6)

Scott, Stephen L. editor.

(6)

Soffer, Pnina. editor.

(6)

Stafford, Judith A. editor.

(6)

Stojmenovic, Ivan. editor.

(6)

Succi, Giancarlo. editor.

(6)

Unland, Rainer. editor.

(6)

Waśniewski, Jerzy. editor.

(6)

Winikoff, Michael. editor.

(6)

Wyrzykowski, Roman. editor.

(6)

Xiang, Yang. editor.

(6)

Yeo, Sang-Soo. editor.

(6)

Ystad, Sølvi. editor.

(6)

Zhang, Yanchun. editor.

(6)

Aksit, Mehmet. editor.

(5)

Al-Begain, Khalid. editor.

(5)

Ali, Moonis. editor.

(5)

Altmann, Jörn. editor.

(5)

Arbab, Farhad. editor.

(5)

Artikis, Alexander. editor.

(5)

Aßmann, Uwe. editor.

(5)

Baresi, Luciano. editor.

(5)

Barjis, Joseph. editor.

(5)

Bellahsène, Zohra. editor.

(5)

Bellalta, Boris. editor.

(5)

Bellatreche, Ladjel. editor.

(5)

Bergsmann, Johannes. editor.

(5)

Biffl, Stefan. editor.

(5)

Boles, Dietrich. author.

(5)

Bordini, Rafael H. editor.

(5)

Bravo, José. editor.

(5)

Butler, Michael. editor.

(5)

Cao, Jiannong. editor.

(5)

Carlini, Maurizio. editor.

(5)

Cavalcanti, Ana. editor.

(5)

Chapman, Barbara M. editor.

(5)

Choo, Hyunseung. editor.

(5)

Cuppens, Frédéric. editor.

(5)

Dorling, Alec. editor.

(5)

Fiadeiro, José Luiz. editor.

(5)

Fiems, Dieter. editor.

(5)

Franch, Xavier. editor.

(5)

Fred, Ana. editor.

(5)

Gheorghe, Marian. editor.

(5)

Gibbons, Jeremy. editor.

(5)

Gulliksen, Jan. editor.

(5)

Halpin, Terry. editor.

(5)

Heckel, Reiko. editor.

(5)

Higashino, Teruo. editor.

(5)

Horváth, Zoltán. editor.

(5)

Hsu, Ching-Hsien. editor.

(5)

Huisman, Marieke. editor.

(5)

Iglesias, Andrés. editor.

(5)

Jin, Hai. editor.

(5)

Keller, Rainer. editor.

(5)

Kiumi, Akingbehin. editor.

(5)

Language

(3565)

(229)

(11)

(3)

(1)

Publication Date

-

(424)

(400)

(369)

(343)

(334)

(327)

(295)

(285)

(280)

(267)

(235)

(198)

(22)

(8)

(5)

(5)

(5)

(5)

(4)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(2980)

Computer Communication Networks.

(1161)

Artificial intelligence.

(977)

Information systems.

(822)

(742)

Computer software.

(552)

Information storage and retrieval systems.

(393)

Information Systems.

(344)

Computer simulation.

(318)

Operating systems (Computers).

(298)

Computer network architectures.

(272)

Management information systems.

(267)

Computer system performance.

(242)

(192)

Database management.

(183)

Computer vision.

(171)

(157)

Information theory.

(154)

Data encryption (Computer science).

(151)

Data protection.

(139)

Application software.

(117)

Computer logic.

(96)

(96)

Electronic data processing.

(93)

Information Systems Applications (incl. Internet).

(92)

Multimedia systems.

(92)

Data structures (Computer science).

(89)

Computer communication systems.

(84)

Computer security.

(83)

Telecommunication.

(82)

Programming languages (Electronic computers).

(81)

Computational complexity.

(80)

Logics and Meanings of Programs.

(77)

(67)

Programming Languages, Compilers, Interpreters.

(67)

(66)

Artificial Intelligence (incl. Robotics).

(65)

Systems engineering.

(61)

Optical pattern recognition.

(60)

Management of Computing and Information Systems.

(58)

(53)

Algorithm Analysis and Problem Complexity.

(49)

Bioinformatics.

(48)

Computer hardware.

(48)

Mathematical logic.

(48)

(47)

Computer organization.

(46)

Computer industry.

(43)

Information Storage and Retrieval.

(43)

Mathematical Logic and Formal Languages.

(43)

Programming Techniques.

(43)

Algebra -- Data processing.

(39)

Computer aided design.

(39)

Special Purpose and Application-Based Systems.

(39)

Computer system failures.

(35)

Computer programming.

(33)

Software Engineering/Programming and Operating Systems.

(33)

Social sciences -- Data processing.

(32)

Business Information Systems.

(31)

Computer graphics.

(31)

(30)

Engineering mathematics.

(30)

Computer Appl. in Administrative Data Processing.

(29)

Simulation and Modeling.

(29)

Optical data processing.

(28)

User Interfaces and Human Computer Interaction.

(28)

(27)

Information technology.

(26)

User interfaces (Computer systems).

(26)

System Performance and Evaluation.

(24)

Computation by Abstract Devices.

(23)

Computer engineering.

(21)

Computer science -- Mathematics.

(21)

Computers and Society.

(21)

Data transmission systems.

(21)

Microprogramming.

(20)

Special purpose computers.

(20)

Business planning.

(19)

Data structures (Computer scienc.

(19)

Computational intelligence.

(18)

Computer science—Mathematics.

(18)

Computers and civilization.

(18)

Operating Systems.

(18)

Electronic books.

(17)

(17)

Medical records -- Data processing.

(17)

Yazılım mühendisliği.

(17)

Data Mining and Knowledge Discovery.

(16)

Systems and Data Security.

(16)

(15)

Business—Data processing.

(14)

Engineering design.

(14)

Electronic commerce.

(13)

Engineering economy.

(13)

(13)

Industrial engineering.

(12)

Data Encryption.

(11)

Information storage and retrieval.

(11)

(10)

Computer Applications.

(10)

Economics/Management Science.

(10)

Information Systems and Communication Service.

(10)

Natural language processing (Computer science).

(10)

Computer Science, general.

(9)

Computer software -- Development.

(9)

Pattern Recognition.

(9)

Pattern recognition.

(9)

Architecture, Computer.

(8)

Biology -- Data processing.

(8)

Computers and Education.

(8)

Theory of Computation.

(8)

Communications Engineering, Networks.

(7)

Computers -- Law and legislation.

(7)

Discrete Mathematics in Computer Science.

(7)

Génie logiciel.

(7)

Logic, Symbolic and mathematical.

(7)

Multimedia Information Systems.

(7)

Text processing (Computer science.

(7)

e-Commerce/e-business.

(7)

(6)

Computational Biology/Bioinformatics.

(6)

Computer System Implementation.

(6)

Control engineering systems.

(6)

Education—Data processing.

(6)

Mathematical statistics.

(6)

Microprogramming .

(6)

Project management.

(6)

Software engineering

(6)

(5)

COMPUTERS -- Software Development & Engineering -- General.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Electrical engineering.

(5)

Industrial management.

(5)

Memory management (Computer science).

(5)

Models and Principles.

(5)

Monoclonal antibodies.

(5)

Probability and Statistics in Computer Science.

(5)

Translators (Computer programs).

(5)

COMPUTERS / Programming / Software Development

(4)

Civil engineering.

(4)

Computer Systems Organization and Communication Networks.

(4)

Computer networks.

(4)

Computer software -- Development -- Management.

(4)

Data Structures.

(4)

(4)

Embedded computer systems.

(4)

(4)

Image Processing and Computer Vision.

(4)

Industrial procurement.

(4)

Input-output equipment (Computers).

(4)

Internet of things.

(4)

Machine learning.

(4)

(4)

Mathematical geography.

(4)

(4)

Performance and Reliability.

(4)

Remote sensing.

(4)

(4)

Software architecture.

(4)

Symbolic and Algebraic Manipulation.

(4)

(3)

Banks and banking.

(3)

Chemical engineering.

(3)

(3)

Computational Intelligence.

(3)

Computer programming -- Management.

(3)

Computer software -- Quality control.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Data and Information Security.

(3)

Electronic circuits.

(3)

Engineering -- Data processing.

(3)

Geographical information systems.

(3)

Innovation/Technology Management.

(3)

Knowledge management.

(3)

Law and legislation.

(3)

(3)

Mathematical optimization.

(3)

Microprocessors.

(3)

Mobile computing.

(3)

Numerical analysis.

(3)

Object-oriented programming (Computer science)

(3)

Project Management.

(3)

Software engineering -- Management.

(3)

Systems theory.

(3)

YAZILIM MÜHENDİSLİĞİ.

(3)

(2)

Application software -- Development.

(2)

(2)

Bilgisayar ağları.

(2)

Bilgisayar yazılımı -- Geliştirme.

(2)

(2)

Biomedical engineering.

(2)

Business logistics.

(2)

COMPUTERS -- Programming -- Open Source.

(2)

COMPUTERS -- Software Development & Engineering -- Tools.

(2)

COMPUTERS / Computer Graphics / Game Programming & Design

(2)

COMPUTERS / Computer Science

(2)

COMPUTERS / Information Technology

(2)

COMPUTERS / Programming / Open Source

(2)

COMPUTERS / Software Development & Engineering / General

(2)

Material Type

Shelf Location

Beytepe General Collection

Beytepe Tez Koleksiyonu

Electronic Library

Taylor Francis E-Book Collection

Wiley E-Book Collection

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

3826 Results Found

Subscribe to search results

1 .. 263 264 265 266 267 .. 319

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 Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Universal Access in Human-Computer Interaction. Ambient Interaction 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part II

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Universal Access in Human-Computer Interaction. Applications and Services 4th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2007 Held as Part of HCI International 2007 Beijing, China, July 22-27, 2007 Proceedings, Part III

Author

Stephanidis, Constantine. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

Author

Pfenning, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Business Process Management Concepts, Languages, Architectures

Business Process Management Concepts, Languages, Architectures

Business Process Management Concepts, Languages, Architectures

Author

Weske, Mathias. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

Dependable and Adaptable Networks and Services 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007. Proceedings

Author

Pras, Aiko. editor. Sinderen, Marten. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

Data and Applications Security XXI 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings

Author

Barker, Steve. editor. Ahn, Gail-Joon. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

Autonomic and Trusted Computing 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007. Proceedings

Author

Xiao, Bin. editor. Yang, Laurence T. editor. Ma, Jianhua. editor. Muller-Schloer, Christian. editor. Hua, Yu. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Author

Schmidt, Heinz W. editor. Crnkovic, Ivica. editor. Heineman, George T. editor. Stafford, Judith A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

Author

Malyshkin, Victor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Author

Nielson, Hanne Riis. editor. Filé, Gilberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Author

Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers

Author

Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 263 264 265 266 267 .. 319

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11