Search Results for Modeling.

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)

(323)

Apduhan, Bernady O. editor.

(13)

Gervasi, Osvaldo. editor.

(10)

Misra, Sanjay. editor.

(10)

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

(10)

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

(10)

Torre, Carmelo M. editor.

(10)

Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940

(7)

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

(7)

Franco, Leonardo. editor. (orcid)0000-0003-0012-5914

(7)

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

(7)

Paszynski, Maciej. editor.

(7)

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

(7)

de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453

(7)

Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382

(6)

Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052

(6)

Schmidt, Rainer. editor.

(6)

Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757

(6)

Al-Begain, Khalid. editor.

(5)

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

(5)

Carlini, Maurizio. editor.

(5)

Fiems, Dieter. editor.

(5)

Garau, Chiara. editor. (orcid)0000-0002-6239-5402

(5)

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

(5)

Halpin, Terry. editor.

(5)

Krogstie, John. editor.

(5)

Murgante, Beniamino. editor.

(5)

Nguyen, Hong-Quang. editor.

(5)

Nurcan, Selmin. editor.

(5)

Shishkov, Boris. editor.

(5)

Stankova, Elena. editor.

(5)

Taniar, David. editor.

(5)

Wang, Shangguang. editor.

(5)

Bider, Ilia. editor.

(4)

Bäck, Thomas. editor. (orcid)0000-0001-6768-1478

(4)

Kononova, Anna V. editor. (orcid)0000-0002-4138-7024

(4)

Machado, Penousal. editor. (orcid)0000-0002-6308-6484

(4)

Proper, Erik. editor.

(4)

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

(4)

Soffer, Pnina. editor.

(4)

Trautmann, Heike. editor. (orcid)0000-0002-9788-8282

(4)

Tušar, Tea. editor. (orcid)0000-0002-6495-006X

(4)

Winkler, Stephan M. editor. (orcid)0000-0002-5196-4294

(4)

Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094

(3)

Babkin, Eduard. editor. (orcid)0000-0003-2597-9043

(3)

Castano, Silvana. editor.

(3)

Delcambre, Lois. editor.

(3)

Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142

(3)

Gotzhein, Reinhard. editor.

(3)

Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719

(3)

Kronland-Martinet, Richard. editor.

(3)

Lee, Mong Li. editor.

(3)

Liu, Shaoying. editor.

(3)

Mayr, Heinrich C. editor.

(3)

Moreno-Díaz, Roberto. editor.

(3)

Pastor, Oscar. editor. (orcid)0000-0002-1320-8471

(3)

Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124

(3)

Saeki, Motoshi. editor.

(3)

Ystad, Sølvi. editor.

(3)

Almeida, João Paulo A. editor. (orcid)0000-0002-9819-3781

(2)

Ando, Noriaki. editor.

(2)

Ao, Sio-Iong. editor.

(2)

Aramvith, Supavadee. editor.

(2)

Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813

(2)

Bian, Fuling. editor.

(2)

Brugali, Davide. editor.

(2)

Bruijn, Jos. author.

(2)

Cabot, Jordi. editor.

(2)

Carro, Luigi. editor.

(2)

Castillo, Oscar. editor.

(2)

Cellary, Wojciech. editor.

(2)

Chalidabhongse, Thanarat H. editor.

(2)

Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336

(2)

Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924

(2)

Cui, Xiaohui. editor.

(2)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(2)

Elgammal, Ahmed. editor. (orcid)0000-0003-2761-4822

(2)

Embley, David W. editor.

(2)

Escalona, Maria José. editor. (orcid)0000-0002-6435-1497

(2)

Faginas Lago, Maria Noelia. editor. (orcid)0000-0002-4056-3364

(2)

Fensel, Dieter. author.

(2)

Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341

(2)

Florez, Hector. editor. (orcid)0000-0002-5339-4459

(2)

Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736

(2)

Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X

(2)

Gabbouj, Moncef. editor.

(2)

Gailly, Frederik. editor.

(2)

Grabis, Jānis. editor. (orcid)0000-0003-2196-0214

(2)

Hammoudi, Slimane. editor.

(2)

Henzinger, Thomas A. editor.

(2)

Ho, Yo-Sung. editor.

(2)

Huang, Xu. editor.

(2)

Jensen, Kristoffer. editor.

(2)

Karagiannis, Dimitris. editor.

(2)

Knottenbelt, William J. editor.

(2)

Krogstie, John. author.

(2)

Lausen, Holger. author.

(2)

Lecomte, Thierry. editor.

(2)

Legay, Axel. editor.

(2)

Li, Guoliang. editor.

(2)

Li, Zhanhuai. editor.

(2)

Ling, Tok Wang. editor.

