Search Results for Systems Theory.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

95

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(167)

Pichler, Franz. editor.

(7)

Moreno-Díaz, Roberto. editor.

(5)

Quesada-Arencibia, Alexis. editor.

(5)

Kowalczyk, Ryszard. editor.

(4)

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

(3)

Finkbeiner, Bernd. editor.

(3)

Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792

(3)

Hart, Emma. editor.

(3)

Heule, Marijn. editor. (orcid)0000-0002-5587-8801

(3)

Huang, De-Shuang. editor.

(3)

Kovács, Laura. editor.

(3)

Legay, Axel. editor.

(3)

Majumdar, Rupak. editor.

(3)

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

(3)

Nguyen, Ngoc Thanh. editor.

(3)

Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948

(3)

Wojtkowski, Wita. editor.

(3)

Alla, Hassane. author.

(2)

Barry, Chris. editor.

(2)

Bilas, Angelos. editor.

(2)

Bouchon-Meunier, Bernadette. editor.

(2)

Cabrera, Inma P. editor.

(2)

Chbeir, Richard. editor. (orcid)0000-0003-4112-1426

(2)

Conboy, Kieran. editor.

(2)

David, René. author.

(2)

Edelkamp, Stefan. editor.

(2)

Fujita, Hamido. editor. (orcid)0000-0001-5256-210X

(2)

García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894

(2)

Hong, Tzung-Pei. editor. (orcid)0000-0001-7305-6492

(2)

Huisman, Marieke. editor.

(2)

Jo, Kang-Hyun. editor. (orcid)0000-0001-8317-6092

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

Krogstie, John. editor. (orcid)0000-0003-4830-1876

(2)

Královič, Rastislav. editor. (orcid)0000-0003-1121-1009

(2)

Kunčak, Viktor. editor.

(2)

Kůrková, Věra. editor. (orcid)0000-0002-8181-2128

(2)

Lang, Michael. editor.

(2)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(2)

Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329

(2)

Markantonakis, Konstantinos. editor.

(2)

Martín-Vide, Carlos. editor.

(2)

Medina, Jesús. editor.

(2)

Mercik, Jacek. editor.

(2)

Moreno Díaz, Roberto. editor.

(2)

Nguyen, Le Minh. editor. (orcid)0000-0002-2265-1010

(2)

Ojeda-Aciego, Manuel. editor.

(2)

Pelta, David A. editor.

(2)

Posegga, Joachim. editor.

(2)

Proper, Henderik A. editor. (orcid)0000-0002-7318-2496

(2)

Quesada Arencibia, Alexis. editor.

(2)

Quisquater, Jean-Jacques. editor.

(2)

Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108

(2)

Sauveron, Damien. editor.

(2)

Schiffel, Stephan. editor.

(2)

Thielscher, Michael. editor. (orcid)0000-0003-0885-2702

(2)

Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817

(2)

Togelius, Julian. editor.

(2)

Vega-Rodríguez, Miguel A. editor.

(2)

Verdegay, José Luis. editor.

(2)

Wojtkiewicz, Krystian. editor. (orcid)0000-0002-7851-4330

(2)

Wojtkowski, Gregory. editor.

(2)

Yager, Ronald R. editor.

(2)

Zhang, Zili. editor.

(2)

Abdulla, Parosh Aziz. editor.

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Aceto, Luca. editor.

(1)

Ahmed, Amal. editor. (orcid)0000-0001-7424-572X

(1)

An, Bo. editor.

(1)

Antsaklis, Panos J. author.

(1)

Askoxylakis, Ioannis. editor.

(1)

Atallah, Mikhail J.

(1)

Aubin, Jean-Pierre. author.

(1)

Augustine, Norman. editor.

(1)

Aved, Alex. editor.

(1)

Ayesh, Aladdin. editor.

(1)

Bacci, Giorgio. editor.

(1)

Bacci, Giovanni. editor.

(1)

Baik, Doo-Kwon. editor.

(1)

Bajd, Tadej. author.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Barnett, Lionel. author.

(1)

Barrett, Clark. editor.

(1)

Barthe, Gilles. editor.

(1)

Bayen, Alexandre M. author.

(1)

Bazzan, Ana. editor.

(1)

Beckmann, Arnold. editor.

(1)

