Skip to contents

Grumberg, Orna [Editor]; Huth, Michael [Other] ; TACAS 13 2007 Braga, ETAPS 10 2007 Braga

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

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2007

Published in: Lecture notes in computer science ; 4424
International Conference on Probabilistic Methods Applied to Electric Power Systems 3 1991 London, Institution of Electrical Engineers Power Division

Third International Conference on Probabilistic Methods Applied to Electric Power Systems : 3 - 5 July 1991, venue: IEE, Savoy Place, London

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London: IEE, 1991

Published in: Institution of Electrical Engineers: IEE conference publication ; 33800
Jackson, John S. [Editor] ; International Conference Security through Science and Engineering 3 1980 Berlin, West, Technische Universität Berlin, University of Kentucky College of Engineering, Institute of Electrical and Electronics Engineers

Proceedings / Third International Conference, Security Through Science and Engineering, September 23 - 26, 1980

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Lexington, Ky.: OES Publications, College of Engineering, University of Kentucky, 1980

Published in: University of Kentucky: UKY BU / College of Engineering, University of Kentucky, Lexington, Ky., Office of Research and Engineering Services ; 12200
Smith, Roy S. [Editor]; Dahleh, Mohammed A. [Other] ; Santa Barbara Workshop 1992, Workshop The Modeling of Uncertainty in Control Systems 1992 Santa Barbara, Calif

The modeling of uncertainty in control systems : proceedings of the 1992 Santa Barbara workshop

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London; Berlin; Heidelberg [u.a.]: Springer, 1994

Published in: Lecture notes in control and information sciences ; 19200
Pernici, Barbara [Editor] ; CAiSE 22 2010 Hammamet

Advanced information systems engineering : 22nd international conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6051
Broy, Manfred [Editor] ; International Andrei Ershov Memorial Conference 5 2003 Nowosibirsk-Akademgorodok

Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 2003 ; revised papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2890
Stiller, Burkhard [Editor]; Hoßfeld, Tobias [Other]; Stamoulis, George D. [Other] ; ETM 3 2010 Amsterdam

Incentives, overlays, and economic traffic control : third international workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6236
Gottlob, Georg [Editor] ; International Workshop on Expert Systems in Engineering 1990 Wien

Expert systems in engineering : principles and applications ; International Workshop Vienna, Austria, September 24 - 26, 1990 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 462
Pichler, Franz [Editor] ; EUROCAST 6 1997 Las Palmas

Computer aided systems theory - EUROCAST '97 : a selection of papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24 - 28, 1997; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1333
Lastra, Gerardo L. [Editor]; Encarnação, José Luis [Editor] ; International Federation for Information Processing, Conference on CAD CAM Technology Transfer - Applications of Computers to Engineering Design, Manufacturing, and Management 1988 México

Applications of computers to engineering design, manufacturing and management : proceedings of the IFIP TC 5 Conference on CAD CAM Technology Transfer: Applications of Computers to Engineering Design, Manufacturing and Management, Mexico City, Mexico, 22 - 26 August 1988

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland, 1989
Alur, Rajeev [Editor]; Yi, In-sŏp [Other] ; EMSOFT 3 2003 Philadelphia, Pa

Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2855
Gaudel, Marie-Claude [Editor] ; FME 3 1996 Oxford

Industrial benefit and advances in formal methods : Oxford, UK, March 18 - 22, 1996 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1996

Published in: Lecture notes in computer science ; 1051
Ruhe, Günther [Editor] ; International Conference on Software Engineering and Knowledge Engineering 11 1999 Kaiserslautern

Learning software organizations : methodology and applications; 11th International Conference on Software Engineering and Knowledge Engineering, SEKE '99, Kaiserslautern, Germany, June 16 - 19, 1999; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2000

Published in: Lecture notes in computer science ; 1756
Hernández, Santiago [Editor] ; International Conference on Visualization and Intelligent Design in Engineering and Architecture 2 1995 La Coruña

Second International Conference on Visualization and Intelligent Design inEngineering and Architecture (VIDEA '95)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Southampton [u.a.]: Computational Mechanics Publ., 1995

Published in: Visualization and intelligent design in engineering and architecture ; 2
IEEE Power Engineering Society

IEEE Power Engineering Society discussions and closures of conference papers from the summer meeting and energy resources conference : Anaheim, California, July 14-19, 1974

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York: Institute of Electrical and Electronics Engineers, 1975
Franch, Xavier [Editor]; Port, Dan [Editor] ; ICCBSS 4 2005 Bilbao

COTS-based software systems : 4th international conference, ICCBSS 2005, Bilbao, Spain, February 7 - 11, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3412
Kazman, Rick [Editor] ; ICCBSS 3 2004 Redondo Beach, Calif

COTS-based software systems : third international conference, Redondo Beach, CA, USA, February 1 - 4, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 2959
Garavel, Hubert [Editor]; Hatcliff, John [Other] ; TACAS 9 2003 Warschau, ETAPS 6 2003 Warschau

Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2003

Published in: Lecture notes in computer science ; 2619
Castillo, Oscar [Editor]; Xu, Li [Editor] ; International Association of Engineers, International MultiConference of Engineers and Computer Scientists 2007 Hongkong

Trends in intelligent systems and computer engineering : [International MultiConference of Engineers and Computer Scientists (IMECS 2007) ; held in Hong Kong, March 21 - 23, 2007 ; revised and extended research articles]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY, [Heidelberg]: Springer, 2008

Published in: Lecture notes in electrical engineering ; 600
Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises 2 1993 Morgantown, W Va, IEEE Computer Society Technical Committee on Data Engineering, Association for Computing Machinery Special Interest Group on Artificial Intelligence

Proceedings / Second Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises : April 20 - 22, 1993, Morgantown, West Virginia

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Los Alamitos, Calif. [u.a.]: IEEE Computer Society Press, 1993

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication