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: Logic design.

Author

SpringerLink (Online service)

(1123)

Voronkov, Andrei. editor.

(15)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(7)

Liu, Zhiming. editor.

(7)

Woodcock, Jim. editor.

(7)

Baldoni, Matteo. editor.

(6)

Bernardo, Marco. editor.

(6)

Governatori, Guido. editor.

(6)

Potapov, Igor. editor.

(6)

Stafford, Judith A. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Calude, Cristian S. editor.

(5)

Dastani, Mehdi. editor.

(5)

Dongarra, Jack. editor. (orcid)0000-0003-3247-1782

(5)

Fages, François. editor.

(5)

Gorrieri, Roberto. editor.

(5)

Graf, Susanne. editor.

(5)

Leite, João. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Margaria, Tiziana. editor.

(5)

Martín-Vide, Carlos. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Ong, Luke. editor.

(5)

Palsberg, Jens. editor.

(5)

Peled, Doron A. editor.

(5)

Reed, Rick. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Steffen, Bernhard. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bravetti, Mario. editor.

(4)

Butler, Michael. editor.

(4)

Crnkovic, Ivica. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Fiadeiro, José Luiz. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Huisman, Marieke. editor.

(4)

Hähnle, Reiner. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

LaMeres, Brock J. author.

(4)

Leucker, Martin. editor.

(4)

Meseguer, José. editor.

(4)

Nicola, Rocco. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Peña, Ricardo. editor.

(4)

Rensink, Arend. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Schürr, Andy. editor.

(4)

Sirjani, Marjan. editor.

(4)

Son, Tran Cao. editor.

(4)

Torroni, Paolo. editor.

(4)

Ungerer, Theo. editor.

(4)

Veith, Helmut. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zsók, Viktória. editor.

(4)

Alpuente, María. editor.

(3)

Bensalem, Saddek. editor.

(3)

Bordini, Rafael H. editor.

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

Cavalcanti, Ana. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Damiani, Ferruccio. editor.

(3)

Dediu, Adrian-Horia. editor.

(3)

Derrick, John. editor.

(3)

Eekelen, Marko. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Fisher, Michael. editor.

(3)

Fomin, Fedor V. editor.

(3)

Fu, Haohuan. editor.

(3)

Gavrilova, Marina L. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Hermanns, Holger. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Jones, Cliff B. editor.

(3)

Karhumäki, Juhani. editor.

(3)

Katz, Shmuel. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Koutny, Maciej. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X

(3)

Kučera, Antonín. editor.

(3)

Lees, Michael Harold. editor.

(3)

Leuschel, Michael. editor.

(3)

Li, Jinwen. editor.

(3)

Lopes, Antónia. editor.

(3)

Majumdar, Rupak. editor.

(3)

Markov, Igor L. author.

(3)

Mayr, Heinrich C. editor.

(3)

Małuszyński, Jan. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Nerode, Anil. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paige, Richard F. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pfenning, Frank. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pol, Jaco. editor.

(3)

Queiroz, Ruy. editor.

(3)

Rahonis, George. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roşu, Grigore. editor.

(3)

Salaün, Gwen. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schätz, Bernhard. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Shi, Yong. editor.

(3)

Sichman, Jaime Simão. editor.

(3)

Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395

(3)

Sokolsky, Oleg. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Szyperski, Clemens. editor.

(3)

Taentzer, Gabriele. editor.

(3)

Tian, Yingjie. editor.

(3)

Torre, Leon. editor.

(3)

Vallecillo, Antonio. editor.

(3)

Vasconcelos, Wamberto. editor.

(3)

Vidal, Germán. editor.

(3)

Virbitskaite, Irina. editor.

(3)

Weiland, Michèle. editor. (orcid)0000-0003-4713-3073

(3)

Wirsing, Martin. editor.

(3)

Xiao, Liquan. editor.

(3)

Xu, Weixia. editor.

(3)

Yokota, Rio. editor. (orcid)0000-0001-7573-7873

(3)

Aalst, Wil M. P. editor.

(2)

Abdulla, Parosh Aziz. editor.

(2)

Aceto, Luca. editor.

(2)

Alfaro, Luca. editor.

(2)

Allemang, Dean. editor.

(2)

Anguita, Davide. author.

(2)

Artemov, Sergei. editor.

(2)

Ayala, José L. editor.

(2)

Baader, Franz. editor.

(2)

Baroglio, Cristina. editor.

(2)

Becker, Steffen. editor.

(2)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(2)

Bin, Eyal. editor.

(2)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(2)

Bjørner, Dines. author.

(2)

Bjørner, Nikolaj. editor.

(2)

Boella, Guido. editor.

(2)

Boissier, Olivier. editor.

(2)

Bonacina, Maria Paola. editor.

(2)

Book, Matthias. editor.

(2)

Bouajjani, Ahmed. editor.

(2)

Bowen, Jonathan P. editor.

(2)