Bemporad, Alberto. editor.

(1)

Bergenthum, Robin. editor.

(1)

Bevilacqua, Vitoantonio. editor.

(1)

Bhosri, Wisuwat. author.

(1)

Bicchi, Antonio. editor.

(1)

Bienvenu, Laurent. editor.

(1)

Blanton, Marina.

(1)

Blasch, Erik. editor.

(1)

Boccara, Nino. author.

(1)

Bonnevay, Stéphane. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bossomaier, Terry. author.

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Bowman, Howard. author.

(1)

Bujorianu, Luminita Manuela. author.

(1)

Buss, Martin. editor.

(1)

Buxmann, Peter. editor.

(1)

Cabarle, Francis George C. author.

(1)

Cai, Qing. author.

(1)

Caivano, Danilo. editor.

(1)

Caplinskas, Albertas. editor.

(1)

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706

(1)

Castagna, Giuseppe. editor.

(1)

Castiglioni, Valentina. editor. (orcid)0000-0002-8112-6523

(1)

Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976

(1)

Cavallaro, Lorenzo. editor.

(1)

Cazenave, Tristan. editor.

(1)

Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374

(1)

Chatterjee, Samir. author.

(1)

Chatzigiannakis, Ioannis. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Cheng, Daizhan. author.

(1)

Chopra, Amit K. editor.

(1)

Ciardo, Gianfranco. editor.

(1)

Cranefield, Stephen. editor. (orcid)0000-0001-5638-1648

(1)

Davies, Misty. editor.

(1)

De Ruyter, Boris. editor.

(1)

Desel, Jörg. editor.

(1)

Doka, Katerina. editor.

(1)

Dong, Jianping. author.

(1)

Drewes, Frank. editor.

(1)

Drossopoulou, Sophia. editor.

(1)

Du, Ding-Zhu. editor.

(1)

England, Matthew. editor.

(1)

Erdem, Esra. editor. (orcid)0000-0001-8384-7810

(1)

Ernst, Marc O. editor.

(1)

Esparza, Javier. editor.

(1)

Fajstrup, Lisbeth. author.

(1)

Felleisen, Matthias. editor.

(1)

Ferreira, Carla. editor. (orcid)0000-0003-3680-7634

(1)

Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937

(1)

Filipe, Joaquim. editor.

(1)

Flanagan, Cormac. editor.

(1)

Francalanza, Adrian. editor. (orcid)0000-0003-3829-7391

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Frazho, Arthur E. author.

(1)

Fred, Ana L.N. editor.

(1)

Gao, Jiuan. author.

(1)

Gardner, Philippa. editor.

(1)

Geuvers, Herman. editor.

(1)

Gollmann, Dieter. editor.

(1)

Gomez, Rodolfo. author.

(1)

Gong, Maoguo. author.

(1)

Gopal, T.V. editor.

(1)

Gordon, Andrew D. editor.

(1)

Gorrieri, Roberto. author.

(1)

Goubault, Eric. author.

(1)

Grumberg, Orna. editor.

(1)

Gu, Zhaoquan. author.

(1)

Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X

(1)

Halbwachs, Nicolas. editor.

(1)

Handl, Julia. editor.

(1)

Harré, Michael. author.

(1)

Hasan, Osman. editor.

(1)

Haucourt, Emmanuel. author.

(1)

Heemels, Maurice. editor.

(1)

Heij, Christiaan. author.

(1)

Heinzl, Armin. editor.

(1)

Hellendoorn, Hans. editor.

(1)

Hermanns, Holger. editor.

(1)

Hevner, Alan. author.

(1)

Hirayama, Katsutoshi. editor.

(1)

Hoepman, Jaap-Henk. editor.

(1)

Hoffmann, Frank. editor.

(1)

Hovy, Eduard. editor.

(1)

Hua, Qiang-Sheng. author.

(1)

Hurwitz, Evan. author.

(1)

Huth, Michael. editor.

(1)

Hüllermeier, Eyke. editor.

(1)

Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764

(1)

Ingólfsdóttir, Anna. editor.

(1)

Isermann, Rolf. author.

(1)

Jacobs, Bart. editor.

(1)

Jaeger, Dieter. editor.

(1)

Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210

(1)

Johansson, Mikael. editor.

(1)

Jonoska, Nataša. editor.

