Search Results for Software engineering.

|

|

|

|

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

Author

SpringerLink (Online service)

(3961)

Gervasi, Osvaldo. editor.

(44)

Taniar, David. editor.

(43)

Apduhan, Bernady O. editor.

(42)

Dongarra, Jack. editor.

(29)

Kim, Tai-hoon. editor.

(29)

Murgante, Beniamino. editor.

(27)

Gavrilova, Marina L. editor.

(26)

Yang, Laurence T. editor.

(25)

Meersman, Robert. editor.

(21)

Filipe, Joaquim. editor.

(20)

Lee, Roger. editor.

(19)

Sloot, Peter M. A. editor.

(19)

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

(18)

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)

Meyer, Bertrand. editor.

(15)

Li, Daoliang. editor.

(14)

Misra, Sanjay. editor.

(14)

Nguyen, Ngoc Thanh. editor.

(14)

Palanque, Philippe. editor.

(14)

Ślęzak, Dominik. editor.

(14)

Chaki, Nabendu. editor.

(13)

Herrero, Pilar. editor.

(13)

Maciaszek, Leszek A. editor.

(13)

Mun, Youngsong. editor.

(13)

Rozenberg, Grzegorz. editor.

(13)

Stephanidis, Constantine. editor.

(13)

Voronkov, Andrei. editor.

(13)

Winckler, Marco. editor.

(13)

Bernardo, Marco. editor.

(12)

Cordeiro, José. editor.

(12)

Meghanathan, Natarajan. editor.

(12)

Messnarz, Richard. editor.

(12)

Romanovsky, Alexander. editor.

(12)

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

(12)

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

(12)

Guo, Minyi. editor.

(11)

Kang, Byeong-Ho. editor.

(11)

Liu, Zhiming. 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)

Dastani, Mehdi. editor.

(10)

Dillon, Tharam. editor.

(10)

El-Qawasmeh, Eyas. editor.

(10)

Lei, Jingsheng. editor.

(10)

Reussner, Ralf. editor.

(10)

Shishkov, Boris. editor.

(10)

Tan, C. J. Kenneth. editor.

(10)

Taylor and Francis.

(10)

Wang, Fu Lee. editor.

(10)

Abrahamsson, Pekka. editor.

(9)

Adeli, Hojjat. editor.

(9)

Dix, Jürgen. editor.

(9)

Hammoudi, Slimane. editor.

(9)

Kumar, Vipin. editor.

(9)

Lemos, Rogério. editor.

(9)

Woodcock, Jim. editor.

(9)

Anderson, Tom. editor.

(8)

Barthe, Gilles. editor.

(8)

Das, Vinu V. editor.

(8)

Elleithy, Khaled. editor.

(8)

Giese, Holger. editor.

(8)

Governatori, Guido. editor.

(8)

Karczewski, Konrad. editor.

(8)

Koucheryavy, Yevgeni. editor.

(8)

Krogstie, John. editor.

(8)

Nambiar, Raghunath. editor.

(8)

Nurcan, Selmin. editor.

(8)

Poess, Meikel. editor.

(8)

Proper, Erik. editor.

(8)

Rana, Omer F. editor.

(8)

Vinel, Alexey. editor.

(8)

Wiley InterScience (Online service)

(8)

Baldoni, Matteo. editor.

(7)

Bergsmann, Johannes. editor.

(7)

Biffl, Stefan. editor.

(7)

Broy, Manfred. editor.

(7)

Chapman, Barbara M. editor.

(7)

Chen, Yingyi. editor.

(7)

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

(7)

Graf, Susanne. editor.

(7)

Halang, Wolfgang A. editor.

(7)

Helfert, Markus. editor.

(7)

Huang, Xiong. editor.

(7)

Jeannot, Emmanuel. editor.

(7)

John Wiley & Sons.

(7)

Kleuker, Stephan. author.

(7)

Laganà, Antonio. editor.

(7)

Leung, Andrew Chi Sing. editor.

(7)

Luo, Yuhua. editor.

(7)

Manolopoulos, Yannis. editor.

(7)

Martino, Beniamino. editor.

(7)

Mokhtari, Mounir. editor.

(7)

Ozawa, Seiichi. editor.

(7)

O’Connor, Rory V. editor.

(7)

Paige, Richard F. editor.

(7)

Paschke, Adrian. editor.

(7)

Rashid, Awais. editor.

(7)

Salomaa, Arto. editor.

(7)

Sillitti, Alberto. editor.

(7)

Sinderen, Marten. editor.

(7)

Sirjani, Marjan. editor.

(7)

Sobh, Tarek. editor.

(7)

Stojmenovic, Ivan. editor.

(7)

Tari, Zahir. editor.

(7)

Zavattaro, Gianluigi. editor.

(7)

Aßmann, Uwe. editor.

(6)

Baresi, Luciano. editor.

(6)

Beckert, Bernhard. editor.

(6)

Bellatreche, Ladjel. editor.

(6)

Benatallah, Boualem. editor.

(6)

Boldyreva, Alexandra. editor.

(6)

Bubak, Marian. editor.

(6)

Butler, Michael. 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)