Bozapalidis, Symeon. editor.

(2)

Brand, Mark. editor.

(2)

Caro, Jaime. editor.

(2)

Castagna, Giuseppe. editor.

(2)

Cerone, Antonio. editor.

(2)

Cervesato, Iliano. editor.

(2)

Chandrasekaran, Sunita. editor. (orcid)0000-0002-3560-9428

(2)

Chechik, Marsha. editor.

(2)

Chen, Jianer. editor.

(2)

Chitil, Olaf. editor.

(2)

Chockler, Hana. editor. (orcid)0000-0003-1219-0713

(2)

Cimatti, Alessandro. editor.

(2)

Cooper, S. Barry. editor.

(2)

Cortellessa, Vittorio. editor.

(2)

Cousot, Radhia. editor.

(2)

Das, Vinu V. editor.

(2)

Davies, Jim. editor.

(2)

Dawar, Anuj. editor.

(2)

Decker, Stefan. editor.

(2)

Language

(1140)

(9)

(2)

(1)

Publication Date

-

(128)

(117)

(114)

(113)

(112)

(110)

(105)

(99)

(98)

(97)

(38)

(4)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Computer science.

(1027)

Software engineering.

(742)

Artificial intelligence.

(343)

Computer Communication Networks.

(288)

Computer software.

(201)

Logics and Meanings of Programs.

(104)

Information Systems.

(100)

Computational complexity.

(96)

Operating systems (Computers).

(95)

Information systems.

(66)

Algebra -- Data processing.

(65)

Information theory.

(58)

Mathematical Logic and Formal Languages.

(55)

Computer simulation.

(54)

Computer system performance.

(51)

Programming Languages, Compilers, Interpreters.

(49)

Computer network architectures.

(47)

Data structures (Computer science).

(45)

Information storage and retrieval systems.

(43)

Systems engineering.

(33)

Artificial Intelligence (incl. Robotics).

(31)

Logic, Symbolic and mathematical.

(31)

(24)

Multimedia systems.

(24)

Computation by Abstract Devices.

(23)

Electronic data processing.

(23)

Programming Techniques.

(23)

(22)

Algorithm Analysis and Problem Complexity.

(21)

Data protection.

(21)

Database management.

(18)

Microprocessors.

(17)

Bioinformatics.

(16)

(15)

Computer aided design.

(15)

Electronic circuits.

(15)

Information Systems Applications (incl. Internet).

(15)

Data transmission systems.

(14)

(14)

(13)

Data encryption (Computer science).

(13)

Computer security.

(12)

Computer vision.

(12)

Discrete Mathematics in Computer Science.

(12)

Management information systems.

(12)

Management of Computing and Information Systems.

(12)

Computer hardware.

(11)

Computer industry.

(10)

Digital electronics.

(9)

Computer organization.

(8)