(1)

Jung, Ranu. editor.

(1)

Jungnickel, Dieter. author.

(1)

Jäger, Gerhard. editor.

(1)

Kahraman, Cengiz. editor.

(1)

Kahsai, Temesghen. editor.

(1)

Kappel, Gerti. editor. (orcid)0000-0002-4758-9436

(1)

Kappel, Gertri. editor. (orcid)0000-0002-4758-9436

(1)

Karba, Rihard. author.

(1)

Karer, Gorazd. author.

(1)

Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729

(1)

Kesner, Delia. editor. (orcid)0000-0003-4254-3129

(1)

Kiefer, Stefan. editor.

(1)

Kiselyov, Oleg. editor. (orcid)0000-0002-2570-2186

(1)

Kocijan, Juš. author.

(1)

Koutny, Maciej. editor.

(1)

Language

(167)

(1)

(1)

Publication Date

-

(26)

(25)

(20)

(14)

(11)

(10)

(9)

(9)

(8)

(8)

(7)

(6)

(6)

(5)

(3)

(1)

(1)

Subject

Software engineering.

(68)

Theory of Computation.

(62)

Artificial intelligence.

(58)

Computer Communication Networks.

(39)

Computer Science Logic and Foundations of Programming.

(27)

Computer networks .

(27)

Computer simulation.

(27)

Systems theory.

(25)

(24)

Formal Languages and Automata Theory.

(21)

Machine theory.

(21)

(21)

Compilers (Computer programs).

(18)

Compilers and Interpreters.

(18)

Computer science -- Mathematics.

(18)

(15)

Computer Modelling.

(15)

Data structures (Computer science).

(12)

Mathematics of Computing.

(12)

Computer software.

(11)

Application software.

(10)

Computer and Information Systems Applications.

(10)

Control Structures and Microprogramming.

(10)

Microprogramming .

(10)

Special Purpose and Application-Based Systems.

(10)

Computer System Implementation.

(9)

Computers, Special purpose.

(9)

Database management.

(9)

Programming Techniques.

(9)

Automated Pattern Recognition.

(8)

Computer aided design.

(8)

Computer engineering.

(8)

Computer programming.

(8)

Computer systems.

(8)

Computer vision.

(8)

(8)

Information theory.

(8)

Pattern recognition systems.

(8)

Information storage and retrieval systems.

(7)

Information systems.

(7)

Operating Systems.

(7)

Operating systems (Computers).

(7)

Optical pattern recognition.

(7)

Computational intelligence.

(6)

Computer Engineering and Networks.

(6)

Computing Milieux.

(6)

(6)

Bioinformatics.

(5)

Computational and Systems Biology.

(5)

Data Structures and Information Theory.

(5)

Data encryption (Computer science).

(5)

(5)

Data protection.

(5)

Discrete Mathematics in Computer Science.

(5)

Discrete mathematics.

(5)

Management information systems.

(5)

(5)

Complex Systems.

(4)

Computer network architectures.

(4)

(4)

Mathematical optimization.

(4)

Models of Computation.

(4)

Applications of Mathematics.

(3)

Computational complexity.

(3)

Computer Application in Administrative Data Processing.

(3)

Control engineering.

(3)

Data Mining and Knowledge Discovery.

(3)

Differentiable dynamical systems.

(3)

Electronic data processing.

(3)

Engineering mathematics.

(3)

Industrial engineering.

(3)

Information Storage and Retrieval.

(3)

Information Systems.

(3)

Information technology -- Management.

(3)

Mathematical Applications in Computer Science.

(3)

Numerical analysis.

(3)

Pattern Recognition.

(3)

Systems Theory, Control.

(3)

Artificial Intelligence (incl. Robotics).

(2)

Artificial intelligence -- Data processing.

(2)

(2)

(2)

Computational linguistics.

(2)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(2)

Computer hardware.

(2)

Computer-Aided Engineering (CAD, CAE) and Design.

(2)

Control and Systems Theory.

(2)

Control theory.

(2)

(2)

Electronic digital computers -- Evaluation.

(2)

Image Processing and Computer Vision.

(2)

Logics and Meanings of Programs.

(2)

Mathematical Logic and Foundations.

(2)

Mathematical logic.

(2)

Microcomputers.