(2)

Liu, Zhiming. editor.

(2)

Lock, Russell. editor. (orcid)0000-0002-4543-3753

(2)

Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Marin, Andrea. editor.

(2)

Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439

(2)

Mokbel, Mohamed F. editor.

(2)

Münch, Jürgen. editor.

(2)

Ngo, Chong Wah. editor.

(2)

Ohue, Masahito. editor. (orcid)0000-0002-0120-1643

(2)

Olivé, Antoni. editor.

(2)

O’Connor, Noel E. editor.

(2)

Panetto, Hervé. editor. (orcid)0000-0002-5537-2261

(2)

Parsons, Jeffrey. editor.

(2)

Pastor, Oscar. editor.

(2)

Pergl, Robert. editor. (orcid)0000-0003-2980-4400

(2)

Pilato, Christian. editor.

(2)

Pires, Luís Ferreira. editor.

(2)

Pohl, Klaus. editor.

(2)

Purao, Sandeep. editor.

(2)

Ram, Sudha. editor.

(2)

Rausch, Andreas. editor.

(2)

Reed, Rick. editor.

(2)

Regazzoni, Francesco. editor.

(2)

Reinhartz-Berger, Iris. editor.

(2)

Rivas, Pablo. editor. (orcid)0000-0002-8690-0987

(2)

Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331

(2)

Rubin, Julia. editor.

(2)

Rumpe, Bernhard. author.

(2)

Schoeffmann, Klaus. editor.

(2)

Selic, Bran. editor.

(2)

Sicard, Gilles. editor.

(2)

Silhavy, Petr. editor.

(2)

Silhavy, Radek. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Storey, Veda C. editor.

(2)

Sturm, Arnon. editor. (orcid)0000-0002-4021-7752

(2)

Takata, Masami. editor. (orcid)0000-0003-3475-7565

(2)

Thalheim, Bernhard. editor.

(2)

Trujillo, Juan C. editor.

(2)

Ukor, Roland. editor.

(2)

Vidal, Maria-Esther. editor.

(2)

Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113

(2)

Wang, Hua. editor.

(2)

Wang, Jianmin. editor.

(2)

Woo, Carson. editor.

(2)

Woodcock, Jim. editor.

(2)

Xie, Yichun. editor.

(2)

Yasuo, Nobuaki. editor. (orcid)0000-0002-3114-7895

(2)

Yu, Eric. editor.

(2)

Zeng, Yixin. editor.

(2)

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

(2)

Zhang, Yanchun. editor.

(2)

Zhou, Rui. editor.

(2)

van der Aa, Han. editor. (orcid)0000-0002-4200-4937

(2)

Abate, Alessandro. editor.

(1)

Abawajy, Jemal. editor.

(1)

Abdi, Samar. author.

(1)

Abdul Kadir, Rabiah. editor.

(1)

Abelló, Alberto. editor.

(1)

Abramowicz, Witold. editor.

(1)

Aceto, Luca. editor.

(1)

Acuña, Silvia T. editor.

(1)

Adeli, Hojjat. editor.

(1)

Agha, Gul. editor.

(1)

Aguado, Marina. editor.

(1)

Ahmad, Mohammad Nazir. editor. (orcid)0000-0003-3639-1157

(1)

Ahrendt, Wolfgang. editor.

(1)

Ahrndt, Sebastian. editor.

(1)

Aiello, Marco. editor. (orcid)0000-0002-0764-2124

(1)

Amine, Abdelmalek. editor.

(1)

Amyot, Daniel. editor.

(1)

André, Étienne. editor. (orcid)0000-0001-8473-9555

(1)

Anjorin, Anthony. editor.

(1)

Antunes, Luis. editor.

(1)

Anwar, Hina. editor. (orcid)0000-0002-4725-4636

(1)

Araujo, João. editor. (orcid)0000-0001-5914-1631

(1)

Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855

(1)

Arnicane, Vineta. editor.

(1)

Arnicans, Guntis. editor.

(1)

Asarin, Eugene. editor.

(1)

Atzeni, Paolo. editor.

(1)

Au, Man Ho Allen. editor.

(1)

Auer, Ekaterina. editor.

(1)

Ayala, José L. editor.

(1)

Ayora, Clara. editor. (orcid)0009-0002-8265-6531

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Badioze Zaman, Halimah. editor.

(1)

Badir, Hassan. editor.

(1)

Bajec, Marko. editor.

(1)

Balakirsky, Stephen. editor.

(1)

Baldassarre, Maria Teresa. editor.

(1)

Balouek, Daniel. editor. (orcid)0000-0001-6038-1077

(1)

Balsamo, Maria Simonetta. editor.