Data structures (Computer scienc.

(8)

Microprogramming.

(8)

(7)

Logic circuits.

(7)

(7)

Memory management (Computer science).

(7)

Programming languages (Electronic computers).

(7)

Translators (Computer programs).

(7)

Simulation and Modeling.

(6)

Computer architecture.

(5)

Computer communication systems.

(5)

Information Storage and Retrieval.

(5)

Mathematical Logic and Foundations.

(5)

Microprogramming .

(5)

Operating Systems.

(5)

Optical pattern recognition.

(5)

Social sciences -- Data processing.

(5)

Special Purpose and Application-Based Systems.

(5)

Symbolic and Algebraic Manipulation.

(5)

Theory of Computation.

(5)

Arithmetic and Logic Structures.

(4)

Computer Science, general.

(4)

Data Mining and Knowledge Discovery.

(4)

Electronic books.

(4)

Electronic digital computers -- Circuits.

(4)

(4)

Math Applications in Computer Science.

(4)

Mathematics of Computing.

(4)

Probability and Statistics in Computer Science.

(4)

Processor Architectures.

(4)

Software Engineering/Programming and Operating Systems.

(4)

Telecommunication.

(4)

Architecture, Computer.

(3)

Circuits and Systems.

(3)

Computational Biology/Bioinformatics.

(3)

Computer Appl. in Administrative Data Processing.

(3)

(3)

Electronic Circuits and Systems.

(3)

Engineering design.

(3)

MANTIKSAL DEVRELER.

(3)

MANTIKSAL TASARIM.

(3)

Mathematical logic.

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

System Performance and Evaluation.

(3)

Text processing (Computer science.

(3)

(2)

Application-specific integrated circuits.

(2)

Arithmetic and logic units, Computer.

(2)

Business Information Systems.

(2)

Computational intelligence.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer engineering.

(2)

Computer system failures.

(2)

Control Structures and Microprogramming.

(2)

Digital integrated circuits.

(2)

Electrical engineering.

(2)

Electronic circuits--Testing.

(2)

Engineering mathematics.

(2)

Information and Communication, Circuits.

(2)

Input-output equipment (Computers).

(2)

Integrated circuits.

(2)

Linear integrated circuits.

(2)

Logic circuits--Computer-aided design.

(2)

Mantıksal Devreler.

(2)

Mantıksal tasarım.

(2)

Memory Structures.

(2)

Nanotechnology.

(2)

Philosophy (General).

(2)

(2)

Signal processing.

(2)

Systems and Data Security.

(2)

User Interfaces and Human Computer Interaction.

(2)

Amplifiers (Electronics).

(1)

Analog-to-digital converters.

(1)

Application software.

(1)

Asynchronous circuits -- Design and construction.

(1)

(1)

Bipolar transistors.

(1)

(1)

Chemistry -- Mathematics.

(1)

(1)

Coding and Information Theory.

(1)

Computational linguistics.

(1)

Computer Appl. in Social and Behavioral Sciences.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer graphics.

(1)

Computer integrated manufacturing systems.

(1)

Computer interfaces.

(1)

Computer logic.

(1)

Computer programming.

(1)

Computer science—Mathematics.

(1)

Computerarchitektur.

(1)

Computers -- Law and legislation.

(1)

Computers and Education.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Control engineering systems.

(1)

Control theory.

(1)

(1)

Data Structures, Cryptology and Information Theory.

(1)

Data Structures.

(1)

(1)

(1)

Digital integrated circuits -- Design and construction.

(1)

Digital multimeters.

(1)

(1)

Discrete cosine transforms.

(1)

Discrete groups.

(1)

Document Preparation and Text Processing.

(1)

ELEKTRONİK SAYISAL BİLGİSAYARLAR -- DEVRELER.

(1)

(1)

Economics/Management Science.

(1)

Electric networks, Passive.

(1)

Electronic apparatus and appliances.

(1)

Electronic instruments, Digital.

(1)

Electronics and Microelectronics, Instrumentation.

(1)

Elektronik Sayısal Bilgisayarlar -- Devreler.

(1)

Elektronik sayısal bilgisayarlar -- Devreler.

(1)

Expert systems (Computer science).

(1)

Feedback (Electronics).

(1)

Feedforward control systems.

(1)

Genetic epistemology.

(1)

History of Computing.

(1)

History of Mathematical Sciences.

(1)

Information Systems and Communication Service.

(1)

Instruments--Display systems.

(1)

Integrated circuits--Design and construction.

(1)

Integrated circuits--Testing.

(1)

Integrated circuits--Very large scale integration.

(1)

Linear systems.

(1)

Linguistics -- Philosophy.

(1)

Logic circuits -- Design and construction.

(1)

Mantıksal Tasarım.

(1)

Mantıksal devreler.

(1)

Matematiksel mantık.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematical analysis.

(1)

Medical records -- Data processing.

(1)

Memory management (Computer scie.

(1)

Microcomputers--Buses.

(1)

Microwave amplifiers.

(1)

Mikrocontroller.

(1)

Models and Principles.

(1)

Molecular electronics.

(1)

Natural language processing (Computer science).

(1)

Nonlinear control theory.

(1)

Numeric Computing.

(1)

Numerical analysis.

(1)

Operational amplifiers.

(1)

Material Type

Shelf Location

Beytepe General Collection

Electronic Library

Library

Beytepe Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

1153 Results Found

Subscribe to search results

1 .. 77 78 79 80 81 .. 97

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 Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

Author

Mycroft, Alan. editor. Zeller, Andreas. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11688839

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

Author

Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691372

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Author

Baresi, Luciano. editor. Heckel, Reiko. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11693017

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

Author

Sestoft, Peter. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11693024

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

Author

Valmari, Antti. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691617

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Declarative Agent Languages and Technologies III Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

Author

Baldoni, Matteo. editor. Endriss, Ulle. editor. Omicini, Andrea. editor. Torroni, Paolo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11691792

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

Natural Language Processing and Information Systems 11th International Conference on Applications of Natural Language to Information Systems, NLDB 2006, Klagenfurt, Austria, May 31 - June 2, 2006. Proceedings

Author

Kop, Christian. editor. Fliedl, Günther. editor. Mayr, Heinrich C. editor. Métais, Elisabeth. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11765448

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Author

Gorrieri, Roberto. editor. Wehrheim, Heike. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11768869

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings

Author

Abrahamsson, Pekka. editor. Marchesi, Michele. editor. Succi, Giancarlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11774129

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Distributed Applications and Interoperable Systems 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Author

Eliassen, Frank. editor. Montresor, Alberto. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11773887

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers

Author

Boissier, Olivier. editor. Padget, Julian. editor. Dignum, Virginia. editor. Lindemann, Gabriela. editor. Matson, Eric. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11775331

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Formal Methods and Stochastic Models for Performance Evaluation Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006. Proceedings

Author

Horváth, András. editor. Telek, Miklós. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11777830

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 77 78 79 80 81 .. 97

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11