(2)

Multimedia systems.

(2)

Natural Language Processing (NLP).

(2)

Natural language processing (Computer science).

(2)

(2)

(2)

(2)

Personal Computing.

(2)

(2)

Programming Language.

(2)

Programming Languages, Compilers, Interpreters.

(2)

Programming languages (Electronic computers).

(2)

Simulation and Modeling.

(2)

Symbolic and Algebraic Manipulation.

(2)

System Performance and Evaluation.

(2)

The Computing Profession.

(2)

(2)

Algebra -- Data processing.

(1)

Algebraic topology.

(1)

Algorithm Analysis and Problem Complexity.

(1)

Applied Dynamical Systems.

(1)

(1)

Biological models.

(1)

Business Information Systems.

(1)

Business planning.

(1)

Calculus of Variations and Optimal Control; Optimization.

(1)

Coding and Information Theory.

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computational Science and Engineering.

(1)

Computer Science, general.

(1)

Computer algorithms.

(1)

Computer programs -- Testing.

(1)

Computer system performance.

(1)

Control, Robotics, Automation.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Encryption.

(1)

Data structures (Computer scienc.

(1)

Data transmission systems.

(1)

Database Management System.

(1)

Differential Equations.

(1)

Distribution (Probability theory).

(1)

Dynamical Systems and Ergodic Theory.

(1)

(1)

(1)

(1)

Economics, Mathematical.

(1)

(1)

Electronic data processing -- Management.

(1)

Engineering -- Data processing.

(1)

Expert systems (Computer science).

(1)

Global differential geometry.

(1)

(1)

Harmonic analysis.

(1)

(1)

Industrial and Production Engineering.

(1)

Information Systems Applications (incl. Internet).

(1)

Knowledge Based Systems.

(1)

(1)

Machine learning.

(1)

Math Applications in Computer Science.

(1)

Mathematical Modeling and Industrial Mathematics.

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematical models.

(1)

Mathematical physics.

(1)

Mathematical statistics.

(1)

Mathematics -- Data processing.

(1)

(1)

Nonlinear theories.

(1)

(1)

Operations Management.

(1)

Operations research.

(1)

Operator theory.

(1)

(1)

Production engineering.

(1)

Production management.

(1)

Quantitative Economics.

(1)

(1)

Software Testing.

(1)

Statistical Theory and Methods.

(1)

System analysis.

(1)

(1)

Systems and Data Security.

(1)

Systems engineering.

(1)

(1)

Telecommunication.

(1)

Theoretical, Mathematical and Computational Physics.

(1)

Theory and Algorithms for Application Domains.

(1)

User Interfaces and Human Computer Interaction.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

169 Results Found

Subscribe to search results

1 .. 3 4 5 6 7 .. 15

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Author

Moreno-Díaz, Roberto. editor. Pichler, Franz. editor. Quesada-Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-04772-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

Author

Drossopoulou, Sophia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

Information Security Theory and Practices. Smart Cards, Mobile and Ubiquitous Computing Systems First IFIP TC6 / WG 8.8 / WG 11.2 International Workshop, WISTP 2007, Heraklion, Crete, Greece, May 9-11, 2007. Proceedings

Author

Sauveron, Damien. editor. Markantonakis, Konstantinos. editor. Bilas, Angelos. editor. Quisquater, Jean-Jacques. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

Introduction to Mathematical Systems Theory Linear Systems, Identification and Control

Author

Heij, Christiaan. author. Ran, André. author. Schagen, Freek. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-7643-7549-2

Format:

Availability

Online Library~1

Available:
Copies:

7.

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

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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

Author

Nicola, Rocco. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Computer Aided Systems Theory – EUROCAST 2007 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers

Author

Moreno Díaz, Roberto. editor. Pichler, Franz. editor. Quesada Arencibia, Alexis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

Systems Modeling and Simulation Theory and Applications, Asia Simulation Conference 2006

Author

Koyamada, Koji. editor. Tamura, Shinsuke. editor. Ono, Osamu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-4-431-49022-7

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems

Author

Bowman, Howard. author. Gomez, Rodolfo. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/1-84628-336-1

Format:

Availability

Online Library~1

Available:
Copies:

12.

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:

1 .. 3 4 5 6 7 .. 15

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11