(1)

Balsamo, Simonetta. editor.

(1)

Barbosa, Haniel. editor.

(1)

Barbosa, Jorge. editor.

(1)

Language

(327)

Publication Date

-

(50)

(49)

(37)

(36)

(35)

(19)

(16)

(11)

(11)

(10)

(10)

(9)

(9)

(7)

(7)

(7)

(1)

(1)

(1)

(1)

Subject

Computer science.

(174)

Artificial intelligence.

(108)

Computer simulation.

(84)

Computer Communication Networks.

(83)

Computer networks .

(75)

Application software.

(66)

Computer and Information Systems Applications.

(64)

Information systems.

(42)

Database management.

(34)

Information storage and retrieval systems.

(31)

(31)

Theory of Computation.

(31)

Computer Modelling.

(30)

Simulation and Modeling.

(29)

Computer Science Logic and Foundations of Programming.

(28)

Computer engineering.

(28)

Computer Engineering and Networks.

(27)

Compilers (Computer programs).

(26)

Compilers and Interpreters.

(26)

(26)

Management information systems.

(24)

Formal Languages and Automata Theory.

(23)

Machine theory.

(23)

Computer science -- Mathematics.

(21)

Computer system performance.

(21)

Information technology -- Management.

(21)

Computer software.

(20)

Computer Application in Administrative Data Processing.

(19)

Data Mining and Knowledge Discovery.

(19)

(18)

Business information services.

(16)

Information theory.

(16)

Mathematics of Computing.

(16)

Information Storage and Retrieval.

(15)

Operating systems (Computers).

(15)

System Performance and Evaluation.

(15)

Programming Techniques.

(14)

Computer programming.

(13)

(13)

Special Purpose and Application-Based Systems.

(13)

Computer System Implementation.

(12)

Computer systems.

(12)

Electronic data processing -- Management.

(12)

(12)

IT in Business.

(12)

Information Systems Applications (incl. Internet).

(12)

Computer vision.

(11)

Computers, Special purpose.

(10)

Data and Information Security.

(10)

Data protection.

(10)

Data structures (Computer science).

(10)

Algorithm Analysis and Problem Complexity.

(9)

Data Structures and Information Theory.

(9)

(9)

Information Systems.

(9)

Operating Systems.

(9)

Electronic digital computers -- Evaluation.

(8)

Programming Languages, Compilers, Interpreters.

(8)

Business Process Management.

(7)

(7)

Machine learning.

(7)

Computational intelligence.

(6)

Computer network architectures.

(6)

Logics and Meanings of Programs.

(6)

Management of Computing and Information Systems.

(6)

Models of Computation.

(6)

Multimedia systems.

(6)

Software Management.

(6)

Software engineering -- Management.

(6)

Artificial Intelligence (incl. Robotics).

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer logic.

(5)

Computing Milieux.

(5)

Control Structures and Microprogramming.

(5)

Image processing -- Digital techniques.

(5)

Microprogramming .

(5)

Programming languages (Electronic computers).

(5)

Bioinformatics.

(4)

Business Information Systems.

(4)

Computer Appl. in Administrative Data Processing.

(4)

Computer aided design.

(4)

Computers and Education.

(4)

Education -- Data processing.

(4)

Enterprise Architecture.

(4)

Mathematical Logic and Formal Languages.

(4)

Natural Language Processing (NLP).

(4)

Natural language processing (Computer science).

(4)

Probability and Statistics in Computer Science.

(4)

Social sciences -- Data processing.

(4)

Software Engineering/Programming and Operating Systems.

(4)

User interfaces (Computer systems).

(4)

Business—Data processing.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer architecture.

(3)

Computer communication systems.

(3)

Control engineering.

(3)

Electronic data processing.

(3)

Génie logiciel.

(3)

Health Informatics.

(3)

Human-computer interaction.

(3)

Information technology.

(3)

Mathematical Modeling and Industrial Mathematics.

(3)

Mathematical models.

(3)

(3)

Software engineering

(3)

The Computing Profession.

(3)

User Interfaces and Human Computer Interaction.

(3)

Algebra -- Data processing.

(2)

(2)

Computational Biology/Bioinformatics.

(2)

Computer Hardware.

(2)

Computer hardware.

(2)

Computer industry.

(2)

Computer input-output equipment.

(2)

Computers and Society.

(2)

Control, Robotics, Automation.

(2)

Economics/Management Science.

(2)

Energy Economics.

(2)

Engineering -- Data processing.

(2)

Engineering economy.

(2)

Engineering mathematics.

(2)

Input/Output and Data Communications.

(2)

(2)

Logic programming.

(2)

Mathematical and Computational Engineering Applications.