Falcão, Maria Irene. editor.

(6)

Fortino, Giancarlo. editor.

(6)

Gacek, Cristina. editor.

(6)

Goll, Joachim. author.

(6)

Gruhn, Volker. editor.

(6)

Hameurlain, Abdelkader. editor.

(6)

Hauswirth, Manfred. editor.

(6)

Holleczek, Peter. editor.

(6)

Hsu, Ching-Hsien. editor.

(6)

Jensen, Kurt. editor.

(6)

Jin, Hai. 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)

Noble, James. editor.

(6)

Núñez, Manuel. editor.

(6)

Potapov, Igor. editor.

(6)

Prasanna, Viktor K. editor.

(6)

Rammig, Franz J. 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)

Roman, Dumitru. editor.

(6)

Rumpe, Bernhard. editor.

(6)

Schmidt, Rainer. editor.

(6)

Scott, Stephen L. editor.

(6)

Silhavy, Petr. editor.

(6)

Silhavy, Radek. editor.

(6)

Soffer, Pnina. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Succi, Giancarlo. editor.

(6)

Unland, Rainer. editor.

(6)

Vardanega, Tullio. 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)

Barjis, Joseph. editor.

(5)

Bellahsène, Zohra. editor.

(5)

Bellalta, Boris. editor.

(5)

Boles, Dietrich. author.

(5)

Bordini, Rafael H. editor.

(5)

Bravo, José. editor.

(5)

Camarinha-Matos, Luis M. editor.

(5)

Cao, Jiannong. editor.

(5)

Carlini, Maurizio. editor.

(5)

Cavalcanti, Ana. editor.

(5)

Choo, Hyunseung. editor.

(5)

Crnkovic, Ivica. editor.

(5)

Cuppens, Frédéric. editor.

(5)

Language

(3919)

(233)

(13)

(3)

(2)

(1)

Publication Date

-

(446)

(421)

(390)

(360)

(348)

(335)

(310)

(296)

(295)

(277)

(253)

(224)

(124)

(89)

(11)

(9)

(8)

(7)

(7)

(6)

(5)

(5)

(4)

(4)

(3)

(3)

(2)

(2)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

(1)

Subject

Software engineering.

(3808)

Computer science.

(2998)

Computer Communication Networks.

(1167)

Artificial intelligence.

(1021)

Information systems.

(825)

(747)

Computer software.

(558)

Information storage and retrieval systems.

(396)

Information Systems.

(344)

Computer simulation.

(322)

Operating systems (Computers).

(300)

Computer network architectures.

(274)

Management information systems.

(272)

Computer system performance.

(245)

(200)

Database management.

(191)

(177)

Computer vision.

(173)

Information theory.

(155)

Data encryption (Computer science).

(152)

Data protection.

(139)

Application software.

(125)

Computer logic.

(100)

(100)

Electronic data processing.

(94)

Information Systems Applications (incl. Internet).

(92)

Multimedia systems.

(92)

Telecommunication.

(91)

Computer security.

(90)

Data structures (Computer science).

(90)

Programming languages (Electronic computers).

(89)

Computer communication systems.

(86)

Computational complexity.

(80)

Logics and Meanings of Programs.

(77)

(69)

(69)

Programming Languages, Compilers, Interpreters.

(67)

Artificial Intelligence (incl. Robotics).

(65)

Systems engineering.

(62)

Optical pattern recognition.

(60)

Management of Computing and Information Systems.

(58)

(55)

Mathematical logic.

(51)

Algorithm Analysis and Problem Complexity.

(49)

Computer hardware.

(49)

Bioinformatics.

(48)

Computer organization.

(48)

(48)

Computer industry.

(45)

Information Storage and Retrieval.

(44)

Mathematical Logic and Formal Languages.

(43)

Programming Techniques.

(43)

Computer aided design.

(42)

Computer system failures.

(42)

Algebra -- Data processing.

(39)

Special Purpose and Application-Based Systems.

(39)

Computational intelligence.

(38)

Computer programming.

(37)

Electronic books.

(36)

Engineering mathematics.

(36)

Social sciences -- Data processing.

(34)

Software Engineering/Programming and Operating Systems.

(33)

(32)

Business Information Systems.

(31)

Computer graphics.

(31)

Computer Appl. in Administrative Data Processing.

(29)

Optical data processing.

(29)

Simulation and Modeling.

(29)

User Interfaces and Human Computer Interaction.

(28)

Information technology.

(27)

(27)

User interfaces (Computer systems).

(27)

System Performance and Evaluation.

(24)

Computation by Abstract Devices.

(23)

Computer engineering.

(22)

Computer science -- Mathematics.

(22)

Computers and Society.

(21)

Data transmission systems.

(21)

Business planning.

(20)

Computer science—Mathematics.

(20)

(20)

Microprogramming.

(20)

Special purpose computers.

(20)