(2)

Mathematical logic.

(2)

Mathematical statistics.

(2)

Medical records -- Data processing.

(2)

Microprocessors.

(2)

Processor Architectures.

(2)

Programming Language.

(2)

Remote Sensing/Photogrammetry.

(2)

Remote sensing.

(2)

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Symbolic and Algebraic Manipulation.

(2)

Systems engineering.

(2)

Telecommunication.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

(1)

Applied Dynamical Systems.

(1)

(1)

Architecture, Computer.

(1)

(1)

Arithmetic and Logic Structures.

(1)

(1)

Augmented reality.

(1)

Automotive engineering.

(1)

Biology -- Data processing.

(1)

Business IT Infrastructure.

(1)

COMPUTERS -- Distributed Systems -- Cloud Computing.

(1)

(1)

Civil engineering.

(1)

Cloud computing

(1)

Cloud computing.

(1)

Communications Engineering, Networks.

(1)

Computation by Abstract Devices.

(1)

Computational and Systems Biology.

(1)

Computational complexity.

(1)

Computer Appl. in Life Sciences.

(1)

Computer Networks.

(1)

Computer Science, general.

(1)

Computer Systems Organization and Communication Networks.

(1)

Computer arithmetic and logic units.

(1)

Computer games -- Programming.

(1)

Computer graphics.

(1)

Computer programs -- Testing.

(1)

Computer software -- Development

(1)

Computer software -- Development.

(1)

Computers and civilization.

(1)

Computing Methodologies.

(1)

Control and Systems Theory.

(1)

(1)

(1)

Data Analysis and Big Data.

(1)

Data Storage Representation.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer scienc.

(1)

Database Management System.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

(1)

(1)

Electronic Circuits and Systems.

(1)

Electronic books.

(1)

Electronic circuits.

(1)

Electronic commerce.

(1)

Electronic data processing personnel -- Certification

(1)

Electronic data processing personnel -- Certification -- Study guides.

(1)

(1)

Engineering design.

(1)

Game Development.

(1)

Guides de l'étudiant.

(1)

Industrial and Production Engineering.

(1)

Industrial engineering.

(1)

Industrial organization.

(1)

(1)

Information retrieval.

(1)

Material Type

Shelf Location

Electronic Library

Wiley E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

327 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 28

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

49.

Cover image for Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Advances in Conceptual Modeling ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017, Proceedings

Author

de Cesare, Sergio. editor. Frank, Ulrich. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for Agile Modeling with UML Code Generation, Testing, Refactoring

Agile Modeling with UML Code Generation, Testing, Refactoring

Agile Modeling with UML Code Generation, Testing, Refactoring

Author

Rumpe, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58862-9

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for The Practice of Enterprise Modeling 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings

The Practice of Enterprise Modeling 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings

The Practice of Enterprise Modeling 10th IFIP WG 8.1. Working Conference, PoEM 2017, Leuven, Belgium, November 22-24, 2017, Proceedings

Author

Poels, Geert. editor. Gailly, Frederik. editor. Serral Asensio, Estefania. editor. Snoeck, Monique. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

Enterprise and Organizational Modeling and Simulation 13th International Workshop, EOMAS 2017, Held at CAiSE 2017, Essen, Germany, June 12-13, 2017, Selected Papers

Author

Pergl, Robert. editor. Lock, Russell. editor. Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Molhanec, Martin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-68185-6

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Conceptual Modeling 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017, Proceedings

Author

Mayr, Heinrich C. editor. (orcid)0000-0001-5770-8091 Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X Ma, Hui. editor. Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

Modeling and Using Context 10th International and Interdisciplinary Conference, CONTEXT 2017, Paris, France, June 20-23, 2017, Proceedings

Author

Brézillon, Patrick. editor. Turner, Roy. editor. Penco, Carlo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Author

Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

Author

Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-65765-3

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude

Author

Ölveczky, Peter Csaba. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6687-0

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Environment modeling-based requirements engineering for software intensive systems.

Environment modeling-based requirements engineering for software intensive systems.

Environment modeling-based requirements engineering for software intensive systems.

Author

Jin, Zhi, 1962- author.

Preferred Shelf Number

ONLINE

Electronic Access

ScienceDirect https://www.sciencedirect.com/science/book/9780128019542

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings

Author

Grabowski, Jens. editor. Herbold, Steffen. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Conceptual Modeling 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings

Author

Comyn-Wattiau, Isabelle. editor. Tanaka, Katsumi. editor. Song, Il-Yeol. editor. Yamamoto, Shuichiro. editor. Saeki, Motoshi. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

1 .. 3 4 5 6 7 .. 28

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11