Data structures (Computer scienc.

(19)

Computer software -- Development.

(18)

Computers and civilization.

(18)

Operating Systems.

(18)

Medical records -- Data processing.

(17)

Yazılım mühendisliği.

(17)

Communications Engineering, Networks.

(16)

Data Mining and Knowledge Discovery.

(16)

Engineering design.

(16)

Systems and Data Security.

(16)

Engineering economy.

(15)

Industrial engineering.

(15)

(15)

Business—Data processing.

(14)

(14)

Electronic commerce.

(13)

Natural language processing (Computer science).

(12)

Project management.

(12)

Data Encryption.

(11)

Information storage and retrieval.

(11)

(10)

Architecture, Computer.

(10)

Computer Applications.

(10)

Computer Science, general.

(10)

Economics/Management Science.

(10)

Information Systems and Communication Service.

(10)

Pattern Recognition.

(9)

Pattern recognition.

(9)

Theory of Computation.

(9)

Biology -- Data processing.

(8)

Computer software -- Development -- Management.

(8)

Computers and Education.

(8)

Education—Data processing.

(8)

(7)

COMPUTERS -- Software Development & Engineering -- General.

(7)

COMPUTERS / Software Development & Engineering / General

(7)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(7)

Computers -- Law and legislation.

(7)

Discrete Mathematics in Computer Science.

(7)

Electrical engineering.

(7)

Internet of things.

(7)

Logic, Symbolic and mathematical.

(7)

Mathematical statistics.

(7)

Multimedia Information Systems.

(7)

Signal processing.

(7)

Software architecture.

(7)

Software engineering -- Management.

(7)

Text processing (Computer science.

(7)

e-Commerce/e-business.

(7)

Computational Biology/Bioinformatics.

(6)

Computer System Implementation.

(6)

Control engineering systems.

(6)

Microprogramming .

(6)

Models and Principles.

(6)

(6)

Signal, Speech and Image Processing.

(6)

(5)

Computer networks.

(5)

Electronic circuits.

(5)

Engineering -- Data processing.

(5)

(5)

Human-computer interaction.

(5)

Industrial management.

(5)

Input-output equipment (Computers).

(5)

(5)

Memory management (Computer science).

(5)

Microprocessors.

(5)

Monoclonal antibodies.

(5)

Probability and Statistics in Computer Science.

(5)

Translators (Computer programs).

(5)

YAZILIM MÜHENDİSLİĞİ.

(5)

Agile software development.

(4)

(4)

Biomedical engineering.

(4)

COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.

(4)

COMPUTERS / Programming / Open Source

(4)

COMPUTERS / Software Development & Engineering / General.

(4)

COMPUTERS / Software Development & Engineering / Tools

(4)

Civil engineering.

(4)

Computer Systems Organization and Communication Networks.

(4)

Computer software -- Quality control.

(4)

Computer software -- Testing.

(4)

Data Structures.

(4)

(4)

Image Processing and Computer Vision.

(4)

Industrial and Production Engineering.

(4)

Industrial procurement.

(4)

Industrial safety.

(4)

Java (Computer program language)

(4)

Machine learning.

(4)

Mathematical geography.

(4)

(4)

Numerical analysis.

(4)

Object-oriented programming (Computer science)

(4)

Performance and Reliability.

(4)

Remote sensing.

(4)

Symbolic and Algebraic Manipulation.

(4)

Systems theory.

(4)

Technology -- Sociological aspects.

(4)

(3)

Banks and banking.

(3)

COMPUTERS -- Programming -- Open Source.

(3)

COMPUTERS -- Software Development & Engineering -- Tools.

(3)

Chemical engineering.

(3)

(3)

Computational Intelligence.

(3)

Computer architecture.

(3)

Control engineering.

(3)

Data Structures, Cryptology and Information Theory.

(3)

Data and Information Security.

(3)

(3)

Electronic Circuits and Systems.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

Embedded computer systems.

(3)

Geographical information systems.

(3)

Innovation/Technology Management.

(3)

Knowledge management.

(3)

Material Type

Shelf Location

Beytepe CD-ROM Koleksiyonu

Beytepe General Collection

Beytepe Süreli Yayın Koleksiyonu

Beytepe Tez Koleksiyonu

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

4200 Results Found

Subscribe to search results

1 .. 343 344 345 346 347 .. 350

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 Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

Author

Luo, Yuhua. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings

Author

Glück, Robert. editor. Lowry, Michael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Sassone, Vladimiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Bodik, Rastislav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Author

Sagiv, Mooly. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005. Proceedings

Author

Winther, Rune. editor. Gran, Bjørn Axel. editor. Dahll, Gustav. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

Security in Pervasive Computing Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

Author

Hutter, Dieter. editor. Ullmann, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

Coordination Models and Languages 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005. Proceedings

Author

Jacquet, Jean-Marie. editor. Picco, Gian Pietro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

ZB 2005: Formal Specification and Development in Z and B 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings

Author

Treharne, Helen. editor. King, Steve. editor. Henson, Martin. editor. Schneider, Steve. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Author

Rust, Heinrich. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Scientific Applications of Grid Computing First International Workshop, SAG 2004, Beijing, China, September 20-24, 2004, Revised Selected and Invited Papers

Author

Herrero, Pilar. editor. Pérez, María S. editor. Robles, Víctor. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 343 344 345 346 347 .. 350

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11